一种基于ZBDD求解大型故障树的基本事件排序方法

• 作者: 刘萍 吴宜灿 张士杰 李亚洲 王海涛 聂淼 胡丽琴 袁润 麻晓敏
• 来源期刊: 核科学与工程
• 学科: 工学
• 关键词: 零压缩二元决策图 概率截断 排序方法 最小割集
• 年，卷（期）: 2007,（3）
• 所属期刊栏目: 核安全
• 页码范围: 282-288
• 页数: 7页
• 分类号: TL61
• 字数: 2819字
• 语种: 中文
• DOI: 10.3321/j.issn:0258-0918.2007.03.016

摘要

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