一种用于故障树决策图分析的模块化事件排序方法
【技术领域】
[0001 ]本发明涉及一种用于故障树决策图分析的模块化事件排序方法。
【背景技术】
[0002] 故障树(Fault Tree，FT)提供了一个包含系统所有可能失效模式的图形化描述， 是系统可靠性分析的有力工具。最早是由H. A .Watson在1961-62研究洲际导弹(Minuteman) 发射系统时提出的，随后得到广泛的研究和应用并形成了国际标准（DIN 25424，IEC 61025)〇
[0003] 在故障树构造过程中把系统最不希望发生的事件作为故障树的顶事件，找出导致 这一不希望事件的所有可能发生的直接因素和原因，它们是处于过渡状态的中间事件，并 由此逐步深入分析，直到找出导致事件发生的基本原因，即故障树的底事件为止。这些底事 件又称为基本事件，它们的数据是已知的，这样就可以从所有基本事件的定量数据，通过故 障树的运算而求得全系统的可靠性参数。
[0004] 通常在故障树中主要由两种逻辑门：与门（Λ)和或门（V)来刻画基本事件(基本 部件失效)和顶层事件（系统失效)之间的关系。除了与和或门，故障树还可以包含k-out-of-η门。因为k-out-of-n门能够用等价的与门和或门组合来表示，所以我们只考虑与门和 或门。
[0005] 如图1给出了一个故障树实例，该实例描述了由部件构成的系统。当XjPX2 中有一个部件失效或者Χι和X3中有一个部件失效系统就失效。该系统对应的故障树中 TopEvent是顶层事件，最底层的事件为基本事件分别对应部件的失效事 件。如果我们用布尔变量表示事件是否发生，如变量χι表示事件Χι的状态，当χι = 1表示事件 X!发生，即心部件故障，而当Xl = 〇表示事件X!不发生，即心部件正常。这样该故障树就等价于 布尔表达式（Χ?Χ/Χ2)Λ(Χ?/Χ3)。
[0006] 基于二进制决策图（Binary Decision Diagram，BDD)分析故障树通常包含以下2 个步骤：
[0007] 1)为所有的基本事件建立一个事件排序。
[0008] 2)根据该变量排序，构造故障树对应的BDD。
[0009] 已有研究表明，第二步所构造的BDD大小和事件排序有密切关系。例如对于图2中 的故障树。当采用的事件排序为X1-X2-X3-X4得到的BDD如图3所示。当采用的事件排序为 X4-X3-X2-X1得到的BDD如图4所示。显然事件排序X1-X2-X3-X4能够得到更小的BDD，所以该 排序是更好的排序。
【发明内容】
[0010] 本发明的目的在于针对现有技术的缺陷和不足，提供一种结构简单，设计合理、使 用方便的一种用于故障树决策图分析的模块化事件排序方法，它通过采用两遍排序的方 法，把故障树模块和模块化故障树排序过程分开处理，能够获得最小的BDD。
[0011] 为实现上述目的，本发明采用的技术方案是：
[0012] 本发明所述的一种用于故障树决策图分析的模块化事件排序方法，它采用如下的 技术方案：
[0013] 步骤一:对故障树进行模块化；
[0014] 其采用如下步骤：
[0015] 1)其模块化过程是一个自底向上的过程；
[0016] 2)当发现一个故障树门下面包含的基本事件在其他地方没有出现过，则该门可以 作为一个模块；
[0017] 3)然后用一个模块变量进行替换，继续向上处理，直至故障树的顶层门；
[0018] 步骤二:生成每个故障树模块的事件排序；
[0019] 其采用如下步骤：
[0020] 1)对于步骤一获得各个模块采用从左到右的方法进行事件排序；
[0021] 2)得到排序的结果；
[0022]步骤三:生成模块化故障树的事件排序；
[0023]步骤四：米用替换法获得最终完整边排序；
[0024] 其采用如下步骤：
[0025] 1)将各个模块排序组成完整事件排序的关键是:从顶层门模块的排序开始，对排 序中包含的模块变量用相对应的模块的排序替换；
[0026] 2)替换过程可以递归进行，直至获得最终的完整边排序。
[0027] 采用上述结构后，本发明有益效果为:本发明所述的一种用于故障树决策图分析 的模块化事件排序方法，它通过采用两遍排序的方法，把故障树模块和模块化故障树排序 过程分开处理，能够获得最小的BDD。
【附图说明】
[0028] 图1是本发明的【背景技术】中故障树一实施例的结构示意图；
[0029] 图2是本发明的【背景技术】中故障树另一实施例的结构示意图；
[0030] 图3是本发明的【背景技术】中的事件排序为X1-X2-X3-X4得到的BDD的结构示意图； [0031]图4是本发明的【背景技术】中的事件排序为X4-X3-X2-X1得到的BDD的结构示意图；
[0032] 图5是本发明的故障树一实施例的结构示意图；
[0033] 图6是本发明的故障树实例的模块化结果的结构示意图；
[0034] 图7是本发明测试故障树的结构示意图。
【具体实施方式】
[0035] 下面结合附图对本发明作进一步的说明。
[0036] 如图1所示，本发明所述的一种用于故障树决策图分析的模块化事件排序方法，它 采用如下的方法步骤：
[0037] 本具体实施例以图5所示的故障树为例:该故障树包含四个逻辑门gl，g2，g3，g4和 6个基本事件xl，x2，x3，x4，x5，x6;
[0038] 步骤一:对故障树进行模块化；
[0039]故障树的模块化过程是一个自底向上的过程。当发现一个故障树门下面包含的基 本事件在其他地方没有出现过，则该门可以作为一个模块，然后用一个模块变量进行替换， 继续向上处理，直至故障树的顶层门。
[0040]对于图1中的故障树实例。首先，检查最底层的门g4发现g4下面包含的基本事件在 其他地方没有出现过，所以g4可以作为一个模块，用模块变量m3代替g4,继续向上处理，发 现上层的门g2和g3下面包含的基本事件在其他地方没有出现过，所以g2和g3可以作为模 块，用模块变量ml和m2代替g2和g3,继续向上处理，至故障树的顶层门gl，gl作为顶层门自 动成为一个模块，用模块变量m0表不。
[0041 ]步骤二:生成每个故障树模块的事件排序；
[0042]对于步骤一获得各个模块可以采用从左到右的方法进行事件排序。
[0043]对于图2中的四个故障模块，所获得排序结果如下表所示。
[0044]模块排序结果
[0046] 步骤三:组合各个模块排序获得最终完整事件排序；
[0047] 步骤四：采用替换法获得最终完整边排序；
[0048] 将各个模块排序组成完整事件排序的关键是:从顶层门模块m0的排序开始，对排 序中包含的模块变量mi用模块mi的排序替换，替换过程可以递归进行，直至获得最终的完 整边排序。
[0049 ]对于图1中的故障树实例。顶层门模块则的排序为X1〈mi〈m2，用模块mi的排序m3〈X4， 模块Π 12的排序X2〈X6，替换Xi〈mi〈m2中的模块变量mi和m2，获得排序11〈1113〈14〈12〈16，然后继续 用模块Π 13的排序X3〈X5，替换11〈1113〈14〈12〈16中的模块变量1113，获得最终完整事件排序11〈13〈15 <X4<X2<X6〇
[0050] 本发明的产生的效果：以测试一故障树例（图7)，来表明效果，其过程如下：
[0051] 1)采用模块化方法获得排序为 ：X1<X5<X2<X3<X4<X6<X7 [0052] 2)该排序得到的BDD大小为10个节点。
[0053] 3)为了检查该大小的BDD是不是最小的，我们对所有可能的排序都进行了比较。7 个事件一共有5040种不同的事件排序。
[0054] 4)其中68种不同的事件排序能够得到的10个节点的BDD(这68种排序中包括X1〈X5〈 X2<X3<X4<X6<X7)〇
[0055] 5)剩余的497 2种不同的事件排序能够得到的大于10个节点的BDD。
[0056] 以上所述仅是本发明的较佳实施方式，故凡依本发明专利申请范围所述的构造、 特征及原理所做的等效变化或修饰，均包括于本发明专利申请范围内。
【主权项】
1. 一种用于故障树决策图分析的模块化事件排序方法，其特征在于：它采用如下的技 术方案： 步骤一:对故障树进行模块化； 其采用如下步骤： 1) 其模块化过程是一个自底向上的过程； 2) 当发现一个故障树门下面包含的基本事件在其他地方没有出现过，则该门可以作为 一个模块； 3) 然后用一个模块变量进行替换，继续向上处理，直至故障树的顶层门； 步骤二:生成每个故障树模块的事件排序； 其采用如下步骤： 1) 对于步骤一获得各个模块采用从左到右的方法进行事件排序； 2) 得到排序的结果； 步骤三:生成模块化故障树的事件排序； 步骤四：采用替换法获得最终完整边排序； 其采用如下步骤： 1) 将各个模块排序组成完整事件排序的关键是:从顶层门模块的排序开始，对排序中 包含的模块变量用相对应的模块的排序替换； 2) 替换过程可以递归进行，直至获得最终的完整边排序。
【专利摘要】本发明涉及一种用于故障树决策图分析的模块化事件排序方法，它采用如下的方法步骤：步骤一：对故障树进行模块化；步骤二：生成每个故障树模块的事件排序；步骤三：生成模块化故障树的事件排序；步骤四：采用替换法获得最终完整边排序；它通过采用两遍排序的方法，把故障树模块和模块化故障树排序过程分开处理，能够获得最小的BDD。
【IPC分类】G06F11/07
【公开号】CN105573855
【申请号】CN201510975056
【发明人】莫毓昌
【申请人】浙江师范大学
【公开日】2016年5月11日
【申请日】2015年12月22日