| 摘要 | 第1-7页 |
| Abstract | 第7-9页 |
| 第一章 引言 | 第9-13页 |
| ·研究背景 | 第9-11页 |
| ·本文研究目标及贡献 | 第11-12页 |
| ·本文结构 | 第12-13页 |
| 第二章 相关技术背景介绍 | 第13-23页 |
| ·实时概率并行语言PTSC简介 | 第13-15页 |
| ·Prolog简介 | 第15-18页 |
| ·Maude简介 | 第18-22页 |
| ·本章小结 | 第22-23页 |
| 第三章 基于Prolog的PTSC语言语义仿真 | 第23-48页 |
| ·基于Prolog语义仿真的框架和设计思想 | 第23-25页 |
| ·基于Prolog对PTSC语法定义的仿真 | 第25页 |
| ·基于Prolog对PTSC操作语义的仿真 | 第25-36页 |
| ·基于Prolog对PTSC的代数语义及操作语义生成的仿真 | 第36-46页 |
| ·本章小结 | 第46-48页 |
| 第四章 基于Maude的PTSC语言语义仿真 | 第48-65页 |
| ·基于Maude语义仿真的框架和设计思想 | 第48-49页 |
| ·基于Maude对PTSC语法定义的仿真 | 第49-52页 |
| ·基于Maude对PTSC操作语义的仿真 | 第52-56页 |
| ·基于Maude对PTSC代数语义及操作语义生成的仿真 | 第56-64页 |
| ·本章小结 | 第64-65页 |
| 第五章 总结与展望 | 第65-67页 |
| ·总结 | 第65-66页 |
| ·展望 | 第66-67页 |
| 参考文献 | 第67-70页 |
| 作者研究生阶段参加的项目及发表文章情况 | 第70-72页 |
| 发表论文情况 | 第70-71页 |
| 参加的科研项目 | 第71-72页 |
| 致谢 | 第72页 |