bisimulation英文翻译_bisimulation是什么意思_(互模拟的英文)_月亮词典

bisimulation

互模拟

常用释义

词性释义

互模拟

例句

全部

It also has many merits that weak bisimulation does not have, e. g. , algebraic characterization and modal logic characterization.

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

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

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

uniformity of bisimulation equivalences of chi processes

进程互模拟等价的一致性

Timed Bisimulation over Timed Symbolic Transition Graph

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

Open-bisimulation checking of Web Services combination

Web 服务组合的互模拟验证

Bisimulation Checking Algorithms Based on Symbolic Transition Graphs

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

The Construction and Bisimulation between Two Model of Timed Automata

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

A Variant of STGA and Its Bisimulation Checking

STGA 的变种及其互模拟验证

网络释义

互模拟

...统去替换另一个系统。Pi演算中的行为等价理论在 互模拟(Bisimulation)技术的基础上，提供了基于强互模拟的强等价关系和 …

逐步逼近互模拟

通过这些例子我们将逐步逼近互模拟（bisimulation）的概念。希望大家能在本课中不断体会逻辑中syntax与semantics的分离和 …

模拟的

...人工抽象为AMS 模型 u 这种抽象关系并不是可互模拟的(bisimulation)－－ t 模型降阶去掉了模拟行为 t 在电路级未测试所有 …

更新时间：2025-05-03 01:02