本文關(guān)鍵詞：基于貝葉斯網(wǎng)絡(luò)的復(fù)雜系統(tǒng)動(dòng)態(tài)故障樹定量分析方法

  更多相關(guān)文章： 動(dòng)態(tài)故障樹 貝葉斯網(wǎng)絡(luò) 定量分析 安全攸關(guān)系統(tǒng)

【摘要】：動(dòng)態(tài)故障樹的貝葉斯網(wǎng)絡(luò)分析方法存在局部組合爆炸和備件門節(jié)點(diǎn)失效時(shí)間僅能是指數(shù)分布的不足.首先,給出動(dòng)態(tài)故障樹轉(zhuǎn)換為離散時(shí)間貝葉斯網(wǎng)絡(luò)的方法,該方法使用一個(gè)確定性函數(shù)來替代條件概率表,避免了局部組合爆炸.然后,根據(jù)備件門的失效機(jī)理和對(duì)應(yīng)的貝葉斯網(wǎng)絡(luò)結(jié)構(gòu)特征,解決了備件節(jié)點(diǎn)失效時(shí)間僅能是指數(shù)分布的限制.最后,提出一種基于動(dòng)態(tài)故障樹的貝葉斯網(wǎng)絡(luò)精確推理算法,基于該算法給出了系統(tǒng)失效分布、組件重要度等概率計(jì)算.實(shí)驗(yàn)結(jié)果表明,該方法能有效地分析和評(píng)估安全攸關(guān)系統(tǒng)的概率特性.
【作者單位】： 南京航空航天大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院;安徽財(cái)貿(mào)職業(yè)學(xué)院電子信息系;
【關(guān)鍵詞】： 動(dòng)態(tài)故障樹 貝葉斯網(wǎng)絡(luò) 定量分析 安全攸關(guān)系統(tǒng)
【基金】：國家自然科學(xué)基金(No.61272083,No.61562087) 安徽省教育廳自然科學(xué)基金(No.KJ2013B009,No.KJ2015A400)
【分類號(hào)】：TP18
【正文快照】： 1引言動(dòng)態(tài)故障樹(DFT)通過定義優(yōu)先與門,備件門和功能依賴門等動(dòng)態(tài)門來擴(kuò)展故障樹的建模能力,使其在具有時(shí)間相關(guān)性、功能相關(guān)性等復(fù)雜系統(tǒng)安全性分析領(lǐng)域獲得廣泛應(yīng)用[1,2].DFT是半形式化模型,需要轉(zhuǎn)換為數(shù)學(xué)模型進(jìn)行分析[2],但是隨著系統(tǒng)規(guī)模和復(fù)雜性的增長,DFT模型也越來越

【參考文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前4條

1 黃志球;徐丙鳳;闞雙龍;胡軍;陳哲;;嵌入式機(jī)載軟件安全性分析標(biāo)準(zhǔn)、方法及工具研究綜述[J];軟件學(xué)報(bào);2014年02期

2 徐丙鳳;黃志球;胡軍;魏歐;肖芳雄;;一種狀態(tài)事件故障樹的定量分析方法[J];電子學(xué)報(bào);2013年08期

3 王楨珍;姜欣;武小悅;譚旭;;信息安全風(fēng)險(xiǎn)概率計(jì)算的貝葉斯網(wǎng)絡(luò)模型[J];電子學(xué)報(bào);2010年S1期

4 周忠寶;周經(jīng)倫;孫權(quán);金光;董豆豆;;基于離散時(shí)間貝葉斯網(wǎng)絡(luò)的動(dòng)態(tài)故障樹分析方法[J];西安交通大學(xué)學(xué)報(bào);2007年06期

【共引文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 房丙午;黃志球;李勇;王勇;;基于貝葉斯網(wǎng)絡(luò)的復(fù)雜系統(tǒng)動(dòng)態(tài)故障樹定量分析方法[J];電子學(xué)報(bào);2016年05期

2 黃開啟;古瑩奎;梁玲強(qiáng);;Reliability Risk Evaluation Method for Complex Mechanical System Based on Optimal Bayesian Network[J];Journal of Donghua University(English Edition);2016年02期

3 王華;李一龍;;試論計(jì)算機(jī)嵌入式軟件構(gòu)件提取與組裝技術(shù)[J];電腦知識(shí)與技術(shù);2016年03期

4 余靜;;嵌入式軟件應(yīng)用于計(jì)算機(jī)軟件開發(fā)過程中的價(jià)值探討[J];信息通信;2016年03期

5 王思琪;黃志球;黃傳林;陳光穎;潘誠;;一種基于狀態(tài)事件故障樹的軟件安全性分析方法研究[J];小型微型計(jì)算機(jī)系統(tǒng);2016年01期

6 曹德建;黃志球;陸陳;陳光穎;仵志鵬;;將故障信息擴(kuò)展到功能模型的安全性分析方法研究[J];小型微型計(jì)算機(jī)系統(tǒng);2016年01期

7 石云;陳鐘;;小波分析和時(shí)間序列法相融合的信息安全態(tài)勢(shì)估計(jì)[J];計(jì)算機(jī)應(yīng)用與軟件;2015年10期

8 崔鐵軍;馬云東;;基于SFT理論的系統(tǒng)可靠性評(píng)估方法改造研究[J];模糊系統(tǒng)與數(shù)學(xué);2015年05期

