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

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

建模与仿真及VV＆A管理系统设计

为了对建模与仿真（Modeling and Simulation，M＆S）以及校核、验证与确认（Verification、Validation and Accreditation，VV＆A）活动的全生命周期予以有效管理，提高建模与仿真的可信性，设计了建模与仿真及VV＆A管理系统（Modeling ＆ Simulation and VV＆A Management System，MSVMS）。MSVMS以一套完备的M＆S及VV＆A信息管理分布式数据库为核心，采用对M＆S及VV＆A开发应用过程中各种状态信息与事件信息记录的方式，对M＆S以及VV＆A全生命周期进行管理，并具有通用性和灵活性的特点。该系统已经成功用于管理某型地空导弹建模与仿真试验，为整个系统的确认与验收提供了有益的帮助。     

建模与仿真中数据VV＆C的研究

在建模的过程中，数据在一定程度上决定了我们建立的模型能否真实地反映实际；因此，所用的数据是不是正确就是建模成功与否的关键。该文首先介绍了建模与仿真过程中数据的概念和分类；接着讨论了数据校核、验证和确认的概念，并简要地介绍了数据校核、验证和确认的一般过程和方法。最后，给出了数据校核、验证和确认的一个实例。     

建模VV＆A与仿真VV＆A比较之浅见

建模与仿真在许多领域得到越来越广泛、深入的应用,模型与仿真本身的准确性和置信度越来越受到人们的关注,也就是VV&A日益重要。该文结合分析建模与仿真的过程,在分析了VV&A的层次与结构的基础上,重点从三个方面剖析、比较了建模V&V与仿真V&V的不同:第一,历史发展和内在本质;第二,考察对象和应用的方法;第三,思维特点。这些比较分析,促进了更好地理解二者的差异。最后给出了所研究的结论,期望对VV&A工作起到指导作用。     

仿真VV＆A研究综述

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

M＆S全周期中VV＆A过程模型研究

建模与仿真全周期中VV＆A过程的规范化对经济、有效地进行M＆S，减少人力和资源的浪费具有重要的意义。文中从计划和开发结构化VV＆A的角度，提出了一个M＆S全周期中VV＆A一般过程的改进模型。该模型是综合现有VV＆A过程模型，通过在DMSO所提出的VV＆A过程模型基础上引入数据V＆V，并通过对结果确认、信息归档等VV＆A过程模型中的几个重要阶段进行调整，实现了对VV＆A过程模型的改进，以期扩大拓展VV＆A过程模型的适用范围，为M＆S经济、高效地执行产生一定的促进作用。     

建模与仿真VV＆A研究

该文回顾了国内外仿真VV＆A研究的历史和进展情况．介绍了VV＆A的相关概念、基本原则：又介绍了W＆A研究的过程与方法：最后指出国内仿真VV＆A存在的问题及发展方向。     

建模与仿真的动态V&V技术综述

校核与验证(V&V)技术包括非正规、静态、动态和正规四类技术,是保证建模与仿真(M&S)的可信度的重要手段.动态V&V技术是其中应用范围较广、数学和逻辑上比较正规的技术.它要求模型转化为应用并被执行,根据模型的执行行为来评价模型的精确性.首先简要介绍了M&S的VV&A和校核与验证技术的分类情况,然后论述了动态校核与验证技术并分析了各自的特点,最后介绍了在建模与仿真过程中动态V&V技术的适用范围.对用于校核与验证的动态测试技术和统计技术作了重点介绍.     

军事建模与仿真中的V＆V技术及其方法探讨

许多大型传统软件工程的帮助和使用文档都对软件的校核和验证(V＆V)技术作了详细描述,提出了测试软件稳定性、完整性和使用性的一套总的程序.军事建模与仿真中的校核与验证(Verification and Validation,V＆V)问题是建模与仿真全面质量管理的关键环节,主要解决军事模型的可信性和可用性问题,在军事建模过程中占有重要地位.该文旨在对军事建模与仿真的V＆V问题进行初步探讨,给出军事建模与仿真的V＆V方法.     

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

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

