仿真系统的校核、验证与验收(VV&A):现状与未来 被引量：63

1

作者 王子才 张冰 杨明 《系统仿真学报》 CAS CSCD 1999年第5期321-325,340,共6页

对仿真系统的校核、验证与验收问题进行了详细的介绍。首先对仿真系统校核、验证与验收的历史发展文献情况进行了简要的综述；然后，详细讨论了仿真系统校核、验证与验收的有关概念和原则；对仿真系统校核、验证与验收的过程和方法作了... 对仿真系统的校核、验证与验收问题进行了详细的介绍。首先对仿真系统校核、验证与验收的历史发展文献情况进行了简要的综述；然后，详细讨论了仿真系统校核、验证与验收的有关概念和原则；对仿真系统校核、验证与验收的过程和方法作了认真的分析与比较；并对仿真系统校核、验证与验收计算机辅助系统作了简要的介绍。最后，对仿真系统校核。 展开更多

关键词 仿真系统 校核 验证 验收 枳 度评估

在线阅读 下载PDF 职称材料

仿真系统VV&A发展的五大关键问题 被引量：24

2

作者 杨明 张冰 +1 位作者 马萍 王子才 《系统仿真学报》 CAS CSCD 2003年第11期1506-1508,1513,共4页

仿真系统已经成为军事和民用领域生产和研究不可缺少的工具,仿真可信度问题是影响仿真系统向更宽广领域应用发展的重要问题。仿真系统VV&A重要性日益被仿真用户、开发者和管理者所认识。本文探讨仿真系统VV&A发展需要解决的五... 仿真系统已经成为军事和民用领域生产和研究不可缺少的工具,仿真可信度问题是影响仿真系统向更宽广领域应用发展的重要问题。仿真系统VV&A重要性日益被仿真用户、开发者和管理者所认识。本文探讨仿真系统VV&A发展需要解决的五大关键问题,最后对我国仿真系统VV&A的发展提出几点建议。 展开更多

关键词 仿真系统 vv&a 可信度评估 领域专家

在线阅读 下载PDF 职称材料

建模与仿真、VV&A、T&E三者的关系 被引量：12

3

作者 刘丽 贾荣珍 +1 位作者 王行仁 詹文军 《系统仿真学报》 CAS CSCD 2000年第2期91-94,共4页

随着建模与仿真(ModelingandSimulation,简称M&S)复杂程度的增加,M&S的正确性和置信度的问题显得非常重要。M&S必须经过严密的校核、验证和确认(Verification,ValidationandAccreditation,简称VV&A),以确保M&S达到... 随着建模与仿真(ModelingandSimulation,简称M&S)复杂程度的增加,M&S的正确性和置信度的问题显得非常重要。M&S必须经过严密的校核、验证和确认(Verification,ValidationandAccreditation,简称VV&A),以确保M&S达到预期的目的。仿真系统还必须经过测试与评估(TestandEvaluation,简称T&E)来支持仿真系统的确认。为了在M&S全生命周期中有效地进行VV&A过程和T&E过程,探讨M&S、VV&A、T&E三者的关系是非常必要的。 展开更多

关键词 建模 仿真 vv&a T&E

在线阅读 下载PDF 职称材料

复杂大系统仿真的VV&A理论及过程研究 被引量：5

4

作者 唐见兵 黄晓慧 +1 位作者 焦鹏 查亚兵 《国防科技大学学报》 EI CAS CSCD 北大核心 2009年第3期122-126,131,共6页

为了确保复杂大系统仿真(LCSS)的可信性,应该在建模与仿真(M&S)的全生命周期中开展校核、验证与确认(VV&A)研究。对LCSS的VV&A进行了理论研究,提出其方法论与原则;以基于仿真组件构建的HLA仿真系统为例,从仿真组件层、联邦... 为了确保复杂大系统仿真(LCSS)的可信性,应该在建模与仿真(M&S)的全生命周期中开展校核、验证与确认(VV&A)研究。对LCSS的VV&A进行了理论研究,提出其方法论与原则;以基于仿真组件构建的HLA仿真系统为例,从仿真组件层、联邦成员层及联邦层三个层面研究了VV&A过程,并将这些研究应用于反舰导弹突防联邦仿真中。实践表明,研究对LCSS的VV&A工作具有很好的指导作用,有力地保障了仿真的可信性。 展开更多

