事故树计算的数学知识.pptx

《事故树计算的数学知识.pptx》由会员分享，可在线阅读，更多相关《事故树计算的数学知识.pptx（28页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、LOGO 安全评价安全评价教材辅导资料教材辅导资料 Shigushu Fenxizhongde Shuxue JichuzhishiShigushu Fenxizhongde Shuxue Jichuzhishi Phone：注册管理咨询师注册管理咨询师 注册安全评价师注册安全评价师 江江 光光 平平 制制 作作 本教案涉及的主要内容本教案涉及的主要内容 事故树数学基础知识 Shuxue JichuzhishiShuxue Jichuzhishi1.集合的基本关系和运算集合的基本关系和运算2.逻辑运算逻辑运算 3.概率及运算概率及运算4.事故树定性、定量分析事故树定性、定量分析 第一章第一章

2、集合的关系及运算集合的关系及运算 本章有本章有本章有本章有4 4节内容节内容节内容节内容化相交集合为化相交集合为不交集合在不交集合在FTA的运用的运用化相交集合化相交集合为不交集合为不交集合基本计算基本计算概念化相交集合为化相交集合为不交集合在不交集合在FTA的运用的运用化相交集合为化相交集合为不交集合在不交集合在FTA的运用的运用化相交集合为化相交集合为不交集合在不交集合在FTA的运用的运用化相交集合为化相交集合为不交集合在不交集合在FTA的运用的运用 第一章第一章 集合的关系和运算集合的关系和运算 第一节第一节 集合的基本概念集合的基本概念 1.1基本概念基本概念 具有某种共同属性的事物的

3、全体叫做集合，具有某种共同属性的事物的全体叫做集合，集合中的事物叫做元素。集合中的事物叫做元素。包含一切元素的集合称为全集，用符号包含一切元素的集合称为全集，用符号表示表示；不包含任何元素的；不包含任何元素的 集合称为空集，用符号集合称为空集，用符号 表示。表示。第一章第一章 集合的关系和运算集合的关系和运算 1.2集合的表示集合的表示 集合以大写字母表示，集合的定义写在括号中；集合以大写字母表示，集合的定义写在括号中；如：如：A=2 单元素集合单元素集合 B=2,4,6 三元素集合三元素集合 C=1,2,3 三元素集合三元素集合 D=1,2,3,4,5,6 泛集（亦称全集）用泛集（亦称全集）

4、用或或1 E=零、无效或空集零、无效或空集 空集，用空集，用或或0表示表示 第一章第一章 集合的关系和运算集合的关系和运算 1.3集合的包含关系集合的包含关系 集合之间的包含关系（即从属关系）用符号集合之间的包含关系（即从属关系）用符号表示，如表示，如A、B、C包括在包括在D内，我们把内，我们把A、B、C称作称作D的子集，表示为：的子集，表示为：A、B、C D 子集子集B B1 1包含于全集包含于全集，记为，记为 B1 第一章第一章 集合的关系和运算集合的关系和运算 1.4集合的描述法表示集合的描述法表示 把集合中的元素的公共属性描述出来，写在把集合中的元素的公共属性描述出来，写在大括号内表示

5、集合的方法。一般大括号内表示集合的方法。一般在大括号在大括号的左边的左边写上这个集合的元素的一般形式，再划一条竖线，写上这个集合的元素的一般形式，再划一条竖线，在竖线的右边写上这个集在竖线的右边写上这个集 合的元素的公共属性，如：不合的元素的公共属性，如：不 等式等式X23X+20的解集可表的解集可表 示为：示为：X X23X+20 第一章第一章 集合的关系和运算集合的关系和运算 第二节第二节 集合的简单运算集合的简单运算 2.1交集交集 两个子集相交之后，相交的部分为两个子集两个子集相交之后，相交的部分为两个子集的共有元素的集合，称为交集，其相交的关系用的共有元素的集合，称为交集，其相交的关

6、系用符号符号表示，如图表示，如图1 1：ABAB。根据定义，交是可以。根据定义，交是可以交换的，即（交换的，即（AB=BAAB=BA）B 图图1 交集交集 第一章第一章 集合的关系和运算集合的关系和运算 2.1交集关系演示交集关系演示 例例1：若：若 A=a,b,c,d B=c,d,e，则：则：AB=c,d 例例2：设设 A=1，2，3，4，5 B=2,4,6,8,求求AB 解：解：AB=2，4 第一章第一章 集合的关系和运算集合的关系和运算 2.1交集关系演示交集关系演示 例例3：已知：已知 A为奇数集，为奇数集，B为偶数集，为偶数集，Z为整数集，为整数集，求求AZ，BZ，AB。解：解：AZ

