基于启发式遗传算法的模糊测试样本集优化方案

模糊测试作为当前最有效的漏洞挖掘方法,不仅比其他漏洞挖掘技术更能应对复杂的程序,而且可扩展性很强。在数据量相对较大的测试中,模糊测试输入样本集存在质量低、冗余性高和可用性弱等问题。因此,对模糊测试输入样本集进行研究,提出了启发式遗传算法,借助0-1矩阵,通过启发式遗传算法对样本的执行路径进行选取和压缩,从而获得优化后兼顾样本质量的样本集最小样本集合,进而加快模糊测试的效率。实验结果表明:在没有损失的情况下,样本集精简后模糊测试的时间比精简前降低了22%,压缩率相比传统方案提升约40%。      

变PID参数控制在电动齿轮燃油泵中的应用CSCD

为实现电动齿轮燃油泵系统的精确供油控制,建立了电动齿轮燃油泵流量特性模型,设计了数字式PID参数控制,并在此基础上以参数切换为原则设计了变PID参数控制,以满足不同情况下航空发动机对供油量的需求。通过试验,变参数PID控制实现了对电动齿轮燃油泵的精确控制,说明设计的PID控制规律能够应用于电动齿轮燃油泵系统供油量的闭环控制。     

斜激波串与上游激波干扰特性试验研究

为研究斜激波串在背压条件下前移与上游激波相互干扰的流场结构和运动规律,在来流为马赫数 2.7 的直管道内设计一种等宽度斜楔,采用动态压力测量、高速纹影和粒子图像测速(PIV)技术等手段进行了试验。研究结果表明：内置斜楔在管道内产生入射激波、分离激波、膨胀波、再附激波和激波诱导分离等复杂上游激波流场,在分离区附近形成有顺压梯度和逆压梯度的区域。当增大下游压比时,斜激波串逐渐向上游激波流场移动;经过斜楔产生的分离区时,斜激波串的移动速度急剧提升,同时出现非对称分离偏转方向的切换。对比了三种长度尺寸的等楔角斜楔所产生的上游激波流场的差异性,发现在相同的斜楔前缘起始点和楔角时,随着斜楔长度的增加,上游激波流场中激波诱导的分离尺度逐渐变大。     

基于氢化镁的核电/核热双模共质空间核动力技术

针对未来空间任务对能源和动力日益提高的需求,提出了基于氢化镁的核电核热双模共质空间核动力技术。该技术以一种储氢密度高、热稳定性较好,能够以常温常压储存的氢化镁作为工质,通过核能加热后氢化镁分解成为核热推进可用的高压氢气和电推进可用的单质镁,并结合高效动态热电转换系统,形成大功率核电源、大功率超高比冲核电推进、高比冲氢气核热推进以及大推力镁核热推进多种工作模式。基于氢化镁的多模共质空间核动力技术解决了低温推进剂、气态工质在空间应用时的存储安全性和存储密度低的问题,其具备的多种工作模式能够针对不同任务需求提供相应的能源或者动力输出,提高核动力飞行器任务能力。     

电子设备维修性设计与评价

针对电子设备自身的特点,结合维修性要求和相关的标准、设计手册,提出了适用的维修性设计准则,以准则作为评价指标定性分析了某电子设备的不同设计方案.利用维修性评价模型定量分析了该设备的维修性设计优劣,分析结果与实际情况吻合.文中所用方法可为同类产品的维修性设计提供参考.     

塞式喷管运载器外流干扰冷流试验研究

采用风洞冷流试验方法研究了使用塞式喷管的运载器在4个典型飞行马赫数下外流对运载器流场和性能的影响。试验模型由截短的线性塞武喷管和升力体构成,利用纹影显示技术得到了塞式喷管流场结构并测量了不同试验工况下模型的轴向力和升力。结果表明:外流使塞式喷管喷流的膨胀程度变大,横向侧流强度增强;外流干扰下塞式喷管的推力损失包括过膨胀损失和横向侧流损失,试验喷管总推力损失在4.7%~9.6%之间,其中过膨胀损失在3%以内。     

具有非凸约束的航天器姿态机动预测控制

针对航天器带有非凸几何约束以及输入有界的问题,提出了一种姿态机动预测控制算法.分析了姿态机动所受到的几何约束,并对非凸二次形式约束及其Hesse矩阵进行研究,证明了该约束的非凸性.通过对正定Hesse矩阵的构造,给出非凸约束凸化映射关系.最后给出姿态机动预测控制律,解决了由于姿态机动过程中非凸约束造成的全局解收敛困难以及路径安全性问题.数值仿真结果显示该算法不仅能在大范围内得到优化姿态路径,同时满足所有约束.     

重力条件对喷雾冷却换热特性影响的研究

喷雾冷却是一种高效的高热流密度散热方式,在空间热控领域具有重要的应用前景。本文基于液膜动力学、气泡动力学和传热学的基本原理,建立了描述微重力条件下喷雾冷却传热特性的理论模型。利用模型模拟的方法,对以水作为工质的微重力条件下喷雾冷却系统的被冷却表面温度分布、冷却曲线等因素进行了分析,分析结果显示:在单相区,重力条件对喷雾冷却的换热特性和表面温度分布不均匀性的影响较小;在两相区,由于微重力条件下气泡难以脱离等因素的影响,使得喷雾冷却的换热能力明显弱于常重力条件下的换热能力,并且被冷却表面的温度不均匀性增大。     

卫星双向时间频率传递中的Sagnac效应

 结合卫星双向时间频率传递技术,提出了在卫星运动情况下Sagnac效应解决方案。卫星双向时间频率传递技术是基于地球同步卫星进行的。地球同步卫星在各种摄动力的影响下,相对于地面上的某点不是绝对静止的,而是作小幅度日周期性运动。 Sagnac 效应与卫星和地面观测站的位置密切相关,卫星的运动直接导致了 Sagnac 效应也具有日周期变化的特征。使用高精度实测卫星轨道数据对 Sagnac 效应进行计算分析,结果表明：由卫星运动引起的Sagnac效应值具有与卫星运动一致的周日变化规律特征,大小达到几百皮秒的量级,与传统的将同步卫星作为静止点处理相比,提高了Sagnac效应误差的修正精度。该方案对于各种高精度卫星时间比对技术和卫星导航等领域具有重要的应用价值。     

双基地MIMO雷达收发角和径向速度联合估计

在双基地MIMO雷达信号模型基础上,提出一种新的目标收发角和径向速度联合估计方法。该方法首先将三参数估计问题转化为非对称联合对角化问题,然后采用最小二乘循环算法对其求解,估计收发导向矩阵和速度矩阵,最后利用谱分析算法恢复收发角和径向速度。同时采用截断高阶奇异值分解(THOSVD)对数据进行压缩处理,减小运算量。该方法充分利用匹配滤波输出的所有信息,无需二维谱峰搜索,每次循环均可得到精确的闭式解。与基于并行因子(PARAFAC)分析的方法相比,该方法可获得更高的参数估计精度,且三参数自动配对。仿真表明了方法的有效性。