| 摘要 | 第1-13页 |
| ABSTRACT | 第13-15页 |
| 第一章 绪论 | 第15-34页 |
| ·研究背景 | 第15-21页 |
| ·并行仿真及并行离散事件仿真 | 第17-19页 |
| ·并行仿真与串行及分布式仿真技术 | 第19-21页 |
| ·PDES的研究和应用现状 | 第21-29页 |
| ·PDES理论基础 | 第21-27页 |
| ·PDES技术的应用现状 | 第27-28页 |
| ·PDES技术的发展与挑战 | 第28-29页 |
| ·问题的提出 | 第29-31页 |
| ·论文的研究内容、组织结构与贡献 | 第31-34页 |
| ·论文研究内容 | 第31-32页 |
| ·论文的组织结构 | 第32-33页 |
| ·论文的主要贡献 | 第33-34页 |
| 第二章 并行仿真环境KD-PARSE体系结构设计 | 第34-60页 |
| ·并行计算环境与KD-PARSE系统模型 | 第34-43页 |
| ·并行计算环境与通用PDES模型 | 第34-42页 |
| ·KD-PARSE并行仿真系统结构 | 第42-43页 |
| ·KD-PARSE并行仿真环境体系结构设计 | 第43-51页 |
| ·概述 | 第43-44页 |
| ·相关工作 | 第44-46页 |
| ·KD-PARSE仿真环境的体系结构 | 第46-51页 |
| ·KD-PARSE建模环境设计 | 第51-59页 |
| ·建模环境总体设计 | 第51-52页 |
| ·KD-PARSE建模单元及相关服务 | 第52-59页 |
| ·本章小结 | 第59-60页 |
| 第三章 KD-PARSE通信服务模块的设计与实现 | 第60-72页 |
| ·KD-PARSE通信服务模块设计 | 第60-61页 |
| ·KD-PARSE通信库语义表示层 | 第61-63页 |
| ·KD-PARSE通信层结构及初始化过程 | 第63-65页 |
| ·事件消息的发送 | 第65-68页 |
| ·点对点消息发送 | 第66页 |
| ·组播及广播消息的发送 | 第66-67页 |
| ·共享内存服务器中的消息发送操作 | 第67-68页 |
| ·节点间的规约和同步操作 | 第68-69页 |
| ·非阻塞同步操作(Nonblocking Synchronization) | 第69-72页 |
| 第四章 并行仿真同步算法研究及SafeBTW同步算法 | 第72-97页 |
| ·同步算法分类 | 第72-78页 |
| ·保守同步算法(Conservative Algorithms) | 第73-74页 |
| ·乐观同步算法(Optimistic Algorithm) | 第74-76页 |
| ·容错同步(Fault-tolerant Synchronization) | 第76页 |
| ·有限乐观同步(Restricted Optimistic Synchronization) | 第76-78页 |
| ·Breathing Time Warp算法 | 第78-91页 |
| ·PHOLD实验模型 | 第79-80页 |
| ·性能评价指标 | 第80-81页 |
| ·Breathing Time Bucket算法 | 第81-91页 |
| ·SafeBTW同步算法 | 第91-96页 |
| ·SafeBTW算法的基本原理 | 第92-94页 |
| ·SafeBTW算法下PHOLD实验结果 | 第94-96页 |
| ·本章小结 | 第96-97页 |
| 第五章 事件管理服务及回退框架的设计与实现 | 第97-118页 |
| ·PDES中的事件模型 | 第97-109页 |
| ·PDES中的事件与事件循环过程 | 第97-99页 |
| ·KD-PARSE中模型表示层中的类关系 | 第99-100页 |
| ·支持回退操作的事件模型 | 第100-109页 |
| ·KD-PARSE中的事件队列设计 | 第109-113页 |
| ·事件队列数据结构 | 第109-111页 |
| ·KD-PARSE仿真环境中的事件队列结构 | 第111-113页 |
| ·KD-PARSE中的事件状态管理 | 第113-115页 |
| ·KD-PARSE事件管理服务层的性能测试 | 第115-117页 |
| ·测试实验模型 | 第115-116页 |
| ·HOLD实验结果 | 第116-117页 |
| ·本章小结 | 第117-118页 |
| 第六章 模型互操作框架设计与实现 | 第118-141页 |
| ·仿真模型的互操作性 | 第118-120页 |
| ·分布式仿真中的互操作机制 | 第118-119页 |
| ·并行仿真中的互操作机制 | 第119-120页 |
| ·支持互操作的仿真对象模型 | 第120-125页 |
| ·可公布属性(Publishable Attributes) | 第120-121页 |
| ·代理对象PO(Proxy Object)机制 | 第121-122页 |
| ·可过滤属性与兴趣表达式 | 第122-124页 |
| ·PO管理器(PO Manager) | 第124页 |
| ·自动PO事件 | 第124-125页 |
| ·数据分发框架设计 | 第125-134页 |
| ·KD-PARSE数据分发框架组成 | 第125页 |
| ·兴趣管理器对象 | 第125-127页 |
| ·节点PO分配器 | 第127-132页 |
| ·数据分发框架功能验证实验 | 第132-134页 |
| ·基于集群环境的数据分发框架优化 | 第134-138页 |
| ·基本数据分发框架结构 | 第134-135页 |
| ·基于集群环境的优化数据分发框架 | 第135-137页 |
| ·优化数据分发框架性能实验及结果分析 | 第137-138页 |
| ·实体之间的交互机制 | 第138-140页 |
| ·本章小结 | 第140-141页 |
| 第七章 总结与展望 | 第141-144页 |
| ·论文工作总结 | 第141-142页 |
| ·未来工作展望 | 第142-144页 |
| 致谢 | 第144-145页 |
| 缩略语表 | 第145-147页 |
| 参考文献 | 第147-159页 |
| 作者在攻读博士学位期间发表的主要学术论文 | 第159页 |
