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

內(nèi)容概要

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

書籍目錄

第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.2VV&A立方體方法 2.3.3VV&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任務分解機制 第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.1VV&A過程管理的用例建模 3.4.2VV&A過程管理的靜態(tài)建模 3.4.3VV&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及可信度評估應用 7.1概述 7.2xx作戰(zhàn)仿真系統(tǒng)的VV&A總體設計 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)確認 參考文獻

章節(jié)摘錄

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

編輯推薦

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

圖書封面

評論、評分、閱讀與下載

---

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

---