9 曹德建;黃志球;闞雙龍;黃傳林;;基于故障擴(kuò)展SysML活動(dòng)圖的軟件安全性分析方法研究[J];小型微型計(jì)算機(jī)系統(tǒng);2015年09期

10 茹偉;張軍才;趙臘才;;基于單片機(jī)的機(jī)載千兆交換機(jī)系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[J];電子技術(shù)應(yīng)用;2015年09期

【二級(jí)參考文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 胡璇;楊春暉;黃茂生;;航電系統(tǒng)軟件需求知識(shí)本體構(gòu)建及評(píng)價(jià)[J];計(jì)算機(jī)工程;2013年03期

2 馬琳;黃志球;徐丙鳳;陳哲;;支持模型檢測(cè)的故障樹生成方法研究[J];計(jì)算機(jī)與數(shù)字工程;2013年02期

3 李震;劉斌;苗虹;殷永峰;;基于本體的軟件安全性需求建模和驗(yàn)證[J];北京航空航天大學(xué)學(xué)報(bào);2012年11期

4 徐丙鳳;黃志球;胡軍;于笑豐;;面向適航認(rèn)證的模型驅(qū)動(dòng)機(jī)載軟件構(gòu)件的安全性驗(yàn)證[J];航空學(xué)報(bào);2012年05期

5 李震;劉斌;陸民燕;殷永峰;;基于擴(kuò)展Petri網(wǎng)的除冰軟件安全需求建模和驗(yàn)證[J];北京航空航天大學(xué)學(xué)報(bào);2012年01期

6 樊曉光;褚文奎;張鳳鳴;;軟件安全性研究綜述[J];計(jì)算機(jī)科學(xué);2011年05期

7 張廣泉;戎玫;朱雪陽;何亞麗;石慧娟;;基于XYZ/ADL的Web服務(wù)組合描述與驗(yàn)證[J];電子學(xué)報(bào);2011年S1期

8 杜軍威;徐中偉;江峰;;基于動(dòng)作序列的行為需求模式驗(yàn)證的研究[J];通信學(xué)報(bào);2011年01期

9 祝義;黃志球;曹子寧;周航;劉亞萍;;一種基于形式化規(guī)約生成軟件體系結(jié)構(gòu)模型的方法[J];軟件學(xué)報(bào);2010年11期

10 邵津;鄧芳;王千祥;;一種基于模型的軟件系統(tǒng)監(jiān)測(cè)方法[J];計(jì)算機(jī)研究與發(fā)展;2010年07期

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 施展,李郝林;基于信息論的故障樹最優(yōu)診斷次序[J];江蘇機(jī)械制造與自動(dòng)化;2001年04期

2 汪子皓;莫易敏;;基于機(jī)車故障診斷專家系統(tǒng)的故障樹優(yōu)化設(shè)計(jì)[J];內(nèi)燃機(jī)車;2008年04期

3 宋彤，，鈴木和彥，佐山隼敏;關(guān)于建立故障樹的新探索[J];哈爾濱科學(xué)技術(shù)大學(xué)學(xué)報(bào);1995年02期

4 楊明倫,嚴(yán)學(xué)書;“故障樹”在液壓系統(tǒng)故障診斷中的應(yīng)用[J];渝州大學(xué)學(xué)報(bào)(自然科學(xué)版);1996年03期

5 盧正才,沈懷榮,趙新國;復(fù)雜系統(tǒng)大型故障樹的計(jì)算機(jī)輔助建樹與自動(dòng)分析[J];指揮技術(shù)學(xué)院學(xué)報(bào);1999年06期

6 劉帆;張玉鋒;李明;李怡;;基于航天器故障樹的過程性診斷方法研究[J];飛行器測(cè)控學(xué)報(bào);2010年01期

7 曹志強(qiáng);李俊山;孫李輝;;一種基于控制流的復(fù)雜系統(tǒng)故障樹自動(dòng)建樹方法[J];航空計(jì)算技術(shù);2008年04期

8 魏選平;齊世舉;馬紅光;郝宏偉;;實(shí)用故障樹定量分析原理與應(yīng)用實(shí)例[J];電子產(chǎn)品可靠性與環(huán)境試驗(yàn);2006年06期

9 汪有濤,沙基昌,董萍;一種基于BDD求解PIS的新方法[J];系統(tǒng)工程與電子技術(shù);2000年11期

10 黎清海;朱新華;;基于故障樹邏輯編碼的火控系統(tǒng)故障診斷專家系統(tǒng)[J];兵工自動(dòng)化;2005年06期

中國重要會(huì)議論文全文數(shù)據(jù)庫 前2條

1 孫永全;任和;陳曦;蘇茂根;劉劍;;基于Monte-Carlo模擬的飛機(jī)交流發(fā)電系統(tǒng)故障樹分析[A];技術(shù)融合創(chuàng)新·可靠服務(wù)企業(yè)·安全產(chǎn)品制勝——2013年全國機(jī)械行業(yè)可靠性技術(shù)學(xué)術(shù)交流會(huì)暨第四屆可靠性工程分會(huì)第五次全體委員大會(huì)論文集[C];2013年

2 宋維;任麗霞;胡文軍;錢鴻濤;喬雪冬;盧銀娟;;NFRisk故障樹計(jì)算程序的對(duì)比計(jì)算與分析[A];第十二屆反應(yīng)堆數(shù)值計(jì)算與粒子輸運(yùn)學(xué)術(shù)會(huì)議論文集[C];2008年

本文編號(hào)：679584