论文部分内容阅读
变量排序问题是故障树BDD分析方法中的NP完全问题．本文证明了故障树变量排序问题复杂度和带重复变量模块排序问题复杂度之间的依赖关系，分析了变量排序问题的复杂性并定义了复杂性度量MA，通过实验数据揭示了随着MA增加深度优先遍历策略的性能逐渐下降，并且已有的基于权值和出现频度的改进机制并不能够带来明显的性能提升，所以研究设计在较大MA时有良好排序性能的新策略是迫切需要解决的问题．