关键词 复杂大系统仿真 校核 验证与确认 校核与验证 方法论 可信性

在线阅读 下载PDF 职称材料

仿真系统VV&A研究 被引量：8

5

作者 吴晓燕 刘兴堂 任淑红 《空军工程大学学报（自然科学版）》 CSCD 北大核心 2006年第5期91-94,共4页

仿真系统VV&A是针对仿真系统全生命周期可信性评估而实施的一项重要活动,是仿真系统研究与开发中的关键技术和难题之一。本文围绕仿真系统VV&A中的关键问题展开研究,包括仿真系统VV&A概念体系、VV&A过程模型及VV&A... 仿真系统VV&A是针对仿真系统全生命周期可信性评估而实施的一项重要活动,是仿真系统研究与开发中的关键技术和难题之一。本文围绕仿真系统VV&A中的关键问题展开研究,包括仿真系统VV&A概念体系、VV&A过程模型及VV&A标准/规范技术框架等,为复杂仿真系统VV&A标准研究提供对策与参考。 展开更多

关键词 仿真系统 vv&a 可信性

在线阅读 下载PDF 职称材料

仿真模型VV&A工具研究 被引量：5

6

作者 马震 吴晓燕 +1 位作者 卜祥伟 张蕊 《现代防御技术》 北大核心 2016年第1期225-230,共6页

仿真模型校核、验证与确认(VV&A)工具是提高VV&A工作效率,减轻工作者的工作负担,实现VV&A工作自动化的重要手段。论述了VV&A工具的研究意义,对VV&A工具进行了分类,在介绍国内外VV&A工具的研究现状的基础上,指... 仿真模型校核、验证与确认(VV&A)工具是提高VV&A工作效率,减轻工作者的工作负担,实现VV&A工作自动化的重要手段。论述了VV&A工具的研究意义,对VV&A工具进行了分类,在介绍国内外VV&A工具的研究现状的基础上,指出现阶段VV&A工具研究的不足,提出下一步VV&A工具的研究重点。 展开更多

关键词 仿真模型 vv&a工具 工具分类 工具现状 验证工具 方法库

在线阅读 下载PDF 职称材料

分布交互仿真系统VV&A和可信度评估 被引量：8

7

作者 杨明 张冰 +1 位作者 王子才 杜国琦 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 1999年第5期48-51,共4页

分布交互仿真是面向复杂大系统研制、开发与人员培训的一门先进的仿真技术，其仿真可信度问题是分布交互仿真成功应用的关键之一，分布交互仿真系统的校核、验证和确认（VV＆A）则是伴随分布交互仿真系统设计、开发、运行、维护整个生... 分布交互仿真是面向复杂大系统研制、开发与人员培训的一门先进的仿真技术，其仿真可信度问题是分布交互仿真成功应用的关键之一，分布交互仿真系统的校核、验证和确认（VV＆A）则是伴随分布交互仿真系统设计、开发、运行、维护整个生命周期的一项重要的活动，分布交互仿真系统VV＆A是可信度评估的基础．对分市交互仿真系统的VV＆A和可信度评估问题做了比较详细的介绍，并对我国目前开展有关研究工作的情况进行了分析和介绍。 展开更多

关键词 仿真 分布交互仿真 校核 验证 确认 可信度评估

在线阅读 下载PDF 职称材料

建模与仿真VV&A技术研究与发展 被引量：7

8

作者 孙雅峰 黄芝平 杨小品 《电子测量技术》 2009年第8期1-4,11,共5页

VV&A是当前建模与仿真研究的主要热点之一。随着科学技术的发展,仿真对象由一般系统发展到复杂系统,系统建模与仿真的校核、验证和确认(VV&A)的重要性越发突出。本文追踪了国内外VV&A研究进展,介绍了VV&A的相关概念、... VV&A是当前建模与仿真研究的主要热点之一。随着科学技术的发展,仿真对象由一般系统发展到复杂系统,系统建模与仿真的校核、验证和确认(VV&A)的重要性越发突出。本文追踪了国内外VV&A研究进展,介绍了VV&A的相关概念、基本原则、技术方法和仿真系统的VV&A过程,指出了国内VV&A研究存在问题和发展方向。 展开更多

