事故树
事故树图形似倒立着的树，树中的节点具有逻辑判别性质。树的“根部”顶点节点表示系统的某一个事故，树的“梢"底部节点表示事故发生的基本原因，树的“树叉”中间节点表示由基本原因促成的事故结果，又是系统事故的中间原因。事故因果关系的不同性质用不同逻辑门表示。这样画成的一个“树"用来描述某种事故发生的因果关系，称之为事故树。
3.2事故树的最小割集分析
事故树的定性分析(最小割集)，引起顶上事件发生的基本事件的集合叫割集，一个事故树中割集一般不止一个，在这些割集中，凡不包括其他割集的叫最小割集。它在事故树分析中占有重要地位，是顶上事件(事故)发生的本质原因，也就是说表示顶上事件发生原因的集合，因而最小割集越多，系统的危险性越大。其步骤是建立事故的布尔表达式，并划为最简析标准式，求出割集集合。
利用布尔代数求取事故树的最小割集：
在瓦斯爆炸事故树中，任何一组最小割集的基本事件同时发生，顶上事件就必然发生，说明顶上事件发生的途径有126个。
3.3事故树的最小径集分析
径集是系统可靠性工程的概念，又称通集，即如果事故树中某些基本事件不发生，则顶上事件不发生，这些基本事件的集合称为径集，最小径集是顶上事件不发生所必须的最低限度的基本事件集合。根据掘进工作面瓦斯爆炸事故树图1，编制成功树(具体见图2).
4. 结束语
(1)从掘进工作面瓦斯爆炸
