收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

模型独立的移动演算理论

朱涵  
【摘要】: 并发计算是本质上不同于顺序计算的客观现象。许多并发计算模型相继被提出,试图能够像经典计算模型刻画顺序计算那样刻画并发计算。但是这些模型在许多方面缺乏统一的共识,比如基本运算符、操作语义、等价关系等等。这给并发计算的研究带来许多不便,特别是在程序等价、表达能力、图灵完备等领域,而这些又都是最基本的问题。 进程演算是一类并发计算模型的统称。它们的共同特点是以通信为基础,使用交错式并发语义等。前面所提到的问题在进程演算中尤为明显,具体表现为许多不同但又相似的演算模型,繁多的等价关系以及不一致的表达能力比较结果等。 交互理论正是为了给进程演算一个统一的框架而提出的。它把交互作为最基本的概念,在此基础上定义其他概念。本文的主要工作是在交互理论下重新研究了移动演算中的传名演算。作为交互理论的一个实例,我们重新研究了π演算,重点考察了其上模型独立的等价关系和证明系统。我们还在公平灰箱演算中引入测试等价,并考察了它的一些性质。 具体说来,本文从如下几个方面得到了一系列有关交互理论和模型独立观测理论的成果和创新: ?π演算上的观测理论研究 本文把传名演算的代表π演算在交互理论下进行再研究,主要是考察了其上的各种模型独立等价关系,包括引入新的测试等价。根据交互理论,进程行为的等价性判断应该是只能靠环境与其的交互,也就是环境对进程的观测来达到的。因而对于等价关系的研究我们称为观测理论,绝对等价在π演算中的形式也称为观测等价。我们的π演算将名区分为(常量)名和名变量。操作语义和等价关系的定义则遵照了交互理论的基本原则。这个新模型的表达能力不弱于原来的π演算,但是有着更加漂亮的理论结果和更好的实际应用价值。本文论证了在原来的π演算上的不同等价关系(barbed互模拟、标号互模拟、开互模拟、准开互模拟)都等同于由交互理论基本原则出发定义的观测互模拟。于是我们得到一个更一致的π演算,并且它的理论被大大简化。测试等价也以一种略有不同但更符合交互理论的形式被引入,它严格包含观测等价,符合直观,有着更好的性质。 ?证明系统的研究 公理系统的研究始终是伴随着进程演算发展的。正因为等式公理给出了有关进程等价的代数规则,故进程演算又被称为进程代数。在本文中,研究对象称为证明系统而不是公理系统,是因为本文不是对某一等价关系进行公理化,得出一套等式公理,而是借公理系统的研究得到一套能够证明两个进程相等的系统推理方法。我们将在我们的π演算上,对观测等价和测试等价在有限进程上的证明系统进行考察。为了方便公理化,我们在π演算上引入了选择操作子,但这样会导致观测等价不同余,因为观测等价不在选择操作子下封闭。但是我们发现了P与Q观测等价当且仅当τ.P和τ.Q在公理系统中可证相等,这就给我们提供了一套观测等价的证明方法。我们对测试等价作了相似的研究,也得到了一套证明系统。本文还就有限控制进程的测试等价作了考察。通过进程方程组的刻画,同样给出了有限控制进程上的测试等价的证明系统。 ?在公平灰箱演算上引入测试等价 公平灰箱演算(Fair Ambient,简称FA)是灰箱演算家族的成员之一。它通过在原有的移动灰箱演算(MobileAmbient)中加入补名,加强了对灰箱移入移出的控制。曾经有人研究过灰箱演算上的上下文等价,这是may测试等价的变体,是一种比较弱的等价关系。本文中定义的测试等价充分利用了补名的作用,也就是充分利用交互的性质,使得一部分特殊形式的测试者拥有所有测试者的区分能力。它在有限进程上是一个同余关系,在一类后继终止的进程上严格包含互模拟等价。本文还考察了两种不同的对成功状态的定义,一种是从结构的观点,另一种是从交互的观点。这两种定义得到的是相同的测试等价,这在某种程度上表明了交互理论的合理性。本文还就从π到FA的翻译在测试等价的意义下是否完全抽象作了研究,结果表明这个翻译仍然保持完全抽象。这为π演算是公平灰箱演算的一个子演算的观点增加了重要砝码。 本文对交互理论下的模型独立移动演算理论的所得到的研究成果,能够帮助人们深入理解交互理论。我们的π演算可以认为是在交互理论下重新认识进程演算的第一个实例,而对等价关系的研究表明进程演算中的等价关系能够统一到一个更加客观,独立于模型的关系。对于box等价的研究也显示出原本出发点很不相同的测试理论可以被很好地纳入交互理论。这些为进一步用交互理论研究进程演算、研究并发计算提供了非常有意义的尝试。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 唐志刚;梁家荣;李士勇;李天志;;Vague的等价聚类分析[J];计算机工程与设计;2007年09期
2 周中华;吴根秀;连钢;吴志远;;一种定义粗糙集精度的改进方法[J];计算机工程;2008年06期
3 王晓峰;;有穷自动机状态极小化方法及正则语言判定优化[J];广西民族大学学报(自然科学版);2008年03期
4 李科;杨瑞敏;;基于粗糙集理论的有限自动机最小化方法改进[J];四川文理学院学报;2009年05期
5 浦云明;陈黎震;;基于划分的等价类测试[J];计算机工程与设计;2009年19期
6 刘静;冯英杰;李佳泽;;概率信息系统的属性约简[J];河北师范大学学报(自然科学版);2009年06期
7 邱卫根;;基于限制容差关系的加权信息熵[J];系统工程与电子技术;2006年08期
8 许淳熙;;高新企业竞争情报的聚类分析法[J];图书情报工作;2007年05期
9 张阿红;王治和;孙亮;吴鹏;;改进的Vague等价聚类分析[J];计算机工程与应用;2008年35期
10 王玉红;王东;;查询请求的语义扩展研究[J];福建电脑;2009年09期
11 刘惊雷;张伟;王玲玲;;联盟结构图的代数性质及应用[J];模式识别与人工智能;2009年06期
12 代劲;何中市;;基于云模型的决策表规则约简[J];计算机科学;2010年06期
13 谢霖铨;梅宏标;;混合信息系统属性约简[J];南昌大学学报(理科版);2010年04期
14 陈龙猛;;关系数据语言上的语义等价关系[J];微计算机信息;2010年27期
15 徐泉清,朱玉文,刘万春;基于概念格的关联规则算法[J];计算机应用;2005年08期
16 王珏;刘三阳;王建新;;粗糙集理论的扩展模型研究[J];同济大学学报(自然科学版);2006年09期
17 代劲;胡峰;;决策表的粒计算方法研究[J];计算机工程与应用;2006年36期
18 吴丽华;罗云锋;符海艳;;不确定知识的相似度量方法及应用[J];广西师范大学学报(自然科学版);2007年04期
19 曾红卫;缪淮扣;;构件组合的抽象精化验证[J];软件学报;2008年05期
20 公延庆;马英红;滕宝;;知识论域,知识拓扑与映射的性质[J];信息技术与信息化;2008年03期
中国重要会议论文全文数据库 前10条
1 邓爱民;符晓陵;徐道远;;混凝土拉、压损伤的等价关系研究[A];第十届全国结构工程学术会议论文集第Ⅰ卷[C];2001年
2 宁佐贵;;模糊控制算法的等价关系[A];中国工程物理研究院科技年报(1999)[C];1999年
3 周育健;王珏;;RSL:基于Rough Set的表示语言[A];1996年中国智能自动化学术会议论文集(下册)[C];1996年
4 梁昌洪;史小卫;;六端口系统中参数精度之间的等价关系和测量范围分析[A];1995年全国微波会议论文集(下册)[C];1995年
5 陈国勋;闫家杰;;Fuzzy模态公式的归约[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年
6 黎益仕;管志宁;;三度体磁异常的径向谱解释[A];1993年中国地球物理学会第九届学术年会论文集[C];1993年
7 王航宇;王辉华;胡锋平;;基于关系的传感器/目标配对模型[A];2004中国控制与决策学术年会论文集[C];2004年
8 李小五;;BF-方法与无穷逻辑[A];1996年逻辑研究专辑[C];1996年
9 杨志辉;唐云;;一维DAE的正规形分类[A];数学·力学·物理学·高新技术研究进展——2004(10)卷——中国数学力学物理学高新技术交叉研究会第10届学术研讨会论文集[C];2004年
10 张玉祥;;可持续发展概念的广谱分析[A];节能环保 和谐发展——2007中国科协年会论文集(三)[C];2007年
中国博士学位论文全文数据库 前10条
1 尹志;P(ω)/Fin到ι_p与ι_q之间等价关系的嵌入[D];南开大学;2013年
2 朱涵;模型独立的移动演算理论[D];上海交通大学;2009年
3 赵锡英;随机进程代数的等价性判定计算[D];兰州大学;2007年
4 郑光;并发系统的动作细化理论[D];兰州大学;2008年
5 郝晓丽;粒度格矩阵空间模型及其应用研究[D];太原理工大学;2009年
6 李秀红;粗糙集的模糊刻画与知识颗粒特征研究[D];山东大学;2006年
7 李争学;柔性飞行器姿态鲁棒控制方法研究[D];哈尔滨工业大学;2008年
8 杨明;光纤智能结构的软计算方法研究[D];南京航空航天大学;2005年
9 徐晓静;粗相似度及其特性研究[D];山东大学;2007年
10 李援;安全协议代数证明方法研究[D];合肥工业大学;2007年
中国硕士学位论文全文数据库 前10条
1 黄明璋;进程观测理论的进一步研究[D];上海交通大学;2013年
2 张换玲;保等价关系变换半群T_E(X)的秩[D];贵州师范大学;2008年
3 高井贵;模糊等价关系下的模糊粗糙群[D];昆明理工大学;2003年
4 龙伟锋;关于变换半群的两类子半群的若干性质[D];贵州师范大学;2009年
5 邓伦治;三类保等价关系半群[D];贵州师范大学;2008年
6 徐英文;决策信息表的一类决策规则及其嵌套结构[D];郑州大学;2009年
7 臧爱琴;Lévy模型下亚式期权的定价和性质[D];南京师范大学;2007年
8 修振宇;辅助序与层次化理论的推广[D];北方工业大学;2009年
9 康胜武;基于粗集理论的属性处理方法和模糊规则提取及应用研究[D];厦门大学;2001年
10 秦永彬;等价性在自动机极小化中的应用[D];贵州大学;2007年
中国重要报纸全文数据库 前8条
1 浙江 赵国龙 顾鹏尧;C语言学习中的四大难点[N];电脑报;2003年
2 程国慧;北京土地呼唤“珍惜”[N];中国房地产报;2003年
3 卢建平;联合国反腐败公约及我国刑法的完善与应对[N];法制日报;2004年
4 苏薇薇 吴忠 梁仁;计算机辅助分析中药方剂[N];中国医药报;2000年
5 金彧;IT自考学习资源大搜索(一)[N];中国电脑教育报;2002年
6 本报记者 晏燕;“无板”有思[N];科技日报;2001年
7 宋涛;社会养老保险 商业养老保险 差别多少[N];辽宁日报;2001年
8 佚名;基础薄弱学生如何考好数学[N];朔州日报;2009年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978