基于二叉决策图的故障树求解法

• 作者: 张琴芳 高巍
• 来源期刊: 核技术
• 学科: 工学
• 关键词: 故障树分析 二叉决策图(BDD) 程序实现
• 年，卷（期）: 2011,（10）
• 所属期刊栏目: 核能技术
• 页码范围: 791-795
• 分类号: TM623.8
• 字数: 3981字
• 语种: 中文

摘要

探讨了二叉决策图(BDD)求解故障树失效概率和最小割集(MCS)的方法,包括如何将故障树转化为BDD、用BDD求解最小割集、利用零压缩二叉决策图(ZBDD)表示最小割集以减少存储空间、基于BDD求解故障树顶事件失效概率.用程序实现了BDD算法,以某电厂PSA模型部分分枝为对象,通过手工计算和RiskSpectrum PSA程序验证了该程序的正确性,对比结果显示该程序可用于求解小规模故障树失效率和MCS.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张琴芳		12	35	3.0	5.0
2	高巍		5	20	2.0	4.0