排序方式: 共有13条查询结果,搜索用时 31 毫秒
1.
This paper carries out a systematic investigation into the bisimulation lattice of asymmetric chi calculus with a mismatch combinator. It is shown that all the sixty three L-bisimilarities collapse to twelve distinct relations and they form a bisimulation lattice with respect to set inclusion.The top of the lattice coincides with the barbed bisimilarity. 相似文献
2.
并发计算的元模型Ⅱ.对称通信 总被引:2,自引:2,他引:0
傅育熙 《上海交通大学学报》2000,34(6):727-731
在并发计算图模型的基础上,提出了并研究了一新的进程演算,该演算的创新处在于它只有在业前缀操作,故通信是对称的,通过建立从pi演算到对称pi演算的翻译,证明pi演算是对称pi演算的子语言该翻译既保持前者的操作语义,又保持其代数语义,对称pi算的意义在于它既简化了pi演算,又不影响其表达能力。 相似文献
3.
钟发荣 《淮北煤炭师范学院学报(自然科学版)》2006,27(2):1-13
文章系统研究非对称带不等算子χ≠-演算进程上的互模拟.通过构造互模拟格,从全部L-互模拟关系中导出12个互异的L-互模拟关系,研究了这些关系所对应的同余关系和迟早开同余关系.提出3个更新律,并修改了3个τ律.最后,给出了14个同余关系的可靠完备系统. 相似文献
4.
并发计算的元模型Ⅲ.互模拟格 总被引:2,自引:2,他引:0
傅育熙 《上海交通大学学报》2000,34(6):732-736
在有关chi演算的基础上,用统一的方法在chi进程上引入一大类互模拟等价关系,即L-互模拟等价关系,证明了只有4个不同的L-互模拟等价,在包含关系下,它们构成钻石格。许多常见的互模拟等价都可定义的L-互模拟等价。 相似文献
5.
并发计算的元模型Ⅳ.公理化 总被引:1,自引:1,他引:0
傅育熙 《上海交通大学学报》2000,34(7):859-863
在chi进程间互模拟格的基础上,利用L-互模拟的开刻划,给出所有4个L-互模拟等价诱导的同余关系的完全公理化系统。4个L-互模拟等价中最小的同余关系的公理系统,由强互模拟等价的公理系统与3条tau规则构成,在此基础上,分别加入一条输出规则和/或其对偶形式,即得其他3个公理系统。 相似文献
6.
傅育熙 《上海交通大学学报》2000,34(7)
讨论 pi演算和 chi演算之间的关系问题 .通过构造从 pi演算到 chi演算的翻译 ,证明了 chi演算的表达能力不亚于 pi演算 .该翻译保持操作性质和开互模拟等价的代数性质 相似文献
7.
针对嵌入可计算函数的C模型语法中没有Summation操作符,定义了Prime Process概念,并给出进程范式化过程以及有限公理系统,研究在扩展C模型后的绝对表达能力.结果表明,在引入Localization和多元操作符后,该模型可以方便地定义出Prefix、Replication和Choice操作符. 相似文献
8.
基于Markov链互模拟的航天器发射任务可靠度模型 总被引:2,自引:1,他引:1
状态空间复杂、多过程并发执行和子过程反复迭代的特点, 使航天器发射工程实施全过程的任务可靠性评估难以量化. 通过构建多个并发执行的时间连续的Markov链对航天器发射工程状态转移约束关系进行描述, 采用互模拟时间等价关系简化航天器发射工程实施过程的状态空间, 利用连续时间Markov链的概率转移特性进行建模与分析, 得到了全系统、全过程的航天器发射任务可靠度模型. 数值验证表明该模型可用于航天器发射任务工期推演、可靠度评估以及薄弱环节分析. 相似文献
9.
对随机进程代数模型交互式马尔科夫链(IMCs)上的模拟关系进行研究,根据不动点定理和权函数的定义,给出交互式马尔可夫链模型上强互模拟等价和强模拟前序的判定算法,对算法的时间复杂度进行分析. 相似文献
10.
移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型.针对这种演算的一种改进——鲁棒环境演算,提出了一个新的标号转移系统,并在此基础上引进了一种互模拟同余关系.同时,作为上述工作的应用,给出了一些重要进程等价性定律的简洁证明. 相似文献