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

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

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

【參考文獻】

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

1 黃志球;徐丙鳳;闞雙龍;胡軍;陳哲;;嵌入式機載軟件安全性分析標準、方法及工具研究綜述[J];軟件學報;2014年02期

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

3 王楨珍;姜欣;武小悅;譚旭;;信息安全風險概率計算的貝葉斯網(wǎng)絡模型[J];電子學報;2010年S1期

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

【共引文獻】

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

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

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

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

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

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

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

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

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

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

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

【二級參考文獻】

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

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

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

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

4 徐丙鳳;黃志球;胡軍;于笑豐;;面向適航認證的模型驅(qū)動機載軟件構(gòu)件的安全性驗證[J];航空學報;2012年05期

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

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

7 張廣泉;戎玫;朱雪陽;何亞麗;石慧娟;;基于XYZ/ADL的Web服務組合描述與驗證[J];電子學報;2011年S1期

8 杜軍威;徐中偉;江峰;;基于動作序列的行為需求模式驗證的研究[J];通信學報;2011年01期

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

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

【相似文獻】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

本文編號：679584