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

被引：9

作者：

杨建元

康锐

机构：

[1] 北京航空航天大学工程系统工程系

来源：

系统工程与电子技术 | 2008年 / 06期

关键词：

飞行器设计; 最低设备清单故障树模型; 最小割集; 二元决策图; 多态部件; 重复事件;

D O I：

暂无

中图分类号：

V219 [相关学科的应用];

学科分类号：

082501 [飞行器设计];

摘要：

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

引用

页码：1173 / 1176

页数：4

共 5 条

[1]

Zero-suppressed BDDs and their applications [J].