一种将故障树直接转化为BDD的新方法

摘要：

故障树分析(FTA)是工业系统安全分析中使用最广泛的方法之一,尤其是在核电站概率安全分析(PSA)领域有着重要的应用。近年来,一种基于二进制决策图（BDD）求解故障树模型的新方法引起了广泛的注意。使用BDD 方法进行故障树分析具有既高效又精确的优点,然而,在故障树转化BDD 的过程中存在一个瓶颈。由于现有的BDD 转化算法一般都是基于香农分解的原理,使得故障树基本事件序列的顺序对生成的BDD 结构大小有着极为重要的影响。本文提出了一种通过节点置换操作将故障树直接转化为BDD 的新方法。在充分考虑故障树和 BDD 两种结构逻辑相关性基础上,总结出了一套转化的规则,通过一系列的节点置换操作,将故障树结构成功地转化为相应的BDD。图形化的节点操作将更为直观,同时由于避免了大量的逻辑运算, 使得转化过程更为高效。

关键词： 故障树分析 二进制决策图 香农分解 最小割集 节点操作

作者: 王维 童节娟

作者单位: 清华大学核能与新能源技术研究院,北京100084

会议类型: 国内会议

会议名称: 第7届国际可靠性、维修性、安全性学术会议(The Seventh International Conference on Reliability,Maintainability and Safety)

会议地点: 北京

会议语种:中文

在线出版日期: 2007-08-22（万方平台首次上网日期，不代表论文的发表时间）