故障树分析法简称FTA,是系统可靠性分析中的一种重要方法,广泛应用于宇航、核能、电子、机械、电力、化工等等工业领域。故障树分析法是评价系统可靠性和安全性的手段,用来预测和诊断故障,分析系统薄弱环节,指导运行和维修,以及系统最优化设计。随着计算机技术的提高,计算机辅助计算已经成为故障树定量计算的重要方法。但是,目前的故障树辅助分析程序大多只适用于单调关联系统的故障树,对于非单调关联系统,含有统计相依事件的系统等复杂系统的故障树分析尚有待研究。本文就这些问题开展了分析研究工作。本文在详细阐述了可靠性分析基本理论的基础上,研究了故障树分析法的基本方法和理论。在单调关联系统故障树分析的理论基础上,对非单调关联系统的定量分析进行了详细讨论。通过引入正临界状态、逆临界状态、正相关割集、逆相关割集等概念,拓展了单调关联系统的重要度计算公式和可修系统参数计算公式,给出了非单调关联系统故障树定量计算的方法。对于含有统计相依事件的系统,探讨了β因子法和γ因子法的简单应用。在理论研究的基础上,开发了故障树定量计算模块。模块开发采用组件对象模型(COM)技术,模块以动态连接库(DLL)形式封装,可用于故障树辅助分析程序的二次开发。