由不交化矩阵求最小割集的改进算法  

Improved algorithm to MCS by non-intersect matrix

作　　者：张文华[1] 张凤鸣[1] 惠晓滨[1] 

机构地区：[1]空军工程大学工程学院,陕西西安710038

出　　处：《计算机工程与设计》2005年第10期2749-2751,共3页Computer Engineering and Design

摘　　要：利用早期不交化法求解最小割集是目前进行故障树定性分析的一种有效方法。但不交化最小割集矩阵行数随着故障树规模的大小呈指数增长,对于数万乃至数百万行的不交化矩阵求解最小割集的过程就会慢得让人无法接受。通过对原算法的分析和改进,采用静态指针法建立动态数组,避免了原算法最耗时间的对不交化矩阵的排序运算。通过与原算法的对比分析,结果验证了本算法的有效性。It is efficient method to get mininal cut sets for fault tree analysis by former non-intersect currently. But the rows of nonintersect mininal cut sets matrix increase exponentially along with the scale of fault tree. The tardy process will be tolerated while the minimal cut sets are being gained by the matrix often thousand to million rows. Through analysing and improving the original algorithm, the improved approach makes its running velocity faster according to avoiding sorting by static point and dynamic array. The practice confirms that the new algorithm is more effective than the old in running velocity.

关 键 词：故障树 早期不交化 最小割集(MCS) 

分 类 号：TP202[自动化与计算机技术—检测技术与自动化装置]