论文研究-故障树BDD分析方法中变量排序问题研究 .pdf

【文件属性】：

文件名称：论文研究-故障树BDD分析方法中变量排序问题研究 .pdf

文件大小：325KB

文件格式：PDF

更新时间：2022-09-05 14:52:51

故障树分析

故障树BDD分析方法中变量排序问题研究，贺宁凯，莫毓昌，变量排序问题是故障树BDD分析方法中的NP完全问题。本文证明了故障树变量排序问题复杂度和带重复变量模块排序问题复杂度之间的依赖