收藏本站
《上海交通大学》 2009年
收藏 | 手机打开
二维码
手机客户端打开本文

基于π演算的编程与表达能力研究

蔡小娟  
【摘要】: π演算是由Milner、Parrow和Walker基于CCS演算提出的能够描述并发计算的模型。它是目前最重要的进程演算,因此其它模型与它之间的表达能力比较有着重要意义:对于一些顺序计算模型,如果能找到它们在π演算中的编码,那么我们可以从并发的角度来研究顺序计算;对于一些看似比π演算能描述更多现象的计算模型,比如能够描述移动设备上的移动计算的Ambient演算,如果能够找到它们在π演算中的编码,那么就进一步证明了π演算的表达能力。这样的问题一些已有了答案,而一些仍然悬而未决,其中比较著名的就是λ演算在π演算中是否存在编码的问题。 本文运用基于π的编程提出一个解决上述问题的统一方法:即将其它模型的语法语义用程序解释,然后再用π演算进行编程,从而得到由其它模型到π演算的编码。这样的方法简单直接,我们用这种方法找到了λ演算在π演算中的编码,并研究了MA演算在π中的编码。我们相信此方法可以用来解决更多模型与π演算之间的表达能力比较问题。 本文的主要贡献可概括为以下三个方面: 1.基于π演算的编程与表达能力.π演算一直被人们当成进程代数的范例来研究,而从程序语言角度对π演算进行的研究不多。事实上,π演算有着天生的编程能力,可以方便地对各种数据结构进行编程。本文使用π演算对链表、树等常见数据结构及其操作进行了刻画和研究。 模型之间表达能力比较的重要方法之一就是设计从一个模型到另一个模型的编码,可是往往由于模型之间的差别太大,这样的编码很难找到。大多数模型的对象都可以用程序来解释,归约的发生就像程序运行之后数据发生变化,本文以Spi演算、λ演算和MobileAmbient演算为例,用程序直观地解释了它们的语法语义。从而提出一种基于π的编程方法来辅助设计其它模型在π演算中的编码,使得原本很难联系的模型之间的编码变得简单直接。 2.λ演算与π演算.上述方法的一个成功应用就是回答了一个长久以来未解决的问题:λ演算到π演算上有没有一个好的编码?Milner早在1990年就给出了Lazyλ演算到π演算的编码,Lazyλ是一个受限制的λ版本,Milner提出疑问,他认为完全λ演算的归约规则要从π的角度去解释是相当难的,甚至可能不存在这样的解释。 本文提出将λ演算中的项表示为二叉树,β归约理解为对树结构的调整,我们可以发现λ演算的归约规则比Lazyλ演算的归约规则在树结构上更加对称,更加优美。在将二叉树和对树结构的操作用π编程之后,我们就得到了从λ演算到π演算的编码。为了证明编码保持(preserves)并反映(re?ects)归约,文章给出了定义在λ项和π进程上的子互模拟关系(subbisimilarity),并证明了该关系的存在性。另外,文章还证明了相对于Abramsky的ApplicativeBisimilarity该编码满足完全抽象(fullabstraction)的性质。这些性质都表明了编码的优良性。 3. Ambient演算与π演算. Ambient演算是用来描述移动设备上的移动计算的模型,它的特殊操作子in、out、open体现了移动设备。Ambient演算提出以来人们一直在质疑它们的表达能力是否绝对地比π演算强。本文首先证明了SafeAmbient、Fair Ambient演算到π演算没有好的编码,然后着重考察了MobileAmbient演算(以下简称MA)到π演算的编码,我们用不同的别名来体现灰箱的层次,比如同样的名n,在不同的层次为它起不同的别名。因此,每个灰箱都拥有一个链表来存储名与它的别名对,而归约则体现为灰箱结构信息的修改。从而给出了MA演算到π演算的编码,该编码满足操作上的可靠性。但相对于MA的观测同余关系该编码没有完全抽象的性质。在试图构造一个完全抽象的编码的同时,我们发现一个特殊的进程(m)m[in n],并利用这个进程,证明了MA到π演算不存在满足完全抽象性质的好的编码。 综上,本文提出了利用π演算自然的编程能力,来辅助设计从其它模型到π演算的编码的统一方法。作为方法的成功应用,我们给出了λ演算到π演算的编码,以及MA演算到π演算的编码。前者的优良性质进一步证实了π演算的表达能力,同时也使得从并发的角度研究λ演算成为可能;后者虽然没有类似的性质,但它辅助证明了否定的结果,说明移动设备不能很好地用移动计算来描述。这两者都有着重要的意义。
【学位授予单位】:上海交通大学
【学位级别】:博士
【学位授予年份】:2009
【分类号】:TP311.11

