To model check a value-passing concurrent system, an abstract model must be constructed, and Symbolic Transition Graphs with Assignment is such an abstract model.
对并发传值系统进行模型检测需要建立相应的抽象模型，带赋值的符号迁移图是一种广为使用的抽象模型。
However, differences in each country's social history, economic and legal conditions decide that each country will take a different way and model in this system transition.
但是，由于各国本身的社会历史及经济法律条件的不同，决定了不同的国家在转轨道路及转轨模式上有所不同。
Based on the theory of stochastic service system, this paper discusses state transition of logic ring stochastic model with priority queues.
借助随机服务系统理论，探讨带有优先队列逻辑环随机模型的状态转移有关问题。
A simple statistical model is presented to illustrate the transition mechanism of the electron-crystal strong coupling system.
本文建立一个简单的统计模型以说明电子-晶格强耦合体系的跃迁特征。
A mathematical model of a hybrid-switched system has been built up by a two dimensional ergodic Markov process with the state-transition-rates diagram.
本文利用具有状态转移率的马尔柯夫过程建立了一种综合传输交换的数学模型。
A mathematical model of a hybrid-switched system has been built up by a two dimensional ergodic Markov process with the state-transition-rates diagram.
本文利用具有状态转移率的马尔柯夫过程建立了一种综合传输交换的数学模型。
应用推荐