[发明专利]故障树分析中割集不交化及计算机实现方法

权利要求书

1.一种故障树分析中割集不交化及计算机实现方法，其特征在于：假定A₁，A₂，…，A_n是顶事件F的n个底事件，故障树的Boole函数可以表示为F＝B₁UB₂U…UB_N，其中N是最小割集个数，是最小割集，n₁，n₂，…n_N∈{1，2，…，n}，可以是或(的相反事件)，方法包括两个步骤，即不交化和计算机实现；不交化过程中为减少运算量和便于故障分析，力求构成每一个割集的底事件尽可能少，因此令n_m＝min{n₁，n₂，…n_N}，其中，m∈{1，2，…，N}，并将F划分为 

实现不交化的事件；重复上述不交化处理过程r次，直到V_r+1所包含的最小割集个数不大于1，则 

F＝U₁+U₂+…U_r+V_r+1

若V_r+1≠φ，令U_r+1＝V_r+1，则U₁，U₂，…，U_r，U_r+1，否则U₁，U₂，…，U_r是F的一组不交最小割集。

2.根据权利要求1所述故障树分析中割集不交化及计算机实现方法，其计算机实现方法是：定义集合到集合P＝{(x₁，x₂，…，x_n)，x_i＝1，-1，0，i＝1，2，…，n}的映射 如下： 

其中j＝1，2，…，n，并对任何(x₁，x₂，…，x_n)∈P，定义运算如下： 

若x_i＝0，则 

若x_i≠0，x_i＝±1时 

若x_i≠0，时 

对任何定义 

。

3.根据权利要求1所述故障树分析中割集不交化及计算机实现方法，其计算机实现的程序为： 

1)根据故障树求出顶事件的Boole函数，由此求出所有最小割集，并转化成对应的n维向量集，记为V₀，置i＝0； 

2)在V_i寻找一个非零分量最少的n维向量，记为U_i； 

3)存储U_i，计算

4)若V_i+1中向量个数大于1，返回2)； 

5)若V_i+1中有一个向量，U_i+1＝V_i+1存储； 

6)停止。