基于多值决策图的动态故障树分析方法 (Dynamic Fault Tree Analysis Based on Multiple-valued Decision Diagrams)