苗族、左玉；牛、茹；唐涛 基于二元决策图的故障树最小割集生成算法研究。 （中文。英文摘要） Zbl 1313.90075号 J.中国北方大学，自然科学。 35，第2期，141-146（2014）. 摘要：传统故障树分析算法存在的问题是复杂性随着状态空间的增加呈指数级增加，效率低下。因此，提出了一种基于二进制决策图的最小割集生成算法，它是对二进制决策图组件连接方法的改进。然后，通过对构造的图进行深度优先搜索，可以导出最小割集。此外，作为新方法的应用，在案例研究中对CBTC（基于通信的列车控制）系统区域控制器的故障树进行了分析和检验。基于实例，对计算速度和内存使用进行了分析，结果表明，基于二元决策图的最小割集生成算法的复杂度是线性的，而传统的穷举算法是指数型的。 MSC公司： 90B25型 运筹学中的可靠性、可用性、维护和检查 62号05 可靠性和寿命测试 关键词：故障树；最小割集；二元决策图；区域控制器；可靠性工程 PDF格式BibTeX公司 XML格式引用 \textit{Z.Miao}等人，中国北方大学，自然科学。35，第2号，141--146（2014；Zbl 1313.90075） 全文： 内政部