bisimulation

互模拟
常用释义
互模拟

扩展信息

互模拟
...统去替换 另一个系统。Pi演算中的行为等价理论在 互模拟(Bisimulation)技术的基础上,提供 了基于强互模拟的强等价关系和 …
逐步逼近互模拟
通过这些例子我们将逐步逼近互模拟bisimulation)的概念。希望大家能在本课中不断体会逻辑中syntax与semantics的分离和 …
模拟的
...人工抽象为AMS 模型 u 这种抽象关系并不是可互模拟的(bisimulation)-- t 模型降阶去掉了模拟行为 t 在电路级未测试所有 …

例句

在等价验证中,通常选择互模拟作为等价关系。

它还拥有弱互模拟没有的优点,如代数刻画和模态逻辑刻画。

最后证明在这种定义下,互模拟的一些基本性质。

Compared with weak bisimulation, it preserves all intermediate states in silent transitions, thus it is finer than weak bisimulation;

相较弱互模拟,它保持了系统静态迁移中的中间状态,从而比弱互模拟更细;

进程互模拟等价的一致性

时间符号迁移图及其互模拟判定

Web服务组合的互模拟验证

基于符号迁移图的互模拟验证算法

时间自动机两种模型的构造互模拟研究

STGA的变种及其互模拟验证