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

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

基于GAN网络的红外图像生成技术

当将人工智能技术应用于军事领域中的目标识别任务时,针对由红外图片采集的局限性而造成的训练数据不足的问题,提出了基于生成对抗网络以生成红外图像的方法,实现了数据集的扩充。对基本的生成对抗网络进行了改进,将网络的输入由随机噪声变为真实图片,使之实现了图片到图片的风格转换,即彩色图片转变为红外图片。经过网络模型的搭建和训练,实验结果表明,该方法能够有效生成清晰和高质量的红外图片,解决了由红外数据不足而造成的网络训练不充分的问题。     

非轴对称波瓣喷管引射器的特性实验研究

波瓣喷管引射器具有高效的引射掺混特性。非轴对称波瓣喷管引射器的引射特性与轴对称波瓣喷管引射器有所不同。本文对六波瓣的非轴对称喷管引射器进行了一系列的实验，研究了该引射器的引射流量比与主流温度的关系，混合管动量修正系数及其工作特性曲线。最后通过分析得出了与实验数据基本符合的理论工作特性关系式     

基于等效焦面的离轴遥感相机积分时间计算方法

目前在轨和在研的光学遥感卫星大都搭载的是离轴遥感相机,为了保证视轴正对星下点成像,相机需要整体俯仰一定角度补偿离轴角,这样就导致相机的焦平面无法平行于星下点水平面进行推扫成像,相机的积分时间计算不准确。针对以上问题,提出一种基于等效焦面的高精度积分时间计算方法,该方法构建与星下点水平面平行的等效焦面,通过建立严密的几何关系,求出真正电荷转移时间对应的像元尺寸,从而得到准确的积分时间。仿真试验表明,该方法可以将积分时间计算精度提高1.2%,为卫星在轨提高成像质量提供有效手段。     

空间通信与BATS码：天成之合

创新通信技术在国家重大空间技术开发计划中有着巨大的需求。本文综述了基于网络编码的空间通信技术,旨在探索未来基于网络编码的空间通信技术的可行性和潜力。首先讨论了空间通信的特点,并给出了不同编码方法的概述;详细介绍了基于网络编码的批量稀疏编码（BATS码）创新技术。BATS码作为一种潜在的应用技术可以很好地解决多跳中继网络中严重丢包问题;给出一个BATS码原型设计和实现,实验结果证明BATS码比现有技术具有明显优势;最后,讨论了BATS码在空间通信中的应用前景。     

基于双谐振声波幅相控制的高声强级校准

对声强测量仪高声强级校准方法的发展历程、现状及水平进行论述,采用两个声压级高、失真度低的声源研发了高声强级校准系统,提出了双谐振声波幅相控制的新方法使声强级校准在频率500Hz时上限可达150dB以上,而失真度小于0.5%。给出高声强校准系统的校准实例和不确定度评估。     

基于双磁钢转子的大力矩飞轮用电机设计

针对卫星快速敏捷和大角度机动的需求,设计了一种基于双磁钢转子的大力矩飞轮用永磁电机。介绍了大力矩飞轮用电机的工作原理和结构构成,给出了主要尺寸的设计准则,并在Maxwell 环境下对双磁钢转子的永磁直流电动机进行了有限元分析。     

基于航路点布局的多目标网络结构优化方法

为了提高区域航路网络结构的科学性、减轻飞行流量增长对网络运行带来的压力,提出了基于航路点布局的多目标网络结构优化方法。首先,考虑区域航路网络的组成要素,设计了反映网络综合性能的优化目标和约束条件以形成优化模型。然后,建立基于节点移动、融合、分解的航路点布局策略,进而给出优化模型的求解步骤,并利用NSGA-Ⅲ算法完成模型求解。最后,对北京飞行情报区部分区域航路网络进行仿真分析,结果表明,使用NSGA-Ⅲ算法得出的区域航路网络具有良好的综合性能。最优网络在满足约束条件的同时,保证了运行费用和非直线系数基本不变,并使得飞行冲突系数减少了10.8%。可见,所提优化方法能有效提升区域航路网络的经济性、安全性和可行性,符合中国现行空域环境和管理体制。      

燃油喷嘴螺旋槽的精密测量方法与系统设计

为了实现航空发动机燃油喷嘴上的螺旋槽特征的快速与精确检测,提出了螺旋槽的槽深、螺旋角和槽宽等参数的测量与计算方法,并基于此设计和搭建了一套非接触式的燃油喷嘴螺旋槽精密测量系统。该测量系统基于模块化的设计思想,其机械主体采用立柱移动型三坐标测量机的结构形式;运动机构由三个直线轴X、Y和Z以及一个回转轴A构成,电气控制模块采用了由上位机与下位机构成的主从控制方式,前端传感器选用了新型的锥光偏振全息激光测头,并应用专用夹具来实现被测喷嘴零件的装夹和定位。最后,选取某个燃油喷嘴样件作为被测目标,应用所搭建的测量系统对其上的多个螺旋槽特征开展了重复测量实验,并解算得到了槽深、螺旋角和槽宽的几何尺寸,而且系统所达到的测量精度能够满足检测需求。