共查询到19条相似文献,搜索用时 109 毫秒
1.
基于虚拟样机的仿真系统校核、验证与确认研究 总被引:6,自引:0,他引:6
虚拟样机模型的正确性和精确度直接影响到仿真的置信度,如何保证建立的计算机仿真模型的正确性是虚拟样机建模的一个重要问题。首先对虚拟样机技术的特点及其仿真步骤进行了描述;然后,在介绍仿真系统校核、验证与确认概念的基础上,讨论了分布交互仿真系统校核、验证与确认的原则;根据虚拟样机的特点,研究制定了虚拟样机仿真系统的校核、验证与确认的七步过程,重点对虚拟样机仿真系统的模型验证方法进行分析;最后,提出了的虚拟样机校核、验证与确认过程中应该遵循的原则。 相似文献
2.
3.
4.
5.
6.
7.
8.
校核与验证(V&V)技术包括非正规、静态、动态和正规四类技术,是保证建模与仿真(M&S)的可信度的重要手段。动态V&V技术是其中应用范围较广、数学和逻辑上比较正规的技术。它要求模型转化为应用并被执行,根据模型的执行行为来评价模型的精确性。首先简要介绍了M&S的VV&A和校核与验证技术的分类情况,然后论述了动态校核与验证技术并分析了各自的特点,最后介绍了在建模与仿真过程中动态V&V技术的适用范围。对用于校核与验证的动态测试技术和统计技术作了重点介绍。 相似文献
9.
10.
对建模与仿真技术学科的粗浅理解--为庆祝《计算机仿真》杂志创刊20周年而写 总被引:2,自引:0,他引:2
半个世纪以来,我国建模与仿真技术,无论在广度,还是在深度上都得到了飞速发展,而且勇攀世界科技高峰。可是,建模与仿真技术也是一门学科的问题,在我国尚未形成共识。该文给出了建模与仿真定义、仿真的分类,给出了仿真的校核、验证和确认的定义。描述了建模与仿真学科的涵盖以及仿真的结构,并对建模与仿真学科的特点进行了分析和介绍。 相似文献
11.
数据的可信性是衡量装备作战仿真系统的关键因素,直接影响着仿真的成败。论文在介绍数据的校验、验证、证明(VV&C)、装备作战仿真等概念的基础上,对装备作战仿真所用到的数据进行了分类,提出了权威数据源的分类标准。在基于高层体系结构(HLA)的装备作战仿真系统的联邦开发和执行过程(FEDEP)中引入了数据的VV&C,对于数据VV&C执行过程中的关键步骤进行了详细的阐述。论文对于研究数据元素对装备作战仿真系统可信性的影响具有指导意义,为研究装备作战仿真系统可信度的提高奠定了理论基础。 相似文献
12.
根据国内外仿真可信度及仿真系统的校核、验证与确认(VerificationValidationandAccreditation,VV&A)的研究现状,探讨了仿真可信度评估理论,重点研究了仿真可信度的概念和性质,仿真系统可信度评估的原则以及仿真可信度与仿真系统的校核、验证与确认(VV&A)之间的关系。同时,该文还运用一个简单的例子就仿真系统可信度评估与仿真系统的校核、验证与确认(VV&A)之间的关系作了一个简单、明确的阐述,使大家对仿真系统可信度评估与仿真系统的校核、验证与确认(VV&A)有一个更加清楚的认识。 相似文献
13.
分布仿真的建模与验模研究 总被引:2,自引:0,他引:2
分布仿真技术正在成为影响国防事业发展的关键技术之一。仿真技术将应用于对武器装备的全寿命、全系统、全方位管理 ,建模与仿真的对象将是复杂的大系统。因此 ,建模与仿真必须满足高层体系结构HLA及任务空间概念模型CMMS ,它是建立仿真的一致性与权威性表达的基础 ,同时采用新的VV&A工具 相似文献
14.
15.
建模与仿真及VV&A管理系统设计 总被引:1,自引:0,他引:1
为了对建模与仿真(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全生命周期进行管理,并具有通用性和灵活性的特点。该系统已经成功用于管理某型地空导弹建模与仿真试验,为整个系统的确认与验收提供了有益的帮助。 相似文献
16.
Garrison Stevens Sez Atamturktur 《Archives of Computational Methods in Engineering》2017,24(3):557-571
Partitioned analysis involves coupling of constituent models that resolve different scales or physics by allowing them to exchange inputs and outputs in an iterative manner. Through partitioning, simulations of complex physical systems are becoming evermore present in the scientific modeling community, making the Verification and Validation (V&V) of partitioned models to quantifying the predictive capability of their simulations increasingly important. Partitioning presents unique challenges, as well as opportunities, for the V&V community. Verification gains a new level of complexity in partitioned models, as numerical errors can easily be introduced at the coupling interface where non-matching domains and models are integrated together. For validation, partitioned analysis allows the quantification of the uncertainties and errors in constituent models through comparison against separate-effect experiments conducted in independent constituent domains. Such experimental validation is important as uncertainties and errors in the predictions of constituents can be transferred across their interfaces, either compensating for each other or accumulating during iterative coupling operations. This paper reviews published literature on methods for assessing and improving the predictive capability of strongly coupled models of physical and engineering systems with an emphasis on advancements made in the last decade. 相似文献
17.
18.
OLAP技术为企业数据分析提供了极大的便利,LC模型是一种用于进行OLAP建模的软件数据模型。本文对LC模型进行了简要的介绍,把OLAP的层次分成了对称层次与非对称层次,并使用LC模型对两种层次进行了一定的解析,这样。使我们加深了对OLAP层次的了解,有利于OLAP的建模。 相似文献
19.
Static analysis and process model transformation for an advanced business process to Petri net mapping 下载免费PDF全文
Verification of business processes typically relies on Petri net–based process models. While they allow for natural modeling and analysis of aspects such as parallelism and message exchange, such a process model is seldom complete and precise. This is mainly because the available techniques for deriving a Petri net model from the original model neglect process data in favor of feasible verification. In this paper, we present an approach for deriving more precise process models by leveraging a process‐to‐Petri‐net compiler, which takes as input a business process and generates as output a Petri net model for the process. This can be subsequently used for verification. However, in contrast to a conventional compiler, our compiler's objective is not to create the most efficient code but rather to produce a most precise but still effectively verifiable Petri net–based process model. 相似文献