作戰(zhàn)仿真系統(tǒng)校核.驗(yàn)證與確認(rèn)及可信度評(píng)估 版權(quán)信息
- ISBN:9787118082692
- 條形碼:9787118082692 ; 978-7-118-08269-2
- 裝幀:一般膠版紙
- 冊(cè)數(shù):暫無(wú)
- 重量:暫無(wú)
- 所屬分類:>>
作戰(zhàn)仿真系統(tǒng)校核.驗(yàn)證與確認(rèn)及可信度評(píng)估 本書特色
《作戰(zhàn)仿真系統(tǒng)校核、驗(yàn)證與確認(rèn)及可信度評(píng)估》針對(duì)作戰(zhàn)仿真系統(tǒng)的特點(diǎn),從VV&A的總體、形式化建模、主要VV&A過程以及可信度評(píng)估等方面展開研究,并將研究成果應(yīng)用于“XX作戰(zhàn)仿真系統(tǒng)”的VV&A及可信度評(píng)估中,取得了良好效果,確保了該作戰(zhàn)仿真系統(tǒng)具有足夠的可信性。
作戰(zhàn)仿真系統(tǒng)校核.驗(yàn)證與確認(rèn)及可信度評(píng)估 內(nèi)容簡(jiǎn)介
唐見兵、查亞兵所著的《作戰(zhàn)仿真系統(tǒng)校核驗(yàn)證與確認(rèn)及可信度評(píng)估(精)》針對(duì)作戰(zhàn)仿真系統(tǒng)的特點(diǎn),從VV&A的總體、形式化建模、主要VV&A過程以及可信度評(píng)估等方面展開研究,并將研究成果應(yīng)用于“XX作戰(zhàn)仿真系統(tǒng)”的VV&A及可信度評(píng)估中,取得了良好效果,確保了該作戰(zhàn)仿真系統(tǒng)具有足夠的可信性。
作戰(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的原則與過程模型2.4.1 作戰(zhàn)仿真VV&A原則2.4.2 作戰(zhàn)仿真VV&A過程模型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過程的形式化建模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過程管理的動(dòng)態(tài)建模3.4.4 基于活動(dòng)代理的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)需求校核與軍事概念模型驗(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)
展開全部
作戰(zhàn)仿真系統(tǒng)校核.驗(yàn)證與確認(rèn)及可信度評(píng)估 節(jié)選
《作戰(zhàn)仿真系統(tǒng)校核、驗(yàn)證與確認(rèn)及可信度評(píng)估》針對(duì)作戰(zhàn)仿真系統(tǒng)的特點(diǎn),從VV&A的總體、形式化建模、主要VV&A過程以及可信度評(píng)估等方面展開研究,并將研究成果應(yīng)用于“XX作戰(zhàn)仿真系統(tǒng)”的VV&A及可信度評(píng)估中,取得了良好效果,確保了該作戰(zhàn)仿真系統(tǒng)具有足夠的可信性。