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

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

航天器时态规划技术研究进展

结合航天器自主运行的迫切需求,阐述了航天器任务规划问题给智能规划技术带来的挑战,并重点分析了具有时间属性的规划方法研究必要性。给出航天器时态规划定义,分别总结了状态空间时态规划建模方法和基于时间线的时态规划建模方法,并给出时态规划知识模型关键元素定义。根据规划方法发展现状,归纳总结前向链、模型转换、规划空间规划和分层任务网络四种方法在时态规划技术方面的特点和研究进展,着重描述各种方法对规划中时间要素的处理。在对目前的航天器时态规划技术发展趋势总结分析基础上,给出了未来航天器时态规划技术的发展建议。     

基于落角约束的最优导引律

在对地精确制导武器的实际使用中,不仅要求脱靶量最小,而且希望能以一定的落角命中目标,从而可以充分发挥战斗部效能,取得最佳毁伤效果。传统的比例导引律不能满足该要求,为此本文建立了含有落角约束的最优控制模型,并依据施瓦兹不等式原理进行了推导,最终得到了含有落角约束的最优导引律的表达形式。仿真结果表明:该导引律可以使导弹以期望的落角命中目标,且具有实现简单、结果最优等特点。     

基于滑动子空间的杂波样本筛选方法

针对受目标污染的非均匀杂波辅助样本筛选问题，本文利用超低旁瓣子空间平滑加窗处理，克服已有的非均匀杂波样本筛选方法面临的初始协方差矩阵包含目标信号而引起的目标相消问题。一方面，采用超低旁瓣子孔径滑窗方法大幅提升旁瓣区信杂噪比，结合拟合方差偏离量提取目标大信号能量并予以剔除。另一方面，结合广义内积（Generalised Inner Product,GIP）等算法在子空间平滑的基础上进一步剔除非均匀杂波样本，从而得到独立同分布的杂波协方差矩阵。基于子孔径滑窗的杂波样本剔除方法能够大幅降低系统运算复杂度，提高系统应用效能。通过对机载实测数据的验证分析，该算法能够改善目标的输出信杂噪比，保留微动效应的离散弱目标信号，具备很高的工程应用价值。     

短螺旋型燃烧室旋流结构及气动边界发展规律数值模拟研究

短螺旋型燃烧室的头部轴线沿发动机周向与发动机轴线偏转一定角度,可以在保证燃烧效率不变的条件下有效缩短燃烧室轴向长度。短螺旋型燃烧室流场的最大特点是旋流流动单侧受限。为了研究头部安装角α变化对燃烧室旋流流动特性的影响,基于数值方法对短螺旋型燃烧室进行了计算分析。结果表明:随着α变化,旋流器下游旋涡依次出现对称环状、马蹄状、环状结构;随着α增加,气动边界逐渐出现并抑制旋流的周向扩张,导致流场出现不同的旋涡结构;不同α下的切向角动量随轴向距离增加而衰减,但α为35°和45°时,气动边界在非受限侧出现并对旋流产生约束,角动量衰减变慢;当α为0°,15°,35°,45°时,燃油液滴依次集中分布在旋流器下游两旋涡边缘、侧壁面和头部端壁、非受限旋涡边缘。本文研究了不同α下的旋涡结构及气动边界沿轴向的演化过程,为短螺旋型燃烧室进一步的设计与优化提供基础。     

带攻角约束的高超声速飞行器自适应反步控制器设计

针对带攻角(AOA)约束的高超声速飞行器控制问题，提出一种基于非对称时变障碍函数的非线性自适应反步控制方法。首先，将飞行器模型化为严反馈形式，以反步法为基础进行控制器设计。然后通过光滑饱和函数对名义攻角指令信号进行限幅，并保证限幅信号的可导性，限幅产生的误差通过设计辅助系统进行补偿。进而使用障碍函数对攻角指令跟踪误差进行非对称时变约束。针对不确定性和干扰，设计新型自适应律对集中干扰上界进行估计并补偿。最终通过Lyapunov理论证明了闭环系统状态量一致最终有界并且攻角始终满足时变约束。仿真结果表明，本文方法能够在满足攻角约束基础上保证良好跟踪性能。     

星载高速数字电路电源芯片选型及电源完整性设计

优化电源完整性及可靠性设计可以有效提高高速数字电路在高速、高负载及极端环境下工作的性能及可靠性。通过对开关式点电源及LDO (低压差线型稳压器)两种供电方式在星载高速数字电路中的应用特点进行分析,总结出针对两种电源在电源完整性上的设计准则,量化相应测试指标,通过对开关类电源LTM4644及LDO型电源对信号完整性设计及电源芯片选型进行研究优化,为星载高速数字电路电源完整性设计及测试提供部分参考及依据。     

基于模因算法的飞机装配序列规划

针对飞机制造的装配序列规划问题,提出一种基于模因算法的飞机部件装配序列规划方法。在装配优先约束矩阵和非正交干涉矩阵的基础上构建装配规划模型,以飞机零部件间的装配方向和装配工具的差异性来构建适应度函数。在非干涉解空间中进行全局搜索,获得较优的装配规划方案,通过二叉树中序遍历法将较优的方案转化为可行解,再经过交叉操作和变异操作后,在可行解空间内进行局部搜索,最终获取较优的装配方案。以某型号的飞机舱门装配为例,通过与传统遗传算法对比,证实模因算法在飞机装配序列规划中的可行性和有效性。     

姿态遥控模式下的无人机短周期特性辨识仿真研究

为了探索姿态遥控模式下的无人机纵向短周期模态计算方法,本文以某型机为例建立了姿态遥控模式下的无人机动力学模型,并采用纵向倍脉冲信号对无人机进行了激励。根据响应结果,基于低阶等效拟配法,采用遗传算法对无人机的阻尼、频率特性进行了辨识,对比分析了时域以及频域辨识方法的结果,最后将所得方法应用于某型无人机纵向短周期模态特性辨识。结合飞行员评价表明,频域辨识拟配得出的频域特性比时域特性好,拟配精度更高;所采用的低阶等效拟配方法适用于姿态遥控模式下的无人机纵向短周期特性评价。     

考虑颗粒形状的复合固体推进剂细观损伤分析

HTPB复合固体推进剂作为一种多颗粒填充的含能材料,其损伤过程复杂。为更直观地分析其受损过程,从细观角度出发,通过分子动力学方法建立圆形颗粒填充模型与多边形颗粒填充模型。在颗粒/基体界面嵌入了零厚度的内聚力单元,分别采用双线性内聚力模型与指数型内聚力模型的分离位移关系对其进行数值仿真,并通过了Hooke-Jeeves反演方法得到了内聚力模型参数。通过对5组加载速率下不同模型的试验结果与仿真结果对比,发现多边形颗粒模型更符合推进剂的细观结构;指数型内聚力模型更适合粘弹性材料的损伤;载荷速率的提高,使得材料的模量下降率升高。