一般情况下，使用一个表示各种系统的公共框架一一转换系统 （Transition System）来对系统进行建模，这种转换系统也可以看作是一种Kripke 结构。
基于122个网页-相关网页
...的概念所取代,关于这种动态真的概念,公式可以随 系统的状态演化而改变其真值,在模型验证中,模型M是迁移系统(transition systems),而性质i2j是时态逻辑公式。
基于30个网页-相关网页
我们称Chen系统为Lorenz系统的对偶系统(dual system),称L櫣系统为转移系统(transition system),因为它在Lorenz系统与Chen系统之间架起了一座联系的桥梁.
基于18个网页-相关网页
Labeled Transition System 标号迁移系统 ; 生成标号迁移系统
Phase transition system 相转移系统
semi-algebraic transition system 半代数变迁系统
Label Transition System 标记转移系统
fair transition system 公平转换系统
transition system model 转换系统模型
The liquid phase transition system is widely encountered in modern engineering applications.
流体流动相变系统在工程领域具有十分广泛的应用。
At last, execution of label transition system only depends on current dynamic tree so that complexity of execution is reduced.
三是标记转移系统的执行只和当前的动态树相关，降低了执行的复杂度。
In order to monitor fish in deep-sea cage far from the shore, a remote data acquisition and transition system based on wireless module is developed.
为了满足抗风浪深水网箱中鱼群远距离监测的要求，本文提出了一种鱼群监测数据采集和基于无线模块的远程传输方案。
应用推荐