综合自然环境建模与仿真研究
| 图表索引 | 第1-8页 |
| 缩略语表 | 第8-9页 |
| 符号索引 | 第9-11页 |
| 摘要 | 第11-13页 |
| ABSTRACT | 第13-15页 |
| 第一章 绪论 | 第15-27页 |
| ·研究背景 | 第15-17页 |
| ·综合自然环境建模与仿真的研究现状 | 第17-22页 |
| ·原始技术的积累阶段 | 第18-19页 |
| ·先进技术的形成阶段 | 第19-22页 |
| ·论文的研究重点和主要创新 | 第22-24页 |
| ·论文的研究重点 | 第22-23页 |
| ·论文的主要创新 | 第23-24页 |
| ·论文的研究内容和组织结构 | 第24-27页 |
| ·论文的研究内容 | 第24-25页 |
| ·论文的组织结构 | 第25-27页 |
| 第二章 综合自然环境概念参考模型和技术参考框架 | 第27-39页 |
| ·综合自然环境概念参考模型 | 第27-30页 |
| ·概念参考模型的需求和目的 | 第27-28页 |
| ·综合自然环境概念参考模型 | 第28-30页 |
| ·概念参考模型的形式化描述与互操作性分析 | 第30-36页 |
| ·概念参考模型的形式化描述 | 第30-32页 |
| ·基于形式化描述的互操作性分析 | 第32-36页 |
| ·综合自然环境技术参考框架与可重用性分析 | 第36-38页 |
| ·综合自然环境技术参考框架 | 第36-37页 |
| ·基于技术参考框架的可重用性分析 | 第37-38页 |
| ·本章小结 | 第38-39页 |
| 第三章 公共数据模型框架 | 第39-50页 |
| ·环境数据模型和公共数据模型框架 | 第39-41页 |
| ·环境数据模型 | 第39-40页 |
| ·公共数据模型框架 | 第40-41页 |
| ·公共数据模型框架的设计和实现 | 第41-46页 |
| ·公共数据模型框架的原理 | 第41页 |
| ·公共数据模型框架的设计 | 第41-44页 |
| ·公共数据模型框架的实现 | 第44-46页 |
| ·基于公共数据模型框架的逆向工程和互操作性分析 | 第46-49页 |
| ·环境数据模型的逆向工程 | 第46页 |
| ·环境数据模型之间的互操作性分析 | 第46-49页 |
| ·本章小结 | 第49-50页 |
| 第四章 高性能CGF地形数据库 | 第50-68页 |
| ·高性能CGF地形数据库的需求 | 第50-51页 |
| ·高性能CGF地形数据库的设计和实现 | 第51-63页 |
| ·高性能CGF地形数据库的功能需求和设计目标 | 第51-52页 |
| ·高性能CGF地形数据库的数据表示 | 第52-57页 |
| ·高性能CGF地形数据库的模型和算法 | 第57-59页 |
| ·高性能CGF地形数据库的软件实现 | 第59-63页 |
| ·高性能CGF地形数据库的功能和性能分析 | 第63-67页 |
| ·高性能CGF地形数据库的功能分析 | 第63-65页 |
| ·高性能CGF地形数据库的性能分析 | 第65-67页 |
| ·本章小结 | 第67-68页 |
| 第五章 综合自然环境数据表示与交换 | 第68-93页 |
| ·综合自然环境数据表示与交换规范 | 第68-69页 |
| ·需求和目的 | 第68-69页 |
| ·综合自然环境数据表示与交换规范 | 第69页 |
| ·综合自然环境数据表示的完整性和多态性 | 第69-72页 |
| ·综合自然环境数据表示的完整性 | 第69-70页 |
| ·综合自然环境数据表示的多态性 | 第70-72页 |
| ·综合自然环境数据表示的语法一致性 | 第72-78页 |
| ·语法一致性检查的原理和方法 | 第72页 |
| ·基于形式化描述的SEDRIS语法规范和传输格式 | 第72-75页 |
| ·基于谓词断言的SEDRIS语法一致性检查 | 第75-77页 |
| ·语法一致性检查的实现和算法复杂性 | 第77-78页 |
| ·综合自然环境数据表示的语义一致性 | 第78-89页 |
| ·语义一致性检查的原理和方法 | 第78-81页 |
| ·基于形式化描述的SEDRIS对象类和对象实例 | 第81-83页 |
| ·基于谓词断言的SEDRIS语义一致性约束和检查 | 第83-89页 |
| ·基于SEDRIS的综合自然环境数据交换 | 第89-92页 |
| ·基于SEDRIS的综合自然环境数据交换原理 | 第89-90页 |
| ·基于SEDRIS的综合自然环境数据交换 | 第90-92页 |
| ·综合自然环境数据交换的语义一致性损失 | 第92页 |
| ·本章小结 | 第92-93页 |
| 第六章 综合自然环境模型 | 第93-105页 |
| ·模型的标准形式化描述规范 | 第93-98页 |
| ·模型的形式化描述规范 | 第93-94页 |
| ·原子模型的标准形式化描述规范 | 第94-96页 |
| ·原子模型的抽象仿真框架 | 第96-97页 |
| ·耦合模型的标准形式化描述规范 | 第97-98页 |
| ·基于标准形式化描述的模型可计算性与死锁 | 第98-100页 |
| ·原子模型的可计算性 | 第98-99页 |
| ·耦合模型的可计算性与死锁 | 第99-100页 |
| ·综合自然环境模型的标准形式化描述 | 第100-104页 |
| ·自然环境内部模型的标准形式化描述 | 第100-102页 |
| ·自然环境效应模型的标准形式化描述 | 第102-103页 |
| ·军事系统效应模型的标准形式化描述 | 第103-104页 |
| ·本章小结 | 第104-105页 |
| 第七章 综合自然环境中的多分辨率表示 | 第105-120页 |
| ·综合自然环境中的多分辨率表示 | 第105-106页 |
| ·多分辨率表示的需求 | 第105-106页 |
| ·综合自然环境中的多分辨率表示 | 第106页 |
| ·多分辨率地形表示 | 第106-112页 |
| ·基于空间分割的多分辨率地形表示 | 第106-108页 |
| ·基于小波变换的多分辨率地形表示 | 第108-110页 |
| ·多分辨率地形数据的一致性 | 第110-112页 |
| ·多分辨率特征表示 | 第112-116页 |
| ·多分辨率特征表示 | 第112页 |
| ·多分辨率特征抽象表示 | 第112-115页 |
| ·多分辨率特征抽象表示的一致性 | 第115-116页 |
| ·多分辨率烟雾模型 | 第116-119页 |
| ·多分辨率高斯烟雾模型 | 第116-118页 |
| ·多分辨率高斯烟雾模型的一致性度量 | 第118-119页 |
| ·本章小结 | 第119-120页 |
| 第八章 动态自然环境仿真 | 第120-146页 |
| ·动态自然环境和环境联邦 | 第120-123页 |
| ·动态自然环境仿真 | 第120-121页 |
| ·环境联邦 | 第121-123页 |
| ·动态自然环境仿真的原理和协议 | 第123-132页 |
| ·动态自然环境仿真的原理 | 第123-124页 |
| ·动态自然环境联邦的协议 | 第124-132页 |
| ·环境联邦中的时间推进 | 第132-136页 |
| ·HLA中的时间管理 | 第132-134页 |
| ·采用保守时间推进的环境联邦 | 第134-135页 |
| ·采用乐观时间推进的环境联邦 | 第135-136页 |
| ·环境联邦中的数据分发 | 第136-140页 |
| ·基于DM的数据分发 | 第137页 |
| ·基于OM的数据分发 | 第137-138页 |
| ·基于DDM的数据分发 | 第138-139页 |
| ·基于外推计算的数据分发 | 第139-140页 |
| ·动态自然环境仿真的一致性 | 第140-142页 |
| ·仿真运行前的自然环境状态一致性 | 第140-141页 |
| ·仿真过程中的动态自然环境一致性 | 第141-142页 |
| ·环境联邦的设计和实现 | 第142-145页 |
| ·环境联邦中联邦成员的设计 | 第142-143页 |
| ·环境联邦的实现 | 第143-145页 |
| ·本章小结 | 第145-146页 |
| 第九章 总结和展望 | 第146-151页 |
| ·总结 | 第146-148页 |
| ·论文的主要内容 | 第146-147页 |
| ·论文的主要结论 | 第147-148页 |
| ·下一步的工作展望 | 第148-151页 |
| 参考文献 | 第151-163页 |
| 作者在攻读博士学位期间发表的主要学术论文 | 第163-164页 |
| 作者在攻读博士学位期间参加的主要科研工作 | 第164页 |