关键词 建模与仿真 校核 验证和确认 可信度评估 过程 方法

在线阅读 下载PDF 职称材料

基于HLA的鱼雷武器性能仿真系统及其VV&A研究 被引量：2

9

作者 杨惠珍 李家宽 +1 位作者 康凤举 吴宇 《系统仿真学报》 CAS CSCD 北大核心 2010年第4期905-907,共3页

讨论了高层体系结构(HLA)技术应用于鱼雷武器性能仿真的需求和关键技术以及该仿真系统的VV&A:(1)建立精确的武器系统仿真模型;(2)解决实时性问题;(3)建立有效的VV&A技术保障。在基于HLA的鱼雷武器性能仿真系统的FEDEP开发过程... 讨论了高层体系结构(HLA)技术应用于鱼雷武器性能仿真的需求和关键技术以及该仿真系统的VV&A:(1)建立精确的武器系统仿真模型;(2)解决实时性问题;(3)建立有效的VV&A技术保障。在基于HLA的鱼雷武器性能仿真系统的FEDEP开发过程中利用Labworks工具集辅助进行FOM/SOM校核、互操作性校核以及联邦测试等VV&A过程,采用主观判断分析、软件测试和频谱分析等方法对鱼雷控制系统模型、弹道模型和自导系统模型进行了校核与验证,提高了HLA仿真试验结果的可信度。 展开更多

关键词 高层体系结构 校核、验证与确认 可信度

在线阅读 下载PDF 职称材料

HLA作战仿真的VV&A过程 被引量：2

10

作者 唐见兵 李革 《计算机工程》 CAS CSCD 北大核心 2007年第14期254-256,共3页

介绍了HLA作战仿真的基本情况及其联邦结构。以某作战仿真为例,将校核、验证与确认(VV&A)过程作为研究的重点,把VV&A过程分为7个步骤,分别对每一步进行研究。结果表明,该作战仿真达到了可信度要求,是可以接受的,对它进行VV&... 介绍了HLA作战仿真的基本情况及其联邦结构。以某作战仿真为例,将校核、验证与确认(VV&A)过程作为研究的重点,把VV&A过程分为7个步骤,分别对每一步进行研究。结果表明,该作战仿真达到了可信度要求,是可以接受的,对它进行VV&A研究,对联邦的开发和系统的改进有一定的帮助,能够在一定程度上起到提高联邦可信度的作用。 展开更多

关键词 HLa 作战仿真 校核 验证 确认 V&V

在线阅读 下载PDF 职称材料

基于仿真组件构建的HLA仿真系统VV&A研究 被引量：1

11

作者 唐见兵 焦鹏 +1 位作者 黄晓慧 查亚兵 《系统仿真学报》 CAS CSCD 北大核心 2009年第9期2478-2481,共4页

为了确保HLA仿真系统的可信性,在系统的建模与仿真全生命周期中进行VV&A研究,意义非常重大。介绍了基于仿真组件构建的HLA仿真系统的体系结构,从仿真组件层、联邦成员层和仿真联邦层三个层面展开VV&A研究,重点介绍了仿真组件层... 为了确保HLA仿真系统的可信性,在系统的建模与仿真全生命周期中进行VV&A研究,意义非常重大。介绍了基于仿真组件构建的HLA仿真系统的体系结构,从仿真组件层、联邦成员层和仿真联邦层三个层面展开VV&A研究,重点介绍了仿真组件层和仿真联邦层的VV&A工作。这些研究在XXX反舰导弹突防联邦得到了应用。对基于仿真组件构建的HLA仿真系统进行VV&A研究,将对系统的开发和改进有一定的帮助,能够在一定程度上起到提高联邦可信度的作用。 展开更多

关键词 仿真组件 HLa 校核 验证 vv&a

在线阅读 下载PDF 职称材料

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

12

作者 唐见兵 焦鹏 +1 位作者 黄晓慧 查亚兵 《系统仿真学报》 CAS CSCD 北大核心 2009年第12期3495-3498,共4页

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

关键词 基本对象模型 HLa 仿真模型组件 校核与验证 vv&a

在线阅读 下载PDF 职称材料

导弹武器仿真系统VV＆A方法与实现过程研究 被引量：2

13

