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

《作战仿真系统校核验证与确认及可信度评估》针对作战仿真系统的特点，从VV&A的总体、形式化建模、主要VV&A过程以及可信度评估等方面展开研究，并将研究成果应用于“XX作战仿真系统”的VV&A及可信度评估中，取得了良好效果，确保了该作战仿真系统具有足够的可信性。

暂缺《作战仿真系统校核验证与确认及可信度评估》作者简介

第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 仿真系统确认

参考文献