虚拟维修模型的校验方法研究

介绍了虚拟雏修与建模仿真的关系,分析了虚拟维修模型校验的特点,研究了虚拟维修模型校验的方法,分别应用置信区间法、假设检验法、Bayes法、TIC法、频谱分析法从静态性能和动态性能两个方面对模型实施校验,从而为虚拟维修模型准确性、实时性提供了较为可靠的验证方法.为虚拟维修模型的校验提供一套系统的理论和方法,有利于虚拟维修模型得到更好应用.     

CMP中Cache一致性协议的验证

CMP是处理器体系结构发展的一个重要方向,其中Cache一致性问题的验证是CMP设计中的一项重要课题。基于MESI一致性协议,本文建立了CMP的Cache一致性协议的验证模型,总结了三种验证方法——状态列举法、模型检验法和符号状态法,并给出了每一种方法的复杂性分析。     

某型导弹系统仿真模型的静态验证

仿真模型验证是仿真可信性研究的重要组成部分,有着及其重要的意义.模型验证就是比较仿真系统输出和实际系统输出的一致性,分为静态性能验证和动态性能验证.该文在分析研究各种仿真模型验证方法的基础上,采用工程上常用的置信区间法、bayes方法对某型导弹系统仿真模型进行了定量的静态验证,结果表明,所研究模型具有较好的可信度.最后讨论了这两种方法的不足之处.     

基于外场试验的内场仿真模型一体化验证方法

目前外场试验数据的模型验证仅完成试验数据对于仿真模型的验证,却没有考虑到模型验证对于外场鉴定试验的要求,对外场武器装备性能指标考核问题,为了通过模型验证来优化外场试验方案,提出了内场仿真模型一体化验证的概念.应用模型一体化验证思想结合外场试验特点建立了适用于装备试验鉴定领域的模型一体化验证过程模型,进行建模与仿真,并提供了一体化验证过程各步骤所使用的具体方法.上述模型一体化验证的理论与方法已成功地在潜艇试验鉴定仿真系统的模型验证过程中使用,收到了良好的应用效果.     

基于飞参数据的飞行仿真模型验证方法研究

仿真模型验证已成为仿真研究的有机组成部分。为了更好地对飞行训练模拟器飞行仿真模型进行可信性评估,提高飞行训练模拟器飞行仿真模型的逼真性,将飞参数据应用于验证飞行训练模拟器飞行仿真模型的可信性。提出飞行仿真模型验证的验证方案,并对方案中的飞参解译、飞参数字滤波、飞行阶段识别及飞参数据插值处理等技术进行研究。介绍仿真模型验证量化评估的方法,包括时域分析法和频域分析法,并将这几种方法应用于某型飞行训练模拟器飞行仿真模型的验证,验证结果表明,利用飞参数据验证飞行仿真模型的方法完全可行。     

非线性模型结构辨识方法的分析

本文对模型拟合度判别法、交叉有效性确认法和统计假设检验法三种非线性模型结构辨识方法进行了分析比较,并将模型拟合度判别法推广到多变量系统的场合.通过计算机仿真实例,说明各种方法的实用性,找出最佳参数.最后,将它们进行了比较.     

基于Agent仿真模型的校核与验证研究

首先对国内外基于Agent仿真模型的校核与验证方面的发展情况进行了述评;然后,提出了一个完整的基于Agent仿真模型的校核与验证框架,该方案中包括表面验证、参数灵敏度分析、模型校准与运行时验证;最后以环境经济政策仿真模型中的校核与验证为例对该框架进行了简单说明。     

基于事件图的离散事件仿真模型并行检验方法

