一种基于逻辑代数模型的动态故障树不交化方法

针对动态故障树的逻辑代数模型,提出一种不交化方法:在获得最小割序列或集合的基础上,通过对动态逻辑事件进行"非运算"和"反演"运算,推演出故障树逻辑代数模型的容-斥不交化形式,为其后的动态故障树定量分析提供有效的结构函数表达式。借助一个共享备件的双温贮备(WSP)系统案例的研究,可以体现出该种方法较之传统方法的优越性。