作者 樊浩 黄树彩 周延延 《现代防御技术》 北大核心 2010年第1期121-127,共7页

校核、验证与确认(VV&A)是保证导弹武器仿真系统正确性和可用性的关键技术。为提高VV&A活动的效率,给工程技术人员提供参考,系统地总结了VV&A活动各阶段的常用技术方法、特点及其应用范围,并结合VV&A活动一般过程,从实... 校核、验证与确认(VV&A)是保证导弹武器仿真系统正确性和可用性的关键技术。为提高VV&A活动的效率,给工程技术人员提供参考,系统地总结了VV&A活动各阶段的常用技术方法、特点及其应用范围,并结合VV&A活动一般过程,从实际工程化角度,根据导弹武器系统的特点,建立了导弹武器仿真系统VV&A过程模型,重点研究了其VV&A过程各阶段的具体实现过程以及可以应用于该领域的VV&A技术、方法。所研究内容也可为其他仿真系统VV&A活动提供参考,具有较好的扩展性。 展开更多

关键词 导弹武器系统 校核 验证与确认 校核 验证与确认方法 校核 验证与确认过程

在线阅读 下载PDF 职称材料

建模与仿真VV&A工具设计与实现 被引量：4

14

作者 杨丽娜 吴晓燕 《现代防御技术》 北大核心 2008年第4期148-152,共5页

在深入研究VV&A过程模型的基础上,建立了仿真和建模VV&A工具设计方案,详细介绍了各个模块的功能、相互之间的关系及工作流程。应用ODBC互连技术实现接口间的通信,将VV&A工具应用于实际工程中,取得了令人满意的结果,从而有... 在深入研究VV&A过程模型的基础上,建立了仿真和建模VV&A工具设计方案,详细介绍了各个模块的功能、相互之间的关系及工作流程。应用ODBC互连技术实现接口间的通信,将VV&A工具应用于实际工程中,取得了令人满意的结果,从而有效提高了仿真VV&A过程的经济性和快捷性。 展开更多

关键词 仿真和建模 校核、验证和确认(vv&a)技术 最大熵谱估计

在线阅读 下载PDF 职称材料

一种VV&A任务选择的优化方法 被引量：1

15

作者 吴征宇 刘胤田 《现代防御技术》 北大核心 2008年第2期138-142,共5页

针对M&S可靠性问题,提出一种风险/效益分析方法,用于实现VV&A活动选择的最优化,主要工作有:提出模型与仿真(M&S)的风险与效益在特定应用背景下可通过影响级别及其发生概率进行量化,进而确定M&S的可靠性级别;提出可靠性... 针对M&S可靠性问题,提出一种风险/效益分析方法,用于实现VV&A活动选择的最优化,主要工作有:提出模型与仿真(M&S)的风险与效益在特定应用背景下可通过影响级别及其发生概率进行量化,进而确定M&S的可靠性级别;提出可靠性级别可以确保M&S的最小化风险和最大效益,依据所要求的可靠性级别从一系列标准化的VV&A活动中选择出最合适的组合,以实现所选择的VV&A活动的正确性并可以监控风险/效益的变化对VV&A需求的影响。 展开更多

关键词 模型与仿真 验证、校核和确认 风险/效益

在线阅读 下载PDF 职称材料

发射车建模与仿真的VV&A应用探索 被引量：2

16

作者 张生 吴艳 王忠 《导弹与航天运载技术》 CSCD 北大核心 2017年第1期75-78,106,共5页

发射车建模与仿真的校核、验证和确认(Verification Validation and Accreditation,VV&A)是建模与仿真过程中保证模型可信度的重要环节,简要论述国内外VV&A的基本概念、研究与应用现状和应用方法。介绍发射车仿真及VV&A应... 发射车建模与仿真的校核、验证和确认(Verification Validation and Accreditation,VV&A)是建模与仿真过程中保证模型可信度的重要环节,简要论述国内外VV&A的基本概念、研究与应用现状和应用方法。介绍发射车仿真及VV&A应用现状,提出发射车建模与仿真中VV&A的应用方法以及发射车建模与仿真的VV&A应用发展途径。 展开更多

关键词 发射车 建模与仿真 校核、验证和确认

在线阅读 下载PDF 职称材料

基于TLA的事件图模型形式化验证方法 被引量：4

17

