首页> 中文期刊> 《现代防御技术》 >复杂仿真系统模型验证工具设计与实现

复杂仿真系统模型验证工具设计与实现

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

模型验证是VV&A工作的重要内容之一,为了提高复杂仿真系统模型验证的工作效率,基于C#语言,设计了复杂仿真系统模型验证工具.详细阐述了验证工具的总体结构设计,深入讨论了各子模块的功能和具体实现,并通过实例说明了该工具的设计和实现是合理有效的,实现了模型验证的自动化.

著录项

来源
《现代防御技术》 |2016年第4期|153-159|共7页
作者
马震; 吴晓燕; 张蕊; 卜祥伟;
展开▼
作者单位

空军工程大学防空反导学院,陕西西安710051;

空军工程大学防空反导学院,陕西西安710051;

空军工程大学防空反导学院,陕西西安710051;

空军工程大学防空反导学院,陕西西安710051;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机仿真;
关键词
仿真系统; VVA; 验证工具; 流程图; 框架图; 方法库;

相似文献

中文文献
外文文献
专利

1. 复杂仿真系统可信度评估辅助工具设计与实现 [J] . 李勇君 ,吴晓燕 ,吴静 . 现代防御技术 . 2011,第006期
2. 大型复杂仿真系统模型验证的有效途径 [J] . 赵敏荣 ,高鹏 ,惠剑 . 航空计算技术 . 2003,第002期
3. 复杂仿真系统模型验证方法的研究 [J] . 赵敏荣 ,吴晓燕 ,刘兴堂 . 系统仿真学报 . 2003,第10期
4. 基于即时验证的软件验证工具改进设计与实现 [J] . 郭丽娟 ,胡军 ,张剑 . 计算机科学 . 2011,第010期
5. 基于即时验证的软件验证工具改进设计与实现 [J] . 郭丽娟 ,胡军 ,张剑 . 计算机科学与探索 . 2011,第010期
6. 复杂仿真系统可信度评估辅助工具研究 [C] . 胡冰 . 2012年航天可靠性学术交流会 . 2012
7. 仿真系统校核、验证与验收工具的设计与实现 [A] . 马宁 . 2005

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号