| 摘要 | 第1-4页 |
| Abstract | 第4-5页 |
| 目录 | 第5-8页 |
| 第1章 绪论 | 第8-14页 |
| ·并发系统及其同步控制 | 第8-9页 |
| ·国内外研究现状概述 | 第9-11页 |
| ·同步控制的一般理论 | 第9-10页 |
| ·同步机制的描述 | 第10-11页 |
| ·同步控制的实现与执行 | 第11页 |
| ·本文主要研究内容 | 第11-12页 |
| ·研究工作的意义 | 第12-13页 |
| ·论文其他部分的内容安排 | 第13-14页 |
| 第2章 同步约束语言的设计 | 第14-27页 |
| ·约束编程 | 第14-15页 |
| ·同步约束 | 第15-17页 |
| ·有关工作 | 第17-20页 |
| ·同步约束表 | 第20-24页 |
| ·同步约束表的构成 | 第21页 |
| ·子约束（Sub-constraint） | 第21-22页 |
| ·总约束（General Constraint） | 第22-23页 |
| ·自由变量（Free variable） | 第23页 |
| ·可定制的编程接口（Customization Interface） | 第23-24页 |
| ·例子 | 第24-26页 |
| ·本章小结 | 第26-27页 |
| 第3章 同步控制执行机制 | 第27-57页 |
| ·基本思路 | 第27-33页 |
| ·RETE：一种经典多模式、多对象匹配算法 | 第28-29页 |
| ·同步约束传播网 | 第29-31页 |
| ·执行效率优化 | 第31-33页 |
| ·同步约束传播网的生成与化简 | 第33-43页 |
| ·同步约束网络表示方法 | 第33-34页 |
| ·命题逻辑和析取范式 | 第34-35页 |
| ·自由变量的处理 | 第35-36页 |
| ·同步约束传播网的初步生成 | 第36页 |
| ·同步约束传播网的化简 | 第36-40页 |
| ·例子 | 第40-43页 |
| ·同步约束处理的运行时逻辑 | 第43-50页 |
| ·过滤与分类 | 第43-46页 |
| ·同步约束可满足性判别 | 第46-48页 |
| ·后续操作 | 第48-50页 |
| ·一个重要的数据结构：Token 池 | 第50-54页 |
| ·基于K-D Tree 的Token 池 | 第50-52页 |
| ·基于树-队列映射（Tree-Queue Map）的Token 池 | 第52-54页 |
| ·同步约束处理中的并行计算 | 第54-56页 |
| ·本章小结 | 第56-57页 |
| 第4章 程序实现与性能分析 | 第57-69页 |
| ·程序结构 | 第57-58页 |
| ·主要内部组件 | 第58-60页 |
| ·同步约束语言解析器 | 第58-59页 |
| ·同步控制执行器 | 第59-60页 |
| ·正确性检验 | 第60-65页 |
| ·性能分析 | 第65-68页 |
| ·处理时间与Token 吞吐量 | 第65-66页 |
| ·处理时间与约束规模 | 第66-67页 |
| ·并行性能 | 第67-68页 |
| ·本章小结 | 第68-69页 |
| 第5章 应用案例 | 第69-74页 |
| ·在集装箱调运仿真系统中的应用 | 第69-73页 |
| ·案例背景 | 第69-70页 |
| ·模型中的同步控制及实现 | 第70-72页 |
| ·分析 | 第72-73页 |
| ·其他应用 | 第73页 |
| ·本章小结 | 第73-74页 |
| 第6章 总结与展望 | 第74-76页 |
| ·论文总结 | 第74-75页 |
| ·未来工作 | 第75-76页 |
| 参考文献 | 第76-81页 |
| 致谢 | 第81-82页 |
| 附录A 程序模块类图 | 第82-84页 |
| 附录B 性能测试数据 | 第84-86页 |
| 个人简历、在学期间发表的学术论文与研究成果 | 第86页 |