针对故障树模犁中最小割集(mininal cut sets,MCS)求解的重要性,综合比较了下行法、上行法和基于二元决策图(binary decision diagram,BDD)技术求解MCS的方法,分析了在故障树分析(fault tree analysis,FTA)过程中针对不同情况求解最小割集的区别对待问题,并结合待研制生产的某型潜艇鱼雷应急发控系统故障树模型,应用3种方法求解了最小割集.
发控系统 故障树模型 最小割集 下行法 上行法 二元决策图