前者先将混 合（离散和连续的）状态空间简化成一个等价的有限的“双拟关系” （Bisimulation），然后再对经过简化后的商空间（Quotient space）做进一步 探索；后者则是通过对状态集合中的布尔操作算子以及可达集中的操作算子...
基于6个网页-相关网页
...迁移系统，只考虑系 统的离散特性，通过对连续系统状态空间迭代划分【4】来寻找与该离散状态迁移 系统满足仿真对（Bisimulation）关系【4】的有限状态迁移系统，如果该有限状态 迁移系统满足形式化验证规范”J，则原混杂系统即满足形式化验证规范。
基于4个网页-相关网页
BISIMULATION EQUIVALENCE 互模拟等价
barbed bisimulation 钩互模拟
open-bisimulation 开互模拟
context bisimulation 上下文互模拟
strict bisimulation 严格互模拟
Framed Bisimulation 框架互模拟
D-bisimulation 分解互模拟
weak bisimulation 弱互模拟
Backward Bisimulation 后向互模拟
The other notion is the bisimulation relation on sets which is used to decide whether two non-well-founded sets are the same or not.
另一个概念是集合上的互模拟关系,它用于判定两个非良基集合相等。
参考来源 - 非良基集与模态逻辑·2,447,543篇论文数据，部分数据来源于NoteExpress
以上来源于: WordNet
Bisimulation is often chosen as the equivalence relation in equivalence checking.
在等价验证中，通常选择互模拟作为等价关系。
In this paper, we research region automata, zone automata and the method of state space minimization based on history equivalence and bisimulation transition.
本文主要研究了域自动机方法、带自动机方法以及基于历史等价和转换互模拟的最小化方法。
Process calculus is usually used to reason about reactive systems, in which bisimulation method is an important way to formally verify the properties of a system.
进程演算通常用来研究交互式反应系统，其中的互模拟方法是用来形式化验证系统属性的重要途径。
应用推荐