摘要： 针对割序集模型较高的复杂度，提出静态子树模块化和动态子树模块化2种简化方法。利用模块化方法将动态故障树划分为多个静态子树和动态子树。对完全由静态门构成的静态子树采用二叉决策图计算其发生概率；对动态子树采用割序集模型进行分析，将其中包含的静态子树作为一个整体进行处理。通过实例阐述模块化方法的应用过程，算例分析结果表明，该方法能有效降低割序集模型的复杂度。
关键词:
割序集,
动态故障树,
模块化
Abstract: Since the known Cut Sequence Set(CSS) model has to face large complexity, the paper provides two modularization methods, namely the modularization of static sub-trees and dynamic sub-trees. Dynamic Fault Tree(DFT) can be partitioned into several static sub-trees and dynamic sub-trees. For a static sub-tree, Binary Decision Diagram(BDD) is used to compute its probability. For a dynamic sub-tree, CSS model is used to analyze it. If a static sub-tree exists in a dynamic sub-tree, it is treated as a whole. An example is used to illustrate the applications of the simplification methods. The analysis results show that the provided methods can decrease the computational complexity of CSS model.
Key words:
Cut Sequence Set(CSS),
Dynamic Fault Tree(DFT),
modularization
中图分类号:
刘东, 邢维艳, 赵忠文, 王志安. 动态故障树割序集分析的模块化方法[J]. 计算机工程, 2011, 37(7): 10-11,20.
LIU Dong, GENG Wei-Yan, DIAO Zhong-Wen, WANG Zhi-An. Modularization Method for Cut Sequence Set Analysis of Dynamic Fault Tree[J]. Computer Engineering, 2011, 37(7): 10-11,20.