【摘要】：核電站數(shù)字化儀控系統(tǒng)己經(jīng)進(jìn)入全數(shù)字化儀表控制系統(tǒng)階段,我國(guó)核電企業(yè)從國(guó)外引進(jìn)全數(shù)字化儀控系統(tǒng)核電技術(shù)的同時(shí),正面臨著再創(chuàng)新問題。因此,建立適合我國(guó)國(guó)情的核安全級(jí)儀控軟件可靠性評(píng)估方案,解決評(píng)估什么,如何評(píng)估等系列問題,無論對(duì)理論層面揭示核安全級(jí)儀控軟件可靠性的評(píng)估基本原理和基本方法,還是對(duì)提高核電生產(chǎn)的安全水平都具有重要的意義。論文按照評(píng)估結(jié)構(gòu)研究—內(nèi)容研究—評(píng)估方法研究—評(píng)估模型與算法研究—實(shí)證研究邏輯展開,主要內(nèi)容包括如下七個(gè)部分:第一部分,從核安全級(jí)儀控軟件系統(tǒng)的復(fù)雜性,核安全級(jí)儀控軟件系統(tǒng)不可靠致因,核安全級(jí)儀控軟件可靠性特征和發(fā)展規(guī)律,以及核安全級(jí)儀控軟件評(píng)估方法四個(gè)領(lǐng)域?qū)?guó)內(nèi)外文獻(xiàn)進(jìn)行綜述。第二部分,結(jié)合核安全級(jí)儀控軟件的特殊性,依據(jù)系統(tǒng)質(zhì)量項(xiàng)目邏輯,明確核安全級(jí)儀控軟件的需求導(dǎo)向、過程驅(qū)動(dòng)和評(píng)估方法的研究線索。在對(duì)現(xiàn)有核安全級(jí)儀控軟件可靠性評(píng)估不足進(jìn)行分析的基礎(chǔ)上,從其可靠性需求階段、發(fā)展過程階段和評(píng)估階段,對(duì)相應(yīng)的評(píng)估方法、層次結(jié)構(gòu)和內(nèi)容進(jìn)行研究,給出核安全級(jí)儀控軟件可靠性評(píng)估維度結(jié)構(gòu)。第三部分,按照需求的研究線索,同時(shí)為了貝葉斯信度網(wǎng)評(píng)估方法建立需求模型,以核安全級(jí)儀控系統(tǒng)標(biāo)準(zhǔn)體系為其可靠性評(píng)估需求研究的載體,即從現(xiàn)有的幾種類型標(biāo)準(zhǔn)體系比較中,確認(rèn)符合我國(guó)核安全級(jí)儀控系統(tǒng)標(biāo)準(zhǔn)的構(gòu)成,以此作為建立核安全級(jí)儀控軟件可靠性需求的依據(jù)。第四部分,基于核安全軟件特殊性,總結(jié)之前評(píng)估的經(jīng)驗(yàn)與不足,提出定量評(píng)估方法評(píng)估準(zhǔn)則,將主要定量評(píng)估方法分別比照準(zhǔn)則進(jìn)行評(píng)估,選擇符合度較高的貝葉斯信度網(wǎng)方法作為主要的定量評(píng)估方法�？陀^總結(jié)貝葉斯信度網(wǎng)方法在對(duì)于研究項(xiàng)目的不足之處,提出改進(jìn)措施,建立評(píng)估步驟和評(píng)估策略。由于貝葉斯信度網(wǎng)方法將定性信息轉(zhuǎn)化成定量信息的不足,作者提出通過定性的專家引導(dǎo)方法彌補(bǔ)貝葉斯方法的不足。第五部分,建立多層次貝葉斯信度網(wǎng)模型以降低單一系統(tǒng)的復(fù)雜程度并增加模型和方法的靈活性。根據(jù)貝葉斯信度網(wǎng)方法建模原則,在需求模型的基礎(chǔ)上,建立貝葉斯信度網(wǎng)底層模型;根據(jù)軟件可靠性發(fā)展階段,建立貝葉斯信度網(wǎng)中間層模型;根據(jù)軟件關(guān)鍵影響因素建立貝葉斯信度網(wǎng)頂層模型。第六部分,研究貝葉斯信度網(wǎng)的量化方法和量化步驟。貝葉斯信度網(wǎng)具有網(wǎng)絡(luò)推理、診斷的功能,可以對(duì)研究項(xiàng)目進(jìn)行分析。應(yīng)用敏感度分析方法分析參數(shù)對(duì)網(wǎng)絡(luò)的影響,通過驗(yàn)證敏感度,判斷為了增強(qiáng)網(wǎng)絡(luò)穩(wěn)定性需加強(qiáng)和改進(jìn)環(huán)節(jié)。通過概率方法對(duì)薄弱環(huán)節(jié)進(jìn)行改進(jìn)方向判斷。最后,將給出的核安全級(jí)儀控軟件可靠性評(píng)估方案應(yīng)用于某核電站新型試驗(yàn)堆,對(duì)其進(jìn)行評(píng)估,并依據(jù)評(píng)估結(jié)果提出改進(jìn)建議,通過實(shí)際應(yīng)用,驗(yàn)證評(píng)估方案的可實(shí)現(xiàn)情況,并總結(jié)經(jīng)驗(yàn)以改進(jìn)。
【學(xué)位授予單位】：哈爾濱工程大學(xué)
【學(xué)位級(jí)別】：博士
【學(xué)位授予年份】：2015
【分類號(hào)】：TM623.8
【圖文】：

