故障树最小割集程序化设计方案

故障树这一技术在针对工业设备的故障分析中应用较多，一个顶事件通常对应着一个故障，而这个故障可能包含有多个事件组合。最小割集指的是一系列组合事件的集合，这个集合中的每个事件组合是该故障发生的最小事件组合。如何求解最小割集是故障树算法应用的重要问题之一。
下面就对最小割集的求解方法进行简述，并说明哪些方法适合用作程序设计。
1、行列法
又称为下行法。从顶事件开始，用下一层事件代替上一层事件，把“与门”连接的事件，按行横向排列；把“或门”连接的事件，按列纵向排开。这样，逐层向下，直至各基本事件，列出若干行，最后利用布尔代数化简，得出若干最小割集。
该方法的实例及求解过程见文献【1】。另，文献【3】中也可以查阅行列法的求解过程。需要强调的是，文献【3】还提供了程序化设计方案，附带了可执行的Java源码，在此感谢该作者的知识共享。文献【3】中的手写稿存在部分错误，现将其修正如下：



2、结构法
从顶至下，将故障树结构直接用逻辑表达式进行化简。该方法的实例及求解过程见文献【1】