不交型布尔代数及不交故障树分析法

本文运用不交型布尔代数的概念及其运算规则,形成了不交故障树分析方法。这种方法的核心思想是早期不交化,在大多数情况下它优于常规的晚期不交化途径。发展了包括不交故障树分析程序在内的MFFTAP程序,并在M150型计算机上付之实现。采用早期不交化新途径,再结合早期模块分解和逻辑简化等措施,将大大减轻一般故障树分析的NP困难。