２．２．５核安全級(jí)儀控軟件可靠性評(píng)估維度結(jié)構(gòu)的給出逡逑根據(jù)前面的分析，在核安全級(jí)儀控軟件可靠性評(píng)估分析表的基礎(chǔ)上，建立核安全級(jí)逡逑儀控歟件綜合評(píng)估結(jié)構(gòu)（圖２．４），該結(jié)構(gòu)為橫向和縱向二維結(jié)構(gòu)，橫向維度按照軟件可靠逡逑性內(nèi)容分為需求、過程、評(píng)估，縱向維度按照軟件評(píng)估步~k分為需求階段、過程階段和逡逑評(píng)估階段。在需求階段對(duì)對(duì)象系統(tǒng)進(jìn)行分析，確定關(guān)于核安全級(jí)儀控軟件可靠性的需求，逡逑即建立標(biāo)準(zhǔn)體系，通過模型轉(zhuǎn)換，建立需求指標(biāo)體系；過程階段旨在建立評(píng)估模型，首逡逑先選擇評(píng)估方法Ｗ確定過程階段的需求，通過模型轉(zhuǎn)換過程，形成評(píng)估模型；通過評(píng)估逡逑階段根據(jù)評(píng)估模型進(jìn)行量化分析，確定指標(biāo)取值和權(quán)重，改進(jìn)評(píng)估體系量化計(jì)算方法，逡逑對(duì)對(duì)象系統(tǒng)進(jìn)行評(píng)估并提出改進(jìn)建議。逡逑３４逡逑

Ｆｉｇｕｒｅ邋３．２邋Ｔｈｅ邋ｍａｐｐｉｎｇ邋ｐｒｏｃｅｓｓ邋ｏｆ邋ｎｕｃｌｅａｒ邋ｃｌａｓｓ邋Ｉ＆Ｃ邋ｓｏｆｔｗａｒｅ逡逑對(duì)照應(yīng)Ｗ核安全儀控軟件可靠性發(fā)展過程模型為基礎(chǔ)框架，分別條款進(jìn)行對(duì)照。首先，將我國(guó)標(biāo)準(zhǔn)中適合的條款按照各任務(wù)組進(jìn)行相互影響程度，進(jìn)行層次分解，建立需求對(duì)照表。對(duì)照過程的挑戰(zhàn)：過于寬泛的對(duì)照不利于深入研究相似性與差異性；過于細(xì)致的系種類過多，不易歸納整理，無法完全闡明框架關(guān)系。然后，針對(duì)體系進(jìn)行分析，在各國(guó)標(biāo)準(zhǔn)體系的條款層面構(gòu)建映射關(guān)系。根據(jù)關(guān)系表的初始項(xiàng)目，分析其它標(biāo)準(zhǔn)中重要條款與項(xiàng)目關(guān)系表初始；如果重要條款超出該初步項(xiàng)目關(guān)系表范圍，則添加該項(xiàng)目入需求建立項(xiàng)目對(duì)照關(guān)系表并生成項(xiàng)目結(jié)構(gòu)表。逡逑映射關(guān)系逡逑全級(jí)儀控軟件可靠性發(fā)展過程模型為框架的基礎(chǔ)上，尋找并確定，將過程模型的各項(xiàng)目?jī)?nèi)容與標(biāo)準(zhǔn)條款項(xiàng)相關(guān)聯(lián)，映射過程有利

