基于有序二元决策图的动态故障树定性分析方法
高迎平
李洋
田楷
1.河北工业大学 天津3004012.河北工业大学 天津3004013.河北工业大学 天津300401
摘要：关于基于有序二元决策图的定性分析方法,首先引入时序逻辑,将动态门转换成时序逻辑表达式,然后将动态故障树转换成相应的有序二元决策图结构.动态故障树转换方法面临底部事件排序、冗余结构等问题,影响了定性分析的效果,为此,提出了基于成分组合法的逆向转换法,该方法具有直接、高效等特点.实例验证表明该方法能够减少转化后有序二元决策图的节点数量和冗余结构,提高动态故障树定性分析的效率和效果.
关键词：动态故障树有序二元决策图时序逻辑逆向转换法
分类号：TP301(计算技术、计算机技术)
论文发表日期：2016-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：6( 2342-2347 )
英文信息