论文部分内容阅读
采用"非正规"二元决策图(BDD)技术获取最小形割集(MCS)可能存在掩盖非单调底事件作用的弊端"。以"继承"关键技术为基础,提出了用统一编码的"正规"BDD技术来获取非单调关联故障树的MCS。结合Q-M算法,研究了联合获取非单调关联故障树的质蕴涵集(PIS)的完整过程。实际例证表明,所述方法不但能够准确地析出非单调关联故障树的MCS,而且能够自动地获取其PIS。