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

图书标准信息

• 作者 唐见兵、查亚兵 著
• 出版社 国防工业出版社
• 出版时间 2013-01
• 版次 1
• ISBN 9787118082692
• 定价 69.80元
• 装帧 精装
• 开本 32开
• 纸张 胶版纸
• 页数 208页
• 字数 178千字
• 正文语种 简体中文

【内容简介】

　　《作战仿真系统校核验证与确认及可信度评估》针对作战仿真系统的特点，从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.2VV&A立方体方法
2.3.3VV&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.1VV&A过程管理的用例建模
3.4.2VV&A过程管理的静态建模
3.4.3VV&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.2xx作战仿真系统的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仿真系统确认

参考文献