非形式化仿真模型验证方法易受主观因素的影响且具有不完备性,而传统的形式化模型检验方法由于受到状态空间爆炸问题的影响,很难处理大规模的仿真模型.并行模型检验方法以其完备性、高效性已经在工业界中得到了成功的应用,但是由于涉及到形式化规约、逻辑学以及并行计算等多项技术,应用难度较大.针对上述问题,提出了基于事件图的离散事件仿真模型并行检验方法.该方法首先对事件图在模型同步方面进行了扩展,给出了扩展事件图的形式化定义、语法及语义;然后将扩展事件图模型转换到分布并行验证环境的DVE模型,成功地将并行模型检验方法应用于仿真模型验证领域.该方法使得仿真人员无须学习新的形式化验证语言就能采用并行模型检验方法对仿真模型进行形式化验证,可降低模型并行验证的难度,从而有效提高模型验证的效率和完备性.实验结果表明了该方法的有效性,有利于扩展并行模型检验方法在仿真领域中的应用.     

某型导弹系统仿真模型验证

仿真模型验证是仿真可信性研究的重要组成部分，有着极其重要的意义。模型验证就是比较仿真系统输出和实际系统输出的一致性，分为静态性能验证和动态性能验证。该文在分析研究各种仿真模型验证方法的基础上，主要采用工程上常用的bayes方法和窗谱分析法对某型导弹系统仿真模型进行了定量验证，最后给出结论并讨论了这两种方法的局限性。     

X波段全极化微波辐射计的计算机仿真

全极化微波辐射计是未来星载遥感海面风场的重要微波遥感仪器,可为短期天气预报、气候学和海洋学研究提供重要的有价值信息,利用软件平台对全极化辐射计进行计算机仿真对于系统设计和全极化定标技术仿真验证具有重要的意义。对X波段相关型全极化微波辐射计进行了计算机仿真,基于ADS软件平台建立了相关型全极化微波辐射计系统仿真模型,对仿真模型有效性进行了验证,并在仿真模型基础上对全极化定标技术进行了仿真验证。结果表明仿真模型准确有效,可为系统设计和全极化定标仿真验证提供参考。     

Wavelet ANOVA approach to model validation

Model validation is that critical component in the simulation development process that ensures a model is truly representative of the system that it is meant to model. Although there are numerous validation techniques described in the literature, many of these techniques still require some amount of subjective analysis in order to assess validity. This is particularly true with dynamic simulation output. To reduce or eliminate this subjectivity, this paper proposes a validation process that uses wavelet analysis of variance (WANOVA) as an effective method to statistically accept or reject a model as valid. This WANOVA validation approach performs statistical inference in the time-frequency domain to take advantage of wavelet sparsity and decorrelation. This process uses a test statistic based on thresholded wavelet coefficients to test the null hypothesis that the set of system data and model data are statistically equivalent. The validation technique is illustrated using a simulation study and empirical data from an automobile crash study.     

电子产品故障物理模型仿真分析与试验验证

随着现代武器装备可靠性的不断提高,寿命周期内故障样本不断减少,基于故障物理模型的可靠性分析方法越来越受到广泛关注,但故障物理模型的准确性是核心问题之一.针对目前工程中应用较多的、具有典型代表性的随机振动疲劳模型开展仿真技术适用性验证,通过对比仿真结果和试验结果,一方面对现有故障模型的计算精度给予合理化分析,验证仿真分析方法的有效性,另一方面形成一套可以推广使用的故障物理模型试验验证方法,可为其他故障物理模型的验证提供指导.     

测试性验证试验中的综合评估方法

针对目前测试性验证试验工程应用中测试性评估方法不适用的现状,创新性地提出了测试性综合评估方法及测试性指标折算模型,在实验室物理故障注入结果评估的基础上进行提升和完善。该综合评估方法将测试性仿真结果、自然发生故障的评估结果,以及实验室物理故障注入的评估结果进行综合,给出产品的测试性水平,确保测试性评估的准确与合理。最终为测试性验证试验的有效开展提供工程上可行的理论依据,对工程应用具有很强的指导性。     

SV DPI技术在FPGA仿真验证的应用探讨

