针对扩展动态故障树的约束分析方法

• 作者: 吴奇烜 孙聪 张双 张帅 郑涛 马建峰
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 延时门 动态故障树 动态贝叶斯网络 可满足性模理论
• 年，卷（期）: 2017,（9）
• 所属期刊栏目: 学术论文
• 页码范围: 159-166
• 页数: 8页
• 分类号: TP311.5
• 字数: 5398字
• 语种: 中文
• DOI: 10.11959/j.issn.1000-436x.2017156

摘要

提出延时门机制对动态故障树进行扩展,用于对子系统失效延时传播到上层系统进行建模,并通过扩展动态贝叶斯网络对包含延时门的动态故障树进行求解.还提出并实现了一种基于可满足性模理论的扩展动态故障树求解算法,支持由非确定性的基本事件概率范围约束求解系统的最优化失效率.通过对实际系统的分析、求解及与现有工具的对比,说明分析方法的有效性,并通过对实际系统的分析给出了基本事件概率约束和延时门参数对系统整体失效率的影响.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马建峰	西安电子科技大学网络与信息安全学院	389	4956	30.0	50.0
2	孙聪	西安电子科技大学网络与信息安全学院	12	41	3.0	6.0
3	张帅	西安电子科技大学网络与信息安全学院	20	138	8.0	11.0
4	张双	中国航空工业集团公司西安航空计算技术研究所	3	13	2.0	3.0
5	吴奇烜	西安电子科技大学网络与信息安全学院	2	8	1.0	2.0
6	郑涛	中国航空工业集团公司西安航空计算技术研究所	1	8	1.0	1.0