一种有共因失效与网络系统可靠性分析方法.docVIP

一种有共因失效的网络系统可靠性分析方法 左 雷，桂小渝，李士安 （空军工程设计研究局 100068） 摘要：在分析网络系统可靠性时，由于其诸多部分是冗余系统，共因（CCF）失效是必须考虑的因素。传统的共因方法分为显式方法和隐式方法，显式方法由于要引入大量共因失效基本事件,造成模型的复杂和难以求解；而隐式方法有较大的主观性，结果往往不够精确。本文基于决策二叉树（BBD）的共因分析法，能方便的进行计算同时得到了较理想的精确结果。 关键词：共因失效；网络；可靠性；决策二叉树 A Reliability Analysis Method of Network with CCF Zuo Lei Gui Xiao-yu Li Shi-an (Air Force engineering design and research bureau 100068) Abstract: Common cause failure must be a factor worth considering when analyzing the reliability of network with the redundant system. Basically there are two methods for CCF analysis, the explicit method and the implicit method. The explicit method is complicated and difficult to figure out because there are a lot of basic events of common cause failure that has to be introduced. And the implicit method is more subjective, so the result is always not accurate enough. The paper is based on an analytical procedure of BBD, which can be used to calculate effectively and get a satisfied result at the same time. Key words: CCF；network；reliability；BBD 1 引言 网络系统往往是冗余系统，在同一网络中往往使用同一厂家的设备，它们有相同的设计缺陷、制造安装缺陷、运行或维修失误，使用环境也基本相同，因此，在进行这类有冗余设备的系统可靠性分析时，应考虑共因失效(CCF)。共因失效是指由根原因直接引起几个设备或系统同时失效，传统的共因模型分为显式方法和隐式方法，显式模型由于要引入大量共因失效基本事件,造成模型的复杂和难以求解；而隐式方法有较大的主观性，结果往往不够精确。基于BDD的考虑共因失效的可靠性分析方法,它通过在忽略共因失效情况下将共因组的故障树转化为二元决策树,求出系统的不可靠度表达式,然后通过隐式方法将该表达式转化成包含共因信息的不可靠度或可靠度表达式,进行可靠性分析，从而提高了系统不可靠度的计算精度。 2 BDD原理 BDD[1] ( Binary Decision Diagram)是一种特殊的树形结构，是采用具有标号的二叉树表示布尔逻辑函数的直接非循环表示图，图形只有两种叶节点：1或者0，分别代表常量1和0，中间节点为布尔变量,节点引出的两条边分别代表两个表达式，即为一个ite（if-then-else）结构。表示如果成立，则成立；否则成立。即： （1） 故障树向BDD的转化从故障树的最底一层门事件开始，用底事件置换门事件，逐层向上，每置换一步同时按ite结构对置换进行编码。如此类推，将所有门事件均用底事件置换编码，便可得到顶事件的BDD。在进行ite结构转化的过程中，先将基本事件变量按照某一规则进行排序，index(Xi)代表Xi在排序中的位置，若A=ite(Xi,F1,F2),B=ite(Xj,G1,G2)，则在结构化过程中遵循以下规则（op为布尔运算符）： 当index(Xi)index(Xj)时，AopB=ite(Xi,F1opB,F2opB)； 当index(Xi)=index(Xj)时，AopB=ite(Xi,F1opG1,F2opG2)。 在BDD模型中，求顶事件概率和最小割集非常简单，即所有为1的叶结点回溯到根节点的路径之和为故障树根节