事故树分析简称FTA,是安全系统分析中的一种重要方法,广泛应用于宇航、核能、电子、机械、电力、矿山、化工等工业领域。随着现代科学技术的不断发展,大型复杂系统的日益增多,系统复杂度的升高,事故树规模的变大,事故树的计算问题已演化成为NP困难问题,有关事故树定性分析和定量分析的算法研究变得更加重要。本文介绍事故树分析法的研究现状,围绕事故树的算法问题展开内容,从事故树定性分析和定量分析两方面入手,结合多个实例来说明并验证文中提出的有关事故树分析算法的正确性,为将来真正实现事故树的自动生成打下良好的算法基础。应用关联矩阵概念,讨论了事故树的关联矩阵表达式,阐明事故树和关联矩阵是一对应的关系,详述了关联矩阵法求解事故树的运算步骤,并举例验证该算法的正确性,简述了关联矩阵法求解事故树较其他方法的优势。描述了事故树定量分析中最小割集不交化的原理和方法,提出了最小割集不交化运算的几条简化规则,给出了简化规则的理论证明,并通过实例验证了这些规则的有效性。对隧洞施工存在的问题进行分析,编制了长大隧洞施工独头掘进工作面炮烟中毒事故树,利用关联矩阵法求解了该事故树的最小割集和最小径集,比较了各基本事件的结构重要度,分析了炮烟中毒事故发生的原因,提出了防止隧洞施工炮烟中毒事故的安全措施,并采用本文提出的最小割集不交化简化规则对该事故树进行了定量分析,求出了其顶事件发生概率的表达式,与其他定量分析法进行了对比研究,说明了该简化规则算法的优越性。讨论了模块分割的概念,提出了事故树模块分割的化简规则。对多级机站矿井通风系统进行分析,编制出多级机站矿井通风系统事故树。将模块分割的化简规则运用到多级机站矿井通风系统FTA中,用详细的步骤描述了模块分割法化简多级机站矿井通风系统事故树的全部过程,求出了其最小割集,分析了发生矿井通风事故的原因,给出防止多级机站矿井通风系统事故的安全措施。