| 摘要 | 第1-14页 |
| ABSTRACT | 第14-16页 |
| 第一章 绪论 | 第16-21页 |
| §1.1 仿真平台的发展方向和特点 | 第16-17页 |
| ·仿真系统发展历程 | 第16-17页 |
| ·Agent平台下的复杂系统仿真 | 第17页 |
| §1.2 仿真系统容错机制需求 | 第17-18页 |
| §1.3 仿真容错相关研究概况 | 第18-19页 |
| §1.4 文章的主要贡献与创新 | 第19页 |
| §1.5 文章的主要结构 | 第19-21页 |
| 第二章 分布式仿真环境下的容错架构 | 第21-41页 |
| §2.1 仿真系统结构仿真系统基本框架 | 第21-22页 |
| ·仿真系统的错误类型 | 第22页 |
| §2.2 错误的检测 | 第22-26页 |
| ·错误检测配置 | 第23-24页 |
| ·基于虚拟令牌环的错误检测算法 | 第24-26页 |
| §2.3 错误的处理方法与对策 | 第26-27页 |
| ·错误的处理 | 第26-27页 |
| §2.4 仿真系统的容错架构和QUORUM算法 | 第27-40页 |
| ·采用Replica的HLA容错架构 | 第27-30页 |
| ·基于检查点技术的容错架构 | 第30-31页 |
| ·Replica读写算法 | 第31页 |
| ·Quorum系统 | 第31-32页 |
| ·Quorum系统基本特征 | 第32-34页 |
| ·Byzantine Quorum系统设计 | 第34页 |
| ·Byzantine Quorum的几个性能指标 | 第34-35页 |
| ·b-mask quorum系统的负载和可靠度计算 | 第35页 |
| ·几种常见的quorum系统 | 第35-37页 |
| ·分布式仿真中容错quorum的选择 | 第37-40页 |
| §2.5 本章小结 | 第40-41页 |
| 第三章 仿真时间推进算法以及检查点方式容错 | 第41-69页 |
| §3.1 仿真时间推进算法 | 第41-43页 |
| ·第一代保守算法 | 第41-42页 |
| ·第二代保守时间推进算法 | 第42-43页 |
| §3.2 乐观时间推进算法 | 第43-44页 |
| §3.3 卷回容错算法 | 第44-48页 |
| ·记录方式的容错 | 第44页 |
| ·检查点方式容错 | 第44-48页 |
| §3.4 目前仿真恢复算法的现状 | 第48页 |
| §3.5 自适应的检查点周期设置算法 | 第48-52页 |
| ·检查点间隔动态优化算法 | 第49-50页 |
| ·计算interval的方法 | 第50-51页 |
| ·Pr(△_(LVT)(e))值的估计 | 第51-52页 |
| §3.6 自适应的检查点间隔算法 | 第52-57页 |
| ·系统模型和定义 | 第53页 |
| ·考虑卷回的情况检查点的设置 | 第53-54页 |
| ·考虑容错机制的检查点设置 | 第54-56页 |
| ·两种概率分布讨论 | 第56-57页 |
| §3.7 乐观时间推进机制下的容错协议 | 第57-61页 |
| ·乐观机制下系统的错误模型 | 第58-59页 |
| ·乐观机制下的容错协议 | 第59-61页 |
| §3.8 层次化恢复算法的方案 | 第61-67页 |
| ·网关路由选择 | 第62-63页 |
| ·层次化的邦元结构体系 | 第63-64页 |
| ·异构恢复协议在层次化结构中的实现 | 第64-67页 |
| ·目前层次化恢复算法存在的问题 | 第67页 |
| §3.9 本章小结 | 第67-69页 |
| 第四章 PASSIVE-BACKUP动态容错研究 | 第69-81页 |
| §4.1 系统模型和框架 | 第69-73页 |
| ·基本假设 | 第70-71页 |
| ·副本更新与心跳机制 | 第71-72页 |
| ·动态副本配置 | 第72页 |
| ·副本更新频率的设定 | 第72页 |
| ·动态副本放置策略 | 第72-73页 |
| §4.2 容错恢复过程和协议 | 第73-77页 |
| ·数据结构 | 第74-75页 |
| ·协议正确性证明 | 第75-77页 |
| §4.3 容错度为F的扩展 | 第77-79页 |
| §4.4 恢复协议对乐观机制的扩展 | 第79页 |
| §4.5 容错协议性能比较 | 第79-80页 |
| §4.6 本章小结 | 第80-81页 |
| 第五章 仿真系统的负载均衡及重构 | 第81-87页 |
| §5.1 HLA仿真中的邦元克隆和迁移 | 第81-83页 |
| ·相关研究 | 第81-83页 |
| §5.2 邦元迁移 | 第83页 |
| §5.3 联邦迁移设计 | 第83-86页 |
| ·迁移协议 | 第84-86页 |
| §5.4 本章小结 | 第86-87页 |
| 第六章 基于剪枝技术的仿真实时加强 | 第87-96页 |
| §6.1 仿真决策分支问题 | 第88-90页 |
| ·仿真分支树形结构的生成 | 第90页 |
| §6.2 剪枝算法 | 第90-92页 |
| ·α,β剪枝算法 | 第90-91页 |
| ·节点的排序 | 第91页 |
| ·仿真流程的控制与表现(用户的参与) | 第91页 |
| ·博弈树的剪枝程序 | 第91-92页 |
| §6.3 分支克隆的控制和管理 | 第92-94页 |
| ·HLA规则中的数据订购和分发 | 第92页 |
| ·递归区分算法(Recursive Division Solution) | 第92-94页 |
| §6.4 HLA仿真框架 | 第94页 |
| §6.5 实验 | 第94-95页 |
| §6.6 本章小结 | 第95-96页 |
| 第七章 实时容错调度研究 | 第96-105页 |
| §7.1 任务模型和系统假设 | 第96-100页 |
| ·任务重载方式定义 | 第97-98页 |
| ·重载度的定义及静态分析 | 第98-100页 |
| §7.2 任务时间槽占有期及动态分析 | 第100-102页 |
| ·调度启发函数定义: | 第101页 |
| ·控制条件(调度允许条件) | 第101页 |
| ·启发式调度MSO算法(Minimal Slot Occupy Algorithm) | 第101-102页 |
| §7.3 模拟试验与算法比较 | 第102-103页 |
| §7.4 本章小结 | 第103-105页 |
| 第八章 基于状态预测的仿真实时容错增强 | 第105-113页 |
| §8.1 系统模型 | 第105-110页 |
| ·仿真实时任务集的定义 | 第105页 |
| ·仿真的主要模型分析 | 第105-106页 |
| ·状态预测方法 | 第106-107页 |
| ·仿真预测数据的验证 | 第107-108页 |
| ·实时容错解决方案 | 第108-109页 |
| ·仿真系统框架 | 第109-110页 |
| §8.2 模拟试验 | 第110-112页 |
| §8.3 本章小结 | 第112-113页 |
| 结束语 | 第113-116页 |
| 致谢 | 第116-117页 |
| 参考文献 | 第117-128页 |
| 作者在学期间发表的学术论文与成果 | 第128页 |
