一般情况下，使用一个表示各种系统的公共框架一一转换系统 （Transition System）来对系统进行建模，这种转换系统也可以看作是一种Kripke 结构。
基于122个网页-相关网页
中原工学院滚筒采煤机截割部的设计 关键词：采煤机、强力耐磨滚筒、截割部、弯摇臂、传动系统 [gap=1804]Key Words: Sheare; Mightiness Worn Roller; cutting unit; ply rockerarm ; transition system
基于64个网页-相关网页
...的概念所取代,关于这种动态真的概念,公式可以随 系统的状态演化而改变其真值,在模型验证中,模型M是迁移系统(transition systems),而性质i2j是时态逻辑公式。
基于30个网页-相关网页
我们称Chen系统为Lorenz系统的对偶系统(dual system),称L櫣系统为转移系统(transition system),因为它在Lorenz系统与Chen系统之间架起了一座联系的桥梁.
基于18个网页-相关网页
over the transition system 在过渡制度 ; 转型期的系统 ; 在转型期国家系统
Labeled Transition System 标号迁移系统 ; 转换系统 ; 生成标号迁移系统
Phase transition system 相转移系统
semi-algebraic transition system 半代数变迁系统
Modular Transition System 迁移系统
Label Transition System 变迁系统 ; 标号 ; 标记转移系统
The liquid phase transition system is widely encountered in modern engineering applications.
流体流动相变系统在工程领域具有十分广泛的应用。
The invention relates to a displacement information transition system, method and indicating device thereof.
本发明为一种位移信息转换系统、方法及其指示装置。
At last, execution of label transition system only depends on current dynamic tree so that complexity of execution is reduced.
三是标记转移系统的执行只和当前的动态树相关，降低了执行的复杂度。
应用推荐