bisimulation

  • Web互模拟；逐步逼近互模拟；模拟的

Web Definition

1.
互模拟
...统去替换 另一个系统。Pi演算中的行为等价理论在 互模拟(Bisimulation)技术的基础上，提供 了基于强互模拟的强等价关系和 …
www.docin.com|Based on 7 pages
2.
逐步逼近互模拟
通过这些例子我们将逐步逼近互模拟（bisimulation）的概念。希望大家能在本课中不断体会逻辑中syntax与semantics的分离和 …
www.phil.pku.edu.cn|Based on 1 page
3.
模拟的
...人工抽象为AMS 模型 u 这种抽象关系并不是可互模拟的(bisimulation)－－ t 模型降阶去掉了模拟行为 t 在电路级未测试所有 …
www.docin.com|Based on 1 page

Sample Sentence

Definition:
AllAll,互模拟互模拟,逐步逼近互模拟逐步逼近互模拟,模拟的模拟的
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.
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
9.
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
10.
A Variant of STGA and Its Bisimulation Checking
STGA的变种及其互模拟验证
STGA de biàn zhǒng jí qí hù mó nǐ yàn zhèng
www.ilib.cn