随机进程代数的等价性判定计算
| 摘要 | 第1-7页 |
| Abstract | 第7-9页 |
| 目录 | 第9-15页 |
| 第一章 引言 | 第15-23页 |
| ·研究背景 | 第15-18页 |
| ·并发系统的功能分析 | 第16页 |
| ·并发系统的性能分析 | 第16-18页 |
| ·并发系统上的行为等价关系 | 第18页 |
| ·研究内容 | 第18-20页 |
| ·IMC模型上模拟关系 | 第19页 |
| ·随机进程代数上的等价性计算 | 第19-20页 |
| ·相关工作 | 第20页 |
| ·本文组织 | 第20-23页 |
| 第二章 进程代数 | 第23-45页 |
| ·进程代数与标记转移系统 | 第23-29页 |
| ·进程代数上的等价 | 第29-38页 |
| ·强等价关系 | 第29-33页 |
| ·弱等价关系 | 第33-38页 |
| ·等价关系的计算 | 第38-45页 |
| ·计算强互模拟等价 | 第38-41页 |
| ·计算弱互模拟等价 | 第41-45页 |
| 第三章 马尔可夫链代数模型 | 第45-71页 |
| ·随机变量及其分布函数 | 第45-48页 |
| ·测度空间与概率空间 | 第45-47页 |
| ·概率分布函数 | 第47-48页 |
| ·随机过程 | 第48-58页 |
| ·离散时间马尔可夫链 | 第50-52页 |
| ·连续时间马尔可夫链 | 第52-56页 |
| ·马尔可夫分析 | 第56-58页 |
| ·马尔可夫链(MC)代数 | 第58-66页 |
| ·语法 | 第58-59页 |
| ·语义 | 第59-60页 |
| ·MC代数的等价 | 第60-63页 |
| ·DTMC上的互模拟 | 第63-64页 |
| ·弱互模拟等价 | 第64-66页 |
| ·等价关系的计算 | 第66-71页 |
| 第四章 交互式马尔可夫链(IMC)代数 | 第71-113页 |
| ·随机进程代数模型 | 第71-73页 |
| ·交互式马尔可夫链 | 第73-77页 |
| ·交互式马尔可夫链进程代数 | 第77-80页 |
| ·语法 | 第77-78页 |
| ·语义 | 第78-80页 |
| ·等价关系 | 第80-85页 |
| ·强互模拟等价 | 第81-83页 |
| ·弱互模拟等价 | 第83-85页 |
| ·计算互模拟等价 | 第85-97页 |
| ·模拟前序关系 | 第97-103页 |
| ·强模拟前序关系 | 第99-100页 |
| ·弱模拟前序关系 | 第100-103页 |
| ·模拟前序的计算 | 第103-113页 |
| ·计算强模拟前序 | 第103-107页 |
| ·计算弱模拟前序 | 第107-113页 |
| 第五章 随机进程代数 | 第113-135页 |
| ·基本概念 | 第113-116页 |
| ·语法 | 第113-114页 |
| ·语义 | 第114页 |
| ·SPA上的互模拟等价 | 第114-116页 |
| ·SPA上的互模拟计算 | 第116-123页 |
| ·SLTS上的互模拟计算 | 第117-119页 |
| ·SPA上的互模拟计算 | 第119-123页 |
| ·模拟前序计算 | 第123-135页 |
| ·语言L_2上的模拟前序计算 | 第126-130页 |
| ·语言L上的模拟计算 | 第130-135页 |
| 参考文献 | 第135-143页 |
| 发表文章目录 | 第143-144页 |
| 致谢 | 第144页 |
