包邮作战仿真系统校核.验证与确认及可信度评估

第1章 绪论1.1 作战仿真概述1.1.1 作战仿真1.1.2 作战仿真VV＆A及可信度评估1.2 国内外研究的现状及发展趋势1.2.1 国外研究的现状1.2.2 国内研究的现状1.2.3 发展趋势1.3 本书概貌1.3.1 主要内容1.3.2 主要特点 第2章 作战仿真W&A总体研究概述2.1 作战仿真W&A及其相关概念2.2 作战仿真w&A研究的框架结构2.3 作战仿真VV＆A研究的方法论2.3.1 从定性到定量的综合集成方法2.3.2 VV&A立方体方法2.3.3 VV&A的物理-事理-人理（WSR）方法2.4 作战仿真VV&A的原则与过程模型2.4.1 作战仿真VV&A原则2.4.2 作战仿真VV&A过程模型2.5 作战仿真VV&A机制2.5.1 作战仿真VV&A人员机制2.5.2 作战仿真VV&A任务分解机制第3章 作战仿真W＆A过程的形式化建模3.1 引言3.2 作战仿真VV＆A过程形式化建模的必要性3.3 基于UML的作战仿真VV&A过程建模3.3.1 基于UML的VV&A过程用例建模3.3.2 基于UML的VV&A过程静态建模3.3.3 基于UML的VV&A过程行为建模3.3.4 基于UML的VV&A过程交互建模3.4 基于UML的作战仿真VV&A过程管理建模3.4.1 VV&A过程管理的用例建模3.4.2 VV&A过程管理的静态建模3.4.3 VV&A过程管理的动态建模3.4.4 基于活动代理的VV&A过程管理建模3.5 基于IDEFD的作战仿真VV＆A过程建模3.5.1 基于IDEFD的VV&A过程分析3.5.2 基于IDEFD的VV&A过程建模3.5.3 基于IDEFD的VV＆A过程模型的形式化描述第4章 作战仿真系统需求校核与军事概念模型验证4.1 引言4.2 作战仿真系统需求校核4.2.1 作战仿真系统需求校核的重要性4.2.2 作战仿真系统需求校核的方法与策略4.2.3 作战仿真系统需求校核的指标4.2.4 作战仿真系统需求一致性校核4.3 作战仿真系统军事概念模型验证4.3.1 军事概念模型验证的重要性4.3.2 军事概念模型验证的形式化定义4.3.3 军事概念模型验证步骤4.3.4 军事概念模型验证方法4.3.5 军事概念模型验证指标第5章 作战仿真系统数学模型及软件模型校核与验证5.1 引言5.2 作战仿真系统数学模型校核与验证5.2.1 数学模型校核与验证的重要性5.2.2 作战仿真系统数学模型分类及其形式化描述5.2.3 作战仿真系统数学模型校核5.2.4 作战仿真系统数学模型验证5.3 作战仿真系统软件模型校核与验证5.3.1 作战仿真系统软件模型的层次结构5.3.2 作战仿真系统软件模型校核与验证的方法与技术5.3.3 软件模型校核与验证第6章 作战仿真系统可信度评估6.1 引言6.2 作战仿真系统可信度评估与VV&A的关系6.3 作战仿真系统可信度评估的类型与方式6.3.1 作战仿真系统可信度评估的类型6.3.2 作战仿真系统可信度评估的方式6.4 作战仿真系统可信度评估指标体系6.5 作战仿真系统可信度评估方法6.5.1 已有的可信度评估方法分析与比较6.5.2 主观综合评判法6.5.3 灰色关联综合法第7章 作战仿真系统W＆A及可信度评估应用7.1 概述7.2 xx作战仿真系统的VV&A总体设计7.3 需求校核7.3.1 执行需求校核7.3.2 军事需求可信度评估7.3.3 需求确认7.4 军事概念模型验证7.4.1 执行军事概念模型验证7.4.2 军事概念模型评估7.4.3 军事概念模型确认7.5 数学模型校核与验证7.5.1 执行数学模型校核与验证7.5.2 数学模型评估7.5.3 数学模型确认7.6 软件模型校核与验证7.6.1 仿真软件单元校核与验证7.6.2 仿真软件部件校核与验证7.6.3 仿真系统校核与验证7.7 仿真系统确认参考文献