| 中文摘要 | 第6-7页 |
| 英文摘要 | 第7页 |
| 第一章 背景介绍 | 第8-10页 |
| 第二章 模拟器的描述 | 第10-16页 |
| 第三章 模拟器效率分析 | 第16-30页 |
| 第四章 G_1和G_2之间的转换 | 第30-32页 |
| 第五章 G_2和G_3、G_3和G_4之间的转换 | 第32-60页 |
| §5.1 G_2和G_3之间的转换 | 第32页 |
| §5.2 G_3终止概率分析 | 第32-42页 |
| §5.3 G_3中Assertion终止情形分析 | 第42-53页 |
| §5.4 G_3和G_4转化优势分析 | 第53-60页 |
| 第六章 G_4和G_5之间的转换 | 第60-62页 |
| 第七章 G_1和G_5之间的转换 | 第62-64页 |
| 参考文献 | 第64-66页 |
| 附录 | 第66-86页 |
| 致谢 | 第86-88页 |
| 发表论文 | 第88-89页 |
| 附件 | 第89页 |