论文部分内容阅读
如何提高大型故障树分析效率一直是研究人员致力于的一个热点问题。近年提出的基于ZBDD的分析方法是一种比较有效的大型故障树求解方法。本文从ZBDD结构和将故障树转换成ZBDD的特点人手，分析了基本事件的排序对ZBDD结构的影响，并结合BDD基本事件排序的当前研究成果，设计了一种基于ZBDD求解大型故障树基本事件的排序方法，并经过反复测试和比较分析，证明了这个方法的有效性。