故障树向二元决策图的转换算法
Strategy for Fault Tree Conversion to Binary Decision Diagram作者机构:中国原子能科学研究院中国实验快堆工程部北京102413
出 版 物:《原子能科学技术》 (Atomic Energy Science and Technology)
年 卷 期:2010年第44卷第3期
页 面:289-293页
核心收录:
学科分类:08[工学] 0807[工学-动力工程及工程热物理] 0827[工学-核科学与技术] 082701[工学-核能科学与工程] 0703[理学-化学] 0801[工学-力学(可授工学、理学学位)]
主 题:Living PSA NFRisk程序 二元决策图 转换 排序
摘 要:Living PSA(Living probability safety analysis)技术已引起核电业主和核安全当局的广泛重视,该技术要求能快速准确地反映核电厂实际运行状态。因此,基于对新型的可靠性分析算法——二元决策图(BDD)的研究和概率安全分析程序NFRisk的编写经验,介绍了二元决策图的基本概念,故障树向二元决策图转换时的基本事件的排序算法,以及将故障树转换成顶事件的二元决策图的算法。这些算法均已应用在NFRisk程序中,并被证明具有良好的计算性能。