ｉ逡逑？邐圖３．邋２核安全級(jí)儀控軟件標(biāo)準(zhǔn)對(duì)照過程逡逑Ｆｉｇｕｒｅ邋３．２邋Ｔｈｅ邋ｍａｐｐｉｎｇ邋ｐｒｏｃｅｓｓ邋ｏｆ邋ｎｕｃｌｅａｒ邋ｃｌａｓｓ邋Ｉ＆Ｃ邋ｓｏｆｔｗａｒｅ逡逑多體系對(duì)照應(yīng)Ｗ核安全儀控軟件可靠性發(fā)展過程模型為基礎(chǔ)框架，分別對(duì)適合各任逡逑■務(wù)組的標(biāo)準(zhǔn)條款進(jìn)行對(duì)照。首先，將我國(guó)標(biāo)準(zhǔn)中適合的條款按照各任務(wù)組進(jìn)行分類，根據(jù)逡逑條款之間的相互影響程度，進(jìn)行層次分解，建立需求對(duì)照表。對(duì)照過程的挑戰(zhàn)在于僅能憑逡逑借主觀判斷：過于寬泛的對(duì)照不利于深入研究相似性與差異性；過于細(xì)致的層次劃分會(huì)逡逑導(dǎo)致對(duì)照關(guān)系種類過多，不易歸納整理，無法完全闡明框架關(guān)系。然后，針對(duì)核安全級(jí)儀逡逑控軟件標(biāo)準(zhǔn)體系進(jìn)行分析，在各國(guó)標(biāo)準(zhǔn)體系的條款層面構(gòu)建映射關(guān)系。根據(jù)中國(guó)標(biāo)準(zhǔn)條逡逑款建立項(xiàng)目關(guān)系表的初始項(xiàng)目，分析其它標(biāo)準(zhǔn)中重要條款與項(xiàng)目關(guān)系表初始項(xiàng)目的符合逡逑關(guān)系及強(qiáng)度；如果重要條款超出該初步項(xiàng)目關(guān)系表范圍，則添加該項(xiàng)目入需求對(duì)照表。最逡逑后

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 陸民燕;軟件可靠性參數(shù)研究[J];北京航空航天大學(xué)學(xué)報(bào);2001年02期

2 吳晗平;軟件可靠性考核試驗(yàn)方法研究[J];火力與指揮控制;2001年01期

3 王緯;軟件工程與軟件可靠性——第六講 軟件可靠性工程實(shí)施中的幾個(gè)技術(shù)問題[J];質(zhì)量與可靠性;2001年06期

4 韓成宇,周力,侯朝楨;基于復(fù)雜因子的軟件可靠性指標(biāo)分配方法研究[J];北京理工大學(xué)學(xué)報(bào);2003年05期

5 王春生;軍用軟件可靠性評(píng)估模型研究[J];艦船電子工程;2003年06期

6 史會(huì)增,繆旭東;淺析軍用軟件可靠性[J];艦船電子工程;2005年03期

7 黃寧;陳未如;石帥;;面向評(píng)估的軟件可靠性與費(fèi)用模型的研究[J];佳木斯大學(xué)學(xué)報(bào)(自然科學(xué)版);2009年01期

