基于有序二元决策图的动态故障树定性分析方法

• 作者: 李洋 田楷 高迎平
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: 动态故障树 有序二元决策图 时序逻辑 逆向转换法
• 年，卷（期）: 2016,（12）
• 所属期刊栏目: 算法与分析
• 页码范围: 2342-2347
• 页数: 6页
• 分类号: TP301
• 字数: 3938字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2016.12.012

摘要

关于基于有序二元决策图的定性分析方法,首先引入时序逻辑,将动态门转换成时序逻辑表达式,然后将动态故障树转换成相应的有序二元决策图结构.动态故障树转换方法面临底部事件排序、冗余结构等问题,影响了定性分析的效果,为此,提出了基于成分组合法的逆向转换法,该方法具有直接、高效等特点.实例验证表明该方法能够减少转化后有序二元决策图的节点数量和冗余结构,提高动态故障树定性分析的效率和效果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	高迎平		30	190	8.0	13.0
2	李洋		13	50	4.0	6.0
3	田楷		2	2	1.0	1.0