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

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

第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的原則與過(guò)程模型
2.4.1 作戰(zhàn)仿真VV&A原則
2.4.2 作戰(zhàn)仿真VV&A過(guò)程模型
2.5 作戰(zhàn)仿真VV&A機(jī)制
2.5.1 作戰(zhàn)仿真VV&A人員機(jī)制
2.5.2 作戰(zhàn)仿真VV&A任務(wù)分解機(jī)制

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

第4章 作戰(zhàn)仿真系統(tǒng)需求校核與軍事概念模型驗(yàn)證
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)需求校核的指標(biāo)
4.2.4 作戰(zhàn)仿真系統(tǒng)需求一致性校核
4.3 作戰(zhàn)仿真系統(tǒng)軍事概念模型驗(yàn)證
4.3.1 軍事概念模型驗(yàn)證的重要性
4.3.2 軍事概念模型驗(yàn)證的形式化定義
4.3.3 軍事概念模型驗(yàn)證步驟
4.3.4 軍事概念模型驗(yàn)證方法
4.3.5 軍事概念模型驗(yàn)證指標(biāo)

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

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

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

參考文獻(xiàn)