基于HLA的仿真系统的校核、验证与确认研究

对基于高层体系结构(High Level Architecture,简称HLA)的仿真系统的校核、验证与确认(Verification, Validation and Accreditation,简称VV&A)问题进行了详细的介绍及分析。在回顾研究历史及现状的基础上,首先介绍了HLA中VV&A的主要问题,包括概念、方法、基于联邦开发和运行过程(Federation Development and Execution Process,简称FEDEP)的VV&A过程、VV&A与测试和评估(Test and Evaluation,简称T&E)的关系以及自动化等。接着详细分析了HLA的VV&A研究中的难点:互操作性与可重用性的VV&A问题。最后进行了总结。     

HLA联邦形式化校核方法初探

概述了形式化校核方法在软件工程的应用情况,分析了国内外关于HLA联邦VV&A方法研究的现状,讨论了形式化方法HLA联邦校核与验证中主要解决的问题,提出了一种基于时态逻辑的HLA联邦形式化校核方法,该方法可以用来校核联邦及其成员的交互设计和逻辑行为运行的正确性和逻辑性.最后总结了全文,指出形式化方法虽然有利于提高HLA联邦的可信性、可靠性和一致性,但需要较多的专门知识和自动化工具的辅助.     

HLA联邦成员软件开发环境研究

对于HLA联邦开发与运行过程（FEDEP）中的联邦开发而言,除了联邦对象模型（FOM）的开发外,HLA联邦成员软件的开发是最具挑战性的。本文重点围绕HLA联邦成员软件的快速开发和重用两个方面详细讨论了有关的研究工作,对于国内基于HLA的仿真研究开发环境（IDE）的开发应该具有指导意义。     

构建可扩展的HLA联邦成员架构

在分布式仿真领域内,HLA机制使不同类型的联邦成员集成为一个分布交互的综合仿真系统,实现联邦成员在特定的联邦内即插即用,具有较高的重用性和互操作性。但是,这种以FOM信息为中心的联邦开发模式,使联邦成员在不同的联邦中实现重用性和互操作性能力受到限制。可扩展的HLA联邦成员架构,通过组合具有可重用和互操作能力的仿真模型组件来构建一个功能可定制和大小可伸缩的联邦成员,提高了联邦成员在不同的联邦中仍然保持重用性和互操作性能力。     

CGF行为建模校核与验证初探

