释义 |
1 [计]?转换系统 一般情况下,使用一个表示各种系统的公共框架一一转换系统 (Transition System)来对系统进行建模,这种转换系统也可以看作是一种Kripke 结构。 2 ?传动系统 中原工学院滚筒采煤机截割部的设计 关键词:采煤机、强力耐磨滚筒、截割部、弯摇臂、传动系统 [gap=1804]Key Words: Sheare; Mightiness Worn Roller; cutting unit; ply rockerarm ; transition system 3 ?迁移系统 ...的概念所取代,关于这种动态真的概念,公式可以随 系统的状态演化而改变其真值,在模型验证中,模型M是迁移系统(transition systems),而性质i2j是时态逻辑公式。 4 ?转移系统 我们称Chen系统为Lorenz系统的对偶系统(dual system),称L櫣系统为转移系统(transition system),因为它在Lorenz系统与Chen系统之间架起了一座联系的桥梁.
- 1
The liquid phase transition system is widely encountered in modern engineering applications. - 2
The invention relates to a displacement information transition system, method and indicating device thereof. - 3
At last, execution of label transition system only depends on current dynamic tree so that complexity of execution is reduced. 三是标记转移系统的执行只和当前的动态树相关,降低了执行的复杂度。
|