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

摘要

本发明提出一种由故障树的Boole函数获取顶事件最小割集，并对最小割集进行不交化处理的计算机实现方法。不交化处理的基本方法是将一个事件分割为子事件及其对立事件的和，并通过对相交事件的若干次如此的运算，直到分割为不交事件。计算机实现的方法是将最小割集映射为n维向量的一个集合，通过在该集合中定义一种与最小割集间交运算相对应的运算实现的。本发明具有如下特点：(1)只要对最小割集进行编码，输入计算机即可由计算机自动实现最小割集的不交化处理，自动化程度高，不需要人工干预；(2)优先选择底事件最少的最小割集作为不交最小割集，减少了不交化处理之后最小割集的个数，使顶事件失效概率的计算更加简单。

主权项

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的一组不交最小割集。