交互式马尔可夫链：理论与应用
| 摘要 | 第1-5页 |
| Abstract | 第5-7页 |
| 目录 | 第7-13页 |
| 第一章 引言 | 第13-25页 |
| ·研究背景 | 第13-18页 |
| ·研究内容 | 第18-22页 |
| ·本文组织 | 第22-25页 |
| 第二章 预备知识 | 第25-41页 |
| ·概率,随机变量与分布函数 | 第25-28页 |
| ·随机过程 | 第28-41页 |
| 第三章 交互式马尔可夫链 | 第41-67页 |
| ·进程代数与标记转移系统 | 第41-47页 |
| ·带标记的连续时间马尔可夫链 | 第47-49页 |
| ·交互式马尔可夫链(IMC) | 第49-56页 |
| ·IMC的代数刻画IMPA | 第56-60页 |
| ·IMC的逻辑刻画aCSL | 第60-67页 |
| 第四章 分支时间等价和前序关系 | 第67-95页 |
| ·概述 | 第67-68页 |
| ·互模拟等价关系 | 第68-72页 |
| ·模拟前序关系 | 第72-83页 |
| ·逻辑特征 | 第83-92页 |
| ·小结 | 第92-95页 |
| 第五章 模型检验 | 第95-123页 |
| ·概述 | 第95-96页 |
| ·基本原理 | 第96-100页 |
| ·aCSL表达能力回顾 | 第100-102页 |
| ·模型检验算法 | 第102-114页 |
| ·实例分析 | 第114-118页 |
| ·算法效率分析及优化考虑 | 第118-123页 |
| 第六章 动作细化 | 第123-153页 |
| ·概述 | 第123-128页 |
| ·基本假设 | 第128-129页 |
| ·语法细化 | 第129-134页 |
| ·语义细化 | 第134-139页 |
| ·性质 | 第139-153页 |
| 第七章 结论 | 第153-157页 |
| ·主要工作总结 | 第153-155页 |
| ·进一步工作 | 第155-157页 |
| 参考文献 | 第157-171页 |
| 已发表和已完成文章 | 第171-172页 |
| 致谢 | 第172页 |