SystemVerilog作为近年来逐渐流行的FPGA验证语言,包含了丰富的验证特性：DPI、断言技术、功能覆盖率等,其中DPI接口技术可以帮助验证工程师在验证平台中实现对C或C++的调用,验证工程师可以通过编写C函数来实现复杂激励模型设计,同时也为进行复杂算法的FPGA设计的仿真验证提供了新的验证思路。本文提出一种基于DPI接口的FPGA仿真验证方法,实验表明：利用该方法搭建的仿真验证平台相对于传统的纯verilog验证平台,具有更高的仿真效率和验证的灵活性。该验证方法为算法级FPGA设计的确认测试提供了新的验证思路。     

考虑随机不确定性的常态仿真模型确认试验设计

模型确认试验是一种新的试验,其目的在于度量仿真模型的可信度.为了得到低成本、高可信度的模型确认试验方案,提出一种随机不确定性模型确认试验设计方法.首先,基于面积确认度量指标提出一种新的无量纲的模型确认度量指标(面积确认度量指标因子),并且在其基础上发展了基于专家系统的仿真模型准确性定性评判准则;然后,建立随机不确定性模型确认试验优化设计模型,提出该优化模型的求解方法;最后,通过两个数值算例对提出的模型确认试验设计方法进行验证.结果表明,小样本情况下,试验方案的随机性会影响模型评判结果的可信度;面积度量指标因子随试验样本数量的增加而收敛;随机不确定性模型确认试验设计方法能够避免试验方案对模型确认结果的影响.     

Knowledge-based method for the validation of complex simulation models

In traditional research, the validation of simulation models is mainly based on statistical analysis and simulation error evaluating. As simulation models become more and more complex, simulation behavior is more complicated and heavily dependent on simulation conditions, traditional method cannot be applied directly. On the other hand, measured data needed for traditional methods cannot always be available. What’s more, the validation of complex models is usually costly and time-consuming.This research makes effort to settle the problems above. It provides three aspects of advantage for model validation. First, complicated simulation behavior is abstracted and classified as five categories, among which behavior relationship and aggregative behavior is unique for complex simulation models. And the analysis and validation method of each kind of behavior is proposed. Second, besides measured data of real system, it proposed to utilize experience of expert and other kind of domain knowledge for validation task. And third, the simulation analysis and validation method proposed can be implemented in knowledge system and accomplish validation task automatically.Simulation output analysis is the most important step in model validation. Besides classical continuous dynamic fitting and statistical consistency analysis methods, we propose a domain knowledge-based method for the validation of relationship among behavior segments and aggregative behavior which is unique for complex simulation models. Domain knowledge takes the role of reference in model validation, and it varies from measured data of real system to qualitative experience of experts. Knowledge-based system is implemented based on domain knowledge and validation techniques proposed.Validation of electromagnetic rail gun simulation models are introduced as an example. It has been found that this method can provides an automatic validation way for complex simulation models, and validation tasks can be accomplished efficiently.     

多管火箭射击精度仿真试验新方法

该文提出了多管火箭射击精度的仿真试验新思路，构造了射击精度仿真试验的基本框架。对多管火箭射击精度仿真试验的研究内容、研究方法和技术途径进行了论述，表明系统仿真模型的校核、验证和确认是关键。提出应用多体系统传递矩阵法，建立刚柔耦合多管火箭动力学模型，通过建立增广特征矢量，获得其正交性条件，实现对多管火箭振动特性和动力响应的精确分析的仿真算法。结合简易控制和弹道理论，建立多管火箭射击精度仿真系统。应用最大熵方法，形成了多管火箭射击精度仿真试验的新方法。     

基于有限状态机的可校核仿真模型研究

基于有限状态机仿真模型因其外部环境的复杂交互关系,而难以完整复现其状态变迁过程,更难对模型进行校核与检验;而模型校核对于确保仿真的可信度十分重要。本文从分析基于有限状态机的仿真对象模型状态变迁及公共调用接口出发,将有限状态机模型的公共接口区分为参数注入方法集、参数提取方法集和无参数方法集。并在此基础上,提出并实现了对有限状态机模型接口输入集进行窥视和顶替的校核策略。实验表明,在满足若干禁入规则的条件下,该方法能够完整复现有限状态机模型的状态变迁过程,从而可为实现可校核与可检验有限状态机模型提供建模框架。     

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

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