作者 夏薇 姚益平 慕晓冬 《计算机应用研究》 CSCD 北大核心 2011年第11期4171-4173,4187,共4页

针对目前没有直接对事件图模型进行形式化验证的方法,提出了一种基于行为时态逻辑(temporal logicof action,TLA)的事件图模型形式化验证方法。该方法利用TLA语言能够同时表达模型行为与逻辑规则的特点及其与事件图的相似性,将事件图模... 针对目前没有直接对事件图模型进行形式化验证的方法,提出了一种基于行为时态逻辑(temporal logicof action,TLA)的事件图模型形式化验证方法。该方法利用TLA语言能够同时表达模型行为与逻辑规则的特点及其与事件图的相似性,将事件图模型及性质规约用TLA语言进行形式化描述,从而使该模型能够被TLA模型检验工具进行验证。这种方法不仅能够有效提高仿真模型的正确性,而且能够提高模型的可重用性,简化仿真模型建模与验证过程。最后利用TLA模型检验工具对实例进行了验证,实验结果表明了该方法的有效性。 展开更多

关键词 仿真模型 验证、确认和认定 模型检验 行为时态逻辑 事件图

在线阅读 下载PDF 职称材料

基于MDA的联邦开发和执行过程分析与改进 被引量：2

18

作者 沈宇军 柏彦奇 王向飞 《计算机工程与设计》 CSCD 北大核心 2006年第8期1405-1407,1410,共4页

模型驱动体系架构(model driven architecture,MDA)是先进的软件开发方法学,对开发HLA仿真系统具有很好的借鉴作用。在系统地总结了MDA系统开发原理以及联邦开发和执行过程模型(federation development and execute process model,FED-... 模型驱动体系架构(model driven architecture,MDA)是先进的软件开发方法学,对开发HLA仿真系统具有很好的借鉴作用。在系统地总结了MDA系统开发原理以及联邦开发和执行过程模型(federation development and execute process model,FED-EP)的基础上,归纳了应用MDA系统开发方法进行HLA仿真系统开发的技术优势,初步探讨了基于MDA的FEDEP和联邦VV&A过程。 展开更多

关键词 联邦开发和执行过程 模型驱动架构 高层体系结构 验证、确认和认证

在线阅读 下载PDF 职称材料

基于HLA的仿真系统的校核、验证与确认研究 被引量：6

19

作者 曹星平 黄柯棣 《系统仿真学报》 CAS CSCD 2003年第1期1-4,共4页

对基于高层体系结构(High Level Architecture,简称HLA)的仿真系统的校核、验证与确认(Verification, Validation and Accreditation,简称VV&A)问题进行了详细的介绍及分析。在回顾研究历史及现状的基础上,首先介绍了HLA中VV&A... 对基于高层体系结构(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 仿真系统 校核 验证 计算机仿真 高层体系结构 互操作性 可重用性

在线阅读 下载PDF 职称材料

基于Vega的红外仿真的优化和评估 被引量：2

20

作者 陈灵娟 李岩 +1 位作者 王鹤淇 董宁宁 《中国光学与应用光学》 2009年第6期550-556,共7页

借助于三维实时视景仿真软件Vega的红外模块研究了自建模型的红外效应。介绍了红外仿真原理,给出了详细的红外仿真流程,并详细分析了仿真结果。根据项目对仿真精度的要求,提出了优化仿真过程的方法。结合Vega的底层映射机理提出更为精... 借助于三维实时视景仿真软件Vega的红外模块研究了自建模型的红外效应。介绍了红外仿真原理,给出了详细的红外仿真流程,并详细分析了仿真结果。根据项目对仿真精度的要求,提出了优化仿真过程的方法。结合Vega的底层映射机理提出更为精确的长波波段下的辐射量灰度映射关系,同时通过TMM的纹理材质映射关系改进,得到更为符合实际的材质反射率计算公式,并为仿真系统重建了传感器模型,使得仿真模型的辐射量偏差缩小为1.145%～3.358%。此外,初步探讨了仿真系统的校核、验证和确认技术(VV&A),并对仿真过程做了全生命周期的可信性评估,为进一步研究仿真系统的可信性评估提供了参考。 展开更多

关键词 红外仿真 优化建模 VEGa vv&a 可信性评估

在线阅读 下载PDF 职称材料