共查询到20条相似文献,搜索用时 0 毫秒
1.
Lin Zhu-Wei Zhong Fa-Rong 《科技信息》2008,(14)
异步非对称Chi演算是目前更接近于现在的分布式程序语言的形式化系统。本文研究了异步非对称Chi演算的各种互模拟关系,文中定义了异步非对称Chi演算的语法和操作语义,引入一组L-互模拟关系,构造了异步非对称Chi演算的互模拟格。 相似文献
2.
移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型.针对这种演算的一种改进——鲁棒环境演算,提出了一个新的标号转移系统,并在此基础上引进了一种互模拟同余关系.同时,作为上述工作的应用,给出了一些重要进程等价性定律的简洁证明. 相似文献
3.
钟发荣 《淮北煤炭师范学院学报(自然科学版)》2006,27(2):1-13
文章系统研究非对称带不等算子χ≠-演算进程上的互模拟.通过构造互模拟格,从全部L-互模拟关系中导出12个互异的L-互模拟关系,研究了这些关系所对应的同余关系和迟早开同余关系.提出3个更新律,并修改了3个τ律.最后,给出了14个同余关系的可靠完备系统. 相似文献
4.
在重新定义补运算和构造新蕴涵算子的基础上,证明了偶序对〈R,~R〉不仅可以构成蕴涵格、格蕴涵代数、剩余格,而且可构成正则剩余格和MV-代数。 相似文献
5.
为智能信息处理、人工智能理论提供一个可靠的逻辑基础,特别是含有模糊性和不可比较性的不确定性信息处理,提出了一类伪逻辑代数——伪格蕴涵代数,它是格蕴涵代数的非交换推广.详细地探讨了伪格蕴涵代数的基本性质,给出了伪格蕴涵代数的等价特征. 相似文献
6.
7.
8.
格蕴涵代数的素滤子 总被引:4,自引:0,他引:4
孟彪龙 《西北大学学报(自然科学版)》1998,28(3):189-192
格蕴涵代数中素滤子的概念被引入。建立了素滤子的基本性质和素滤子定理。作为推论,给出了格蕴涵代数的某些结构性定理。 相似文献
9.
并发计算的元模型Ⅰ.图模型 总被引:5,自引:4,他引:1
傅育熙 《上海交通大学学报》2000,34(6):723-726
借鉴证明论中的一些思想 ,提出了并发计算的一个图模型 .在此模型中 ,计算对象表示为图 ,计算过程表示为图重写 ,重写规则将通信过程视为证明的等价变换过程 .为便于形式化研究图模型 ,提出了模型的形式对应物——图演算 ,该演算类似于进程代数演算 ,与其他进程代数演算的不同之处在于本演算是对称的 .文中用证明论方法研究并行理论 ,为进程代数演算开辟了一条新的研究途径 相似文献
10.
傅育熙 《上海交通大学学报》2000,34(7)
讨论 pi演算和 chi演算之间的关系问题 .通过构造从 pi演算到 chi演算的翻译 ,证明了 chi演算的表达能力不亚于 pi演算 .该翻译保持操作性质和开互模拟等价的代数性质 相似文献
11.
针对嵌入可计算函数的C模型语法中没有Summation操作符,定义了Prime Process概念,并给出进程范式化过程以及有限公理系统,研究在扩展C模型后的绝对表达能力.结果表明,在引入Localization和多元操作符后,该模型可以方便地定义出Prefix、Replication和Choice操作符. 相似文献
12.
傅育熙 《上海交通大学学报》2000,34(6):727-731
在并发计算图模型的基础上,提出了并研究了一新的进程演算,该演算的创新处在于它只有在业前缀操作,故通信是对称的,通过建立从pi演算到对称pi演算的翻译,证明pi演算是对称pi演算的子语言该翻译既保持前者的操作语义,又保持其代数语义,对称pi算的意义在于它既简化了pi演算,又不影响其表达能力。 相似文献
13.
并发计算的元模型Ⅲ.互模拟格 总被引:2,自引:2,他引:0
傅育熙 《上海交通大学学报》2000,34(6):732-736
在有关chi演算的基础上,用统一的方法在chi进程上引入一大类互模拟等价关系,即L-互模拟等价关系,证明了只有4个不同的L-互模拟等价,在包含关系下,它们构成钻石格。许多常见的互模拟等价都可定义的L-互模拟等价。 相似文献
14.
傅育熙 《上海交通大学学报》2000,34(7):859-863
在chi进程间互模拟格的基础上,利用L-互模拟的开刻划,给出所有4个L-互模拟等价诱导的同余关系的完全公理化系统。4个L-互模拟等价中最小的同余关系的公理系统,由强互模拟等价的公理系统与3条tau规则构成,在此基础上,分别加入一条输出规则和/或其对偶形式,即得其他3个公理系统。 相似文献
15.
在格蕴涵代数中,首先提出了零化子的概念,证明了零化子是理想和sl理想.然后,讨论了零化子的特殊性质.最后,讨论了零化子与理想、sl理想和零化子的格蕴涵同态像之间的关系. 相似文献
16.
刘龙飞 《宁夏大学学报(自然科学版)》2011,(3):202-204,207
给出了一些格效应代数的例子,并讨论了其理想.证明了效应代数的一个子集是代数系统F的一个极大效应代数理想,也是F的一个格理想当且仅当它是某个同态映射的核.特别地,单态射的像是一个子效应代数.得到了广义效应代数的真理想是一个子广义效应代数,子广义效应代数也是一个真理想. 相似文献
17.
姚从军 《重庆工商大学学报(自然科学版)》2010,24(2):30-33
给出互模拟精确且具有概括性定义(B),给出并证明了互模拟的5个特征,最后给出最大互模拟一定义,证明了~是一个等价关系,进一步证明了~是R中(B)的最大固定点。概括了互模拟在模态逻辑和并发系统中的非凡的应用价值,并提出了某些尚待解决的问题。互模拟具有美好的发展前案和极大的发展空间。 相似文献
18.
朱怡权 《内蒙古大学学报(自然科学版)》2004,35(2):121-123
讨论格蕴涵代数与Lukasiewicz逻辑系统的关系,证明了:若(L(n),≤)是一个n元链,θ,I分别为最小、最大元,则以≤为导出关系的格蕴涵代数(L(n),∨,∧,→,′,θ,I)恰有一个,并且与n值Lukasiewicz逻辑系统同构. 相似文献
19.
产生式系统是人工智能系统中最典型最普遍的一种结构,而可交换的产生式系统又是产生式系统中一种非常理想的结构.将可交换的产生式系统的状态空间图抽象为一个有界格的结构,则对一类特殊的可交换的产生式系统的状态空间图抽象为布尔代数. 相似文献
20.
弱双补代数是在有限分配情形下对概念代数抽象而成的一种代数.考察了弱双补代数的直积和同余,通过分别在直积和同余类上构造相应的二元运算和一元运算,证明其直积和同余类亦是弱双补代数,并证明了弱双补代数的同态定理. 相似文献