系统可靠性有向故障流图模型及DMA算法

有向矩阵分析法(DigraphMatrixAnalysis), 简称DMA法, 以系统的有向故障流图作为可靠性模型, 采用拓扑学中的可达性计算直接形成系统的割集。本文在有向故障流图模型和可达性计算中引入多端与门的逻辑运算关系, 改进和完善了形成最小割集的算法。串联结构节点压缩技术和模块分解技术的应用, 有效地降低了系统的规模和割集形成过程的计算量。