随着科学技术的发展,人们对系统的安全性、可靠性要求越来越高。故障树分析便是对系统进行安全性、可靠性分析的一种有效方法。而在现在所有的故障树分析中,二元决策图又是其中最有效的方法之一。由于二元决策图的节点数在很大程度上依赖于输入的底事件的排列次序,所以从故障树到二元决策图的转换过程中,需要先对底事件进行排序。而如何对底事件进行有效的排序则成为一个重要且未完全解决的课题。虽然现在已经有一些底事件排序方法,但没有一种方法能适合所有的故障树。本文提出了一种新的底事件排序法—相邻底事件优先法,它在原有方法的基础上,特别强调了底事件之间的逻辑关系,并且它的底事件排序过程是静态的,但在BDD的构造过程中,又动态地对已经排序的底事件进行筛选,在BDD的不同分支中允许有不同的底事件排序。在对此方法的原理、步骤进行了详细的分析后,本文又用C语言进行了实现,使新方法能够得到普遍应用。实验证明,与现有的底事件排序法相比,相邻底事件优先法可有效地提高75%的故障树的二元决策图转化效率。之后,本文又引入了故障树模块化的概念,将新方法与模块化结合,形成了模块化的相邻底事件优先法,提高了将复杂故障树转化为二元决策图的可能性。