事故树分析法应用及分析.ppt

* 第一部分 概述 第二部分 事故树的建造及数学描述 第三部分 事故树的定性分析 第四部分 事故树的定量分析 一、名称 FTA Fault Tree Analysis 事故树分析 故障树分析 失效树分析 事故树是一种描述事故因果关系的有向树图。 事故树分析的程序 熟悉系统 定性分析 定量分析 制定安全措施 确定顶上事件 建造事故树 修改简化事故树 收集系统资料 调查事故 调查原因事件 1、割集和最小割集 割集：事故树中某些基本事件的集合,当这些基本事件都发生时,顶上事件必然发生。 如果在某个割集中任意除去一个基本事件就不再是割集了,这样的割集就称为最小割集。也就是导致顶上事件发生的最低限度的基本事件的集合。 2、最小割集的求法 布尔代数化简法 事故树经过布尔代数化简,得到若干交集的并集,每个交集实际就是一个最小割集。 行列法 行列法是1972年由富赛尔(Fussel)提出的,所以又称富塞尔法。 从顶上事件开始,按逻辑门顺序用下面的输入事件代替上面的输出事件,逐层代替,直到所有基本事件都代完为止。 求最小割集,并做出等效图 T = M1M2 =(M3+X1)(X4+M4) =(X2X3+X1)(X4+M5X1) =(X2X3+X1)(X4+(X2+X4)X1) =(X2X3+X1)(X4+X1X2+X1X4) =(X2X3+X1)(X4+X1X2) = X2X3X4+X2X3 X1X2 +X1X4+X1X1X2 =X2X3X4+X1X2 X3+X1X4+X1X2 = X1X2 + X2X3X4 +X1X4 得最小割集：K1 ={x1 ,x2 } , K2 ={ x2 , x3 , x4 }, K3 ={ x1 , x4 } + · X2 X4 M2 T M1 + X1 M3 · X2 X3 + X4 M4 · X1 M5 用最小割集表示的等效事故树： T K1 · X2 X4 + K2 X3 · X1 X2 K3 · X1 X4 T=MaMb =(x1+ x4)( Mc+x5) = (x1+ x4)(Md x3 + x5 ) = (x1+ x4)((x1+ x2) x3 + x5 ) T · Mb Mc X5 · X3 Md X1 X2 + Ma X1 + X4 + = (x1+ x4)(x1 x3 + x2 x3 + x5 ) = x1 x1 x3 + x1 x2 x3 + x1 x5 + x4 x1 x3 + x4 x2 x3 + x4 x5 = x1 x3 + x1 x2 x3 + x1 x5 + x1 x3 x4 + x2 x4 x3 + x4 x5 = x1 x3 + x1 x5 + x2 x3 x4 + x4 x5 用布尔代数法化简,求最小割集,并作等效事故树 得最小割集: K1={x1 ,x3 }, K2={x1 , x5 }, K3={x2 , x3 , x4 }, K4={x4 , x5 } 最小割集表示的等效事故树 + T · X1 X5 K2 · X2 X4 K3 · X1 X3 K1 · X4 X5 K4 X3 径集：事故树中某些基本事件的集合,当这些基本事件都不发生时,顶上事件必然不发生。 如果在某个径集中任意除去一个基本事件就不再是径集了,这样的径集就称为最小径集。也就是不能导致顶上事件发生的最低限度的基本事件的集合。 径集和最小径集 最小径集的求法 将事故树转化为成功树（对偶树）, 化简成功树 即可得出原事故树的最小径集。 T · Mb Mc X5 · X3 Md X1 X2 + Ma X1 + X4 + 求最小径集,并用最小径集作其等效事故树 + · · + · T ′ Ma ′ X1 ′ X4 ′ Mb ′ Mc ′ X5 ′ Md ′ X1 ′ X2 ′ X3 ′ 事故树 成功树 T’=Ma ’ + Mb ’ =x1’ x4’ + Mc’ x5’ = x1’ x4’ +(Md’ + x3’ ) x5’ = x1’ x4’ +(x1’ x2’+x3’ )x5’ = x1’ x4’ +x1’ x2’ x5’+x3’ x5’ 得最小径集: P1={x1 ,x4 }, P2={x1 ,x2 ,x5 }, P3={ x3 , x5 } (T’)’=(x1’ x4’ +x1’ x2’ x5’+x