优秀研究生学位论文题录展示

鲁棒灰箱演算的类型系统和代数性质研究

专 业: 计算机软件与理论
关键词: 计算理论 进程代数 类型系统 灰箱演算
分类号: TP301
形 态: 共 123 页 约 80,565 个字 约 3.854 M内容
阅 读: 全文阅读说明

内容摘要


灰箱演算是一种用于描述移动系统及其交互的形式化方法。

该文以灰箱演算的一个变体--鲁棒灰箱演算(ROAM)作为研究对象,从操作语义、类型系统、进程等价性和表达能力等方面对其进行了研究。

该文的主要贡献在于。

(一)对利用协动作参数加强灰箱演算安全性这一命题进行了研究,提出了灰箱演算的变体ROAM。

通过利用协动作参数加强交互双方的彼此控制,ROAM在安全控制方面比起SA来有一定优势。

同时,对协动作参数进行控制后,ROAM并没有丧失SA所具有的表达能力。

(二)针对灰箱演算中存在的类型演化问题给出了支持移动性和线程数的演化类型系统ETS-MT。

ETS-MT通过区分进程的当前类型和未来类型,可以精确地刻划进程的移动性和线程数,并支持子类型关系。

考虑到类型系统中所刻划属性的增减,ETS-MT在设计时还专门引入准类型集合的概念,刻划不同的类型属性,可以有不同的准类型集合。

(三)将前人对灰箱演算语义、等价性、表达能力等方面的研究成果进行了贯穿和融合,集中体现在两方面。

首先,有别于Levi和Sangiorgi使用的互模拟方法,该文用Gordon和Cardelli基于硬化关系所得的简单上下文等价性一般判定方法(context lemma)证明了进程的等价性定律;其次,该文用进程的等价性定律完成对π演算翻译的代数方法证明,较之Zimmer的证明方法来得更为简明……

全文目录


文摘
英文文摘
文中用到的符号及含义
第一章 概述
1.1灰箱演算
1 2论文的主要内容和结构安排
1.3.1移动计算的形式化模型
1.3.2以MA为框架的相关工作
1 3.3以SA为框架的相关工作
1.3.4其它基于灰箱演算的相关工作
本章小结
第二章 鲁棒灰箱演算
2.1语法
2.2归约语义
2 3举例
2.3.1进程同步
2.3.2进程竞争
2.3.3换名
本章小结
第三章 演化类型系统
3.1类型语法
3.2类型运算符
3.3子类型关系
3.4类型判定规则
3.5类型判定规则的归约一致性证明
3.6最小类型算法
3.7举例
本章小结
第四章 标号转移语义
4.1硬化关系
4.2基于硬化关系的标号转移语义
4.3归约语义和标号转移语义的等价性
本章小结
第五章 等价性判定
5.1上下文等价
5.2简单上下文等价及其判定
5.2.1简单上下文等价
5.2.2简单上下文等价的判定
5.3两种等价关系间的联系
本章小结
第六章 等价性定律
6.1具有类型约束的进程等价
6.2无上下文条件的单线程定律
6.3有上下文条件的单线程定律
6.4定点接收定律
6.5等价性定律应用举例
6.5.1换名
6.5.2防火墙跨越
本章小结
第七章 π演算的翻译
7.1 π演算
7.1.1语法
7.1.2归约语义
7.2πesc演算
7.2.1树状替换
7.2.2语法
7.2.3结构同余关系
7.2.4归约规则
7.2.5合法进程
7.2.6通道闭包
7.2.7π演算和πesc演算的关系
7.3πesc演算的翻译
7.3.1翻译过程
7.3.2类型方案
7.3.3进程在翻译环境下的等价性
7.3.4翻译方案的正确性证明
7.4 π演算的翻译
本章小结
第八章 结语
8.1论文工作的创新性
8.2进一步的工作
参考文献
附录1引理3.8和定理3.9的证明
附录2引理4.14的证明
附录3引理5.31的证明

相似论文

  1. 基于半环代数理论的有限自动机的探讨,56 页,TP301.1 TP301.6
  2. 基于LWOWA算子和文字计算的群组决策方法,57 页,TP301.6
  3. 差异演化算法及其应用研究,103页,TP301.6
  4. 区间值模糊集上的广义粗糙近似算子构造研究,55 页,TP301.6
  5. 微粒群算法在动态优化中的应用研究,52 页,TP301.6 O224
  6. 基于语言偏好关系多目标群组决策的研究与应用,64 页,TP301.6
  7. 智能算法在数字音频水印中的应用研究,78 页,TP301.6 TP391.4
  8. 网络数学公式转换的研究与实现,60页,TP301.6 TP312
  9. 粒子群与差分进化混合算法的研究,64页,TP301.6
  10. 嵌入模糊部件的数值图规划,54页,TP301
  11. 基于均值机群动态负载平衡系统的设计与实现,89页,TP301
  12. 遗传算法的种群退化分析及其抑制技术,63页,TP301
  13. 基于关联规则的审计特征智能提取的应用研究,69页,TP301
  14. 带实时的传值与移动系统研究,171页,TP301
  15. 基于孤立点的数据挖掘研究及其在计算机审计系统中的应用,68页,TP301
  16. 一种基于组件的Web应用建模方法,57页,TP301
  17. 开放网格服务体系结构的研究与应用开发,77页,TP301
  18. 基于用户本体模型的文本信息过滤方法研究,58页,TP301
  19. 基于发展心理学的概念获取与表征研究,58页,TP301
  20. 使用SP-MEC算法求解多目标问题,81页,TP301
中图分类: > TP301 > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 一般性问题 > 理论、方法

© 2012 book.hzu.edu.cn