基于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管理系统设计

为了对建模与仿真（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＆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活动的雨大作用,特别是与武器装备论证的密切关系;介绍了国内外仿真系统VV＆A研究概况;提出了VV＆A研究方向与主要内容;并着重讨论了复杂仿真系统VV＆A标准／规范研究和制定问题。     

虚拟样机导弹系统的建模方法与模型确认

基于"十五"预研项目《武器装备虚拟样机仿真演示系统》的研究,提出了虚拟样机导弹系统的层次化、模块化的建模原则和方法;分析了建模与VV＆A的关系,采用建模与VV＆A同步进行的研究模式;将专家系统和决策理论应用于模型的确认,给出了模型确认的专家系统的设计原理和方法。为虚拟样机导弹的应用提供科学有效的决策依据。     

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

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

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

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

建模与仿真VV＆A研究

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

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

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

数据的VV&C研究

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

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

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

建模与仿真生命周期综述

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

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

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

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

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

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

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

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

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