摘要： 研究阶段任务系统(PMS)故障树变量排序方法。构造一个包含10种不同排序策略的策略库，基于实例基准测试对策略库中的单个策略进行平均性能分析，并在此基础上对策略库本身进行互补性和完备性分析。实例分析表明，应用该策略库可以为各种结构特征的大规模PMS故障树快速有效地生成系统二进制决策图。

关键词: 阶段任务系统, 故障树分析, 二进制决策图, 变量排序, 排序策略

Abstract: This paper studies the variable ordering of Phased Mission System(PMS) fault tree. It builds an ordering heuristic library including ten different ordering heuristics. To make the library dependable, it evaluates each single heuristic with mean performance analysis techniques based on a PMS benchmark, and evaluates the whole library with the complementarity and completeness analysis techniques. Example analysis shows that equipped with the heuristic library system Binary Decision Diagram(BDD) of large-scale PMS fault tree can be efficiently constructed.

Key words: Phased Mission System(PMS), fault tree analysis, Binary Decision Diagram(BDD), variable ordering, ordering heuristics

中图分类号: 

• TP302