Bisimulation

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

例句

释义:
类别:全部全部,口语口语,书面语书面语,标题标题,技术技术
来源:全部全部,字典字典,网络网络
难度:全部全部,简单简单,中等中等,