首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--计算机的应用论文--信息处理(信息加工)论文--计算机仿真论文

群体协同行为建模与仿真技术研究

摘要第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页

论文共145页,点击 下载论文
上一篇:面向计算密集型嵌入式应用的VLIW编译优化技术研究
下一篇:低帧频图像序列目标提取关键技术研究