航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

脉冲爆震燃烧效率的探索性试验研究

为了对脉冲爆震燃烧过程的燃烧效率有一个初步了解,在分析脉冲爆震发动机工作原理的基础上,设计了一套带有压力可调单向阀结构的取样系统,并进行了试验验证.试验针对爆震频率为5Hz、当量比为1的汽油和空气混气,测试了爆震波充分发展前后不同位置处爆震燃烧过程的燃烧效率,结果表明可以利用设计的取样系统进行脉冲爆震发动机燃烧效率的测量,试验还发现在脉冲爆震室后爆震发展比较充分的位置,测取的燃烧效率比较高,最高可达99.6%.     

高温升火焰筒壁面及头部复合冷却设计分析

某燃烧室火焰筒壁面采用冲击＋逆向对流＋气膜冷却技术，火焰筒头部采用冲击＋对流冷却技术。本文通过计算并与试验结果对比分析表明：该火焰筒的冷却设计基本合理、可行，经进一步的改进和完善后。可作为高温升燃烧室火焰筒的优选设计方案之一。     

航空发动机风扇转子叶片外物损伤I.鸟撞击试验研究(英文)

本文改进了叶片鸟撞击试验条件。对某型发动机风扇一级转子叶片进行了鸟撞击试验。通过对叶片的鸟撞击瞬态响应分析和撞击前后叶片叶型变化的分析,验证了风扇一级转子叶片的抗鸟撞击性能,为某型发动机风扇转子叶片的抗外物损伤设计提供了依据。     

低速压气机静叶非定常Clocking效应数值模拟

采用三维粘性非定常数值模拟方法研究了重复级低速压气机内部非定常流动,其中包括静叶Clocking(时序)效应以及尾迹-边界层、尾迹-尾迹和尾迹-泄漏流的相互作用.对静叶时序效应的结果分析显示,当两级静叶相对周向位置改变时最大效率变化只有0.1%,表明低速压气机中静叶时序效应不明显.另外,非定常结果流动图画显示,在非定常环境下上游周期性尾迹的通过对下游叶片边界层、尾迹以及叶尖泄漏流的发展都有一定影响.     

加热板上蒸发液滴动态特性的实验

采用高速摄像技术可视化观察5 μl小液滴在铜、铝和不锈钢表面上的蒸发与核化过程,板温50～112℃.实验测量了液滴高度、湿润半径和接触角随时间的动态演化.板温低于100℃时蒸发处于自由界面蒸发模态,过程可分为两阶段,第一阶段液滴高度和接触角连续降低,湿润半径仅比初始值略有降低;第二阶段后退角恒定,湿润半径迅速降低至零.板温高于100℃时处于核态沸腾模态,液滴内部核化及气泡动力学过程强烈依赖壁面过热度.自由界面蒸发模态和核态沸腾模态,壁面平均热流与壁温均呈线性关系,斜率的不同反映两种模态换热机制的差别.     

蛇形进气道的电磁散射特性

 对一种进口与机身保形设计的蛇形进气道在Ku波段选择入射频率15 GHz情况下进行了电磁散射特性的实验和仿真研究，取得了蛇形进气道雷达散射截面(RCS)随方位角、迎角和终端的变化规律。研究结果表明: (1)该蛇形进气道在水平极化终端为风扇时±60° RCS均值为-24.33 dB·m²，垂直极化为-19.15 dB·m²，是一种低RCS进气道；(2)运用时域有限差分法计算所得的RCS随方位角变化曲线与实验曲线趋势基本一致，±60°均值误差在4 dB以内；(3)从进气道对称面电场(Ex)分布图可以看出入射波射入进气道并在内壁面产生多次反射，从而验证了蛇形进气道的设计思想并为在内通道关键反射点涂敷吸波材料实现蛇形进气道的高隐身提供了一个可行的研究平台。     

等熵轻质活塞风洞中主要部件尺寸的确定

等熵轻质活塞风洞是一种工作时间很短的风洞,作为气源适合于瞬时热传导测量技术的研究工作。在研究了此风洞工作特性的基础上,提出了确定风洞中主要部件尺寸的方法,为风洞全面设计提供依据。压力比P0/P和trun是确定管道尺寸的主要参数,匹配压力振荡最大振幅的允许值是确定活塞质量的关键。     

超声速叶型前缘几何形状对叶栅气动性能的影响

应用NURBS技术构造超声速叶型,采用两个控制参数调整叶栅前缘椭圆弧的几何形状,来探索不同的前缘构型对超声速叶型气动性能的影响效应;通过对比分析调整每个参数所得的一系列叶栅的流场计算结果,发现椭圆弧的形状控制因子对超声速叶栅的前缘激波和气流流动状况具有一定的改善效果,同时在保证叶栅气动弦长基本不变的情况下,存在某个椭圆弧形状控制因子和方向控制因子的匹配能够使叶栅的气动性能达到最佳.     

飞机综合航电系统总体设计综合评估方法

 航空电子系统的费用 效能是飞机总体系统效能的重要组成部分，也是降低飞机寿命周期费用的关键之一。在航空电子系统的总体设计阶段，传统的系统评估和优化方法主要针对的是独立子系统/设备的费用或效能指标。综合航电系统设计方案的费用 效能重要指标包括：可支付性、构型能力、任务能力、可靠性、维修性、测试性和技术风险，以组合的方式获得了相应的综合评估准则，给出了计算公式。以某新研航电系统作为实例演示了综合评估方法的实施情况，演示的重点集中于总体设计方案的可视化量化评估分析。该综合评估方法已显示出其在实际工程设计中的可行性和应用价值。