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

內(nèi)容概要

《作戰(zhàn)仿真系統(tǒng)校核、驗(yàn)證與確認(rèn)及可信度評(píng)估》內(nèi)容共分為7章，第1章為緒論；第2章從基本概念、研究框架、方法論、原則、過(guò)程模型及機(jī)制等方面對(duì)作戰(zhàn)仿真VV&A進(jìn)行總體研究；第3章基于UML語(yǔ)言及IDEFO語(yǔ)言對(duì)作戰(zhàn)仿真VV&A過(guò)程進(jìn)行形式化建模，使VV&A過(guò)程描述規(guī)范化、標(biāo)準(zhǔn)化；第4章與第5章針對(duì)作戰(zhàn)仿真系統(tǒng)VV&A過(guò)程模型，重點(diǎn)對(duì)需求校核、軍事概念模型驗(yàn)證、數(shù)學(xué)模型校核與驗(yàn)證（Verification and Validation，V&V）及軟件模型V&V四個(gè)主要VV&A過(guò)程展開(kāi)研究；第6章深入研究作戰(zhàn)仿真系統(tǒng)可信度評(píng)估問(wèn)題，分別提出了兩種可信度評(píng)估方式及方法；第7章以”XX作戰(zhàn)仿真系統(tǒng)”可信度評(píng)估實(shí)踐為例，介紹了作戰(zhàn)仿真系統(tǒng)的VV&A和可信度評(píng)估方面的應(yīng)用情況。

書(shū)籍目錄

第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本書(shū)概貌 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.2VV&A立方體方法 2.3.3VV&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.1VV&A過(guò)程管理的用例建模 3.4.2VV&A過(guò)程管理的靜態(tài)建模 3.4.3VV&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é)模型分類(lèi)及其形式化描述 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)估的類(lèi)型與方式 6.3.1作戰(zhàn)仿真系統(tǒng)可信度評(píng)估的類(lèi)型 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主觀(guān)綜合評(píng)判法 6.5.3灰色關(guān)聯(lián)綜合法 第7章作戰(zhàn)仿真系統(tǒng)W＆A及可信度評(píng)估應(yīng)用 7.1概述 7.2xx作戰(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)

章節(jié)摘錄

版權(quán)頁(yè)：   插圖：   方法論是指運(yùn)用于某一特定知識(shí)領(lǐng)域的原則、方法和作業(yè)程序體系，用于建立整個(gè)問(wèn)題求解框架。作戰(zhàn)仿真VV&A是一項(xiàng)理論性、技術(shù)性和工程性極強(qiáng)的工作，作用的對(duì)象是復(fù)雜的作戰(zhàn)仿真系統(tǒng)，具有復(fù)雜性特點(diǎn)，因而需要復(fù)雜系統(tǒng)方法論來(lái)指導(dǎo)。 通過(guò)研究，可以發(fā)現(xiàn)用于指導(dǎo)作戰(zhàn)仿真VV&A研究的方法主要有：從定性到定量綜合集成方法、VV&A立方體方法、WSR（物理一事理一人理）方法、螺旋式推進(jìn)系統(tǒng)方法（Spiral Propulsion SysteIn Methodology，SPIRO）、英國(guó)切克蘭德提出的“調(diào)查學(xué)習(xí)”方法、美國(guó)在20世紀(jì)80年代末提出的“并行工程方法學(xué)”等。在實(shí)際的作戰(zhàn)仿真VV&A中，需要將上述方法進(jìn)行綜合運(yùn)用，以期取得最佳效果。 本節(jié)將復(fù)雜系統(tǒng)方法論引入到作戰(zhàn)仿真VV&A研究中，從方法論的角度提出三種指導(dǎo)作戰(zhàn)仿真VV&A研究的方法，即從定性到定量的綜合集成方法、VV&A立方體方法、WSR方法。 2.3.1 從定性到定量的綜合集成方法 1990年，錢(qián)學(xué)森、于景元和戴汝為等專(zhuān)家首次把處理開(kāi)放的復(fù)雜巨系統(tǒng)的方法定名為“從定性到定量綜合集成方法（Meta—Synthesis）”，簡(jiǎn)稱(chēng)為綜合集成方法。 定義2.4定量方法：建立在客觀(guān)主義的基礎(chǔ)上，對(duì)VV&A對(duì)象的抽象化認(rèn)識(shí)，采用數(shù)量度量或統(tǒng)計(jì)技術(shù)加以描述，并采用明確的量化方式表達(dá)，具有通用性、嚴(yán)格性和可驗(yàn)證性的特點(diǎn)。 定義2.5定性方法：建立在主觀(guān)主義的基礎(chǔ)上，對(duì)于一些不能采用數(shù)量描述的VV&A對(duì)象的研究方法。 定量方法和定性方法可以統(tǒng)一形式化描述為在前置條件和后置條件約束下的推理產(chǎn)物，即 IfThenProvided（2.5） 如果前置條件和后置條件都是能夠采用數(shù)量或數(shù)學(xué)模型方式描述的量化值，那么公式可以演化為定量方法，即 QnM：IfThenProvided  如果前置條件和后置條件是需要采用自然語(yǔ)言或非數(shù)量方法描述的定性值，公式可以演化為定性方法，即 QnM：IfThenProvided 定義2.6綜合集成方法：通過(guò)將科學(xué)理論（如VV&A理論、可信度評(píng)估理論等）、經(jīng)驗(yàn)知識(shí)和判斷力相結(jié)合，形成和提出經(jīng)驗(yàn)性假設(shè)，再利用計(jì)算機(jī)技術(shù)，實(shí)現(xiàn)以人為主，通過(guò)人機(jī)交互、反復(fù)對(duì)比、逐次逼近，實(shí)現(xiàn)從定性到定量的認(rèn)識(shí)，從而對(duì)經(jīng)驗(yàn)性假設(shè)做出明確的科學(xué)結(jié)論。

編輯推薦

《作戰(zhàn)仿真系統(tǒng)校核、驗(yàn)證與確認(rèn)及可信度評(píng)估》針對(duì)作戰(zhàn)仿真系統(tǒng)的特點(diǎn)，從VV&A的總體、形式化建模、主要VV&A過(guò)程以及可信度評(píng)估等方面展開(kāi)研究，并將研究成果應(yīng)用于“XX作戰(zhàn)仿真系統(tǒng)”的VV&A及可信度評(píng)估中，取得了良好效果，確保了該作戰(zhàn)仿真系統(tǒng)具有足夠的可信性。

圖書(shū)封面

評(píng)論、評(píng)分、閱讀與下載

---

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

---