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