非对称χ~≠-演算的互模拟格

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户：netwanderchf

【摘要】

：

非对称x^≠-演算是一种移动计算模型．通过研究该演算的互模拟格，能够增强理解非对称性和不等名算子对移动进程代数理论的影响．在给出非对称x^≠-演算的语法和转移语义系统的基础

【作者】

：

董笑菊傅育熙钟发荣

【机构】

：

上海交通大学计算机科学与工程系上海200030

【出处】

：

计算机研究与发展

【发表日期】

：

2004年11期

【关键词】

：

进程代数非对称 x-进程互模拟格 process algebra asymmetric chi process bisimulation lattice

【基金项目】

：

国家杰出青年科学基金项目 (60 2 2 5 0 12 ) ,,国家“九七三”重点基础研究发展规划项目 (2 0 0 3CB3 1690 5 ) ,,上海市科委交叉领域创新团队专项基金项目 (0 3DZ14 0 2 5 )

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

非对称x^≠-演算是一种移动计算模型．通过研究该演算的互模拟格，能够增强理解非对称性和不等名算子对移动进程代数理论的影响．在给出非对称x^≠-演算的语法和转移语义系统的基础上，定义了该演算的L-互模拟关系．研究表明非对称x^≠-演算的63个L-互模拟关系重叠为12个不同的互模拟关系，而且这12个互模拟关系构成了一个关于集包含的互模拟格．最后证明了barbed互模拟和开互模拟分别与该互模拟格的顶元和底元互模拟关系相重合．

其他文献

如何优化幼儿识字教育

【摘要】识字对于学习的重要性，已为大家所熟知，幼儿识字教育也逐渐被人们所接受。对于幼儿的识字教学，我们不仅要考虑到孩子的自身情况，更需要有针对性地进行优化与创新，以此来激发学生的主观学习意识，从而提高学生的学习兴趣和能力。笔者通过人们对幼儿识字教育的态度，以及对其重要性的肯定，创造性的提出了许多幼儿识字教育的优化方法。　　【关键词】幼儿园；语文教育；方法　　一、人们对于幼儿识字教育的态度　　

期刊

幼儿园语文教育方法

高中地理人地关系教学活动研究

【摘要】深化人地关系教学，这是地理课程教学中一个很重要的教学目标。要更好的进行人地关系教学，教师要善于借助一些典型的教学案例来引发学生思考，让学生从一些具体的案例中体会人地关系的构建形式。教师要善于培养学生对问题的辩证分析能力，要引导学生从多层面理解与分析问题，让学习形成正确的人地关系意识。本文对此进行了分析研究。　　【关键词】高中地理；人地关系；教学活动；研究　　在区域地理活动教学中给学生

期刊

高中地理人地关系教学活动研究

中职物理教学中导学案教学模式的运用

【摘要】在中职物理教学中，课堂效率不够理想，学生的积极性也受到一定的影响。在这种学习困境中，导学案教学被应用于中职课堂中。所谓导学案教学，是以学生的学习状态而制定的一种教学方法，它强调师生共同完成一系列的学习活动。在这种师生共同参与的学习活动中，学生的积极性可以得到极大的提升，物理课堂中的问题也会得到明显的改善。本文将从中职课堂的教学案例出发，具体分析如何在中职课堂中应用导学案教学。　　【关键

期刊

中职物理导学案教学运用

纵深国产化

告别2017年蓄力之年，迎来2018年奋进之年，东风英菲尼迪持续推进国产化进程。　　2017年11月17日，英菲尼迪携旗下在华合资公司东风英菲尼迪于广州车展期间正式对外宣布，大连工厂成为继襄阳工厂之后英菲尼迪在中国的第二个国产化生产基地，并将于2018年投产英菲尼迪全新豪华SUV。　　“中国是英菲尼迪全球第二大市场，同时也是最重要的增长市场，而大连工厂成为其在中国的第二个生产基地，标志着英菲尼迪国

期刊

国产化英菲尼迪豪华SUV广州车展合资公司生产基地工厂

论小学美术教学中想象力的培养

【摘要】美术课是对学生进行美育的重要途径，对于陶冶情操，启迪智慧，促进学生的全面发展，具有重要的作用。美术教育是通过绘画知识、绘画语言的传授，综合开发学生的观察力、想象力、创造力等，培养学生一定的审美能力、艺术素质和人格品质。美术教育不但培养学生的审美情趣，而且对于学生的观察力、想象力、创造力的培养和发展都有非常大的作用。　　【关键词】观察力；想象力　　爱因斯坦说过：想象比知识更重要，因为知

期刊

观察力想象力

福特的黑色5月

股价“跳楼”、10%员工被裁、CEO离职，福特刚刚度过了一个少见的黑色5月。　　5月22日，福特汽车出现重大高层变动。现任CEO马克·菲尔兹（Mark Fields）被“退休”，由福特智能出行子公司CEO吉姆·哈克特（Jim Hackett）接任，后者将直接向执行董事长比尔·福特（Bill Ford）汇报。　　现年56岁的马克·菲尔兹，已在福特公司工作28年。2014年7月从福特COO职位上代替艾

期刊

福特汽车黑色CEOCBO克菲尔董事长出行

浅析小学数学的生活化教学

【摘要】数学是从我们幼儿园开始就陪伴着我们的学科，甚至等我们到了大学数学还是必不可少。数学也是与我们的生活最密切相关的学科，无论是去超市买个铅笔，还是饭店里吃顿饭，我们都需要进行计算。而小学正是培养兴趣，养成良好习惯的关键时期，就需要教育工作者思考更有效的方法吸引学生的注意力。本文就是笔者就根据自己的实际经验对现在小学数学教学生活化教学的一些讨论。　　【关键词】小学数学；生活化　　数学是一门

期刊

小学数学生活化

图谱在音乐教学中的运用

江苏省扬州市邗江区杨庙镇中心幼儿园　　幼儿园音乐教学是一门艺术教育，包括歌唱活动、欣赏活动、律动活动、打击乐等。旨在让幼儿通过演唱歌曲、欣赏音乐、感受节奏等来丰富幼儿的想象力和创造力。《幼儿园教育指导纲要》中所述：“幼儿艺术活动的能力是在大胆表现的过程中逐渐发展起来的，教师的作用应主要在于激发幼儿感受美、表现美的情趣，丰富他们的审美经验，使之体验自由表达和创造的快乐。”那么，在音乐教学活动中，存在

期刊

教学效果欣赏活动教育指导纲要艺术教育歌唱活动中所自主学习土耳其进行曲一遍遍中介物

非对称χ~≠-演算的互模拟格

其他学术论文