联邦开发过程中的校核、验证与确认(VV&A)

对联邦的VV&A不仅能够使每一步的工作得到跟踪和衡量,还使每一步能够减少多余的工作量,巩固需要加强的工作,明确开发人员的角色和职责,从而使人力、时间、资金等资源得到更加有效率的利用,仿真的结果变得更加可预测和准确,在很大程度上减少了编程的风险。联邦成员描述了仿真模型的各对象类、交互类、相关的属性、参数等信息,而联邦是各联邦成员的有机集成,构成具有特定功能的仿真系统。因此,联邦成员的正确性是联邦正确性的前提,决定了仿真系统的成败。在VV&A的过程中,最好采用一些自动化工具以便于工作,同时要根据具体仿真系统的实际情况来确定VV&A所需要作的工作。

建模与仿真校核、验证与确认综述

校核、验证与确认(verification, validation, and accreditation,简称VV&A)是必须贯穿于建模与仿真全生命周期的重要部分。文章综述了建模与仿真生命周期中的VV&A活动、原则、技术及其适用范围,以及V&V的分级方法。

建模与仿真的校核、验证和确认工作模式

根据当前国内外研究进展状况，对建模与仿真的校核、验证和确认（ＶＶ＆Ａ）技术进行了讨论。首先介绍了ＶＶ＆Ａ的概念以及应用于建模与仿真过程的意义。然后着重阐述了建模与仿真的ＶＶ＆Ａ的一般工作模式和其中应当考虑的问题。最后进一步介绍了分布交互仿真（ＤＩＳ）的ＶＶ＆Ａ的九个步骤，这九个步骤也可推广适用于其它建模与仿真。

基于虚拟样机的仿真系统校核、验证与确认研究

虚拟样机模型的正确性和精确度直接影响到仿真的置信度,如何保证建立的计算机仿真模型的正确性是虚拟样机建模的一个重要问题。首先对虚拟样机技术的特点及其仿真步骤进行了描述;然后,在介绍仿真系统校核、验证与确认概念的基础上,讨论了分布交互仿真系统校核、验证与确认的原则;根据虚拟样机的特点,研究制定了虚拟样机仿真系统的校核、验证与确认的七步过程,重点对虚拟样机仿真系统的模型验证方法进行分析;最后,提出了的虚拟样机校核、验证与确认过程中应该遵循的原则。

水下对抗仿真系统的校核、验证与确认方法研究

水下对抗仿真系统是以装备发展论证为应用领域的复杂仿真系统。本文针对该系统的建模与仿真特点，首先对水下对抗仿真系统的校核和验证任务进行了分析，提出了系统确认的树形评估度量结构；本文立足生命周期的VV&A观点，建立了该系统的VV&A过程模型。最后，论文重点对该系统VV&A的5种技术及应用情况进行了描述。

建模与仿真的校核与验证技术综述

系统建模与仿真是人类认识世界的三大方法之一。随着系统仿真技术的不断发展,建模与仿真在军事、经济等方面发挥着日益重要的作用。与此同时,人们也逐步认识到建模与仿真的可信度问题,对模型与仿真正确性和可信度的要求也越来越高。校核与验证(V&V)技术是系统仿真技术的关键技术之一,用于评价模型与仿真的可信度。首先介绍建模与仿真(M&S)的VV&A的基本概念和重要作用,然后详细介绍非正规的、静态的和正规的校核与验证技术并分析各自的特点,最后论述M&S生命周期中V&V活动的实施及V&V技术的适用范围。

飞航导弹弹道仿真的校核、验证和确认

论述了仿真VV&A的重要意义,提出了飞航导弹弹道仿真VV&A的几条基本原则。提出了飞航导弹弹道仿真VV&A的基本思想和标准。建立了进行飞航导弹弹道仿真VV&A的步骤和方法。对于如何利用非同一母体的实飞数据对仿真数据进行校核和验证的问题提出了解决方案。为飞航导弹武器系统仿真和作战仿真提供了依据和参考。

核安全关键软件的验证与确认技术

近年来,随着核动力技术的快速发展,核动力单位核安全关键软件也实现了数字化的发展。在核动力厂核安全关键软件的运行和使用过程中,软件的验证与确认技术是最为关键的一个环节。本文就对核安全关键软件的验证与确认内涵及其主要方法进行了分析。

数字化核安全级仪控系统软件的验证与确认

本文讨论了核安全级软件验证与确认的方法论。详细描述了在数字化核安全级仪控系统研发过程中V&V活动的具体实施过程,此外还介绍了为开展可信的验证与确认活动的所制定的V&V流程与规范、构建的各种V&V平台及采用的V&V关键技术等。

建模与仿真中验证与确认的测试与评估实现

M&S的可信性问题是M&S理论研究及工程应用的重要内容,VV&A和T&E都是为了提高和保证M&S的置信度,降低仿真系统在实际工程应用中由于仿真结果不可信而带来的风险。首先深入分析了VV&A与T&E的关系,认为VV&A更强调确保M&S可信性的工作内容,T&E更强调具体的实现方法,T&E是V&V的主要技术和方法,V&V可以通过T&E来实现;然后分析了M&S中T&E面临的挑战,研究了M&S开发全生命周期中V&V的T&E实现,最后简要介绍了T&E的充分性判定方法。

建模与仿真VV&A技术研究与发展

