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

λ-互模拟的研究

作　者: 张晋津
导　师: 朱朝晖
学　校: 南京航空航天大学
专　业: 计算机软件与理论
关键词: 进程代数 λ-互模拟模态逻辑特征允许差异程度 CCS~θ 严格互模拟
分类号: TP301.6
类　型: 硕士论文
年　份: 2005年
下　载: 57次
引　用: 1次
阅　读: 论文下载

内容摘要

进程代数作为描述和分析并发与分布式系统的重要工具之一是并发理论的主流研究方向。互模拟是进程代数中刻画行为等价的核心概念,而模态逻辑特征是它的一个重要性质。随着进程代数的发展,许多不同的互模拟概念相继被提出。为了描述进程间的近似等价,最近文献中提出了λ-互模拟的概念,并将其性质与度量ρ联系在一起,给出了ρ为超度量时λ-互模拟的模态逻辑特征。但由于ρ不为超度量时λ-互模拟一般不为等价关系,所以无法得到一个具有HML经典形式的逻辑特征。由于在复合下λ-互模拟不能保持同余性,文献中引入了CCS_θ,并初步讨论了λ-互模拟在CCS_θ中一些有用的性质。本文将就λ-互模拟模态逻辑特征的开问题和CCS_θ做一些研究。研究内容主要包括以下几个方面:(1)给出用于描述ρ不要求为超度量时λ-互模拟模态逻辑特征的新刻画形式。(2)引入一个新模态词,并在此基础上使用新的模态逻辑语言给出一个更具一般性的λ-互模拟的模态逻辑特征。(3)讨论CCS_θ所描述的系统的特征,引入允许差异程度的概念,给出新的进程代数CCS~θ,并初步讨论CCS~θ的一些性质。

全文目录

第一章绪论  10-15
  1.1 引言  10-11
  1.2 互模拟  11-12
  1.3 互模拟的模态逻辑特征  12-13
  1.4 λ-互模拟和CCS_θ  13
  1.5 本文的研究内容及结构安排  13-15
第二章基本概念  15-28
  2.1 CCS  15-19
    2.1.1 CCS 的基本概念和符号  15-16
    2.1.2 CCS  16-19
  2.2 互模拟及其相关理论  19-22
    2.2.1 互模拟的概念  19-21
    2.2.2 互模拟的逻辑特征  21-22
  2.3 λ-互模拟和CCS_θ  22-28
    2.3.1 λ-互模拟  22-25
    2.3.2 CCS_θ  25-28
第三章 λ-互模拟的模态逻辑特征  28-34
  3.1 模态逻辑语言L_(σ,λ)~()  28-29
  3.2 L_(σ,λ)~()中公式间的H_λ关系  29-31
  3.3 强λ-互模拟的模态逻辑特征  31-33
  3.4 弱λ-互模拟的模态逻辑特征  33-34
第四章分层的λ-互模拟的模态逻辑特征  34-47
  4.1 分层的λ-互模拟  34-35
  4.2 模态逻辑语言λ  35-36
  4.3 E_λ~k 关系  36-38
  4.4 分层λ-互模拟的模态特征  38-42
  4.5 ρ在为超度量时的模态特征  42-47
第五章 CCS~θ  47-70
  5.1 引言  47
  5.2 CCS_θ的讨论  47-49
  5.3 CCS~θ  49-52
  5.4 CCS~θ中的进程相等  52-61
  5.5 CCS~θ中进程的近似相等  61-70
第六章总结和讨论  70-72
  6.1 全文总结  70
  6.2 进一步的工作  70-72
参考文献  72-76
致谢  76-77
在学期间的研究成果  77

相似论文

基于进程代数的面向服务软件体系结构建模,TP393.09
基于进程代数的信息化建模与仿真,TP311.52
基于行为的Web服务相容性与可替换性研究,TP393.09
并发的广义符号轨迹赋值的研究,TN402
通信距离受限的进程代数研究,TP301.1
基于Pi演算的Web服务组合技术研究,TP393.09
Web服务组合中QoS评估及服务选择的关键技术研究,TP393.09
行为等价博弈,O225
构件动态演化的行为一致性研究,TP311.52
Mobile Ambients演算的扩展及该扩展的词法分析器的设计,TP311.52
并发系统的事件结构模型初步研究,TP311.52
一种高阶进程代数的弱互模拟研究,TP301
基于Petri网的工作流建模和分析方法研究,TP301.6
一种扩展的并发传值进程抽象模型,TP311.5
形式化语言RT-Z的集成及其在实时系统的应用,TP311.52
基于进程代数并发系统的建模与验证研究,TP311.52
基于可信计算平台的安全协议关键技术的研究与实现,TP393.04
概率进程代数的度量指称语义,TP301.6
非对称X～≠-演算符号互模拟验证,TP301.2
基于扩展CSP模型的安全协议分析技术研究,TP393.08