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

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

基于SRAM型FPGA单粒子效应综合防护技术

为解决基于SRAM(Static Random Access Memory,静态随机存储器)型FPGA(Field Programmable Gate Array,现场可编程门阵列)的扩频应答机在空间环境中时常发生功能故障的难题,提出了一种低轨卫星基于SRAM型FPGA的应答机的单粒子综合防护方案。该方案在代码级、器件级、单机级、整星级综合采用器件优选、结构屏蔽设计、巡检自愈、自主复位等多种方法,有效杜绝了单粒子事件带来的种种危害,已成功应用于某在轨卫星。在轨测试结果表明:遥测、遥控、跟踪测量等功能、性能指标满足任务要求,且未发生需要地面干预的问题或现象。该技术还可推广应用于其他采用低等级器件及其他类型FPGA、DSP(Digital Signal Processing,数字信号处理)等大规模集成电路的星载单机防护。     

基于Red5和Flex的地面运行控制系统设计

根据南航北京分公司的地面生产情况,提出了一套完善的地面生产监控系统设计方案。地面生产监控系统主要用于监控飞机预落及在机坪上的生产活动,并采用事件机制协调SOC、CGS、货运及飞机维修厂的生产工作。该系统将对运行指挥部的地面航班监控提供强力支持,对保障航班正常性及延误原因调查具有重要意义。提出以网络在线游戏的设计理念和架构处理企业生产问题,从而满足一线运行单位对信息系统即时性、易用性和易部署性的强烈需求。     

基于EVENT模型的单向循环航路侧向碰撞风险分析

我国空域骨干航路拥挤不堪,一些支线航路的利用率却很低,单向循环航路的出现很好地解决了这一问题,对其进行安全评估是划设航路最重要的工作之一。在总结EVENT理论和相关文献的基础上,对单向循环航路和混合航路侧向碰撞风险进行比较分析,推算出目标安全等级下单向循环航路容量,并对单向循环航路侧向碰撞风险进行预测。结果表明,单向循环航路侧向碰撞风险远低于混合航路侧向碰撞风险,且未来10年均保持在比较稳定的安全水平。     

一种叶片截面线光顺及等距面生成方法

采用等距面生成球头刀加工刀具轨迹是曲面加工中一种常用的方法。但是,在对叶身曲面进行等距偏置时,经常出现无法偏置的问题。针对该问题,分析了曲面偏置自相交原因,并根据叶片类零件叶身曲面的特点,提出了一种叶身截面线光顺及等距面生成方法。该方法首先采用Kjellander方法将原始截面线进行自动光顺,然后根据光顺后的原始截面线和数据采样法构造偏置截面线,最后通过截面线放样法构造叶身曲面等距面。实例表明,采用Kjellander方法可以实现叶片曲面的自动光顺和叶片曲面等距面的构造。     

大气中子诱发复杂航电系统SEE的试验评价与防护设计

研究了国外单粒子效应对航电系统影响的历史进展，介绍了航电系统单粒子效应试验评价中子辐射源、试验硬件、试验方法、试验程序及评估方法5个方面。国际航空标准根据航电系统的重要程度将其定义为A、B、C、D、E五级。为了确保A、B和C级航电系统的可靠性，提出了涉及顶层项目管理至元器件控制各个层面的防护过程，优化系统设计，以适应大...     

涡轮叶片尾缘凹坑/凸起结构气膜冷却特性研究

为探究吸力面凹坑和凸起结构对涡轮叶片尾缘气膜冷却特性的影响,在吹风比M=1.1时(雷诺数Re=2.5×10~5),采用数值模拟方法,通过在叶片尾缘吸力面上加入凹坑或凸起,对涡轮叶片尾缘的冷却性能和流动机理进行了详细分析。结果表明:与原始结构相比,叶片尾缘凹坑和凸起结构提高了劈缝出口下游远距离端X/H6 (H为劈缝宽度,为4.8mm)区域气膜冷却效率,对下游的X/H6区域气膜冷却效率影响较小;三种叶片尾缘结构,沿着流向方向会产生由二维展向涡到发卡涡,再到流向涡的变化过程,凹坑和凸起结构通过抑制流体的扰动,改变流体流动情况,提高了劈缝出口下游远距离端气膜冷却效率。     

基于中弧线曲率控制的压气机叶型优化

为提高压气机叶型优化设计水平,基于中弧线曲率控制方法编写了压气机叶片造型程序,将中弧线曲率控制参数作为优化变量,结合粒子群寻优算法对传统可控扩散叶型(CDA)进行了优化研究。结果表明:基于中弧线曲率控制的叶片造型程序能够对CDA叶型进行较好的拟合,拟合叶型的气动性能与设计要求较符。优化叶型在设计点的总压损失降低了约6.34%,优化叶型总压损失随攻角变化较为平缓。在一定攻角范围内,叶型中弧线曲率峰值的前移能够将吸力面马赫数峰值前移,提高叶型吸力面的扩压能力,降低总压损失。在大攻角工况下,改进的中弧线曲率分布能够显著降低叶型总压损失。将中弧线曲率控制参数作为优化变量进行CDA叶型的优化是可行的。     

燃料分级对旋流火焰的动态特性影响研究

为深入研究分级旋流火焰特性,以分级旋流模型燃烧室为研究对象,对四个不同燃料分级比(Rf)条件下的分级旋流火焰进行了数值研究,在时均燃烧场特性分析的基础上进一步对燃料分级比为1和3两个工况进行了基于壁面建模的大涡模拟(WMLES)研究。结果表明:燃料分级比的改变会影响中心回流区(CRZ)的长度和宽度。燃烧室中截面的散点分布图能够显示出不同燃料分级比条件下的燃烧特征。燃料分级比为1时,燃烧室剪切层仅存在零散的涡破碎区;而燃料分级比为3时,伴随涡破碎区还出现了单螺旋分支进动涡核(PVC)。通过FFT变换获得的燃烧室内剪切层速度能谱主频与进动涡核的旋转频率相同,表明内剪切层速度脉动的产生与进动涡核有关。另外进动涡核会使流场内的燃料分布和燃烧模式发生周期性的变化,进而影响燃烧过程。调整燃料分级比在1附近,能够使分级火焰达到稳定燃烧降低排放的目标。     

压气机转子叶片的抑颤设计(“两机”专刊)

以一高压压气机转子叶片为对象开展了叶片抑颤工程设计方法研究,采用基于相位延迟边界条件的能量法和特征值法对原转子叶片模型的气动弹性稳定性进行评估,通过分析近失速工况下的非定常气动功密度分布,对叶片安装角沿径向分布、弦长和叶尖间隙等设计参数进行调整,以明确各参数对气动弹性稳定性的影响,最终达到提高气动阻尼的目的。研究结果表明：叶尖间隙对气动阻尼的影响较大,安装角次之,弦长影响相对较小。叶片气动阻尼随叶尖间隙的变化并非单调,而是存在一个叶尖间隙使其气动阻尼最小,即叶片气动弹性稳定性最差。减小进口气流攻角和增加折合频率,能够提高气动阻尼,设计中可以通过调节安装角来减小气流攻角,增加弦长来增大折合频率。