-
题名关于仿真模型检验的研究
被引量：10
- 1
-
-
作者
冉承新
凌云翔
-
机构
国防科学技术大学人文与管理学院
-
出处
《计算机仿真》
CSCD
2005年第8期62-64,共3页
-
文摘
仿真系统的可信性,它关系到系统的研制周期、使用寿命和可靠性。建模仿真可信性研究,又称为建模仿真“校核、验证和确认”,就是解决模型有用、敢用和相信问题,这是非常重要的。建模仿真VV&A研究包括概念性研究、建模仿真VV&A过程、VV&A技术方法等。事实上,建模仿真VV&A是建模仿真的全面质量管理,包含技术和管理工作。该文通过借鉴国内外在该领域的研究成果,对建模仿真VV&A理论进行了概述研究,并给出建模仿真方法。
-
关键词
校核
验证和确认
仿真模型
过程
-
Keywords
verification validation and accreditation （vv＆A）
Simulation model
Process
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名HLA作战仿真的VV&A过程
被引量：2
- 2
-
-
作者
唐见兵
李革
-
机构
国防科技大学机电工程与自动化学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第14期254-256,共3页
-
文摘
介绍了HLA作战仿真的基本情况及其联邦结构。以某作战仿真为例,将校核、验证与确认(VV&A)过程作为研究的重点,把VV&A过程分为7个步骤,分别对每一步进行研究。结果表明,该作战仿真达到了可信度要求,是可以接受的,对它进行VV&A研究,对联邦的开发和系统的改进有一定的帮助,能够在一定程度上起到提高联邦可信度的作用。
-
关键词
HLA
作战仿真
校核
验证
确认
V&V
-
Keywords
high level architecture（HLA）
warfare simulation
verification, validation and accreditation（vv＆A）
verification and validation （v＆v）
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名仿真模型VV&A工具研究
被引量：4
- 3
-
-
作者
马震
吴晓燕
卜祥伟
张蕊
-
机构
空军工程大学防空反导学院
-
出处
《现代防御技术》
北大核心
2016年第1期225-230,共6页
-
基金
陕西省自然科学基础研究计划资助项目(2012JM8020)
-
文摘
仿真模型校核、验证与确认(VV&A)工具是提高VV&A工作效率,减轻工作者的工作负担,实现VV&A工作自动化的重要手段。论述了VV&A工具的研究意义,对VV&A工具进行了分类,在介绍国内外VV&A工具的研究现状的基础上,指出现阶段VV&A工具研究的不足,提出下一步VV&A工具的研究重点。
-
关键词
仿真模型
vv&A工具
工具分类
工具现状
验证工具
方法库
-
Keywords
simulation model
verification, validation and accreditation （vv＆A） tools
classification
present condition
validation tool
method base
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名基于TLA的事件图模型形式化验证方法
被引量：4
- 4
-
-
作者
夏薇
姚益平
慕晓冬
-
机构
国防科学技术大学计算机学院
第二炮兵工程学院计算机系
-
出处
《计算机应用研究》
CSCD
北大核心
2011年第11期4171-4173,4187,共4页
-
基金
国家自然科学基金资助项目(60773019)
国家博士点基金资助项目(200899980004)
-
文摘
针对目前没有直接对事件图模型进行形式化验证的方法,提出了一种基于行为时态逻辑(temporal logicof action,TLA)的事件图模型形式化验证方法。该方法利用TLA语言能够同时表达模型行为与逻辑规则的特点及其与事件图的相似性,将事件图模型及性质规约用TLA语言进行形式化描述,从而使该模型能够被TLA模型检验工具进行验证。这种方法不仅能够有效提高仿真模型的正确性,而且能够提高模型的可重用性,简化仿真模型建模与验证过程。最后利用TLA模型检验工具对实例进行了验证,实验结果表明了该方法的有效性。
-
关键词
仿真模型
验证、确认和认定
模型检验
行为时态逻辑
事件图
-
Keywords
simulation models
verification
validation ＆ accreditation（vv＆A）
model checking
temporal logic of action（TLA）
event graph
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名导弹武器仿真系统VV＆A方法与实现过程研究
被引量：2
- 5
-
-
作者
樊浩
黄树彩
周延延
-
机构
空军工程大学导弹学院
-
出处
《现代防御技术》
北大核心
2010年第1期121-127,共7页
-
文摘
校核、验证与确认(VV&A)是保证导弹武器仿真系统正确性和可用性的关键技术。为提高VV&A活动的效率,给工程技术人员提供参考,系统地总结了VV&A活动各阶段的常用技术方法、特点及其应用范围,并结合VV&A活动一般过程,从实际工程化角度,根据导弹武器系统的特点,建立了导弹武器仿真系统VV&A过程模型,重点研究了其VV&A过程各阶段的具体实现过程以及可以应用于该领域的VV&A技术、方法。所研究内容也可为其他仿真系统VV&A活动提供参考,具有较好的扩展性。
-
关键词
导弹武器系统
校核
验证与确认
校核
验证与确认方法
校核
验证与确认过程
-
Keywords
missile weapon system
verification validation and accreditation（vv＆A）
vv＆A meth- od
vv＆A process
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名用于仿真系统可信度评估的CES网方法研究
被引量：2
- 6
-
-
作者
方可
王子才
-
机构
哈尔滨工业大学控制与仿真中心
-
出处
《控制与决策》
EI
CSCD
北大核心
2011年第5期737-742,共6页
-
基金
国家"973"计划项目(613900201)
-
文摘
在分析了仿真可信度评估需求及问题域的基础上,提出了仿真可信度评估(CES)网的概念,给出了网元素的数学定义、规则、性质、算式、节点优先级等,并提供了一个仿真可信度评估的应用实例.CES网能够弥补传统层次分析(AHP)法在复杂系统中的不足,更适合解决仿真可信度评估问题.
-
关键词
仿真可信度评估
校核、验证与验收
层次分析
仿真可信度评估网
节点优先级
-
Keywords
simulation credibility evaluation
verification
validation ＆ accreditation（vv＆A）
analytic hierarchy process（AHP）
credibility evaluation for simulation net
node priority
-
分类号
TH166
[机械工程—机械制造及自动化]
-
-
题名基于Vega的红外仿真的优化和评估
被引量：2
- 7
-
-
作者
陈灵娟
李岩
王鹤淇
董宁宁
-
机构
中国科学院长春光学精密机械与物理研究所
中国科学院研究生院
-
出处
《中国光学与应用光学》
2009年第6期550-556,共7页
-
基金
中国科学院知识创新工程领域前沿项目资助~~
-
文摘
借助于三维实时视景仿真软件Vega的红外模块研究了自建模型的红外效应。介绍了红外仿真原理,给出了详细的红外仿真流程,并详细分析了仿真结果。根据项目对仿真精度的要求,提出了优化仿真过程的方法。结合Vega的底层映射机理提出更为精确的长波波段下的辐射量灰度映射关系,同时通过TMM的纹理材质映射关系改进,得到更为符合实际的材质反射率计算公式,并为仿真系统重建了传感器模型,使得仿真模型的辐射量偏差缩小为1.145%～3.358%。此外,初步探讨了仿真系统的校核、验证和确认技术(VV&A),并对仿真过程做了全生命周期的可信性评估,为进一步研究仿真系统的可信性评估提供了参考。
-
关键词
红外仿真
优化建模
VEGA
vv&A
可信性评估
-
Keywords
infrared simulation
optimizing model
Vega
verification, validation and accreditation （ vv＆A ）
evaluating creditability
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名复杂仿真系统模型验证工具设计与实现
被引量：1
- 8
-
-
作者
马震
吴晓燕
张蕊
卜祥伟
-
机构
空军工程大学防空反导学院
-
出处
《现代防御技术》
北大核心
2016年第4期153-159,共7页
-
文摘
模型验证是VV&A工作的重要内容之一,为了提高复杂仿真系统模型验证的工作效率,基于C#语言,设计了复杂仿真系统模型验证工具。详细阐述了验证工具的总体结构设计,深入讨论了各子模块的功能和具体实现,并通过实例说明了该工具的设计和实现是合理有效的,实现了模型验证的自动化。
-
关键词
仿真系统
vv&A
验证工具
流程图
框架图
方法库
-
Keywords
simulation system
verification, validation and accreditation （vv＆A）
validation tool
flow chart
framework
validation method base
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名系统建模与仿真应用的校验、确认与验收
被引量：1
- 9
-
-
作者
王仁春
李昊
戴金海
-
机构
国防科技大学航天与材料工程学院
-
出处
《计算机仿真》
CSCD
2007年第5期58-61,共4页
-
文摘
以美国国防部(DoD)近年来对建模与仿真(M&S)应用所做的校验、确认与验收(VV&A)研究工作为基础,介绍了关于M&S应用的校验、确认、验收、鉴定等概念;结合软件工程的3P指标提出一种通用的形式化表示的M&S应用VV&A框架;讨论了M&S应用可信度指标的层次化体系的建立与评价方法,引入了Kiviat图;最后介绍了一个用于M&S可信度评价的计算机软件平台——EE(Evaluation Environm ent,评价环境)。
-
关键词
建模与仿真应用
可信度
校验
确认与验收
-
Keywords
Modeling and simulation applications
Credibility
verification, validation and accreditation（vv＆V）
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名建模与仿真VV&A辅助软件设计与实现
- 10
-
-
作者
李浩
唐硕
闫晓东
-
机构
西北工业大学航天学院
航天运载系统仿真实验室
-
出处
《飞行器测控学报》
2012年第2期63-68,共6页
-
文摘
设计开发了MSVAS（建模与仿真VV＆A（校核、验证和确认）辅助软件）,提高导弹动力学仿真系统VV＆A自动化程度。过程管理模块通过工程配置文件设计,提供VV＆A流程的图形化设计与管理、任务安排等功能,指导VV＆A工作顺利进行;评估分析模块提供方法库,为各类具体评估工作提供技术方法支持;模型测试模块提供各种试验设计方法,目的是为充分测试评估模型的可信性设计各类测试实例;资源管理模块对导弹动力学系统VV＆A所涉及到的数据、模型和文档等资源进行了合理、有效的管理。MSVAS能为导弹动力学仿真系统VV＆A提供过程管理、技术等支持,提高了VV＆A工作效率,并减轻工作者的负担。
-
关键词
建模与仿真(M&S)
校核、验证和确认(vv&A)
工具箱
过程管理
-
Keywords
Modeling and Simulation （M＆S）
verification, validation and accreditation （vv＆A）
Toolkit
Process Management
-
分类号
V448.1
[航空宇航科学与技术—飞行器设计]
TP311
[自动化与计算机技术—计算机软件与理论]
-
