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