| 第一章 引言 | 第1-24页 |
| ·并行和分布式仿真概述 | 第13-18页 |
| ·并行和分布式仿真的应用 | 第18-20页 |
| ·本文工作概述 | 第20-22页 |
| ·本文组织 | 第22-24页 |
| 第二章 并行和分布式仿真研究综述 | 第24-45页 |
| ·离散事件仿真(Discrete Event Simulation) | 第24-25页 |
| ·并行和分布式仿真 | 第25-26页 |
| ·并行仿真同步协议 | 第26-37页 |
| ·保守同步协议 | 第27-32页 |
| ·死锁避免(Deadlock Avoidance) | 第29-30页 |
| ·前瞻值(lookahead) | 第30-31页 |
| ·死锁检测和解锁 | 第31页 |
| ·保守时间窗 | 第31页 |
| ·条件事件 | 第31-32页 |
| ·乐观同步协议 | 第32-37页 |
| ·消极取消(Aggressive Cancellation) | 第34-35页 |
| ·消极重估 | 第35页 |
| ·Wolf Calls | 第35页 |
| ·乐观时间窗 | 第35页 |
| ·增量和交织的状态保存 | 第35-36页 |
| ·化石收集 | 第36-37页 |
| ·通过返回消息释放内存 | 第37页 |
| ·并行和分布式仿真的研究方向 | 第37-43页 |
| ·新(同步)协议和改进 | 第37-41页 |
| ·保守协议的改进 | 第38页 |
| ·乐观协议的改进 | 第38-40页 |
| ·利用应用(模型)特性的协议 | 第40页 |
| ·利用机器特性的协议 | 第40-41页 |
| ·负载均衡 | 第41页 |
| ·通讯优化 | 第41-42页 |
| ·内存管理 | 第42-43页 |
| ·PADS建模 | 第43页 |
| ·讨论和结论 | 第43-45页 |
| 第三章 基于规则的MRM建模研究 | 第45-57页 |
| ·引言 | 第45-46页 |
| ·基于HLA仿真的MRM需求 | 第46-47页 |
| ·基于规则的MRM方法 | 第47-50页 |
| ·基于规则的多分辨率建模的优点 | 第50-51页 |
| ·维护映射的一致性更加简单 | 第50-51页 |
| ·建模更加自然 | 第51页 |
| ·一个例子 | 第51-56页 |
| ·仿真想定 | 第51-52页 |
| ·应用基于规则的多分辨率建模过程 | 第52-55页 |
| ·仿真执行和讨论 | 第55-56页 |
| ·结论 | 第56-57页 |
| 第四章 扩展UML语义以支持并行和分布式仿真系统设计 | 第57-71页 |
| ·引言 | 第57-58页 |
| ·PADS系统的基本结构 | 第58-59页 |
| ·扩展标准UML语义支持PADS仿真对象行为描述 | 第59-63页 |
| ·使用“分离法”表示PADS虚拟时间同步 | 第63-66页 |
| ·实例 | 第66-69页 |
| ·相关工作及结论 | 第69-71页 |
| 第五章 并行仿真的性能分析 | 第71-85页 |
| ·引言 | 第71页 |
| ·采用非频繁检核的乐观仿真协议 | 第71-72页 |
| ·乐观协议的解析性性能模型 | 第72-80页 |
| ·LVT推进的特性 | 第74页 |
| ·因果关系错误特性 | 第74-77页 |
| ·回滚概率 | 第75-76页 |
| ·回滚长度 | 第76页 |
| ·前滑长度 | 第76-77页 |
| ·层叠回滚 | 第77-79页 |
| ·第一轮反消息引起的回滚 | 第77-78页 |
| ·第n轮反消息引起的回滚 | 第78-79页 |
| ·仿真持续时间 | 第79页 |
| ·乐观仿真的效率 | 第79-80页 |
| ·模型验证和性能分析 | 第80-81页 |
| ·相关工作比较 | 第81-84页 |
| ·本章小结 | 第84-85页 |
| 第六章 本文工作总结 | 第85-87页 |
| ·本文工作回顾 | 第85-86页 |
| ·进一步的工作 | 第86-87页 |
| 参考文献 | 第87-98页 |
| 发表论文目录 | 第98-99页 |
| 致谢 | 第99页 |
