动态故障树造句

考虑到动态故障树方法特别适合于冗余系统的故障建模，采用动态故障树方法对CMS-03A供电系统进行了故障分析。

提出了一种完全脱离马尔可夫模型的求解动态故障树顶事件发生概率的方法和一种最小顺序割集的生成方法。