月亮词典
首页
查询
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的变种及其互模拟验证