基于贝叶斯网络的复杂系统动态故障树定量分析方法

发布时间：2017-08-15 18:12

  本文关键词：基于贝叶斯网络的复杂系统动态故障树定量分析方法

  更多相关文章： 动态故障树 贝叶斯网络 定量分析 安全攸关系统

【摘要】：动态故障树的贝叶斯网络分析方法存在局部组合爆炸和备件门节点失效时间仅能是指数分布的不足.首先,给出动态故障树转换为离散时间贝叶斯网络的方法,该方法使用一个确定性函数来替代条件概率表,避免了局部组合爆炸.然后,根据备件门的失效机理和对应的贝叶斯网络结构特征,解决了备件节点失效时间仅能是指数分布的限制.最后,提出一种基于动态故障树的贝叶斯网络精确推理算法,基于该算法给出了系统失效分布、组件重要度等概率计算.实验结果表明,该方法能有效地分析和评估安全攸关系统的概率特性.
【作者单位】： 南京航空航天大学计算机科学与技术学院;安徽财贸职业学院电子信息系;
【关键词】： 动态故障树 贝叶斯网络 定量分析 安全攸关系统
【基金】：国家自然科学基金(No.61272083,No.61562087) 安徽省教育厅自然科学基金(No.KJ2013B009,No.KJ2015A400)
【分类号】：TP18
【正文快照】： 1引言动态故障树(DFT)通过定义优先与门,备件门和功能依赖门等动态门来扩展故障树的建模能力,使其在具有时间相关性、功能相关性等复杂系统安全性分析领域获得广泛应用[1,2].DFT是半形式化模型,需要转换为数学模型进行分析[2],但是随着系统规模和复杂性的增长,DFT模型也越来越

【参考文献】

中国期刊全文数据库 前4条

1 黄志球;徐丙凤;阚双龙;胡军;陈哲;;嵌入式机载软件安全性分析标准、方法及工具研究综述[J];软件学报;2014年02期

2 徐丙凤;黄志球;胡军;魏欧;肖芳雄;;一种状态事件故障树的定量分析方法[J];电子学报;2013年08期

3 王桢珍;姜欣;武小悦;谭旭;;信息安全风险概率计算的贝叶斯网络模型[J];电子学报;2010年S1期

4 周忠宝;周经伦;孙权;金光;董豆豆;;基于离散时间贝叶斯网络的动态故障树分析方法[J];西安交通大学学报;2007年06期

【共引文献】

中国期刊全文数据库 前10条

1 房丙午;黄志球;李勇;王勇;;基于贝叶斯网络的复杂系统动态故障树定量分析方法[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 王华;李一龙;;试论计算机嵌入式软件构件提取与组装技术[J];电脑知识与技术;2016年03期

4 余静;;嵌入式软件应用于计算机软件开发过程中的价值探讨[J];信息通信;2016年03期

5 王思琪;黄志球;黄传林;陈光颖;潘诚;;一种基于状态事件故障树的软件安全性分析方法研究[J];小型微型计算机系统;2016年01期

6 曹德建;黄志球;陆陈;陈光颖;仵志鹏;;将故障信息扩展到功能模型的安全性分析方法研究[J];小型微型计算机系统;2016年01期

7 石云;陈钟;;小波分析和时间序列法相融合的信息安全态势估计[J];计算机应用与软件;2015年10期

8 崔铁军;马云东;;基于SFT理论的系统可靠性评估方法改造研究[J];模糊系统与数学;2015年05期

9 曹德建;黄志球;阚双龙;黄传林;;基于故障扩展SysML活动图的软件安全性分析方法研究[J];小型微型计算机系统;2015年09期

10 茹伟;张军才;赵腊才;;基于单片机的机载千兆交换机系统设计与实现[J];电子技术应用;2015年09期

【二级参考文献】

中国期刊全文数据库 前10条

1 胡璇;杨春晖;黄茂生;;航电系统软件需求知识本体构建及评价[J];计算机工程;2013年03期

2 马琳;黄志球;徐丙凤;陈哲;;支持模型检测的故障树生成方法研究[J];计算机与数字工程;2013年02期

3 李震;刘斌;苗虹;殷永峰;;基于本体的软件安全性需求建模和验证[J];北京航空航天大学学报;2012年11期

4 徐丙凤;黄志球;胡军;于笑丰;;面向适航认证的模型驱动机载软件构件的安全性验证[J];航空学报;2012年05期

5 李震;刘斌;陆民燕;殷永峰;;基于扩展Petri网的除冰软件安全需求建模和验证[J];北京航空航天大学学报;2012年01期

6 樊晓光;褚文奎;张凤鸣;;软件安全性研究综述[J];计算机科学;2011年05期

7 张广泉;戎玫;朱雪阳;何亚丽;石慧娟;;基于XYZ/ADL的Web服务组合描述与验证[J];电子学报;2011年S1期

8 杜军威;徐中伟;江峰;;基于动作序列的行为需求模式验证的研究[J];通信学报;2011年01期

9 祝义;黄志球;曹子宁;周航;刘亚萍;;一种基于形式化规约生成软件体系结构模型的方法[J];软件学报;2010年11期

10 邵津;邓芳;王千祥;;一种基于模型的软件系统监测方法[J];计算机研究与发展;2010年07期

【相似文献】

中国期刊全文数据库 前10条

1 施展,李郝林;基于信息论的故障树最优诊断次序[J];江苏机械制造与自动化;2001年04期

2 汪子皓;莫易敏;;基于机车故障诊断专家系统的故障树优化设计[J];内燃机车;2008年04期

3 宋彤，，铃木和彦，佐山隼敏;关于建立故障树的新探索[J];哈尔滨科学技术大学学报;1995年02期

4 杨明伦,严学书;“故障树”在液压系统故障诊断中的应用[J];渝州大学学报(自然科学版);1996年03期

5 卢正才,沈怀荣,赵新国;复杂系统大型故障树的计算机辅助建树与自动分析[J];指挥技术学院学报;1999年06期

6 刘帆;张玉锋;李明;李怡;;基于航天器故障树的过程性诊断方法研究[J];飞行器测控学报;2010年01期

7 曹志强;李俊山;孙李辉;;一种基于控制流的复杂系统故障树自动建树方法[J];航空计算技术;2008年04期

8 魏选平;齐世举;马红光;郝宏伟;;实用故障树定量分析原理与应用实例[J];电子产品可靠性与环境试验;2006年06期

9 汪有涛,沙基昌,董萍;一种基于BDD求解PIS的新方法[J];系统工程与电子技术;2000年11期

10 黎清海;朱新华;;基于故障树逻辑编码的火控系统故障诊断专家系统[J];兵工自动化;2005年06期

中国重要会议论文全文数据库 前2条

1 孙永全;任和;陈曦;苏茂根;刘剑;;基于Monte-Carlo模拟的飞机交流发电系统故障树分析[A];技术融合创新·可靠服务企业·安全产品制胜——2013年全国机械行业可靠性技术学术交流会暨第四届可靠性工程分会第五次全体委员大会论文集[C];2013年

2 宋维;任丽霞;胡文军;钱鸿涛;乔雪冬;卢银娟;;NFRisk故障树计算程序的对比计算与分析[A];第十二届反应堆数值计算与粒子输运学术会议论文集[C];2008年

本文编号：679584