请输入您要查询的英文单词:

 

单词 bisimulation equivalence
释义
bisimulation equivalence
  • 翻译

bisimulation等价

以上为机器翻译结果,快速获取精准的人工翻译结果,建议选择有道人工翻译

  • 网络释义
  • 1

    ?互模拟等价

    ...b 服务, 设计出一个可以确定 Web 服务间行为相容性和语 法相容性的方法,采用迹等价和互模拟等价bisimulation equivalence)来确定两个Petri 网模 型间的相似性,该方法可以确保在相容的进程之间 不存在死锁。

短语
  • 双语例句
  • 1
    In this paper, we research region automata, zone automata and the method of state space minimization based on history equivalence and bisimulation transition.
    本文主要研究了域自动机方法、带自动机方法以及基于历史等价和转换互模拟的最小化方法。
  • 2
    Bisimulation is often chosen as the equivalence relation in equivalence checking.
    在等价验证中,通常选择互模拟作为等价关系。
随便看

 

英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/8/15 4:45:19