Binary Decision Diagram and Markov method are applied in the DFT modeling of satellite key devices to process static subtree and dynamic subtree, respectively.
分别采用二元决策图及马尔科夫方法对关键设备的动态故障树模型中静态子树和动态子树进行分析。
Binary Decision Diagram and Markov method are applied in the DFT modeling of satellite key devices to process static subtree and dynamic subtree, respectively.
分别采用二元决策图及马尔科夫方法对关键设备的动态故障树模型中静态子树和动态子树进行分析。
应用推荐