首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到19条相似文献,搜索用时 109 毫秒
1.
基于虚拟样机的仿真系统校核、验证与确认研究   总被引:6,自引:0,他引:6  
虚拟样机模型的正确性和精确度直接影响到仿真的置信度,如何保证建立的计算机仿真模型的正确性是虚拟样机建模的一个重要问题。首先对虚拟样机技术的特点及其仿真步骤进行了描述;然后,在介绍仿真系统校核、验证与确认概念的基础上,讨论了分布交互仿真系统校核、验证与确认的原则;根据虚拟样机的特点,研究制定了虚拟样机仿真系统的校核、验证与确认的七步过程,重点对虚拟样机仿真系统的模型验证方法进行分析;最后,提出了的虚拟样机校核、验证与确认过程中应该遵循的原则。  相似文献   

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

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

4.
该文首先综述了一般仿真活动中VV&A(即模型的校核、验证和确认)的基本概念,它在一般仿真活动中的基本任务及与仿真活动之间的关系。然后介绍了联合作战模拟涉及的相关概念,简单描述了作战模拟领域军事模型建模工作的基本过程,最后在分析联合作战模拟特点的基础上,从工程实施角度对构造联合作战模拟系统的VV&A问题进行了研究。  相似文献   

5.
概念模型验证是建模与仿真校核、验证与确认中的重点和难点。军事概念模型的内涵丰富、层次多、种类多,因而难以在一个层次上验证其全部内容。鉴于此,提出了军事概念模型分层次验证方法,将其划分为系统层、模型层、设计层3个层次,然后分析了各个层次的验证内容、验证指标、验证过程和验证方法。该方法的优点是明确了概念建模各个阶段的验证内容和验证方法,分解了验证工作的复杂性,增强了验证工作的阶段性、层次性、针对性和可操作性。  相似文献   

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

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

8.
校核与验证(V&V)技术包括非正规、静态、动态和正规四类技术,是保证建模与仿真(M&S)的可信度的重要手段。动态V&V技术是其中应用范围较广、数学和逻辑上比较正规的技术。它要求模型转化为应用并被执行,根据模型的执行行为来评价模型的精确性。首先简要介绍了M&S的VV&A和校核与验证技术的分类情况,然后论述了动态校核与验证技术并分析了各自的特点,最后介绍了在建模与仿真过程中动态V&V技术的适用范围。对用于校核与验证的动态测试技术和统计技术作了重点介绍。  相似文献   

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

10.
半个世纪以来,我国建模与仿真技术,无论在广度,还是在深度上都得到了飞速发展,而且勇攀世界科技高峰。可是,建模与仿真技术也是一门学科的问题,在我国尚未形成共识。该文给出了建模与仿真定义、仿真的分类,给出了仿真的校核、验证和确认的定义。描述了建模与仿真学科的涵盖以及仿真的结构,并对建模与仿真学科的特点进行了分析和介绍。  相似文献   

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.
系统建模与仿真应用的校验、确认与验收   总被引:1,自引:0,他引:1  
以美国国防部(DoD)近年来对建模与仿真(M&S)应用所做的校验、确认与验收(VV&A)研究工作为基础,介绍了关于M&S应用的校验、确认、验收、鉴定等概念;结合软件工程的3P指标提出一种通用的形式化表示的M&S应用VV&A框架;讨论了M&S应用可信度指标的层次化体系的建立与评价方法,引入了Kiviat图;最后介绍了一个用于M&S可信度评价的计算机软件平台——EE(Evaluation Environment,评价环境)。  相似文献   

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.
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.
建模技术是体系结构研究、系统分析与设计所采用的最重要的方法之一.探讨DoDAF体系结构建模方法的特点和步骤,并以网格环境下虚拟组织认证系统为例展示其建模过程.所建模型说明,该方法能够满足系统准确建模的要求,可对系统研制过程的优化设计、变更影响分析和风险控制等方面提供技术支撑.  相似文献   

18.
OLAP技术为企业数据分析提供了极大的便利,LC模型是一种用于进行OLAP建模的软件数据模型。本文对LC模型进行了简要的介绍,把OLAP的层次分成了对称层次与非对称层次,并使用LC模型对两种层次进行了一定的解析,这样。使我们加深了对OLAP层次的了解,有利于OLAP的建模。  相似文献   

19.
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.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号