| 中文摘要 | 第1-4页 |
| Abstract | 第4-6页 |
| 1. 引言 | 第6-9页 |
| ·PEPA的简介 | 第6-7页 |
| ·本文的主要任务 | 第7-9页 |
| 2. PEPA语言及其数值型表示 | 第9-16页 |
| ·PEPA的句法结构 | 第9-10页 |
| ·PEPA的操作语义结构 | 第10-12页 |
| ·PEPA的数值型表示方法 | 第12-14页 |
| ·PEPA的流体逼近和扩散逼近方法 | 第14-16页 |
| 3. 一个PEPA案例的研究 | 第16-34页 |
| ·ODEs | 第16-17页 |
| ·反应扩散方程 | 第17-19页 |
| ·预备知识 | 第19-25页 |
| ·一些结果 | 第25-34页 |
| 4. 数值实验 | 第34-43页 |
| ·说明定理3.3 | 第34-36页 |
| ·说明定理3.4 | 第36-38页 |
| ·说明定理3.5 | 第38-40页 |
| ·对W_1≥0,W_2≥0情况的说明 | 第40-43页 |
| 5. 总结与展望 | 第43-45页 |
| 6. 参考文献 | 第45-49页 |
| 致谢 | 第49-50页 |
| 读学位期间发表的学术论文目录 | 第50-51页 |