虛擬戰(zhàn)場環(huán)境行為建模技術及應用

前言
第1章  緒論
  1.1  引言
  1.2  背景
  1.3  軍事群體協(xié)同行為建模與仿真問題和關鍵技術
  1.4  相關研究現(xiàn)狀
    1.4.1  群體行為建模與仿真研究現(xiàn)狀
    1.4.2  群體軍事協(xié)同行為建模仿真相關研究現(xiàn)狀
  參考文獻
第2章  群體協(xié)同行為描述方法
  2.1  本體論
    2.1.1  本體論概述
    2.1.2  軍事群體本體
    2.1.3  軍事群體本體的描述邏輯表示
  2.2  GBDM
    2.2.1  GBDM的語法
    2.2.2  GBDM的語義
    2.2.3  GBDM的可判定性
  2.3  基于GBDM的推理
    2.3.1  GBDM中的定理
    2.3.2  GBDM中的本體推理
  2.4  本章小結
  參考文獻
第3章  基于控制論的計算機生成兵力模型
  3.1  基于控制論的SCP模型
    3.1.1  SCP的概念模型
    3.1.2  SCP的形式化模型
  3.2  ESCP模型
    3.2.1  ESCP的概念模型
    3.2.2  ESCP的形式化模型
    3.2.3  ESCP的結構模型
    3.2.4  ESCP模型的特點
  3.3  基于ESCP模型的協(xié)同
    3.3.1  CGF實體對象內部行為協(xié)同
    3.3.2  CGF實體對象間行為協(xié)同
  3.4  行為建模描述語言
    3.4.1  BBML的語言規(guī)范
    3.4.2  BBML的實現(xiàn)及運行機制
    3.4.3  語言實例
    3.4.4  實驗分析
    3.4.5  BBML的主要特點
  3.5  本章小結
  參考文獻
第4章  軍事群體兵力模型
  4.1  軍事群體組織結構模型GRNA
    4.1.1  組織結構模型研究現(xiàn)狀
    4.1.2  GRNA概念模型
    4.1.3  GRNA的形式化描述
    4.1.4  GRNA結構模型
  4.2    GSCP
    4.2.1  GSCP行為模型
    4.2.2  GSCP的行為
    4.2.3  GSCP底層個性行為模型
  4.3  本章小結
  參考文獻
第5章  基于GBDM的軍事群體組織任務規(guī)劃描述方法
  5.1  任務
    5.1.1  任務
    5.1.2  任務描述
  5.2  軍事群體組織任務規(guī)劃描述方法TPDLT
    5.2.1  任務規(guī)劃的描述
    5.2.2  任務規(guī)劃的可完成性判定
    5.2.3  任務規(guī)劃的推演驗證算法
  5.3  本章小結
  參考文獻
第6章  軍事群體協(xié)同行為模型驗證
  6.1  基于GBDM的仿真想定驗證
    6.1.1  仿真想定校驗推理
    6.1.2  仿真中的概念推理
  6.2  基于ASM的行為校核與驗證
    6.2.1  抽象狀態(tài)機理論
    6.2.2  抽象狀態(tài)機語言
    6.2.3  ASML驗證CGF行為
  6.3  本章小結
  參考文獻
第7章  軍事群體協(xié)同行為建模仿真工程方法與原型系統(tǒng)
  7.1  OGBMM
    7.1.1  OGBMM基本流程
    7.1.2  OGBMM模型細化
  7.2  OGBML
  7.3  OGBMSP
    7.3.1  系統(tǒng)結構
    7.3.2  系統(tǒng)實現(xiàn)
    7.3.3  場景編輯
  7.4  本章小結
第8章  聯(lián)合作戰(zhàn)與非戰(zhàn)爭軍事行動應用案例
  8.1  聯(lián)合作戰(zhàn)應用案例
    8.1.1  問題背景
    8.1.2  問題分析與建模
    8.1.3  仿真實驗
  8.2  非戰(zhàn)爭軍事行動應用案例
    8.2.1  問題背景
    8.2.2  問題分析與建模
    8.2.3  仿真實驗
  8.3  本章小結
  參考文獻
第9章  總結與展望
  9.1  總結
  9.2  展望