韩伟
- 作品数：4 被引量：4H指数：2
- 供职机构：中航工业西安航空计算技术研究所更多>>
- 发文基金：中国航空科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 航空航天嵌入式计算机体系架构评估模型被引量：2
- 2015年
- 典型的航空航天嵌入式计算机具有很多共同的特点,在体系架构的设计方面表现尤为突出。从飞机飞行控制计算机、导弹制导控制计算机和星载计算机3种典型嵌入式计算机入手,分析了航空航天行业嵌入式计算机的体系架构特点和共性技术,从模块化、网络、综合化、集约化、长寿命、COTS和开放性7个体系架构特征开展研究,归纳出通用架构、成本控制和适应发展3个评价维度,从而构建了针对这类嵌入式计算机的体系架构评估模型。对每个体系架构特征提出了基本的评判原则和具有可操作性的参考项,并给出了整机、评价维度和体系架构特征三者的分级之间的关系,以此便可对嵌入式计算机进行分级,以满足不同的评估需求。以两种先进的航空嵌入式计算机的评估为例,说明了评估的过程和方法。评估实例表明,该评估模型清晰、有效、实用。
- 韩伟白晓颖谢建春
- 关键词：航空航天嵌入式计算机模块化
- 基于FPGA的CFD计算硬件加速研究
- CFD(计算流体力学)计算任务具有计算密集，耗时集中等特点。在CPU+FPGA异构平台下，将FPGA作为硬件加速协处理器可以实现CFD计算性能的提升。本文针对Euler3D程序开展了计算任务的软硬件划分和模块的硬化与封装...
- 胡国赵小冬韩伟白林亭李明娟
- 关键词：CFD硬件加速异构平台软硬件划分
- 基于ATL引擎的UML到Simulink模型转换方法研究被引量：2
- 2015年
- 针对UML的半形式化的表达方式缺乏精确的语义,无法验证软件设计过程中正确性的问题,展开UML设计模型到Simulink仿真模型转换方法研究。提出了一种UML状态机到Simulink/Stateflow的模型转换方法,建立UML状态机元模型、Simulink/Stateflow元模型以及状态机元模型到Stateflow元模型的映射规则。选取自动飞控软件作为案例,验证该方法的正确性。方法实现UML设计模型和Simulink仿真模型的自动转换,提高嵌入式软件开发效率,丰富并且完善模型驱动开发,也为嵌入式软件开发提供了技术支持。
- 郭鹏李亚晖李明娟韩伟
- 关键词：模型驱动开发ATLUMLSIMULINK
- 基于System Generator的流体力学算法建模及仿真
- 2017年
- 为了提高流体力学算法EULER3D程序的性能,提出了一种基于System Generator的软硬件结合的优化方法。在分析算法流程和耗时函数的基础上,用System Generator模块搭建系统模型,实现EULER3D的核心计算功能,并进行仿真。利用高速以太网接口实现PC和FPGA之间的数据交互,最终实现了EULER3D程序的整体性能优化。将实验结果与直接编写VHDL代码开发方法比较,结果表明,使用System Generator能够降低FPGA编程要求,提高开发效率。
- 韩伟谢建春
- 关键词：SYSTEMGENERATORFPGA流体力学