VV&A是当前建模与仿真研究的主要热点之一。随着科学技术的发展,仿真对象由一般系统发展到复杂系统,系统建模与仿真的校核、验证和确认(VV&A)的重要性越发突出。本文追踪了国内外VV&A研究进展,介绍了VV&A的相关概念、基本原则、技术方法和仿真系统的VV&A过程,指出了国内VV&A研究存在问题和发展方向。

作战仿真技术综述

作战系统是社会复杂巨系统,仿真可以在实验室研究与学习战争,是对军事学科发展和实验研究的补充。对作战仿真的几个主要共性技术问题进行了简要论述,包括:任务空间功能模型、综合自然环境建模、多分辨率建模、基于多智能体的计算机生成兵力建模、复杂大系统建模与仿真的VV&A、仿真支持环境、基于网格技术的网络中心战仿真等。在作战仿真研究过程中,应建立一个综合虚拟战场支撑环境,将作战仿真所有共用部分建成一个平台,在此基础上开发各用户为某种目的的仿真应用。

复杂大系统仿真的VV&A理论及过程研究

为了确保复杂大系统仿真(LCSS)的可信性,应该在建模与仿真(M&S)的全生命周期中开展校核、验证与确认(VV&A)研究。对LCSS的VV&A进行了理论研究,提出其方法论与原则;以基于仿真组件构建的HLA仿真系统为例,从仿真组件层、联邦成员层及联邦层三个层面研究了VV&A过程,并将这些研究应用于反舰导弹突防联邦仿真中。实践表明,研究对LCSS的VV&A工作具有很好的指导作用,有力地保障了仿真的可信性。

仿真VV&A研究综述

对于大型、复杂的仿真系统,在建模与仿真的全生命周期中进行VV&A研究,意义非常重大。该文对仿真VV&A的研究加以全面探讨,首先回顾国内外仿真VV&A研究的历史和现状,找出国内与国外VV&A研究的差距;其次简单介绍VV&A的概念和原则,并对容易混淆的概念加以分析、比较;接着根据美国国防部制定的VV&A建议指导规范,以某模拟测试系统仿真为例,详细介绍VV&A研究的过程与方法;最后针对国内仿真VV&A研究的现状,提出了VV&A研究需要解决的关键问题及其发展方向。

机械系统虚拟样机故障仿真技术研究

指出了传统的将基于实物样机的故障模拟结果用于故障研究的不足,分析了机械系统故障仿真技术研究现状。研究了基于虚拟样机的机械系统故障仿真方法,阐述了虚拟样机故障仿真的过程框架及主要功能。分析了虚拟样机故障仿真的三大关键支撑技术,提出了5种机械系统故障注入方法,指出了机械系统虚拟样机故障仿真技术下一步的研究重点。

建模与仿真VV&A工具设计与实现

在深入研究VV&A过程模型的基础上,建立了仿真和建模VV&A工具设计方案,详细介绍了各个模块的功能、相互之间的关系及工作流程。应用ODBC互连技术实现接口间的通信,将VV&A工具应用于实际工程中,取得了令人满意的结果,从而有效提高了仿真VV&A过程的经济性和快捷性。

分布交互仿真系统VV&A和可信度评估

分布交互仿真是面向复杂大系统研制、开发与人员培训的一门先进的仿真技术，其仿真可信度问题是分布交互仿真成功应用的关键之一，分布交互仿真系统的校核、验证和确认（VV＆A）则是伴随分布交互仿真系统设计、开发、运行、维护整个生命周期的一项重要的活动，分布交互仿真系统VV＆A是可信度评估的基础．对分市交互仿真系统的VV＆A和可信度评估问题做了比较详细的介绍，并对我国目前开展有关研究工作的情况进行了分析和介绍。

关于建模与仿真VV&A原则的研究

通过借鉴国内外在该领域的研究成果 ,提出了建模与仿真VV&A原则。该文在国内首次对建模与仿真VV&A原则进行了详细的论述。

关于仿真可信度评估及仿真VV&A的探讨

根据国内外仿真可信度及仿真系统的校核、验证与确认(VerificationValidationandAccreditation,VV&A)的研究现状,探讨了仿真可信度评估理论,重点研究了仿真可信度的概念和性质,仿真系统可信度评估的原则以及仿真可信度与仿真系统的校核、验证与确认(VV&A)之间的关系。同时,该文还运用一个简单的例子就仿真系统可信度评估与仿真系统的校核、验证与确认(VV&A)之间的关系作了一个简单、明确的阐述,使大家对仿真系统可信度评估与仿真系统的校核、验证与确认(VV&A)有一个更加清楚的认识。

联邦概念模型及其VV&A研究

联邦概念模型(FCM)是联邦设计和开发的基础,对联邦概念模型进行VV&A有助于提高模型可重用性和互操作性。由于FCM中定性描述多于定量描述,不利于VV&A结果的客观性,而形式化方法是解决上述问题的重要途径。总结了国内外在概念模型的定义、建模方法以及模型形式化描述等方面的主要研究观点,讨论了HLA联邦概念模型开发过程及其完整性、正确性和一致性问题,阐述了FCM的VV&A过程和技术,介绍了有利于减少VV&A结果的主观性的基于模糊AHP的专家评审法和基于时态逻辑的形式化校核方法,最后讨论了形式化方法在联邦概念模型VV&A中的应用。