手机知网App
【共引文献】
中国期刊全文数据库 前10条
1 郑晓娟,金英,金成植;Seal演算的等式特性[J];吉林大学学报(信息科学版);2003年03期
2 ;A schematic axiom for open congruence[J];Science in China(Series F:Information Sciences);2005年01期
3 袁敏;黄志球;曹子宁;肖芳雄;;一种扩充的π-演算及事务性等价关系研究[J];计算机研究与发展;2010年03期
4 杜旭涛;李舟军;;并发计算范型:CCS和π-演算[J];计算机科学;2002年10期
5 陈韬略;李斌;胡昊;吕建;;一个移动进程演算的互模拟同余定义框架[J];计算机科学;2004年01期
6 辜希武;卢正鼎;;Web服务编排描述语言WS-CDL的形式化模型框架[J];计算机科学;2007年09期
7 林荣德;奚建清;郭玉彬;;移动进程的蛰伏性及空间逻辑[J];计算机科学;2009年03期
8 葛鸣铭,傅育熙;用进程代数描述COM接口调用[J];计算机工程;2003年13期
9 颜锋;田作威;严榴香;;多态π演算的互模拟等价关系及其公理化[J];计算机工程与科学;2010年10期
10 傅育熙;移动进程演算中的开互模拟[J];计算机学报;2001年07期
中国重要会议论文全文数据库 前1条
1 颜锋;陈韬略;韩婷婷;吕建;;Pi演算的一种变例及其开互模拟[A];2005年全国理论计算机科学学术年会论文集[C];2005年
中国博士学位论文全文数据库 前7条
1 何超栋;CCS的基本问题研究[D];上海交通大学;2011年
2 陈靖;带实时的传值与移动系统研究[D];中国科学院研究生院(软件研究所);2003年
3 徐贤;高阶进程演算的互模拟理论和公理化的研究[D];上海交通大学;2008年
4 辜希武;Web服务组合形式化模型研究[D];华中科技大学;2007年
5 龙环;灰箱演算的操作语义及表达能力研究[D];上海交通大学;2009年
6 朱涵;模型独立的移动演算理论[D];上海交通大学;2009年
7 林荣德;移动界程演算及模型检测应用的关键问题研究[D];华南理工大学;2010年
中国硕士学位论文全文数据库 前7条
1 吴琨;移动进程作为程序语言库函数的研究[D];上海交通大学;2011年
2 卢劲;λ-演算到π-演算的一种编码[D];上海交通大学;2011年
3 尹强;模型独立框架下高阶π演算及表达能力研究[D];上海交通大学;2012年
4 邹春尧;基于编排与编制一致性的系统设计[D];大连理工大学;2008年
5 朱智峰;非对称与异步非对称χ演算的测试等价关系的研究[D];浙江师范大学;2007年
6 王红旗;Mobile Ambients行为理论的研究[D];南京航空航天大学;2008年
7 高贵龙;车牌识别系统中车牌定位与识别算法的研究[D];河北科技大学;2009年
【相似文献】
中国期刊全文数据库 前10条
1 曹木亮,吴智铭;π-网的强互模拟等价[J];计算机学报;2005年01期
2 颜锋;田作威;严榴香;;多态π演算的互模拟等价关系及其公理化[J];计算机工程与科学;2010年10期
3 郝克刚;郭小群;李向宁;;Pi~+演算及其对Petri网的表达[J];计算机学报;2011年02期
4 吴泉源,吴刚,王怀民;移动智能体的形式化研究[J];国防科技大学学报;2000年06期
5 张红;刘磊;;Combinator演算族的π演算语义[J];吉林大学学报(理学版);2006年03期
6 梁爱南;李长云;黄贤明;;多实例工作流模式的π演算形式化[J];计算机应用;2007年01期
7 向兴元;郭荣佐;黄君;;基于π演算的网络考试系统动态建模研究[J];计算机仿真;2010年12期
8 王立斌,陈克非;可移动系统安全模型统一框架[J];电子学报;2002年S1期
9 余万涛;胡光锐;;考虑位置失效的移动系统安全模型[J];计算机应用研究;2006年10期
10 王晓虎;;需求建模的形式化方法研究[J];微型机与应用;2007年S1期
中国重要会议论文全文数据库 前10条
1 甄艳华;;英语精读课与表达能力的培养[A];外语语言教学研究——黑龙江省外国语学会第十次学术年会论文集[C];1996年
2 颜锋;陈韬略;韩婷婷;吕建;;Pi演算的一种变例及其开互模拟[A];2005年全国理论计算机科学学术年会论文集[C];2005年
3 李红时;;语篇分析的表达能力探索与实践[A];语言与文化研究(第二辑)[C];2008年
4 武彦平;;通信距离受限的进程代数研究[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
5 冯周清;;儿科常见护理风险及防范措施[A];全国儿科护理学术交流暨专题讲座会议论文汇编[C];2007年
6 蔡远利;于振华;王瑞峰;;多Agent系统形式化建模方法学[A];'2006系统仿真技术及其应用学术交流会论文集[C];2006年
7 万启君;;学会“说话”[A];江苏省教育学会、江苏省写作学会2006年年会论文集[C];2006年
8 帖华;侯瑞忠;;以喷泉实验为背景的考点归类分析[A];甘肃省化学会成立六十周年学术报告会暨二十三届年会——第五届甘肃省中学化学教学经验交流会论文集[C];2003年
9 宋艳梅;;浅谈俄语视听说教学[A];对外贸易外语系科研论文集(第一期)[C];1992年
10 陈伟民;邓学军;;1000例静脉输液两种穿刺角度的比较[A];静脉输液发展趋势及新技术应用学术会议暨培训班资料汇编[C];2005年
中国重要报纸全文数据库 前10条
1 长泰农场白石小学 王万紫;重视说话训练 提高表达能力[N];福建科技报;2000年
2 如皋市桃园镇郭厦小学 刘晓红;浅谈小学语文教学中的“读”[N];成才导报.教育周刊;2007年
3 贵州省人事厅 龙超领;多学勤思方能妙语连珠[N];中国人事报;2008年
4 山东省临沭县南古镇醋庄初级中学 邸士超 吴绍艳;数学课堂中学生表达能力的培养[N];学知报;2010年
5 北京市人民检察院 方工;领导者会议讲话的“四不”缺陷[N];北京日报;2009年
6 盘县红果镇华屯小学 瞿丽萍;浅谈如何培养小学低年级儿童口语表达能力[N];六盘水日报;2008年
7 高志勇;财会大学生应聘实用手册[N];中国财经报;2008年
8 余倩倩;求职之路为何阻力重重?[N];文汇报;2008年
9 唐山市丰南区孙庄乡深井小学 谷明华;培养农村小学生表达能力[N];河北科技报;2004年
10 雅雯;培养表达能力三座桥[N];新华日报;2003年
中国博士学位论文全文数据库 前10条
1 蔡小娟;基于π演算的编程与表达能力研究[D];上海交通大学;2009年
2 龙环;灰箱演算的操作语义及表达能力研究[D];上海交通大学;2009年
3 徐贤;高阶进程演算的互模拟理论和公理化的研究[D];上海交通大学;2008年
4 陈靖;带实时的传值与移动系统研究[D];中国科学院研究生院(软件研究所);2003年
5 薛建新;传名演算变体的互模拟理论,表达能力和证明系统研究[D];上海交通大学;2013年
6 朱涵;模型独立的移动演算理论[D];上海交通大学;2009年
7 张驰;异构组件互操作技术研究[D];西北工业大学;2006年
8 任洪敏;基于π演算的软件体系结构形式化研究[D];复旦大学;2003年
9 康辉;基于PI-演算的CPN在移动通信服务建模的研究与应用[D];吉林大学;2008年
10 史璟;非良基集与模态逻辑[D];南开大学;2009年
中国硕士学位论文全文数据库 前10条
1 尹强;模型独立框架下高阶π演算及表达能力研究[D];上海交通大学;2012年
2 李峰;基于索引π演算的关键动作建模及其索引π网转换问题的研究[D];吉林大学;2011年
3 邓晓杰;带缓存的π演算及其应用[D];上海交通大学;2013年
4 李伟;基于π演算的软件体系结构求精研究[D];湖南工业大学;2008年
5 袁勇福;Web服务事务处理研究与实现[D];湖南师范大学;2007年
6 董焕防;博弈理论在互模拟和模态μ-演算上的一些应用[D];中国科学院研究生院(软件研究所);2005年
7 翁晶莹;进程代数互模拟检测算法的研究与实现[D];上海交通大学;2012年
8 赵小芳;动态模糊逻辑程序设计语言的操作语义模型及验证[D];苏州大学;2006年
9 程锋涛;基于MWB的BPEL到π演算自动转换工具的研究与实现[D];西北大学;2010年
10 李天冶;多目Pi演算互模拟等价自动验证研究[D];吉林大学;2012年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026