| 摘要 | 第1-11页 |
| ABSTRACT | 第11-13页 |
| 第一章 绪论 | 第13-27页 |
| 1．1 研究背景 | 第13-15页 |
| 1．2 HLA仿真系统的VV&A研究现状 | 第15-23页 |
| 1．2．1 HLA仿真系统 VV&A研究的发展状况 | 第15-17页 |
| 1．2．2 HLA仿真系统 VV&A研究的主要问题 | 第17-20页 |
| 1．2．3 HLA仿真系统 VV&A研究的特点 | 第20-23页 |
| 1．3 论文的研究目标 | 第23-24页 |
| 1．4 论文的研究内容和创新 | 第24-25页 |
| 1．5 论文的组织结构 | 第25-27页 |
| 第二章 HLA仿真系统的 VV& A过程研究 | 第27-39页 |
| 2．1 VV&A过程模型及描述 | 第27-33页 |
| 2．1．1 VV&A过程模型的简介 | 第27-29页 |
| 2．1．2 VV&A过程模型的改进 | 第29-32页 |
| 2．1．3 VV&A过程模型的描述 | 第32-33页 |
| 2．2 VV&A过程模型优化 | 第33-38页 |
| 2．2．1 根据风险/效益比的优化 | 第33-34页 |
| 2．2．2 利用已有仿真的优化 | 第34-35页 |
| 2．2．3 运用测试和评估(T&E)的优化 | 第35-38页 |
| 2．3 小结 | 第38-39页 |
| 第三章 HLA仿真系统的VV& A理论研究(一)——模型和数据 | 第39-58页 |
| 3．1 概念模型的验证 | 第39-42页 |
| 3．2 基于 HLA的作战仿真中模型的验证 | 第42-50页 |
| 3．2．1 作战模型的建立和分类 | 第42-43页 |
| 3．2．2 作战模型的验证方案 | 第43-47页 |
| 3．2．3 作战模型的验证过程成熟度模型的提出 | 第47-50页 |
| 3．3 HLA仿真系统中数据的VV&C研究 | 第50-57页 |
| 3．3．1 数据 VV&C概念 | 第50-52页 |
| 3．3．2 数据 VV&C评估策略 | 第52-57页 |
| 3．4 小结 | 第57-58页 |
| 第四章 HLA仿真系统的VV& A理论研究(二)——逼真度和确认 | 第58-72页 |
| 4．1 逼真度概念、度量及管理 | 第58-67页 |
| 4．1．1 逼真度概念 | 第58-60页 |
| 4．1．2 模糊综合评判方法在逼真度度量中的应用 | 第60-64页 |
| 4．1．3 HLA仿真系统中基于逼真度管理框架的校核验证 | 第64-67页 |
| 4．2 确认概念及可接受性评估研究 | 第67-71页 |
| 4．2．1 确认的概念与框架 | 第68-70页 |
| 4．2．2 可接受性评估研究 | 第70-71页 |
| 4．3 小结 | 第71-72页 |
| 第五章 HLA仿真系统的VV& A方法研究 | 第72-90页 |
| 5．1 HLA仿真系统中的VV&A方法 | 第72-76页 |
| 5．1．1 一般M&S的VV&A方法 | 第72-74页 |
| 5．1．2 HLA仿真系统的VV&A方法 | 第74-76页 |
| 5．2 面向对象测试方法在HLA 仿真系统 VV&A中的应用 | 第76-81页 |
| 5．2．1 HLA仿真系统中的面向对象技术 | 第76-77页 |
| 5．2．2 HLA仿真系统的面向对象测试方案及应用 | 第77-81页 |
| 5．3 DEVS/HLA联邦的校核方法研究 | 第81-89页 |
| 5．3．1 时态逻辑和 DEVS | 第81-83页 |
| 5．3．2 DEVS/HLA联邦的基于时态逻辑的操作校核结构及应用 | 第83-89页 |
| 5．4 小结 | 第89-90页 |
| 第六章 HLA仿真系统的测试研究 | 第90-107页 |
| 6．1 RTI测试 | 第90-98页 |
| 6．1．1 RTI概述 | 第90-91页 |
| 6．1．2 RTI测试内容和指标 | 第91-93页 |
| 6．1．3 RTI测试方法 | 第93-96页 |
| 6．1．4 KD-RTI测试结果 | 第96-98页 |
| 6．2 联邦测试 | 第98-102页 |
| 6．2．1 联邦性能分析 | 第98-99页 |
| 6．2．2 联邦测试内容 | 第99-100页 |
| 6．2．3 联邦测试过程 | 第100-101页 |
| 6．2．4 联邦测试工具 | 第101-102页 |
| 6．3 联邦校核工具的设计与实现 | 第102-106页 |
| 6．3．1 KD-FVT工具的结构 | 第102-103页 |
| 6．3．2 KD-FVT工具的功能 | 第103页 |
| 6．3．3 KD-FVT工具的运行流程 | 第103-106页 |
| 6．4 小结 | 第106-107页 |
| 第七章 HLA仿真系统的VV& A应用实例 | 第107-119页 |
| 7．1 XXX作战仿真系统概述 | 第107-109页 |
| 7．1．1 系统开发目的 | 第107页 |
| 7．1．2 系统总体设计 | 第107-109页 |
| 7．2 XXX作战仿真系统的VV&A过程 | 第109-118页 |
| 7．2．1 目标校核 | 第109-110页 |
| 7．2．2 一致性校核 | 第110-111页 |
| 7．2．3 概念模型验证 | 第111-113页 |
| 7．2．4 设计校核 | 第113-114页 |
| 7．2．5 实现校核 | 第114-115页 |
| 7．2．6 联邦验证 | 第115-116页 |
| 7．2．7 确认决策 | 第116-117页 |
| 7．2．8 事后归档 | 第117-118页 |
| 7．3 小结 | 第118-119页 |
| 第八章 总结与展望 | 第119-122页 |
| 8．1 全文总结 | 第119-120页 |
| 8．2 工作展望 | 第120-122页 |
| 攻读博士学位期间发表的论文 | 第122页 |
| 攻读博士学位期间参加的科研工作 | 第122-123页 |
| 致谢 | 第123-124页 |
| 参考文献 | 第124-130页 |
