基于二元决策图的故障树分析方法.pdfVIP

第45卷 第23期 人 民 长 江 Vo1．45，No．23 2014年 12月 Yangtze River Dee．， 2014 文章编号 ：1001—4179 2014 23—0064—06 基于二元决策图的故障树分析方法 李 静，肖春 颖 大连理工大学 建设工程学部，辽宁 大连 116024 摘要 ：传统故障树分析 的二元决策图方法受变量排序影响很大，可能使运算量和运行空间过大。为此，提 出在 故障树预处理的基础上，使用直接生成法以简化二元决策 图的生成过程 。该方法避免了变量排序 的影响，提 高了复杂故障树的分析效率 。计算 中首先通过结构化简和线性时间算法模块化完成预处理，然后将直接生成 法应用于各个模块进而应用到整个故障树 。最后将此方法与模块连接法、相邻底事件优先法进行实例 比较， 证 明其生成二元决策 图的规模更小且运算量更少。 关 键 词 ：故障树 ；二元决策 图；模块化；直接生成法 中图法分类号 ：TP31 文献标志码 ：A 故障树分析 faulttreeanalysisi．e．FTA 是核 电 简和模块化预处理 ，从而进一步提高 了将复杂 FT转 概率安全评价的一种常用方法。传统故障树分析技术 化为 BDD简化分析的效率。 主要是基于最小割集 的方法。对于大规模 的故障树 ， 1 二元决策图 基于最小割集的方法需要进行几次近似和删减计算 ， 而且对于负面逻辑 成功分支 的处理存在很大不足。 1．1 二元决策图的基本概念 与此相反 ，基于二元决策 图 binarydecisiondiagramsi． BDD是一种基于 Shannon分解 的有 向无环图， e．BDD 的故障树分析方法在模型定量分析时不需要 最早由SheldonB．Akers于 1978年提出 。设 ．厂是一 近似和删减计算 ，在不 明确确定最小割集的情况下具 组布尔变量集合 的布尔函数 ，且 为集合 中的变 有准确进行概率量化的可能性 ，而且能够正确处理负 面逻辑 成功分支 …。BDD的优点使其在故障树分 量，则 Shannon分解及其 if—then—else ite 形式为 析模型中得到广泛应用，其在可靠性领域的应用也被 f 厂‘l：l+ ·；0 证实是高效准确的。 ‘ Fl+ ‘F2 ite ，Fl，F2 1 然而 BDD也存在空间爆炸 问题 ，传统 FT转化成 式 中， 和 分别代表 事件发生和不发生； ；。 即 BDD的方法所生成的BDD规模在很大程度上依赖于 F 和 ：。 即F： 分别表示 发生和不发生的布尔函 变量的排序结果 ，有些节点数 目过多的BDD求解 占用 数 。 ． 的内存空间很大计算时间较长 ，而如何寻找最佳变量 BDD用二叉树形式表示布尔逻辑函数 见图 1 。 排序属于 NP Non—deterministicPolynomial，即非确定 BDD是个有向无环 图，包含终节点和非终节点 ，节 点 性多项式 完全 问题 ，目前还没有找到适合于各种 之间靠 1或0分支连接。终节点分两种状态，1和 0， 类型故障树 的变量排序方法 “。本文依据 FT和 分别表示两种不交 的逻辑状态即系统或部件的失效状 BDD的逻辑一致性，采用直接生成法 ，避免 了变量排 态和正常状态。非终节点对应故障树的基本事件 ，每 序对生成 BDD规模 的影响。此方法的基础是 FT的化 个非终节点的 1分支代表基本事件失效，0分支代表 收稿 日期 ：2014—08—27 基金项 目：国家 自然科学基金重点项 目 5l138001 作者简介：李 静，女，副教授，主要从事工程项 目风险管理、结构抗震、工程项 目绿色开发和可持续评估等方面的研究。 E—mail：lijing@dlut．edu．cn 第23期 李 静，等 ：基于二元决策 图的故障树分析方法 65 基本事件正常。 自BDD的根节点 向下遍历直到到达 树难以判断割集的物理重要度 ，因此常对较大较复杂 一 个终节点，整条路径构成一条 BDD的通路 ，必然结 的故障树进行模块化分别处理来解决上述问题。FT 束在0或 1状态之一 ，分别表示顶事件不发生和发生 ， 的模块是与 FT其他部分完全独立 的子树 。 而终节点为 1的路径 中的节点构成系统 的割集。图 1 中BDD示例所表示 的顶事件发生 的最小割集为到达 终节点 1的所有路径 ，即 ， ，， ， ， 。 纛 图 1 BDD 示 例 图 3 提 取 原 则示 例 1．2 二元决策图分析故障树的基本步骤 本文在 FT结构简化的基础上采用线性时间算法 depth—firstleft—mosttraversa1 对 FT进行模块化分 典型的FT分析