分布式仿真运行支撑平台中时间管理服务的研究
| 摘要 | 第1-14页 |
| ABSTRACT | 第14-16页 |
| 第一章 绪论 | 第16-31页 |
| §1.1 选题背景 | 第16-28页 |
| ·HLA规范的基本内容 | 第16-19页 |
| ·HLA中的时间管理服务 | 第19-21页 |
| ·时间管理服务研究现状和存在的问题 | 第21-25页 |
| ·大规模仿真中时间管理服务的解决途径 | 第25-28页 |
| §1.2 课题研究意义与目标 | 第28页 |
| §1.3 本文的主要工作与创新 | 第28-30页 |
| §1.4 论文结构 | 第30-31页 |
| 第二章 时间管理服务基础 | 第31-44页 |
| §2.1 时间的概念 | 第31-32页 |
| §2.2 时间管理服务 | 第32页 |
| §2.3 HLA中的消息 | 第32-36页 |
| ·消息序 | 第33-35页 |
| ·消息的拆包 | 第35-36页 |
| §2.4 时间管理策略 | 第36页 |
| §2.5 时间推进服务 | 第36-39页 |
| §2.6 基于HLA的时钟同步技术 | 第39-42页 |
| ·基于HLA的墙上时钟同步方法 | 第39-41页 |
| ·基于逻辑时间的实时仿真方法 | 第41-42页 |
| §2.7 小结 | 第42-44页 |
| 第三章 分布式仿真中的前瞻值 | 第44-54页 |
| §3.1 前瞻值的产生背景 | 第44-47页 |
| §3.2 前瞻值的作用 | 第47页 |
| §3.3 前瞻值的形式化表示 | 第47-48页 |
| §3.4 前瞻值的设置 | 第48-50页 |
| ·实时仿真中的设置 | 第49页 |
| ·尽快仿真中的设置 | 第49-50页 |
| §3.5 更改前瞻值服务 | 第50-52页 |
| §3.6 零前瞻值 | 第52-53页 |
| §3.7 小结 | 第53-54页 |
| 第四章 最大可用逻辑时间的计算 | 第54-75页 |
| §4.1 基本概念 | 第54-56页 |
| §4.2 早期的算法 | 第56-60页 |
| ·对逻辑时间的修正 | 第58页 |
| ·对前瞻值的修正 | 第58-60页 |
| §4.3 GALT的计算要素 | 第60-61页 |
| ·推进服务类型 | 第60-61页 |
| ·底层通信机制 | 第61页 |
| §4.4 FREDERICK算法及死锁问题 | 第61-63页 |
| ·Frederick算法 | 第62-63页 |
| ·Frederick算法中的死锁 | 第63页 |
| §4.5 死锁的规律性 | 第63-65页 |
| §4.6 递归式算法 | 第65-67页 |
| §4.7 身高测量法1 | 第67-69页 |
| §4.8 身高测量法2 | 第69-71页 |
| §4.9 身高测量法的正确性 | 第71-74页 |
| §4.10 时间管理策略对GALT计算的影响 | 第74页 |
| §4.11 小结 | 第74-75页 |
| 第五章 乐观推进机制实现原理 | 第75-88页 |
| §5.1 概述 | 第75-76页 |
| §5.2 两种乐观机制的比较 | 第76-82页 |
| ·PDES中的乐观机制 | 第76-78页 |
| ·HLA中的乐观机制 | 第78-80页 |
| ·推进机制的比较 | 第80-81页 |
| ·两个有争议的问题 | 第81-82页 |
| ·应用乐观机制开发程序 | 第82页 |
| §5.3 乐观机制的实现基础 | 第82-85页 |
| ·管道机制和可靠性 | 第83页 |
| ·RTI的总体结构 | 第83-84页 |
| ·两个问题 | 第84页 |
| ·“零保存”机制 | 第84-85页 |
| §5.4 乐观机制的实现原理 | 第85-87页 |
| ·推进服务的实现原理 | 第85-86页 |
| ·撤消服务的实现原理 | 第86-87页 |
| §5.5 小结 | 第87-88页 |
| 第六章 面向CORBA的层次式RTI实现技术 | 第88-103页 |
| §6.1 CORBA概述 | 第88-91页 |
| ·ORB工作原理 | 第88-89页 |
| ·对象引用 | 第89页 |
| ·接口定义语言 | 第89-90页 |
| ·基于CORBA的底层通信技术 | 第90-91页 |
| §6.2 可适应不同仿真规模的层次式RTI | 第91-94页 |
| ·层次式体系结构 | 第91-92页 |
| ·StarLink+的特点 | 第92-93页 |
| ·StarLink+的配置方法 | 第93-94页 |
| §6.3 多线程机制 | 第94-96页 |
| ·单线程技术 | 第94-95页 |
| ·多线程技术 | 第95-96页 |
| §6.4 数据结构与信息交互过程 | 第96-100页 |
| ·数据结构 | 第96-98页 |
| ·信息交互过程 | 第98-100页 |
| §6.5 RTI间的互操作协议 | 第100-101页 |
| §6.6 全局一致性问题 | 第101-102页 |
| ·对象名的指定 | 第101页 |
| ·句柄的分配 | 第101-102页 |
| §6.7 小结 | 第102-103页 |
| 第七章 层次式RTI中时间管理服务的实现 | 第103-131页 |
| §7.1 集中式时间管理服务的实现 | 第103-117页 |
| ·双层RTI推进机制基本原理 | 第103-106页 |
| ·设置策略服务的实现 | 第106-110页 |
| ·保守推进机制的实现 | 第110-114页 |
| ·乐观推进机制的实现 | 第114-117页 |
| ·其它服务的实现 | 第117页 |
| §7.2 分布式时间管理服务的实现 | 第117-130页 |
| ·分布并行推进机制基本原理 | 第117-120页 |
| ·设置策略服务的实现 | 第120-124页 |
| ·保守推进机制的实现 | 第124-128页 |
| ·乐观推进机制的实现 | 第128-129页 |
| ·其它服务的实现 | 第129-130页 |
| §7.3 小结 | 第130-131页 |
| 第八章 时间管理服务的测试 | 第131-143页 |
| §8.1 STARLINK+的测试技术 | 第131-133页 |
| ·基于“框架结构”的功能测试思想 | 第131-132页 |
| ·测试程序的自动生成技术 | 第132-133页 |
| ·基于记录回放的程序测试技术 | 第133页 |
| §8.2 试验 | 第133-142页 |
| ·试验1：TAR服务 | 第133-134页 |
| ·试验2：NMR服务 | 第134-135页 |
| ·试验3：FQR服务 | 第135-136页 |
| ·试验4：更改前瞻值服务 | 第136-137页 |
| ·试验5：性能对比测试 | 第137-138页 |
| ·试验6：规模对比测试 | 第138-139页 |
| ·试验7：大规模测试 | 第139-141页 |
| ·试验8：跨路由测试 | 第141页 |
| ·试验9：广域网测试 | 第141-142页 |
| §8.3 小结 | 第142-143页 |
| 第九章 结束语 | 第143-146页 |
| 攻读博士学位期间发表的论文 | 第146-147页 |
| 攻读博士学位期间科研获奖及专利申请情况 | 第147-148页 |
| 致谢 | 第148-150页 |
| 参考文献 | 第150-157页 |
| 附录：RTI间互操作协议(扩展的HLA服务) | 第157-169页 |
