| 摘摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-10页 |
| 第二章 连续动力系统及其可达集 | 第10-17页 |
| ·连续时间动力系统 | 第10-11页 |
| ·连续时间动力系统的可达集 | 第11-14页 |
| ·混合自动机 | 第14-17页 |
| 第三章 非线性动力系统的性质 | 第17-21页 |
| 第四章 可达性分析算法 | 第21-27页 |
| 第五章 并行水平集计算内核 | 第27-36页 |
| ·水平集方法 | 第27-29页 |
| ·并行水平集（Parallel Level Set, PLS）计算内核 | 第29-36页 |
| 第六章 计算平台：ReachLab | 第36-43页 |
| ·简介 | 第36-38页 |
| ·模型转换 | 第38-40页 |
| ·在高性能计算平台上的实施 | 第40-43页 |
| 第七章 计算结果 | 第43-52页 |
| ·实例分析 | 第43-48页 |
| ·验证与修正 | 第48-52页 |
| 第八章 结语 | 第52-53页 |
| 参考文献 | 第53-55页 |
| 附录1 | 第55-56页 |
| 致谢 | 第56页 |