Binary Decision Diagram and Markov method are applied in the DFT modeling of satellite key devices to process static subtree and dynamic subtree, respectively.

分别采用二元决策图及马尔科夫方法对关键设备的动态故障树模型中静态子树和动态子树进行分析。

youdao

Then, three safety modeling methods of human-machine system are introduced: probability logic method, Markov process method and random parameter function method.

然后介绍了用于人机一体化系统安全性建模的三种数据方法：概率逻辑法、马尔柯夫过程法和随即参数函数法。

youdao

Taking the study of gating mechanism of potassium channel as the basis, this article approaches modeling method of Markov process of gating mechanism, and selects the relatively simple model.

以钾离子单通道门控机理的分析为前提，探索钾离子通道门控动力学马尔科夫过程的模型，并选出相对简单的模型。

youdao