月亮词典
首页
查询
bisimulation
互模拟
常用释义
词性释义
互模拟
例句
全部
Bisimulation
is
often
chosen
as
the
equivalence
relation
in
equivalence
checking
.
在等价验证中，通常选择互模拟作为等价关系。
It
also
has many
merits
that
weak
bisimulation
does
not
have
,
e.
g.
,
algebraic
characterization
and
modal
logic
characterization
.
它还拥有弱互模拟没有的优点，如代数刻画和模态逻辑刻画。
finally
,
this
paper
proves
some
properties
of
bisimulation
based
on
this
definition
.
最后证明在这种定义下，互模拟的一些基本性质。
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 在电路级未测试所有 …