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

摘要

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