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

带实时的传值与移动系统研究

专 业: 计算机软件与理论
关键词: 实时系统 数据传送 移动计算 进程代数 互模拟 可达性
分类号: TP301
形 态: 共 171 页 约 112,005 个字 约 5.358 M内容
阅 读: 全文阅读说明

内容摘要


该文的研究工作主要由对实时传值系统和实时移动系统的建模和分析组成。

对于实时传值系统,该文的研究从计算模型与语义理论、分析与验证算法以及支持工具三个层面展开。

在计算模型与语义理论方面着重探讨了带并发性的实时传值模型,定义了一个新的计算模型-时间符号迁移图Timed Symbolic Transition Graph,并建立了合适的语义理论。

在分析与验证算法的设计方面,在新的计算模型基础上,我们分析了实时传值进程间各种不同互模拟的特点以及判定方法;给出了一个时间符号迁移图上的判定算法并证明了算法的正确性。

在模型检测的算法方面,该文首先给出了时间符号迁移图上的一个可达性分析算法,随后还定义了能刻划更复杂性质的实时谓词μ演算并给出了检测这些性质的相应模型检测算法。

针对通常使用的数据结构的范式化过程中出现的问题提出了一个新的信息消冗算法。

在给出基本算法的基础上,我们构造了相应的验证工具-RealM,并在该文中给出了对限时重传协议进行的实例分析。

对于实时移动系统,该文对π演算进行了实时扩充,给出了实时π演算的语法和语义,并定义了该演算上的各种互模拟关系,以及相关的性质。

最后,该文对实时π演算的一个有穷子集上的强实互模拟以及强互模拟均给出了完备的公理化结果……

全文目录


文摘
英文文摘
第一章 引言
1.1并发系统
1.2实时系统
1.3形式化验证
1.4本文的目标、贡献和组成
第二章 实时传值系统的计算模型
2.1实时传值系统现状
2.2时间符号迁移图TSTG
第三章 实时传值系统上的等价关系
3.1几种重要的互模拟
3.2基于等价类划分的判定方法
3.2.1域Region等价
3.2.2时间抽象互模拟的判定方法
3.2.3时间互模拟的判定方法
3.2.4时间互模拟算法及其正确性证明
3.2.5无穷数据域及其他情况的处理
第四章 连续时间的数据表示和操作
4.1时间区域的表示方法
4.1.1 DBM
4.1.2更一般的“区”的表示
4.2范式化与信息消冗
第五章 实时传值系统上的模型检测
5.1模型检测简介
5.2基本约定
5.3基于可达性分析的模型检测
5.4验证工具及实现
5.5协议验证实例分析-限时重传协议
5.5.1文件传输服务
5.5.2使用RealM建模和验证
5.6更一般的模型检测
5.6.1一阶谓词实时μ演算
5.6.2布尔图
5.6.3一个局部算法
5.6.4数据无关变量处理
第六章 实时移动进程演算
6.1移动进程演算简介
6.2语法和语义
6.3强实互模拟和强互模拟关系
6.4弱实互模拟和弱互模拟关系
6.5公理化
6.5.1强实互模拟的公理化
6.5.2强互模拟的公理化
第七章 结论
7.1总结以及相关工作讨论
7.2进一步工作的讨论
参考文献
附录ARealM接收语言的语法定义

相似论文

  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. 基于孤立点的数据挖掘研究及其在计算机审计系统中的应用,68页,TP301
  15. 一种基于组件的Web应用建模方法,57页,TP301
  16. 开放网格服务体系结构的研究与应用开发,77页,TP301
  17. 基于用户本体模型的文本信息过滤方法研究,58页,TP301
  18. 鲁棒灰箱演算的类型系统和代数性质研究,123页,TP301
  19. 基于发展心理学的概念获取与表征研究,58页,TP301
  20. 使用SP-MEC算法求解多目标问题,81页,TP301
中图分类: > TP301 > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 一般性问题 > 理论、方法

© 2012 book.hzu.edu.cn