安全系统工程课件：最小割集和最小径集.pptxVIP

《安全系统工程》 最小割集和最小集径 割集 导致顶上事件发生的基本事件的集合，也就是说，事故树中，一组基本事件能够引起顶上事件发生，这组基本事件就称为割集。 最小割集 导致顶上事件发生的最低限度的基本事件的集合。 布尔代数化简法也叫逻辑化简法，其方法是根据布尔代数运算及化简法则来进行，实践表明，事故树经过化简得到若干交集的并集，每个交集就是一个最小割集。 事故树示意图 T=A1＋A2 =x1 x2 A3＋x4 A4 =x1 x2 （x1＋x3）＋ x4 （x5＋X6） =x1 x2 A1＋x1 x2 A3＋x4 x5＋x4 x6 =x1 x2＋ x4 x5＋x4 x6 所以最小割集为{x1，x2}，{x4，x5}，{x4，x6}。结果得到三个交集的并集，这三个交集就是三个最小割集E1={x1，x2}，E2={x4，x5}，E3={x4，x6}。 径集 如果事故树中某些基本事件不发生，则顶上事件就不发生，这些基本事件的集合称为径集。它表示当该组合中的基本事件全部不发生时，顶上事件也不会发生。 最小径集 就是指不能导致顶上事件不发生的最低限度的基本事件的组合。在最小径集里，如果任意去掉其中任一基本事件，就不能成为径集了。因此最小径集表示当不发生那些故障和差错时，就不会导致事故的发生，即表示系统的安全性。 求出最小径集可以了解到，要使顶上事件不发生有几种可能的方案，从而为控制事故提供依据。 一个最小径集中的基本事件都不发生，就可使顶上事件不发生。故障树中最小径集越多，系统就越安全。从用最小径集表示的故障树等效图可以看出，只要控制一个最小径集不发生，顶上事件就不发生，所以可以选择控制事故的最佳方案。 一般地说，对少事件最小径集加以控制较为有利。 将事故树的布尔表达式化简成最简合取标准式，式中每个最小项所属变元构成的集合，便是最小割集，若最简析取标准式中含有n个最小项，则该事故树有n个最小割集，根据定义可知，最简合取标准式表示的事故树为： 如果定义的合取标注式的布尔项之积Bi(事故树的径集)中各项之间不存在包含关系，即其中任意一项基本事件布尔和（或运算）不被其他基本事件布尔和所包含，则该合取标注式为最简合取标准式，那么Bi为结构函数T的最小径集。 建立事故树的布尔表达式。一般从事故树的顶事件开始，用下一层事件代取上一层事件，直至顶事件被所有基本事件代替为止。 将布尔表达式化为标注合取范式。 化标准析取范式为最简合取标准式。 事故树 例：将事故树变为成功树 用 T、 A1、 A2、 A3、 A4、 x1、 x2、 x3、 x4、x5、 x6表示事件 T、 A1、 A2 、A3、 A4、 x1、 x2、 x3、x4、x5、 x6的补事件，即成功事件；逻辑门作相应转换。 用布尔代数化简法求成功树的最小割集： T= A1·A’2 =（x1＋A3＋x2）·（x4＋A’4） =（x1＋x2＋x1 x3）·（x4＋ x5 X’6） =（x1＋x2）·（x4＋ x5 x ‘6） =x1 x4＋ x1 x5 x6＋x2 x4＋ x2 x5 x6 成功树的最小割集： {x‘1，x’4}，{x1，x5，x6} {x‘2，x’4}，{x2，x5，x6} 即事故树的最小径集： P1={x1，x4}； P2={x1，x5，x6} P3={x2，x4}；P4={x2，x5，x6} 对偶树法求最小径集方法是利用它与最小割集的对偶性。 首先作出与事故树对偶的成功树，即把原来事故树的与门换成或门，而或门换成与门，各类事件发生换成不发生，利用上述方法求出成功树的最小割集，再转化为事故树的最小径集。 《安全系统工程》 谢谢观看