互模拟

Web Definition

1.
bisimulation
...统去替换 另一个系统。Pi演算中的行为等价理论在 互模拟(Bisimulation)技术的基础上，提供 了基于强互模拟的强等价关系和 …
www.docin.com|Based on 6 pages

Sample Sentence

Definition:
AllAll,bisimulationbisimulation
Category:AllAll,OralOral,WrittenWritten,TitleTitle,TechnicalTechnical
Source:AllAll,DictionaryDictionary,WebWeb
Difficulty:AllAll,EasyEasy,MiddleMiddle,HardHard
1.
Bisimulation is often chosen as the equivalence relation in equivalence checking.
在等价验证中，通常选择互模拟作为等价关系。
zài děng jià yàn zhèng zhōng , tōng cháng xuǎn zé hù mó nǐ zuò wéi děng jià guān xì 。
www.boshuo.net
2.
It also has many merits that weak bisimulation does not have, e. g. , algebraic characterization and modal logic characterization.
它还拥有弱互模拟没有的优点，如代数刻画和模态逻辑刻画。
tā hái yōng yǒu ruò hù mó nǐ méi yǒu de yōu diǎn , rú dài shù kè huà hé mó tài luó jí kè huà 。
www.boshuo.net
3.
finally, this paper proves some properties of bisimulation based on this definition.
最后证明在这种定义下，互模拟的一些基本性质。
zuì hòu zhèng míng zài zhè zhǒng dìng yì xià , hù mó nǐ de yì xiē jī běn xìng zhì 。
lib.cqvip.com
4.
Compared with weak bisimulation, it preserves all intermediate states in silent transitions, thus it is finer than weak bisimulation;
相较弱互模拟，它保持了系统静态迁移中的中间状态，从而比弱互模拟更细；
xiāng jiào ruò hù mó nǐ , tā bǎo chí le xì tǒng jìng tài qiān yí zhōng de zhōng jiān zhuàng tài , cóng ér bǐ ruò hù mó nǐ gèng xì ;
www.boshuo.net
5.
uniformity of bisimulation equivalences of chi processes
进程互模拟等价的一致性
jìn chéng hù mó nǐ děng jià de yí zhì xìng
www.ichacha.net
6.
Timed Bisimulation over Timed Symbolic Transition Graph
时间符号迁移图及其互模拟判定
shí jiān fú hào qiān yí tú jí qí hù mó nǐ pàn dìng
www.ilib.cn
7.
Open-bisimulation checking of Web Services combination
Web服务组合的互模拟验证
Web fú wù zǔ hé de hù mó nǐ yàn zhèng
www.ilib.cn
8.
time calculus and weak - timed mutual - simulation analysis
演算及其弱时间互模拟分析
yǎn suàn jí qí ruò shí jiān hù mó nǐ fēn xī
www.ichacha.net
9.
Bisimulation Checking Algorithms Based on Symbolic Transition Graphs
基于符号迁移图的互模拟验证算法
jī yú fú hào qiān yí tú de hù mó nǐ yàn zhèng suàn fǎ
www.ilib.cn
10.
The Construction and Bisimulation between Two Model of Timed Automata
时间自动机两种模型的构造互模拟研究
shí jiān zì dòng jī liǎng zhǒng mó xíng de gòu zào hù mó nǐ yán jiū
service.ilib.cn