失效树分析的新途径

本文提出了布尔代数的不交型运算规则,用来从失效树直接写出不交型失效函数,计算失效概率,从而提供了失效树分析的新途径。它不用枚举最小割集或质蕴涵集,对相干和非相干系统可以统一处理,并把枚举程序和失效函数化不交型的程序简化为单一计算程序,节省了计算量。 新途径还对失效树进行分解和简约。为此提出“失效树的重复模块”概念,和对逻辑多余项目尽早简约的原则,进一步使计算量大为减少。