基于MDA的联邦开发和执行过程分析与改进

模型驱动体系架构（model driven architecture,MDA）是先进的软件开发方法学,对开发HLA仿真系统具有很好的借鉴作用.在系统地总结了MDA系统开发原理以及联邦开发和执行过程模型（federation development and execute processmodel,FEDEP）的基础上,归纳了应用MDA系统开发方法进行HLA仿真系统开发的技术优势,初步探讨了基于MDA的FEDEP和联邦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的过程中,最好采用一些自动化工具以便于工作,同时要根据具体仿真系统的实际情况来确定VV＆A所需要作的工作.     

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

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

基于MDA的HLA仿真系统的VV＆A过程模型

介绍了高层系统结构（HLA）系统的标准开发过程模型FEDEP和两种基于FEDEP的校核、验证和确认（VV＆A）过程模型,分析了二者的优缺点。在简单分析模型驱动架构（MDA）架构之后,论述了基于模型驱动架构的高层系统结构仿真系统的校核、验证和确认过程。     

基于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标准／规范研究和制定问题。     

输弹机构虚拟样机的校核、验证及故障行为确认

提出了虚拟样机仿真试验中应进行的VV＆A工作。仿真必须经过校核、验证和确认(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全生命周期进行管理，并具有通用性和灵活性的特点。该系统已经成功用于管理某型地空导弹建模与仿真试验，为整个系统的确认与验收提供了有益的帮助。     

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

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

A method for measuring team skills

A method for identifying and measuring team skills, specifying team training objectives and the objective assessment of team performance is described. First, a theoretical model of team performance is outlined and then a version of Hierarchical Task Analysis specially adapted to analysing team tasks is described. The two are then combined into an event-related measurement scheme, which provides a set of objective criteria by which key team skills can be assessed. The method is illustrated by an example from a basic Anti-Submarine Warfare training exercise which forms part of the Principal Warfare Officer's course at the Royal Naval School of Maritime Operations. The potential of the method is discussed, including the opportunities it may provide for the standardization of team performance assessment and in the use of new technology in the partial automation of shore-based and ship-board team training.     

建模与仿真VV&A相关概念、定义和术语研究

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

HLA作战仿真的VV&A过程

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

A method for measuring team skills

A method for identifying and measuring team skills, specifying team training objectives and the objective assessment of team performance is described. First, a theoretical model of team performance is outlined and then a version of Hierarchical Task Analysis specially adapted to analysing team tasks is described. The two are then combined into an event-related measurement scheme, which provides a set of objective criteria by which key team skills can be assessed. The method is illustrated by an example from a basic Anti-Submarine Warfare training exercise which forms part of the Principal Warfare Officer's course at the Royal Naval School of Maritime Operations. The potential of the method is discussed, including the opportunities it may provide for the standardization of team performance assessment and in the use of new technology in the partial automation of shore-based and ship-board team training.     

仿真VV＆A研究综述

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

复杂产品的VV&A体系架构关键技术

为开展复杂产品（系统）建模与仿真过程中的验证、确认与发布（verification, validation and accreditation, VV&A）工作,提高复杂产品(系统)的设计水平,保证和提高建模与仿真系统的置信度,降低试验与评估的不确定性,在分析复杂产品全生命周期中的VV&A活动的基础上,论述复杂产品（系统）的VV&A体系架构的复杂性及其关键技术,系统分析VV&A的主要思想和国内外研究与应用现状、VV&A工具和方法等问题,提出一种VV&A体系架构方案,并详细阐述其总体方案和系统组成,为逐步建设企业的VV&A知识库提供参考。     

数据的VV&C研究

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