高江林
- 作品数：3 被引量：11H指数：2
- 供职机构：空军工程大学防空反导学院更多>>
- 发文基金：陕西省自然科学基金国防科技技术预先研究基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 半实物仿真系统VV&A研究被引量：8
- 2011年
- 半实物仿真系统因其具有的提高系统研制质量、缩短研制周期、节约研制经费等优点成为仿真领域研究的重要方向,对其开展VV&A研究则是保证仿真结果可用和可信的有效途径,为了更好开展半实物仿真及其VV&A工作,论文重点分析了半实物仿真系统的主要特点,提出了开展VV&A应遵循的原则,并有针对性的设计了其VV&A过程,最后以实例分析了兼顾工程应用和效率的半实物仿真系统VV&A实现,所得出的结论对复杂仿真系统VV&A有一定借鉴意义。
- 高江林吴晓燕李勇君邱朝彬
- 关键词：半实物仿真系统VV&A
- 复杂仿真系统可信度评估辅助工具设计与实现被引量：2
- 2011年
- 为了提高复杂仿真系统可信度评估的工作效率,保证评估活动的规范化,设计并开发了复杂仿真系统可信度评估辅助工具——CEAT(credibility evaluation assistant tool)。分析了复杂仿真系统可信度评估所面临的问题及其实现自动化的迫切需要,并讨论了国内外的研究现状。详细阐述了CEAT的功能特点和总体结构设计,深入探讨了各关键模块的具体实现,并通过应用实例说明了该工具的设计和实现是合理有效的,实现了可信度评估的自动化。
- 李勇君吴晓燕吴静高江林
- 关键词：复杂仿真系统层次分析
- 基于UML的任务空间概念模型动态行为验证研究被引量：1
- 2012年
- 动态行为的验证已经成为任务空间概念模型校验的重点和难点,而统一建模语言(Unified Modeling Language,UML)是半形式化的语言,难以进行动态行为的分析和验证,采用Petri网进行概念模型形式化验证是理论和方法研究的重要方向。论文提出了基于CPN的动态行为验证过程,论述了动态行为验证的主要内容,并应用CPN Tools对反导作战概念模型进行了动态行为验证,仿真结果表明概念模型是正确的。该方法可以提高模型校验的自动化水平,从而提高校验的效率和校验结果的可信性。
- 高江林吴晓燕
- 关键词：UML任务空间概念模型着色PETRI网
