中文摘要：

故障树分析（Fault Tree Analysis）是对系统的安全可靠性进行分析、评估的一种有效方法。但对于大型的故障树结构，传统的故障树分析方法在准确性及效率方面还具有其局限性。而二元决策图（Binary Decision Diagrams）方法在故障树分析中则具有计算效率高，计算结果精确并方便计算机编程实现的卓越特点。但若想利用这一方法，需要把故障树结构转换为二元决策图形式。而在其转换过程中，故障树中底事件的排序具有关键作用。本项目的工作重点便是针对故障树分析中BDD方法的底事件排序问题进行研究及论证，寻求最优的排序方法，从而得到高效、精确的故障树定性和定量分析。此项目研究将填补国内在故障树分析中的BDD排序方法的空白，并对各复杂系统的安全、可靠性分析提供有利的应用价值。