基于质量演算的无线网络形式语义与分析
| 摘要 | 第6-8页 |
| Abstract | 第8-9页 |
| 第一章 绪论 | 第15-25页 |
| 1.1 研究背景和动机 | 第15-17页 |
| 1.2 研究现状与相关工作 | 第17-20页 |
| 1.3 本文的主要工作与架构 | 第20-25页 |
| 第二章 基础理论和指导方法 | 第25-37页 |
| 2.1 进程演算 | 第25-26页 |
| 2.2 程序静态分析理论 | 第26-28页 |
| 2.3 形式语义学 | 第28-33页 |
| 2.4 程序统一理论 | 第33-37页 |
| 第三章 无线网络的质量演算CWQ | 第37-63页 |
| 3.1 CWQ演算的语法 | 第38-41页 |
| 3.2 CWQ演算的标签转移语义 | 第41-46页 |
| 3.2.1 进程层标签转移语义 | 第41-43页 |
| 3.2.2 网络层标签转移语义 | 第43-46页 |
| 3.3 CWQ演算的规约语义 | 第46-50页 |
| 3.4 和谐定理 | 第50-53页 |
| 3.5 案例研究 | 第53-61页 |
| 3.6 本章小结 | 第61-63页 |
| 第四章 CWQ演算的分析 | 第63-93页 |
| 4.1 CWQ演算的参数化模型 | 第64-69页 |
| 4.1.1 参数化模型的语法 | 第64-66页 |
| 4.1.2 参数化模型的语义 | 第66-69页 |
| 4.2 CWQ演算的可靠性分析 | 第69-77页 |
| 4.2.1 基于SAT的可靠性分析 | 第70-72页 |
| 4.2.2 案例模型 | 第72-75页 |
| 4.2.3 案例分析 | 第75-77页 |
| 4.3 CWQ演算的数据概率可信性分析 | 第77-92页 |
| 4.3.1 带有可信度级别标签的CWQ演算 | 第78-80页 |
| 4.3.2 基于数据的概率可信性分析 | 第80-86页 |
| 4.3.3 案例模型 | 第86-89页 |
| 4.3.4 案例分析 | 第89-92页 |
| 4.4 本章小结 | 第92-93页 |
| 第五章 带移动的质量演算mCWQ | 第93-119页 |
| 5.1 无线网络中的移动模型 | 第94-95页 |
| 5.2 mCWQ演算的语法 | 第95-97页 |
| 5.3 mCWQ演算的标签转移语义 | 第97-107页 |
| 5.3.1 进程层语义 | 第97-99页 |
| 5.3.2 网络层语义 | 第99-105页 |
| 5.3.3 语义性质 | 第105-107页 |
| 5.4 行为等价 | 第107-108页 |
| 5.5 案例研究 | 第108-116页 |
| 5.5.1 案例建模 | 第108-111页 |
| 5.5.2 案例分析 | 第111-116页 |
| 5.6 本章小结 | 第116-119页 |
| 第六章 mCWQ演算的指称语义 | 第119-139页 |
| 6.1 语义模型 | 第120-121页 |
| 6.1.1 可观察变量 | 第120-121页 |
| 6.1.2 健康条件 | 第121页 |
| 6.2 通信动作 | 第121-125页 |
| 6.3 延迟动作 | 第125-126页 |
| 6.4 带有质量谓词的组合接收动作 | 第126-131页 |
| 6.5 进程语义 | 第131-133页 |
| 6.6 并行组合 | 第133-138页 |
| 6.7 本章小结 | 第138-139页 |
| 第七章 总结与展望 | 第139-143页 |
| 7.1 本文工作总结 | 第139-141页 |
| 7.2 后续工作展望 | 第141-143页 |
| 参考文献 | 第143-157页 |
| 致谢 | 第157-159页 |
| 攻读博士学位期间发表论文和参与科研情况 | 第159-162页 |
