改进的动态故障树转化为二元决策图的成分组合算法与应用

动态故障树分析是可靠性领域的重要分析方法之一,树状结构能够直观反映系统失效逻辑关系,提出一种针对动态故障树的混合分析方法。将动态故障树进行模块化,对于动静态模块按照门的种类分离,改进了现有的静态故障树转换为二元决策图的成分组合法,从而直接得到静态树模块最小割集,按照动态门的种类定义割集序列,对于动态故障树模块按照割集序列求解,将两部分结果合并得到整棵故障树的最简割集序列。最后经过实验验证,算法能够快速有效完成对动态故障树定性分析。

Enhanced component connection method and application for conversion of fault trees to binary decision diagrams

Dynamic fault tree analysis is one of the most important methods in reliability field. The tree structure shows system failure logic directly.A hybrid analysis method for dynamic fault tree is presented.Dynamic fault tree is modularized and divided into static module and dynamic module by the type of gates. The existing component connection method of converting static fault tree to binary decision diagram is improved. The proposed method obtain the minimum cut set of static tree module directly. A set of dynamic gates cut set sequences definitions are applied to analysis the dynamic modular. The merger of two part results grains the whole fault tree cut set sequences. Finally,an experiment proves the algorithm can complete the qualitative analysis of the dynamic fault tree quickly and effectively.