复杂仿真系统模型验证方法的研究

复杂仿真系统置信度评估理论及方法研究是仿真界的难题。本文根据复杂仿真系统的特点,提出了利用贝叶斯(Bayes)理论对复杂仿真系统模型进行验证的方法,建立了检验建模与仿真(M&S)中的复杂假设的规则及实现算法,经过部分实例证明此方法是一种准确、通用和有效的方法。对复杂假设进行检验的Bayes方法,对于小子样甚至是特小子样场合的仿真系统具有参考价值。     

空空导弹系统仿真模型验证平台

文章介绍了空空导弹系统仿真模型验证平台。该平台基于CLIMB方案，将不同数据资源分为五个等级。利用等级高的数据库对产生等级低的数据库资源的模型进行验证。平台集成了工程上用于仿真模型有效性评估的统计检验方法。平台验证方法完备且具有良好的开放性，易于扩充。最后用实例说明平台的工作界面。     

飞行仿真系统的确认、验证和认证研究

根据飞行仿真系统的实际需求给出了确认、验证和认证(VV&A)的新的定义。应用新的VV&A定义结合全功能飞行仿真系统的特点提出了适用的VV&A过程模型,另外,还提出了主输出带置信度评估方法。上述VV&A的理论与方已成功地在“J5QM-2型飞行仿真系统”和“直升机旋翼自转着陆飞行仿真系统”的置信度评估过程中应用，收到了良好的应用效。     

利用飞行试验结果验证寻的制导导弹的全数学仿真模型

寻的制导导弹飞行试验的遥、外测数据记录了大量的过程参数,通过和仿真试验过程参数的比较,可以检验导弹的数学仿真模型的可信性,给出定量的结果。本文提出的方法可以在工程上应用。     

一种验证反坦克导弹系统仿真模型的方法

本文针对复杂的反坦克导弹系统的仿真模型，提出了一种采用现代谱分析法的验证方法。该方法适合于反坦克导弹系统动态过程仿真的输出为短时序、低信噪比的特点，并能定量地给出仿真模型与实际系统一致性的程度。本文用某型号反坦克导弹系统的仿真数据给出了应用上述方法的验证结果。     

复杂电磁环境仿真试验体系的模型验证方法研究

依据无人飞行器复杂电磁环境适应性能力试验验证评估需求,提出了"一条主线、两级仿真、三个层次、分层仿真、综合评估"的复杂电磁环境抗干扰仿真试验体系。其中"一条主线"是指紧扣应用需求,坚持仿真全过程的模型校核、验证和确认(VV&A)开展仿真;"两级仿真"是从建模与仿真的角度出发,建立交战级(系统级)和工程级(部件级)两级仿真,向上可以支撑任务级(体系级)仿真系统仿真模型的建模与验模;"三个层次"是指探测设备的仿真模型粒度分为信号级仿真模型、介于信号模型与功能仿真模型之间的模型、功能仿真模型三个层级;"综合评估"是对"两级三层次"试验得到的关于对抗进程和结果的数据进行综合处理,对复杂环境下某型装备抗干扰能力进行综合性评估。在此基础上,详细阐述了复杂电磁环境仿真试验体系的模型验证方案,并且提出了信号级、功能级仿真系统的模型验证方法及其实施步骤,为复杂电磁环境下仿真试验体系的模型验证工作提供有效的技术支撑。     

多维输出模型集成验证方法研究

基于经典假设检验和多元数理统计方法,提出了三种多维输出模型集成验证的度量,能够在多维输出模型的验证工作中考虑输出变量之间的隐含相关信息进行集成验证,避免忽略这些隐含信息而对模型的可信性做出错误判断.研究了Box-Cox等非正态数据转换方法,目的是满足各种假设检验基于正态分布假设的要求,扩大所提出的模型集成验证方法的工程应用范围.最后,数值算例说明对多维输出模型进行集成验证能够得到比单变量验证更准确的结果,并将所提方法应用到某飞行器三自由度运动学模型的验证工作中,说明其具有一定的工程意义.     

基于知识的仿真模型的验证方法

