摘要

本文引入了事故树关联矩阵的概念,介绍了利用关联矩阵便于计算机处理的化简事故树的算法和事故最小割集和最小径集的求法,并从理论上验证了算法原理。