期刊文献+
共找到17篇文章
< 1 >
每页显示 20 50 100
仿真系统的校核、验证与验收(VV&A):现状与未来 被引量:65
1
作者 王子才 张冰 杨明 《系统仿真学报》 CAS CSCD 1999年第5期321-325,340,共6页
对仿真系统的校核、验证与验收问题进行了详细的介绍。首先对仿真系统校核、验证与验收的历史发展文献情况进行了简要的综述;然后,详细讨论了仿真系统校核、验证与验收的有关概念和原则;对仿真系统校核、验证与验收的过程和方法作了... 对仿真系统的校核、验证与验收问题进行了详细的介绍。首先对仿真系统校核、验证与验收的历史发展文献情况进行了简要的综述;然后,详细讨论了仿真系统校核、验证与验收的有关概念和原则;对仿真系统校核、验证与验收的过程和方法作了认真的分析与比较;并对仿真系统校核、验证与验收计算机辅助系统作了简要的介绍。最后,对仿真系统校核。 展开更多
关键词 仿真系统 校核 验证 验收 度评估
在线阅读 下载PDF
仿真模型VV&A工具研究 被引量:5
2
作者 马震 吴晓燕 +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
3
作者 杨明 张冰 +1 位作者 王子才 杜国琦 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 1999年第5期48-51,共4页
分布交互仿真是面向复杂大系统研制、开发与人员培训的一门先进的仿真技术,其仿真可信度问题是分布交互仿真成功应用的关键之一,分布交互仿真系统的校核、验证和确认(VV&A)则是伴随分布交互仿真系统设计、开发、运行、维护整个生... 分布交互仿真是面向复杂大系统研制、开发与人员培训的一门先进的仿真技术,其仿真可信度问题是分布交互仿真成功应用的关键之一,分布交互仿真系统的校核、验证和确认(VV&A)则是伴随分布交互仿真系统设计、开发、运行、维护整个生命周期的一项重要的活动,分布交互仿真系统VV&A是可信度评估的基础.对分市交互仿真系统的VV&A和可信度评估问题做了比较详细的介绍,并对我国目前开展有关研究工作的情况进行了分析和介绍。 展开更多
关键词 仿真 分布交互仿真 校核 验证 确认 可信度评估
在线阅读 下载PDF
导弹武器仿真系统VV&A方法与实现过程研究 被引量:2
4
作者 樊浩 黄树彩 周延延 《现代防御技术》 北大核心 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
HLA作战仿真的VV&A过程 被引量:2
5
作者 唐见兵 李革 《计算机工程》 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
建模与仿真VV&A工具设计与实现 被引量:4
6
作者 杨丽娜 吴晓燕 《现代防御技术》 北大核心 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
7
作者 吴征宇 刘胤田 《现代防御技术》 北大核心 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
系统测试-评估-协同工作集成平台研究 被引量:4
8
作者 杨明 张冰 +1 位作者 马萍 王子才 《系统仿真学报》 CAS CSCD 2002年第1期63-66,共4页
在分析分布交互仿真系统全生命周期中对测试、评估及协同工作环境工具的需求基础上,提出了分布交互仿真系统测试-评估-协同工作一体化集成平台方案,实现了对分布交互仿真系统全生命周期测试评估活动的全方位支撑。本文介绍了在集成平台... 在分析分布交互仿真系统全生命周期中对测试、评估及协同工作环境工具的需求基础上,提出了分布交互仿真系统测试-评估-协同工作一体化集成平台方案,实现了对分布交互仿真系统全生命周期测试评估活动的全方位支撑。本文介绍了在集成平台开发过程中解决了一系列的关键技术问题。本文的研究工作对分布交互仿真测试评估技术研究与应用具有重要意义,为开发更加有效的分布交互仿真系统测试评估和协同工作平台奠定了基础。 展开更多
关键词 分布交互仿真系统 测试评估 校核 验证 验收 计算机支持协同工作
在线阅读 下载PDF
基于TLA的事件图模型形式化验证方法 被引量:4
9
作者 夏薇 姚益平 慕晓冬 《计算机应用研究》 CSCD 北大核心 2011年第11期4171-4173,4187,共4页
针对目前没有直接对事件图模型进行形式化验证的方法,提出了一种基于行为时态逻辑(temporal logicof action,TLA)的事件图模型形式化验证方法。该方法利用TLA语言能够同时表达模型行为与逻辑规则的特点及其与事件图的相似性,将事件图模... 针对目前没有直接对事件图模型进行形式化验证的方法,提出了一种基于行为时态逻辑(temporal logicof action,TLA)的事件图模型形式化验证方法。该方法利用TLA语言能够同时表达模型行为与逻辑规则的特点及其与事件图的相似性,将事件图模型及性质规约用TLA语言进行形式化描述,从而使该模型能够被TLA模型检验工具进行验证。这种方法不仅能够有效提高仿真模型的正确性,而且能够提高模型的可重用性,简化仿真模型建模与验证过程。最后利用TLA模型检验工具对实例进行了验证,实验结果表明了该方法的有效性。 展开更多
关键词 仿真模型 验证、确认和认定 模型检验 行为时态逻辑 事件图
在线阅读 下载PDF
分布交互仿真中DR技术的综合评价 被引量:5
10
作者 杨明 张冰 王子才 《系统仿真学报》 CAS CSCD 1999年第6期430-432,460,共4页
DR 技术是分布交互仿真中的一项关键技术,其应用的有效性必须通过检验与评价加以确定。本文对DR技术的检验与评价问题进行了深入的探讨,提出了8 项DR 技术指标,给出了具体指标计算公式,最后,根据分布交互仿真系统开发过程... DR 技术是分布交互仿真中的一项关键技术,其应用的有效性必须通过检验与评价加以确定。本文对DR技术的检验与评价问题进行了深入的探讨,提出了8 项DR 技术指标,给出了具体指标计算公式,最后,根据分布交互仿真系统开发过程方法。 展开更多
关键词 分布交互仿真 综合评价 仿真系统 DR技术
在线阅读 下载PDF
大规模分布仿真中的测试评估辅助系统研究 被引量:3
11
作者 郑扬飞 杨明 王子才 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2002年第3期344-347,共4页
为了解决分布仿真系统测试评估工作效率低下的问题 .介绍了一个分布仿真测试评估辅助系统(DTEAS)的组成、体系结构、主要功能模块及实现中的若干关键技术 ,详细论述了数据记录与重演、系统测试与评估、演练监测与分析、报表生成与发布... 为了解决分布仿真系统测试评估工作效率低下的问题 .介绍了一个分布仿真测试评估辅助系统(DTEAS)的组成、体系结构、主要功能模块及实现中的若干关键技术 ,详细论述了数据记录与重演、系统测试与评估、演练监测与分析、报表生成与发布等各个功能模块 .作为大规模分布仿真系统开发、调试过程的计算机测试评估辅助工具 ,DTEAS支持大规模分布仿真试验的全过程数据记录、实体检查、过程重演、数据可视化、数据统计、评估报告的自动生成 .DTEAS已经成功应用于综合仿真环境项目的全系统集成测试工作中 ,显著地提高了测试评估工作的效率和客观性、准确性 。 展开更多
关键词 大规模分布仿真 测试评估辅助系统 分布交互仿真 测试 评估
在线阅读 下载PDF
复杂仿真系统模型验证工具设计与实现 被引量:2
12
作者 马震 吴晓燕 +1 位作者 张蕊 卜祥伟 《现代防御技术》 北大核心 2016年第4期153-159,共7页
模型验证是VV&A工作的重要内容之一,为了提高复杂仿真系统模型验证的工作效率,基于C#语言,设计了复杂仿真系统模型验证工具。详细阐述了验证工具的总体结构设计,深入讨论了各子模块的功能和具体实现,并通过实例说明了该工具的设计... 模型验证是VV&A工作的重要内容之一,为了提高复杂仿真系统模型验证的工作效率,基于C#语言,设计了复杂仿真系统模型验证工具。详细阐述了验证工具的总体结构设计,深入讨论了各子模块的功能和具体实现,并通过实例说明了该工具的设计和实现是合理有效的,实现了模型验证的自动化。 展开更多
关键词 仿真系统 vv&A 验证工具 流程图 框架图 方法库
在线阅读 下载PDF
基于HLA的仿真系统的校核、验证与确认研究 被引量:6
13
作者 曹星平 黄柯棣 《系统仿真学报》 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
基于MDA的联邦开发和执行过程分析与改进 被引量:2
14
作者 沈宇军 柏彦奇 王向飞 《计算机工程与设计》 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
基于Vega的红外仿真的优化和评估 被引量:2
15
作者 陈灵娟 李岩 +1 位作者 王鹤淇 董宁宁 《中国光学与应用光学》 2009年第6期550-556,共7页
借助于三维实时视景仿真软件Vega的红外模块研究了自建模型的红外效应。介绍了红外仿真原理,给出了详细的红外仿真流程,并详细分析了仿真结果。根据项目对仿真精度的要求,提出了优化仿真过程的方法。结合Vega的底层映射机理提出更为精... 借助于三维实时视景仿真软件Vega的红外模块研究了自建模型的红外效应。介绍了红外仿真原理,给出了详细的红外仿真流程,并详细分析了仿真结果。根据项目对仿真精度的要求,提出了优化仿真过程的方法。结合Vega的底层映射机理提出更为精确的长波波段下的辐射量灰度映射关系,同时通过TMM的纹理材质映射关系改进,得到更为符合实际的材质反射率计算公式,并为仿真系统重建了传感器模型,使得仿真模型的辐射量偏差缩小为1.145%~3.358%。此外,初步探讨了仿真系统的校核、验证和确认技术(VV&A),并对仿真过程做了全生命周期的可信性评估,为进一步研究仿真系统的可信性评估提供了参考。 展开更多
关键词 红外仿真 优化建模 VEGA vv&A 可信性评估
在线阅读 下载PDF
飞航导弹弹道仿真的校核、验证和确认 被引量:3
16
作者 胡海 刘鼎臣 《系统仿真学报》 CAS CSCD 2002年第3期274-277,共4页
论述了仿真VV&A的重要意义,提出了飞航导弹弹道仿真VV&A的几条基本原则。提出了飞航导弹弹道仿真VV&A的基本思想和标准。建立了进行飞航导弹弹道仿真VV&A的步骤和方法。对于如何利用非同一母体的实飞数据对仿真数据进... 论述了仿真VV&A的重要意义,提出了飞航导弹弹道仿真VV&A的几条基本原则。提出了飞航导弹弹道仿真VV&A的基本思想和标准。建立了进行飞航导弹弹道仿真VV&A的步骤和方法。对于如何利用非同一母体的实飞数据对仿真数据进行校核和验证的问题提出了解决方案。为飞航导弹武器系统仿真和作战仿真提供了依据和参考。 展开更多
关键词 飞航导弹 弹道仿真 校核 验证 确认
在线阅读 下载PDF
仿真可信性评估中的若干问题及对策研究 被引量:3
17
作者 焦鹏 张琪 +1 位作者 魏翔宇 查亚兵 《系统仿真学报》 CAS CSCD 北大核心 2019年第7期1257-1262,共6页
随着仿真技术在各个领域的愈发广泛应用,用户对仿真系统的可信性也提出了更高的要求。针对在以往仿真系统可信性评估工作中遇到的预期应用不明确、评估工作不全面、评估标准不清晰、评估结论不闭环等若干问题,分析了仿真系统可信性评估... 随着仿真技术在各个领域的愈发广泛应用,用户对仿真系统的可信性也提出了更高的要求。针对在以往仿真系统可信性评估工作中遇到的预期应用不明确、评估工作不全面、评估标准不清晰、评估结论不闭环等若干问题,分析了仿真系统可信性评估的特点,从全面开展可信性评估、加强可接受性标准设计、注重评估闭环实施3个方面,对如何解决现实问题进行了研究和论述。研究成果具有通用性,能够有效指导各类仿真系统可信性评估工作的计划、组织和实施,对提升仿真可信性评估工作的可操作性和实际评估效果有重要意义。 展开更多
关键词 仿真 可信性 校核、验证与确认 校核与验证 可接受性标准
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部