基于二元决策图的故障树最小割集求解算法研究

传统的故障树分析算法普遍存在复杂度随状态空间指数的增长分析效率低的问题，为此提出了基于二元决策图的最小割集生成算法。该算法以二元决策图元素连接法为基础并提出新的构造方法，然后通过深度优先搜索的遍历方式得到最小割集。应用该算法对基于通信的列车运行控制系统的区域控制器进行了故障树分析和计算，在此基础上对算法的计算速度和内存使用进行了分析。实验结果表明：新的基于二元决策图的最小割集生成算法相比一般的穷举算法，其算法复杂度由指数级别降低到了线性级别。