7、=奇数奇数整数整数=A BZ=偶数偶数整数整数=B AB=奇数奇数偶数偶数=第一章第一章 集合的关系和运算集合的关系和运算 2.2并集并集 集合集合A、B，由所有属于，由所有属于A或属于或属于B的元素所组的元素所组成的集合，叫做成的集合，叫做A、B的并集记作的并集记作AB，如图，如图2：即即AB=X XA或或XB 由并集定义可知：由并集定义可知：AB=A A=A AB=BAA B 图图2 并集并集 第一章第一章 集合的关系和运算集合的关系和运算 2.2并集并集 例题：设例题：设 A=3，5，6，8，B=4，5，7，8，求求AB 解解：AB=3，4，5，6，7，8 第一章第一章 集合的关系和运算

8、集合的关系和运算 2.3补集补集 某种情况下，集合是某一给定集合的子集，某种情况下，集合是某一给定集合的子集，这个给定集合可以看作一个全集，用符号这个给定集合可以看作一个全集，用符号I表示，表示，I含有我们所要研究的各个集合的全部元素。已知含有我们所要研究的各个集合的全部元素。已知全集全集I，集合，集合AI，由，由I中所有不属于中所有不属于A的元素组成的元素组成的集合，叫做集合的集合，叫做集合A在全集在全集I中的补集，记作中的补集，记作 （读（读A补）即补）即 且且 。由补集定义可知，对于任何集合由补集定义可知，对于任何集合A，有有 A I I A A 图图3 补集补集 第一章第一章 集合的关

9、系和运算集合的关系和运算 2.3补集补集 例题：设例题：设 I=1,2,3,4,5,6,7,8，A=3,4,5，B=4,7,8，求求 解：=1,2,6,7,8;=1,2,3,5,6;=1,2,6;=1,2,3,5,6,7,8;=4 第一章第一章 集合的关系和运算集合的关系和运算 第三节第三节 化相交集合为不交集合理论运用化相交集合为不交集合理论运用 Er EsEr EsEr Es Er +ErEs 图图4 相交、不相交集合文氏图相交、不相交集合文氏图 第一章第一章 集合的关系和运算集合的关系和运算 3.1相交集合与不交集合概念相交集合与不交集合概念 由以上文氏图可以看出：由以上文氏图可以看出：

10、ErEs为相交集合，为相交集合，Er+ErEs为不相交集合，亦即为不相交集合，亦即 ErEs=Er+ErEs 式中：式中：集合并运算集合并运算 +不交和运算不交和运算 所以有：所以有：P(ErEs)=P(Er)+P(ErEs)第一章第一章 集合的关系和运算集合的关系和运算 3.1相交集合与不交集合概念相交集合与不交集合概念 并推广到一般式并推广到一般式：T=E1+E1E2+E1 E2 E3+E1 E2 E3Ek-1Ek 当求出一个事故树的最小割集后，可直接运当求出一个事故树的最小割集后，可直接运用布尔代数的运算定律或以上式将相交和化为不用布尔代数的运算定律或以上式将相交和化为不交和。交和。第一

11、章第一章 集合的关系和运算集合的关系和运算 3.2不交积之和定理不交积之和定理 如果事故树结构比较复杂时，以上方法仍然如果事故树结构比较复杂时，以上方法仍然相当繁琐，可采用不交积之和定理进行简化运算；相当繁琐，可采用不交积之和定理进行简化运算；尤其是当事故树最小割集彼此间有重复事件时，尤其是当事故树最小割集彼此间有重复事件时，将更具优越性。将更具优越性。命题命题1，集合，集合Er和和Es如不包含共同元素，则如不包含共同元素，则Er可用不交化规则直接展开。可用不交化规则直接展开。命题命题2，若集合，若集合Er 和和Es包含共同元素，则：包含共同元素，则：Er Es=Ers Es 式中：式中：Er

12、 s表示表示Er中有的而中有的而Es中没有的元素中没有的元素的布尔积。的布尔积。第一章第一章 集合的关系和运算集合的关系和运算 3.2不交积之和定理不交积之和定理 命题命题3 3，若集合，若集合Er和和Et包包 含共同元素，含共同元素，Es和和Et也包也包 含共同元素，而且含共同元素，而且Er t，Es t Es t，则：，则：ErEsEt=Es tEt 事故树案例事故树案例 T A1 A2 B1 B2 C X5 X1 X4 X5 X2 X3 X3 图图5 事故树事故树 第一章第一章 集合的关系和运算集合的关系和运算 3.2不交积之和定理不交积之和定理 根据以上事故树，用不交积之和定理进行不交

