| 中文摘要 | 第1-6页 |
| 英文摘要 | 第6-7页 |
| 第一章 绪论 | 第7-16页 |
| §1．1 “建模与仿真”高层体系结构（HLA）的背景 | 第7-9页 |
| §1．2 与HLA相关的“联合技术体系结构（JTA）” | 第9-12页 |
| §1．3 HLA应用概述 | 第12-14页 |
| §1．4 本文的工作 | 第14-16页 |
| 第二章 HLA联邦开发与运行过程（FEDEP） | 第16-37页 |
| §2．1 单联邦的开发 | 第16-29页 |
| §2．1．1 定义联邦目标 | 第17-18页 |
| §2．1．2 开发联邦概念模型 | 第18-23页 |
| §2．1．3 设计联邦 | 第23-25页 |
| §2．1．4 开发联邦 | 第25-27页 |
| §2．1．5 集成和测试联邦 | 第27-28页 |
| §2．1．6 运行联邦并准备结果 | 第28-29页 |
| §2．2 持久联邦 | 第29-32页 |
| §2．2．1 “持久联邦”的开发 | 第30-32页 |
| §2．3 多联邦系统 | 第32-37页 |
| 第三章 HLA联邦开发中的模型问题 | 第37-64页 |
| §3．1 HLA联邦开发中的概念模型 | 第37-41页 |
| §3．1．1 各种概念模型的关系 | 第39-41页 |
| §3．1．2 概念模型的开发 | 第41页 |
| §3．2 CMMS的开发 | 第41-47页 |
| §3．2．1 开发CMMS的意义 | 第41-42页 |
| §3．2．2 CMMS开发过程 | 第42-44页 |
| §3．2．3 CMMS的描述方法 | 第44-47页 |
| §3．3 FCM的开发 | 第47-49页 |
| §3．4 HLA对象模型 | 第49-64页 |
| §3．4．1 HLA与OO技术的比较 | 第49-52页 |
| §3．4．2 对象模型与概念模型之间的关系 | 第52-54页 |
| §3．4．3 HLA对象模型的开发 | 第54-60页 |
| §3．4．4 BOM及其应用 | 第60-64页 |
| 第四章 HLA联邦成员的开发 | 第64-84页 |
| §4．1 联邦成员通用功能、服务分析 | 第64-66页 |
| §4．2 HLA对象模型的表示 | 第66-67页 |
| §4．3 联邦成员软件框架设计 | 第67-75页 |
| §4．4 基于Rational Rose的联邦开发 | 第75-84页 |
| §4．4．1 Rational Rose对FEDEP的支持 | 第76页 |
| §4．4．2 Rational Rose应用于FEDEP中的关键问题 | 第76-84页 |
| 第五章 现有仿真系统的HLA兼容性改造 | 第84-105页 |
| §5．1 现有仿真系统的HLA兼容性改造的主要问题 | 第84-88页 |
| §5．1．1 基本概念及原理 | 第84-85页 |
| §5．1．2 现有仿真系统SOM的开发 | 第85-86页 |
| §5．1．3 为现有仿真系统开发HLA接口 | 第86-87页 |
| §5．1．4 联邦成员独立于FOM的重用问题 | 第87-88页 |
| §5．2 某飞行分析训练系统的HLA改造 | 第88-96页 |
| §5．2．1 系统结构分析 | 第88-90页 |
| §5．2．2 系统HLA改造的设计与实现 | 第90-96页 |
| §5．3 Matlab Simulink／Stateflow仿真应用的HLA兼容性改造 | 第96-105页 |
| §5．3．1 基本原理 | 第97-98页 |
| §5．3．2 设计与实现 | 第98-101页 |
| §5．3．3 模型程序HLA兼容性改造的自动化 | 第101-105页 |
| 第六章 HLA联邦测试 | 第105-117页 |
| §6．1 联邦成员测试 | 第105-109页 |
| §6．1．1 联邦成员HLA一致性测试的原理 | 第105-108页 |
| §6．1．2 联邦成员HLA一致性测试的实现 | 第108-109页 |
| §6．2 联邦测试 | 第109-112页 |
| §6．3 联邦测试所需的数据 | 第112-115页 |
| §6．4 联邦测试的实现 | 第115-117页 |
| 第七章 结束语 | 第117-120页 |
| §7．1 总结 | 第117-118页 |
| §7．2 下一步的工作 | 第118-120页 |
| 致谢 | 第120-121页 |
| 参考文献 | 第121-127页 |
| 附录： 作者在攻读博士学位期间发表的论文和参与的课题 | 第127页 |