仿真模型的验证研究的是模型的可信度问题。由于模型验证需要关于真实系统,建模理论以及数据分析等多方面的知识,基于知识的智能化方法适合于仿真模型的自动验证。这类方法是建立在三个知识库的基础上的:存储验证相关知识的验证知识库(VKB),用于智能推理和决策的决策知识库(DKB),以及由各类验证算法所构成的验证技术库(VTB)。通过分析验证知识库的验证域,系统选择合理的验证技术和相关的验证过程。在此基础上,系统自动设计仿真实验,获得运行结果,并自动分析数据,执行验证过程,生成验证报告。此外,我们也讨论了验证相关知识的获取过程和细节。     

基于知识的仿真模型验证方法的研究

针对仿真模型验证过程中缺少参考数据的情况,提出一种基于知识的仿真模型验证方法.首先将仿真系统的行为分割成各种基本行为模式,然后提取出行为特征,最后将已提取出的仿真系统行为特征与知识库中的专家知识进行比较,实现仿真模型的验证.实验表明,该方法能够较好的解决仿真模型验证中缺少参考数据的问题.     

战斗部虚拟试验贝叶斯假设-检验验证方法

虚拟试验利用大型数值模型研究难以进行试验的物理过程,其结果用以指导各项决策,因此必须对虚拟试验进行验证.分析试验过程中存在的各种不确定性,比较数值模型预测值与模型确认试验测量值,度量数值模型描述与预测物理系统的能力.采用贝叶斯因子结合模型数据与试验数据,衡量数值模型误差是否显著,检验数值模型是否有效.应用战斗部虚拟试验验证实例演示本文的方法.     

仿真模型离散状态的验证

文中对验证指标重新给出三种分类：实体连续动态特性，实体交互特性和实体离散状态特性。针对实体离散状态特性，提出用配对集描述离散状态问题，借助状态树分析其需要验证的三方面因素，给出验证方法及方法有效性的分析。     

基于UML的仿真系统验证方法研究

仿真系统的VV&A一直是仿真领域研究的热点,其目的在于提高仿真系统的可信度.目前,关于仿真系统的验证方法研究都是偏向于某个侧面,缺少对仿真系统的开发全过程进行验证的方法,导致系统的验证与开发衔接不紧密,影响验证方法的实际使用.现代仿真系统主要采用面向对象思想设计开发,UML是面向对象仿真中不可或缺的一个建模仿真工具.根据仿真系统开发过程,将仿真系统开发过程中形成的UML图用于对仿真系统的验证中,使验证覆盖仿真系统开发的全过程,增强了系统开发和验证的连贯性,并通过对实际系统的验证,检验了所提出方法的可行性.     

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

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

基于可拓学的行为模型验证

虚拟实体行为的逼真度和可信度是行为建模的两个重要指标,行为模型验证是断定行为模型是否真实可信的重要手段.行为模型具有决策空间多维性和响应结果不确定性等特征,传统的面向数学物理模型的验证方法难以凑效.提出依据可拓学基本原理,结合专家经验评估法,对虚拟实体行为模型进行验证的方法.算例表明该方法对于行为模型的验证是有效的,可以实现多层次验证指标的分解与合成,并最大限度地降低了验证过程中的主观因素.     

基于灰色关联分析的仿真模型验证及其改进

分析比较了仿真模型可信性验证常用方法的特点，把灰色关联分析方法运用于仿真模型的可信性验证中，给出了具体的操作步骤，然后分析了灰色关联分析模型运用于仿真模型可信性验证中存在的风险，并针对仿真模型可信性验证的特殊需要，对灰色关联分析模型进行了一定的改进，最后通用实例验证了改进的合理性及风险的降低。     

基于散射体模型的PolInSAR数据模拟反演研究

极化干涉合成孔径雷达(PolInSAR)测量是一种集极化雷达(PolSAR)和干涉雷达(InSAR)测量技术于一体的新的对地观测技术,利用极化干涉雷达数据提取地表植被垂直结构参数是当前极化干涉研究的热点问题.然而现在国内外适用于PolInSAR处理的数据都是重复轨道数据,其中应用广泛的是SIR-C/X-SAR数据,其成像时间在10多年前,成像区域植被高度及衰减系数大小无法考证,因此利用该数据进行反演,反演结果的精度无法验证,故有必要对极化干涉数据进行模拟来验证PolInSAR反演算法的优劣.提出了一种便于验证反演算法的基于散射体模型的PolInSAR数据模拟方法,并利用基于统计特征的反演算法验证了该数据的有效性.