摘要 | 第1-12页 |
Abstract | 第12-15页 |
第一章 绪论 | 第15-25页 |
·研究背景 | 第15-16页 |
·军事群体协同行为建模与仿真问题和关键技术 | 第16-17页 |
·相关研究现状 | 第17-22页 |
·群体行为建模与仿真研究现状 | 第17-19页 |
·群体军事协同行为建模仿真相关研究现状 | 第19-22页 |
·本文所做的工作 | 第22-23页 |
·项目来源 | 第22页 |
·主要创新点 | 第22-23页 |
·本文结构 | 第23-25页 |
第二章 群体协同行为描述方法 GBDM | 第25-49页 |
·本体论 | 第26-33页 |
·本体论的概念与构建方法 | 第26-28页 |
·军事群体本体 | 第28-32页 |
·军事群体本体的描述逻辑表示 | 第32-33页 |
·群体协同行为描述方法 GBDM | 第33-46页 |
·GBDM 的语法 | 第34-37页 |
·GBDM 的语义 | 第37-40页 |
·GBDM 的可判定性 | 第40-46页 |
·基于 GBDM 的推理 | 第46-48页 |
·GBDM 中的定理 | 第46-47页 |
·GBDM 中的本体推理 | 第47-48页 |
·本章小结 | 第48-49页 |
第三章 基于 GBDM 的军事群体组织任务规划描述方法 | 第49-61页 |
·任务 | 第49-52页 |
·任务 | 第49-50页 |
·任务描述 | 第50-52页 |
·军事群体组织任务规划描述方法 TPDLT | 第52-58页 |
·任务规划的描述 | 第53-55页 |
·任务规划的可完成性判定 | 第55页 |
·任务规划的推演验证算法 | 第55-58页 |
·本章小结 | 第58-61页 |
第四章 军事群体兵力模型 | 第61-83页 |
·军事群体组织结构模型 GRNA | 第61-69页 |
·组织结构模型研究现状 | 第62页 |
·GRNA 概念模型 | 第62-65页 |
·GRNA 的形式化描述 | 第65-67页 |
·GRNA 结构模型 | 第67-69页 |
·群体兵力行为模型 GSCP | 第69-82页 |
·群体兵力行为研究现状 | 第69-70页 |
·GSCP 模型 | 第70-74页 |
·GSCP 的行为 | 第74-77页 |
·GSCP 底层个性行为模型 | 第77-82页 |
·本章小结 | 第82-83页 |
第五章 军事群体协同行为模型验证 | 第83-95页 |
·基于 GBDM 的仿真想定验证 | 第83-85页 |
·仿真想定校验推理 | 第84-85页 |
·仿真中的概念推理 | 第85页 |
·基于 ASM 的行为校核与验证 | 第85-93页 |
·抽象状态机理论 | 第86-88页 |
·抽象状态机语言 | 第88-89页 |
·ASML 验证 CGF 行为 | 第89-93页 |
·本章小结 | 第93-95页 |
第六章 军事群体协同行为建模仿真工程方法与原型系统 | 第95-109页 |
·军事群体协同行为建模仿真工程方法 | 第95-98页 |
·OGBMM 基本流程 | 第95-96页 |
·OGBMM 模型细化 | 第96-98页 |
·军事群体协同行为标记语言 OGBML | 第98-102页 |
·军事群体协同行为建模仿真原型系统 OGBMSP | 第102-107页 |
·系统结构 | 第102-103页 |
·想定管理器 | 第103-105页 |
·模型管理器 | 第105-106页 |
·演练管理器 | 第106-107页 |
·本章小结 | 第107-109页 |
第七章 联合作战与非战争军事行动应用案例 | 第109-127页 |
·联合作战应用案例 | 第109-119页 |
·问题背景 | 第109-111页 |
·问题分析与建模 | 第111-116页 |
·仿真实验 | 第116-119页 |
·非战争军事行动应用案例 | 第119-126页 |
·问题背景 | 第119-120页 |
·问题分析与建模 | 第120-124页 |
·仿真实验 | 第124-126页 |
·本章小结 | 第126-127页 |
第八章 结束语 | 第127-131页 |
·论文工作总结 | 第127-128页 |
·进一步研究工作 | 第128-131页 |
致谢 | 第131-133页 |
参考文献 | 第133-142页 |
作者在学期间取得的学术成果 | 第142-144页 |
参加的科研工作 | 第144-145页 |
附录 A 缩略语 | 第145页 |