system transition dynamic model 体制转轨动态模型
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.
借助随机服务系统理论，探讨带有优先队列逻辑环随机模型的状态转移有关问题。
应用推荐