构建计算机生成兵力(Computer Generated Force,CGF)模型是作战仿真的一项十分重要的工作,其核心内容在于对战场中的各种人类复杂行为进行建模,包括认知行为建模和物理行为建模.可信性是行为模型的至关重要的品质.在行为建模的全生命周期中进行校核与验证(Verification and Validati...     

HLA联邦成员中模型的重用性研究

在基于联邦成员级的传统联邦开发模式基础上，从模型的重用性角度，提出了基于模型级的联邦开发新模式；通过改造现有传统联邦成员结构，把联邦成员的不变部分封装成联邦成员中间件，实现模型可以在联邦成员中即插即用，提高模型的重用性和互操作性。     

HLA联邦成员迁移机制研究

基于HLA的大规模分布仿真系统经常会出现负载不平衡的问题,严重地影响了仿真的运行效率,成员级别的迁移可以有效的解决这个问题.提出一种新的具有自动保存、恢复运行时状态功能的成员设计规范,并利用RTI已有的联邦管理的相关服务,设计了支持成员动态迁移的分布式仿真管理控制系统,并实现了基本功能.     

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

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

基于HLA的大气环境仿真联邦开发与应用

近年来,作为大气环境的公共代表,大气环境联邦已成为分布式虚拟仿真系统中必不可少的部分之一。基于HLA体系架构,首先从应用和技术角度对大气环境联邦进行了功能设计和需求分析,然后针对仿真想定生成、大气环境建模、大气环境数据存取与可视化等关键技术问题进行了深入研究,并给出了可行的技术解决方案。最后,开发完成了大气环境联邦原型系统,并给出了两个典型应用实例。仿真应用结果表明:所提出的关键技术解决方案切实可行,初步构建的大气环境联邦可靠、高效,为未来大气环境联邦的工程实现打下了良好的基础。     

潜艇综合训练仿真系统HLA联邦设计与开发研究

为了构造潜艇综合训练仿真系统更为合理的体系结构,增强联邦各仿真部位和控制部位的可重用性和互操作性,在技术手段上保证潜艇综合训练仿真系统的开发水平和训练质量,结合潜艇部队装备发展和作战训练实际,针对仿真驱动的潜艇实装作战训练仿真系统,基于高层体系结构(HLA)机制,结合HLA接口规范所提供的六类服务,重点研究潜艇综合训练仿真系统联邦的设计与开发过程等内容。     

HLA的互操作以及基于CORBA的实现

在ＨＬＡ中,同一联邦内部的联邦成员之间的互操作性得到了很好的解决,为实现仿真应用更高层次上的互操作根本问题是解决不同的ＲＴＩ之间和不同的联邦之间的互操作。本文分析了ＨＬＡ中不同的ＲＴＩ以及不同的联邦之间的互操作,提出了基于ＣＯＲＢＡ的两种实现方案。     

HLA仿真联邦的时间管理性能预测模型

为了预测HLA仿真联邦的时间管理性能,衡量其并行性,首先提出了着色交互Petri网,建立了HLA仿真联邦的时间管理性能预测模型;然后,应用Stateflow实现了该模型,应用模型的运行结果定量地衡量仿真联邦的并行性;最后,通过在水声对抗仿真系统中的应用,验证了模型的有效性.应用该预测模型,仿真联邦能够通过采用提高并行性的参数与策略,实现时间管理性能的提高.     

基于基本对象模型的HLA仿真系统VV&A过程探究

基本对象模型(BOM)是SISO提出的标准化仿真模型组件的描述规范,基于BOM的HLA仿真系统可以从仿真模型组件层面上提高系统的重用性和互操作性.VV&A过程的探究有助于VV&A工作的开展和规范.介绍了BOM在HLA应用中的体系结构,并简要提出基于BOM的HLA仿真系统的开发步骤,最后对该类仿真系统的VV&A过程展开研究,重点研究了用户模型、仿真模型组件及联邦成员三者的V&V.实践表明:提出的VV&A过程切实可行,对VV&A工作起到了很好的指导作用.     

武器系统综合仿真环境的HLA功能研发

武器系统综合仿真环境（WISE）是开发实体仿真模型的有力工具，但是它缺乏对联邦成员开发的支持。本文的主要研究工作就是如何把WISE扩展到HLA的框架之下，使其成为符合HLA规范的联邦成员开发工具。本篇文章在理解WISE建模的原理和代码结构的基础上，重点阐述了其HLA功能扩展的设计和开发，先给出了总体设计方案，而后详细给出了扩展功能的整体结构、接口方法、联邦成员框架模板的构造和代码生成的过程。     

支持组合事务的失败恢复验证

组合事务中任务间的协作通常以点对点的方式而不是中心控制,当系统崩溃时,事务流中的任务可能部分执行而其后续任务则未被调度执行。在这种情况下,选择合适的失败恢复验证策略是必要的。提出一种支持向前、向后和替代恢复策略的失败恢复验证方法。当失败发生时,借助组合事务的执行日志和可接受状态集,选择合适的恢复策略,验证带状态空间的事务恢复所产生的一组动作序列,是否包含一组良好行为。追踪执行进展,检测恢复后组合事务是否存在不一致状态。通过对旅行预订流程的实例分析,表明该失败恢复验证方法是可行的。     

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

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的充分性判定方法。     

运动体系统仿真模型验证方法软件包的开发

本文对动态系统仿真模型验证方法软件包（ＭＶＶＳＰ）的功能作了简要说明，对各类验模方法的使用特点进行了详细的分析