13、根据以上事故树，用不交积之和定理进行不交化运算，计算顶上事件的发生概率。化运算，计算顶上事件的发生概率。解：经布尔代数化简，该事故树最小割集为：解：经布尔代数化简，该事故树最小割集为：E1=X1,X4，E2=X3,X5，E3=X1,X2,X3 E1 3=E4，E2 3=E5 第一章第一章 集合的关系和运算集合的关系和运算 3.2不交积之和定理不交积之和定理 根据以上公式和命题根据以上公式和命题1 1、命题、命题3 3得：得：T=E1+E1 E2+E1 E2 E3 =E1+E1 E2+E1 3E2 3E3 =X1X4+(X1X4)X3X5+X4 X5 X1X2X3 =X1X4+(X1X1 X4)

14、X3X5+X1X2X3X4 X5 =X1X4+X1 X3X5+X1X3X4 X5+X1X2X3X4 X5 第一章第一章 集合的关系和运算集合的关系和运算 3.2不交积之和定理不交积之和定理 设各本事件的发生概率为设各本事件的发生概率为q1=0.01,q2=0.02,q3=0.03,q4=0.04,q5=0.05，则顶上事件的发生概率为：则顶上事件的发生概率为：P（T）=q1q2+(1q1)q3q5+q1q3(1-q4)q5 +q1q2q3(1-q5)=0.001904872第一章第一章 集合的关系和运算集合的关系和运算 第四节第四节 化相交集合为不交集合化相交集合为不交集合 在在FTA中的应用

15、中的应用 化相交集合为不交集合理论是近几年提出的，引进到化相交集合为不交集合理论是近几年提出的，引进到FTAFTA中可以减少故障树顶上事件发生概率的计算量。中可以减少故障树顶上事件发生概率的计算量。根据布尔代数下列定律：根据布尔代数下列定律：A+B=A+AB A+B=A+AB AA=0 (A)=A (AB)=A+B (A+B)=A B 对于独立事件和相容事件，对于独立事件和相容事件，A+B 和和A+B均为相交均为相交集合，而集合，而A+A B和和A+AB则变为不交集合。则变为不交集合。第一章第一章 集合的关系和运算集合的关系和运算 4.1布尔代数证明布尔代数证明 根据以上定律：根据以上定律：A

16、+B+C=A+A B+C=A+A B+（A+A B）C=A+A B+A（A B）C=A+A B+A（A）+B C=A+A B+A（A+B）C=A+A B+A B C 同理可证：同理可证：A+B+M+N=A+AB+ABMN 第一章第一章 集合的关系和运算集合的关系和运算 4.1布尔代数证明布尔代数证明 对于一个故障树结构函数，可将其化为不交形式对于一个故障树结构函数，可将其化为不交形式 例题例题1 1：T =（X1+X2）（）（X1+X3）（）（X2+X3）=（X1+X1 X2）（）（X1+X1 X3）（）（X2+X2 X3）=（X1+X1 X2X3）（）（X2+X2 X3）=X1X2X1 X2

17、X3+X1 X2X3 若若X1、X2、X3的发生概率分别为的发生概率分别为q1、q2、q3，则顶上事件，则顶上事件的发生概率即为：的发生概率即为：g=q1q2+(1q1)q2q3+q1(1q2)q3 第一章第一章 集合的关系和运算集合的关系和运算 例题例题2：T=X1X2X4+X1X3X4+X2X3X4 =X1X2X4+（X1X2X4）X1X3X4+（X1X2X4）（X1X3X4）X2X3X4 =X1X2X4+（X1+X2+X4）X1X3X4+（X1+X2+X4）(X1+X3+X4)X2X3X4 =X1X2X4+（X1+X1X2+X1X2X4）X1X3X4+（X1+X1X2+X1X2X4）（）（X1+X1X3 X4+X1X3X4）X2X3X4=X1X2X4+X1X2 X3X4+(X1+X1X2 X3+X1X2 X3X4+X1X2X3 X4+X1X2X3X4)X2X3X4 =X1X2X4+X1X2 X3X4+X1 X2X3X4 第一章第一章 集合的关系和运算集合的关系和运算 4.1布尔代数证明布尔代数证明 若若X1、X2、X3、X4的发生概率分别为的发生概率分别为q1、q2、q3、q4，则顶上事件发生概率即为：则顶上事件发生概率即为：g=q1q2q4+(1q2)q3q4+(1q1)q2q3q4