故障树分析法始于上世纪60年代,现已成为系统可靠性和可用性常用预测方法之一,广泛地应用于工程实践中。早期故障树分析程序,由于算法和计算机处理能力的原因,对事件个数进行了限制,课题中对故障树的事件个数不再限制,可以对更大规模单调关联故障树进行分析。单调关联故障树中引入的补事件,可以通过早期不交化的去补运算消除;其它逻辑关系的门可以转换为与、门逻辑关系门。在算法分析中,采用两种可选的路径:大量重复事件的故障树分析采用早期不交化、模块化、转移事件,无重复事件的故障树分析采用转移事件来有效处理故障树分析中存在的NP问题,这样故障树规模呈指数下降。故障树的定性分析中采用了下行法结合素数法求最小割集,并对两种不同的割集存储方式:队列指针法和二维数组法进行了对比,最终采用队列指针法,为故障树事件个数无限制提供了可能。由于故障树底事件之间的相容性,进而对所求得的最小割集进行了晚期不交化。在定量分析算法中引进了状态空间的概念,定义了cube子集的运算并结合递归Sharp算法获得故障树的完好模式不交化蕴涵族和故障模式不交化蕴涵族。所求得的不交化蕴涵族不仅可以用于单调关联故障树的定量计算,也可以用于非单调关联故障树的定量计算。