8 韓禮華;三○一所舉辦軟件可靠性研討會(huì)[J];航空標(biāo)準(zhǔn)化與質(zhì)量;1991年05期

9 邱邦清;軟件可靠性工程化研究的幾個(gè)方面[J];質(zhì)量與可靠性;1992年01期

10 蔡開元;一個(gè)模糊軟件可靠性確認(rèn)模型[J];航空學(xué)報(bào);1993年11期

相關(guān)會(huì)議論文 前10條

1 周新穎;;淺談軟件可靠性對(duì)氣象業(yè)務(wù)保障的影響[A];信息技術(shù)在氣象領(lǐng)域的開發(fā)應(yīng)用論文集（二）[C];2006年

2 王秋芳;;淺談如何提高車輛軟件可靠性[A];中國(guó)汽車工程學(xué)會(huì)汽車電子技術(shù)分會(huì)第七屆（2006）年會(huì)暨學(xué)術(shù)研討會(huì)論文集[C];2006年

3 李秋英;李海峰;陸民燕;;基于環(huán)境因素的軟件可靠性定性評(píng)價(jià)技術(shù)研究[A];大型飛機(jī)關(guān)鍵技術(shù)高層論壇暨中國(guó)航空學(xué)會(huì)2007年學(xué)術(shù)年會(huì)論文集[C];2007年

4 鮑國(guó)民;鄭成文;韓柯;;軟件可靠性J—M模型的改進(jìn)研究[A];第五屆中國(guó)測(cè)試學(xué)術(shù)會(huì)議論文集[C];2008年

5 施銀盾;朱經(jīng)紛;徐拾義;;軟件可靠性綜合模型的量化分析[A];第五屆中國(guó)測(cè)試學(xué)術(shù)會(huì)議論文集[C];2008年

6 韓穎;賈輝然;杜靜;;航天軟件可靠性的發(fā)展[A];2007年河北省電子學(xué)會(huì)、河北省計(jì)算機(jī)學(xué)會(huì)、河北省自動(dòng)化學(xué)會(huì)、河北省人工智能學(xué)會(huì)、河北省計(jì)算機(jī)輔助設(shè)計(jì)研究會(huì)、河北省軟件行業(yè)協(xié)會(huì)聯(lián)合學(xué)術(shù)年會(huì)論文集[C];2007年

7 齊俊臣;劉海敏;李祥臣;;武器系統(tǒng)軟件可靠性工作分析與建議[A];中國(guó)電子學(xué)會(huì)可靠性分會(huì)第十四屆學(xué)術(shù)年會(huì)論文選[C];2008年

8 林雯;趙輝煌;趙晏;;制造業(yè)工廠設(shè)備軟件可靠性探討[A];中國(guó)電子學(xué)會(huì)可靠性分會(huì)第十三屆學(xué)術(shù)年會(huì)論文選[C];2006年

9 肖平;許鳳璋;高金鐘;;軟件可靠性灰色預(yù)測(cè)模型的研究[A];中國(guó)科學(xué)技術(shù)協(xié)會(huì)首屆青年學(xué)術(shù)年會(huì)論文集（工科分冊(cè)·上冊(cè)）[C];1992年

10 寧云暉;侯海梅;;軟件可靠性測(cè)試方法研究[A];2010第十五屆可靠性學(xué)術(shù)年會(huì)論文集[C];2010年

相關(guān)重要報(bào)紙文章 前10條

1 柯江寧 編譯 南京政治學(xué)院;美“大碼”項(xiàng)目提高國(guó)防軟件可靠性[N];科技日?qǐng)?bào);2014年

2 本報(bào)記者 周建越;蘇州小民企挑戰(zhàn)世界品牌[N];蘇州日?qǐng)?bào);2011年

3 王菊芳;核安全局不安全美當(dāng)局解職局長(zhǎng)[N];解放日?qǐng)?bào);2007年

4 記者 陳其玨;環(huán)保部通過核安全“十二五”規(guī)劃[N];上海證券報(bào);2011年

