基于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工作顺利开展。     

系统建模与仿真应用的校验、确认与验收

以美国国防部（DoD）近年来对建模与仿真（M＆S）应用所做的校验、确认与验收（VV＆A）研究工作为基础,介绍了关于M＆S应用的校验、确认、验收、鉴定等概念;结合软件工程的3P指标提出一种通用的形式化表示的M＆S应用VV＆A框架;讨论了M＆S应用可信度指标的层次化体系的建立与评价方法,引入了Kiviat图;最后介绍了一个用于M＆S可信度评价的计算机软件平台——EE（Evaluation Environment,评价环境）。     

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经济、高效地执行产生一定的促进作用。     

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

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

在国外,尤其是美国,建模与仿真(ModelingandSimulation,M＆S)及校核、验证与确认(Verification,ValidationandAccredi tation,VV＆A)相关概念、定义和术语的研究已趋于成熟。我国目前在该领域的研究仍是空白。通过研究国内外大量相关资料,深入分析了建模与仿真VV＆A概念、定义和术语研究的重要意义;根据建立定义和术语的一般原则,为部分概念撰写定义,并赋予每个概念指称,同时也分析了常见的一些不恰当的术语。这不仅有助于人们对建模与仿真VV＆A概念性研究引起重视;而且也有助于人们进行建模与仿真VV＆A相关概念、定义和术语的研究。     

关于仿真模型检验的研究

仿真系统的可信性,它关系到系统的研制周期、使用寿命和可靠性。建模仿真可信性研究,又称为建模仿真“校核、验证和确认”,就是解决模型有用、敢用和相信问题,这是非常重要的。建模仿真VV＆A研究包括概念性研究、建模仿真VV＆A过程、VV＆A技术方法等。事实上,建模仿真VV＆A是建模仿真的全面质量管理,包含技术和管理工作。该文通过借鉴国内外在该领域的研究成果,对建模仿真VV＆A理论进行了概述研究,并给出建模仿真方法。     

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

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

复杂工程建模和模拟的验证与确认

综述国内外建模和模拟(Modeling and Simulation,MS)的验证与确认(Verification and Validation,VV)的相关概念、术语、规范、置信度评估方法和应用等方面的发展和研究进展,概括MS的VV中的几个关键问题,构建复杂工程MS的VV的知识指南,为MS的VV技术真正走向应用提供参考.     

复杂仿真系统可信性评估的特点及评估对策

随着建模与仿真（M＆S）在复杂仿真系统分析与研究中的广泛应用,对M＆S的可信性提出了更高的要求,M＆S的可信性评估技术成为国内外仿真界的研究热点之一。复杂仿真系统的特点决定了对其进行可信性评估的复杂性,在系统分析了复杂仿真系统的特点的基础上,对复杂仿真系统可信性评估的特点进行了深入研究,并就此提出了相应的复杂仿真系统可信性评估对策,为复杂仿真系统可信性评估理论及方法研究提供了重要参考。     

数据的VV&C研究

数据的可信性是建模与仿真领域中一个重要的问题。该文首先介绍了数据校核、验证与证明 (VV&C)的基本概念。然后确定了数据VV&C评估的主要策略 :过程模型以及支持数据质量的元数据模板等几方面内容。接着对数据的VV&C和建模与仿真的VV&A的关系作了简要比较。最后举出了一个综合环境评估和检查工具的例子。     

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

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

建模与仿真生命周期综述

建模与仿真生命周期的形式多种多样。该文首先介绍了M&S生命周期中的VV&A的一般过程。接着介绍了瀑布型、DIS、HLA等几种较为常见的建模与仿真生命周期 ,并分析了各自的特点和应用的场合。其中 ,对近年来的研究热点DIS和HLA形式的生命周期的具体实施过程作了重点介绍。     

Bayes方法的仿真结果静态一致性检验

近年来,随着军用系统仿真技术的迅猛发展,使得仿真系统的VV＆A技术越来越受到人们的广泛关注。该文针对武器系统试验次数少、样本量小的特点,利用Bayes方法,对比了仿真系统试验结果与真实系统试验结果的静态数据的一致性。该文主要研究了小样本情况下正态分布的仿真结果静态验证方法。     

T&E与VV&A过程的联系及集成

校核、验证和确认 (VV&A)与测试和评估 (T&E)的目的之一都是为了减少风险 ,增加可信度。它们之间存在着许多相似之处。如何在建模与仿真中将两者结合起来以降低费用是一个值得研究的方面。该文首先分别介绍VV&A与T&E在各自领域的应用 ;然后详细分析了它们之间的主要相同与不同之处 ;最后探讨了如何将两者集成起来     

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

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