用递归BDD技术分析故障树

Analyzing Fault Tree by Using Method of Recursive BDD Technique

  • 摘要: 研究了二元决策图(BDD)技术在故障树分析中的具体运用。针对传统故障树分析方法只能得到顶事件的割集而常规不交化割集策略又太过烦琐的弊端,以同时实现故障树顶事件的结构函数及其不交化割集的形式为要求,分析了BDD技术的原理和方法。在用递归方法实现顶事件BDD的基础上,提出了用继承技术自动实现不交化割集。在具体的例证中验证了BDD技术优于传统故障树分析的原因。

     

    Abstract: In this paper, the practical application of BDD (Binary Decision Diagram, BDD) technique in fault tree analysis is studied. Because there are some disadvantages that the fault tree analysis with traditional method could only get cut-sets of top event, and normal non-intersection strategy was too cumbersome, the principles and method of BDD technique are analyzed. On the basis of researching BDD structure of top-event with recursive technique, a key technique, i.e., inherit technique, is put forward and used to form non-intersection cut-sets. Finally, an example is given to interpret the reasons why the BDD technique is superior to method of traditional fault tree analysis.

     

/

返回文章
返回