5 記者 吳綺敏 莽九晨 馬菲;中方認(rèn)為首爾核安全峰會(huì)取得積極成果[N];人民日?qǐng)?bào);2012年

6 ;國(guó)務(wù)院批復(fù)核安全規(guī)劃 將撬動(dòng)798億項(xiàng)目投資[N];中國(guó)信息報(bào);2012年

7 朱賢佳;核安全規(guī)劃發(fā)布在即 核電重啟箭在弦上[N];財(cái)會(huì)信報(bào);2012年

8 本報(bào)記者 曾令俊;《核安全規(guī)劃》獲批拉動(dòng)798億產(chǎn)業(yè)鏈[N];民營(yíng)經(jīng)濟(jì)報(bào);2012年

9 記者 朱賢佳　秦菲菲;核安全規(guī)劃發(fā)布 798億元投向五大重點(diǎn)工程[N];上海證券報(bào);2012年

10 早報(bào)記者 李躍群;核安全規(guī)劃批復(fù)稿以福島為鑒[N];東方早報(bào);2012年

相關(guān)博士學(xué)位論文 前10條

1 遲淼;核安全級(jí)儀控軟件可靠性評(píng)估研究[D];哈爾濱工程大學(xué);2015年

2 張策;不完美排錯(cuò)下NHPP類軟件可靠性過程研究[D];哈爾濱工業(yè)大學(xué);2015年

3 王金勇;考慮故障引進(jìn)的軟件可靠性增長(zhǎng)模型研究[D];哈爾濱工業(yè)大學(xué);2015年

4 楊志鴻;軟件可靠性增長(zhǎng)模型的分析與研究[D];華中科技大學(xué);2011年

5 張楠;基于排隊(duì)論的軟件可靠性增長(zhǎng)模型研究[D];哈爾濱工業(yè)大學(xué);2013年

6 樊林波;軟件可靠性與安全性的相互關(guān)系及其轉(zhuǎn)換規(guī)律研究[D];貴州大學(xué);2009年

7 胡仁勝;軟件可靠性和軟件最優(yōu)發(fā)布問題的研究[D];合肥工業(yè)大學(xué);2001年

8 王運(yùn)盛;綜合模塊化航空電子分區(qū)軟件可靠性研究[D];電子科技大學(xué);2017年

9 王強(qiáng);構(gòu)件軟件可靠性分析理論與方法研究[D];合肥工業(yè)大學(xué);2012年

10 趙靖;考慮測(cè)試與運(yùn)行差別的NHPP類軟件可靠性增長(zhǎng)模型研究[D];哈爾濱工業(yè)大學(xué);2006年

相關(guān)碩士學(xué)位論文 前10條

1 張林森;軟件可靠性檢測(cè)系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];電子科技大學(xué);2014年

2 徐軼;軟件可靠性控制方法在軟件開發(fā)項(xiàng)目中的應(yīng)用研究[D];華東理工大學(xué);2016年

3 楊曉燕;在線自適應(yīng)提高軟件可靠性的研究[D];浙江理工大學(xué);2016年

4 張娟;基于架構(gòu)的軟件可靠性計(jì)算[D];浙江理工大學(xué);2016年

5 陳智勇;一個(gè)基于COP的控制類系統(tǒng)軟件可靠性保障方法的研究與實(shí)現(xiàn)[D];南京大學(xué);2013年

6 馬曉驥;基于測(cè)試工作效率度量的NHPP類軟件可靠性增長(zhǎng)模型研究[D];西北農(nóng)林科技大學(xué);2016年

7 楊雪;非齊次泊松過程類軟件可靠性增長(zhǎng)模型的研究與應(yīng)用[D];電子科技大學(xué);2008年

8 滕云龍;軟件可靠性與費(fèi)用模型的研究[D];電子科技大學(xué);2008年

9 劉曉妮;軍用軟件可靠性保證和度量方法研究[D];長(zhǎng)春理工大學(xué);2010年

10 鄒崢;基于隨機(jī)Petri網(wǎng)的軟件可靠性分析研究[D];長(zhǎng)沙理工大學(xué);2010年

本文編號(hào)：2799846