Dynamic fault tree is modularized into independent static subtrees and independent dynamic subtrees,then solved by BDD and Markov model separately.

• 该方法首先将动态故障树进行模块化，得到独立的静态子树和动态子树，再分别用二元决断图法和马尔可夫过程方法求解。