互模拟

网络bisimulation

网络释义

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

例句

释义:

全部全部,bisimulationbisimulation

类别:全部全部,口语口语,书面语书面语,标题标题,技术技术

来源:全部全部,字典字典,网络网络

难度:全部全部,简单简单,中等中等,难难

更多例句筛选

收起例句筛选

1.

Bisimulation is often chosen as the equivalence relation in equivalence checking .

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

3.

finally , this paper proves some properties of bisimulation based on this definition .

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

4.

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

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

5.

uniformity of bisimulation equivalences of chi processes

进程互模拟等价的一致性

www.ichacha.net

6.

Timed Bisimulation over Timed Symbolic Transition Graph

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

7.

Open-bisimulation checking of Web Services combination

Web 服务组合的互模拟验证

8.

time calculus and weak - timed mutual - simulation analysis

演算及其弱时间互模拟分析

www.ichacha.net

9.

Bisimulation Checking Algorithms Based on Symbolic Transition Graphs

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

10.

The Construction and Bisimulation between Two Model of Timed Automata

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

service.ilib.cn

1
2