建模与仿真过程及模型VV&A

首先概括了建模与仿真的一般过程，给出了有关VV&A的几个基本概念。然后简要地分析了同构、同态与建模及模型VV&A之间的关系，最后对现有VV&A技术进行了综述。有关置信度评估方法还很不成熟，从概念到理论都有待于统一，文章对此做了一点探索。     

仿真建模与验模

基于数学模型的数字仿真特别重视仿真建模与验模,因为它是数字仿真获得成功的关键一步.遗憾的是,目前开发都处于独立状态,难免低水平重复.为了提高仿真效率和水平,需要倍加关     

对建模与仿真技术学科的粗浅理解--为庆祝《计算机仿真》杂志创刊20周年而写

半个世纪以来,我国建模与仿真技术,无论在广度,还是在深度上都得到了飞速发展,而且勇攀世界科技高峰。可是,建模与仿真技术也是一门学科的问题,在我国尚未形成共识。该文给出了建模与仿真定义、仿真的分类,给出了仿真的校核、验证和确认的定义。描述了建模与仿真学科的涵盖以及仿真的结构,并对建模与仿真学科的特点进行了分析和介绍。     

基于UML的作战仿真VV＆A过程形式化建模

可信性是作战仿真的生命线,对作战仿真的全生命周期进行校核、验证与确认（Verification,Validation and Accreditation,VV＆A）是确保其可信性的重要途径。建立合适的VV＆A过程形式化模型是开展作战仿真VV＆A过程研究的前提和基础。基于统一建模语言（Unified Modeling Language,UML）分别从用例、静态结构、动态行为及交互等方面对VV＆A过程进行形式化建模,建立了作战仿真VV＆A过程的用例、类图、活动图及顺序图模型,并给出相应的形式化定义。实践表明：作战仿真VV＆A过程形式化建模可以使VV＆A的描述规范化、标准化及形式化,便于不同领域人员的相互沟通与交流,以及VV＆A工程化应用,促进了VV＆A工作顺利开展。     

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

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

方差分析法在制导仿真系统VV＆A中的应用

针对制导仿真系统研究,通过分析和研究方差方法的原理,提出了方差分析法在制导仿真系统VV&A中仿真结果验证和设备误差分析两个重要的应用途径.为了在仿真结果验证时充分利用不同试验条件下的仿真数据和靶试数据,基于方差分析法,对试验条件的不同取值影响仿真结果,并通过对具体试验数据的计算和分析,验证了可行性;对制导仿真系统的误差分析时,提出了设备误差对静态仿真结果影响,丰富了仿真设备误差分析的手段.实践证明,方差分析法是制导仿真系统VV&A中的一种非常有效的辅助手段.     

建模与仿真服务化研究综述

建模与仿真服务化是提升用户体验, 支撑按需访问建模与仿真能力的有效手段. 本文首先从建模与仿真服务的访问、开发以及运行与管理三个层面对建模与仿真服务化的概念进行辨析; 并从服务的分类、抽象层级、基本元素和状态四个角度对建模与仿真服务的特征进行阐述. 然后从基于网页的仿真、基于面向服务架构 (Service oriented architecture, SOA) 的仿真系统开发和服务化基础设施三个维度对建模与仿真服务化的发展历程进行梳理. 在此基础之上, 分析了基于云的建模与仿真服务化的构建原则、基本架构和应用模式, 并从访问、开发以及运行与管理三个层面给出建模与仿真服务化相关的支撑技术. 最后, 从理论体系、关键技术和新兴技术三个方面给出进一步发展建模与仿真服务化的建议.     

HLA作战仿真的VV&A过程

介绍了HLA作战仿真的基本情况及其联邦结构。以某作战仿真为例，将校核、验证与确认(VV&;A)过程作为研究的重点，把VV&;A过程分为7个步骤，分别对每一步进行研究。结果表明，该作战仿真达到了可信度要求，是可以接受的，对它进行VV&;A研究，对联邦的开发和系统的改进有一定的帮助，能够在一定程度上起到提高联邦可信度的作用。