军用嵌入式可信软件研究

随着军用计算机技术的不断发展,软件在军用设备中的地位越来越重要。软件规模日益增大,安全性、可靠性等问题日益凸显。充分研究可信软件的特性,对提高我国军用装备技术水平意义重大。在总结学术界对可信软件定义的基础上,结合实际的军事嵌入式应用阐述了软件可信性特点。分析了国内外军用领域软件可信性的发展现状,总结了软件可信性的评估方法。     

基于能量等效的直齿锥齿轮时变啮合刚度计算

针对直齿圆锥齿轮啮合刚度的计算问题,从微元思想出发,将变截面齿廓划分为若干等截面微段齿段,基于能量等效建立微段齿段啮合刚度计算模型,并利用积分方法获得单齿啮合刚度。此外,基于力平衡和变形协调条件进一步提出了齿轮时变啮合刚度计算模型,同时根据几何关系导出了相应传动误差计算式。利用有限元分析对解析计算模型进行了验证,并分析了误差来源。结果表明:利用该模型不仅能够将直齿锥齿轮啮合刚度计算精度保证在2%以内,还达到了快速求解的目的。      

基于IData的航空多功能显示器图形界面

使用OpenGL编码形式进行航空多功能显示器图形界面开发,存在难度大、周期长及软件执行效率难以保证的问题.IData提供了图形化的开发环境,其使用简单,开发周期短,使用ACG工具可自动生成经优化的OpenGL图形程序.通过对ACG源码的研究,建立了图形程序和应用程序分离的软件框架,实验证明该框架可维护性良好,程序执行效率较高,具有较强的工程实用性.     

FT-2000A/2处理器应用验证板卡设计

应用验证工作是国产元器件研制和上装的中间环节,目的是提前暴露相关器件固有缺陷。针对FT-2000A/2处理器板卡级应用验证,提出一种验证电路设计方案,对其基本运算能力、上电复位时序、DDR存储接口、IO接口和软硬件适配等功性能指标进行验证。验证方案对FT-2000A/2 CPU基本运算能力、电源拉偏及上电时序、DDR存储接口、IO接口和软硬件适配进行了验证,对开展国产高性能处理器验证工作具有一定借鉴意义。     

面向航空应用场景的嵌入式CPU应用验证思路与实施

应用验证是现阶段元器件,尤其是CPU等复杂关键器件,在成熟度不高的情况下,需要结合用户实际应用场景开展的必要工作之一。从CPU的本身特征和其所处的航空应用场景出发,分析了面向航空应用的验证需求,确定了验证环境与应用场景的转换关系,提出了验证环境的构成要素和构建方法,着重从功能性能覆盖性、软硬件适配性、面向软硬件开发的支持三个方面阐述了CPU的应用验证实施关注点。     

航空国产处理器应用验证极限评估实施

极限评估的目的在于评价元器件极限能力是否满足宇航应用条件对电子元器件的高可靠性要求。根据航空元器件应用验证可靠性验证要求,分析了航空装备应用场景极限评估技术需求,航空国产处理器关键参数及特点,给出了处理器元器件级和板卡级极限评估试验条件,总结了航空国产处理器应用验证极限评估实施方法,为航空国产处理器应用提供了一定的参考。     

地效飞行器双断阶机腹着水砰击过载分析

地效飞行器着水过程中，断阶着水产生的冲击易导致结构表面屈曲或破坏。基于ALE 有限元法，通过罚函数法处理两相界面流固耦合问题，对地效飞行器着水过程进行数值模拟，分析不同前飞速度、下沉速度、俯仰角等参数变化对浸水深度、砰击过载等的影响。结果表明：在研究工况下，机体着水产生的压力峰值均出现在断阶处；随着俯仰角增加水平过载峰值减小，垂向过载峰值先增大后减小，俯仰角为7°时垂向过载峰值最大，是最低过载峰值（俯仰角为15°时）的1.4 倍；前飞速度增加致使水平过载峰值增大，而对垂向过载峰值影响不明显，但垂向过载峰值与垂向速度的平方近似呈线性关系，下沉速度越大，砰击过载峰值越大。