最低设备清单故障树模型最小割集的生成

摘要

针对最低设备清单(minimum equipment list,MEL)故障树模型的特点,提出了一种最小割集(minimal cut sets,MCS)的求解算法.该算法基于二元决策图(binary decision diagram,BDD)技术,利用改进的多态运算法则和MCS或门求解法则,有效地解决了MEL故障树模型MCS求解过程中的多态部件和重复事件难题.给出了应用该方法的具体步骤,通过算例说明了该算法的有效性.