动态故障树的综合分析方法

摘要

介绍了一种动态故障树的综合分析方法.对复杂的动态故障树,用线性搜索算法查找出其静态子树和动态子树,静态子树用二元决策图(BDD)进行简化分析,动态子树转化为马尔可夫链进行分析,最后对静、动态子树的分析结果进行综合.