作戰(zhàn)仿真系統(tǒng)校核驗證與確認及可信度評估

第1章 緒論
1.1 作戰(zhàn)仿真概述
1.1.1 作戰(zhàn)仿真
1.1.2 作戰(zhàn)仿真VV＆A及可信度評估
1.2 國內(nèi)外研究的現(xiàn)狀及發(fā)展趨勢
1.2.1 國外研究的現(xiàn)狀
1.2.2 國內(nèi)研究的現(xiàn)狀
1.2.3 發(fā)展趨勢
1.3 本書概貌
1.3.1 主要內(nèi)容
1.3.2 主要特點

第2章 作戰(zhàn)仿真W&A總體研究概述
2.1 作戰(zhàn)仿真W&A及其相關(guān)概念
2.2 作戰(zhàn)仿真w&A研究的框架結(jié)構(gòu)
2.3 作戰(zhàn)仿真VV＆A研究的方法論
2.3.1 從定性到定量的綜合集成方法
2.3.2 VV&A立方體方法
2.3.3 VV&A的物理-事理-人理（WSR）方法
2.4 作戰(zhàn)仿真VV&A的原則與過程模型
2.4.1 作戰(zhàn)仿真VV&A原則
2.4.2 作戰(zhàn)仿真VV&A過程模型
2.5 作戰(zhàn)仿真VV&A機制
2.5.1 作戰(zhàn)仿真VV&A人員機制
2.5.2 作戰(zhàn)仿真VV&A任務(wù)分解機制

第3章 作戰(zhàn)仿真W＆A過程的形式化建模
3.1 引言
3.2 作戰(zhàn)仿真VV＆A過程形式化建模的必要性
3.3 基于UML的作戰(zhàn)仿真VV&A過程建模
3.3.1 基于UML的VV&A過程用例建模
3.3.2 基于UML的VV&A過程靜態(tài)建模
3.3.3 基于UML的VV&A過程行為建模
3.3.4 基于UML的VV&A過程交互建模
3.4 基于UML的作戰(zhàn)仿真VV&A過程管理建模
3.4.1 VV&A過程管理的用例建模
3.4.2 VV&A過程管理的靜態(tài)建模
3.4.3 VV&A過程管理的動態(tài)建模
3.4.4 基于活動代理的VV&A過程管理建模
3.5 基于IDEFD的作戰(zhàn)仿真VV＆A過程建模
3.5.1 基于IDEFD的VV&A過程分析
3.5.2 基于IDEFD的VV&A過程建模
3.5.3 基于IDEFD的VV＆A過程模型的形式化描述

第4章 作戰(zhàn)仿真系統(tǒng)需求校核與軍事概念模型驗證
4.1 引言
4.2 作戰(zhàn)仿真系統(tǒng)需求校核
4.2.1 作戰(zhàn)仿真系統(tǒng)需求校核的重要性
4.2.2 作戰(zhàn)仿真系統(tǒng)需求校核的方法與策略
4.2.3 作戰(zhàn)仿真系統(tǒng)需求校核的指標
4.2.4 作戰(zhàn)仿真系統(tǒng)需求一致性校核
4.3 作戰(zhàn)仿真系統(tǒng)軍事概念模型驗證
4.3.1 軍事概念模型驗證的重要性
4.3.2 軍事概念模型驗證的形式化定義
4.3.3 軍事概念模型驗證步驟
4.3.4 軍事概念模型驗證方法
4.3.5 軍事概念模型驗證指標

第5章 作戰(zhàn)仿真系統(tǒng)數(shù)學模型及軟件模型校核與驗證
5.1 引言
5.2 作戰(zhàn)仿真系統(tǒng)數(shù)學模型校核與驗證
5.2.1 數(shù)學模型校核與驗證的重要性
5.2.2 作戰(zhàn)仿真系統(tǒng)數(shù)學模型分類及其形式化描述
5.2.3 作戰(zhàn)仿真系統(tǒng)數(shù)學模型校核
5.2.4 作戰(zhàn)仿真系統(tǒng)數(shù)學模型驗證
5.3 作戰(zhàn)仿真系統(tǒng)軟件模型校核與驗證
5.3.1 作戰(zhàn)仿真系統(tǒng)軟件模型的層次結(jié)構(gòu)
5.3.2 作戰(zhàn)仿真系統(tǒng)軟件模型校核與驗證的方法與技術(shù)
5.3.3 軟件模型校核與驗證

第6章 作戰(zhàn)仿真系統(tǒng)可信度評估
6.1 引言
6.2 作戰(zhàn)仿真系統(tǒng)可信度評估與VV&A的關(guān)系
6.3 作戰(zhàn)仿真系統(tǒng)可信度評估的類型與方式
6.3.1 作戰(zhàn)仿真系統(tǒng)可信度評估的類型
6.3.2 作戰(zhàn)仿真系統(tǒng)可信度評估的方式
6.4 作戰(zhàn)仿真系統(tǒng)可信度評估指標體系
6.5 作戰(zhàn)仿真系統(tǒng)可信度評估方法
6.5.1 已有的可信度評估方法分析與比較
6.5.2 主觀綜合評判法
6.5.3 灰色關(guān)聯(lián)綜合法

第7章 作戰(zhàn)仿真系統(tǒng)W＆A及可信度評估應(yīng)用
7.1 概述
7.2 xx作戰(zhàn)仿真系統(tǒng)的VV&A總體設(shè)計
7.3 需求校核
7.3.1 執(zhí)行需求校核
7.3.2 軍事需求可信度評估
7.3.3 需求確認
7.4 軍事概念模型驗證
7.4.1 執(zhí)行軍事概念模型驗證
7.4.2 軍事概念模型評估
7.4.3 軍事概念模型確認
7.5 數(shù)學模型校核與驗證
7.5.1 執(zhí)行數(shù)學模型校核與驗證
7.5.2 數(shù)學模型評估
7.5.3 數(shù)學模型確認
7.6 軟件模型校核與驗證
7.6.1 仿真軟件單元校核與驗證
7.6.2 仿真軟件部件校核與驗證
7.6.3 仿真系統(tǒng)校核與驗證
7.7 仿真系統(tǒng)確認

參考文獻