一种数字电离层测高仪系统中O波与X波的分离方法

电离层测高仪系统中,O波与X波的分离非常重要.本文提出一种新的O波与X波分离的实现方法,根据电离层回波的极化特性,通过在接收电路上采用数字方法合成圆极化波的方式,实现了对O波与X波的有效分离.与现有DPS-4测高仪系统采用模拟域电信号合成圆极化波的方法相比,本文方法通过在数字下变频处理过程中引入±90°相移,消除了在模拟域电信号合成方法中相移器的带宽限制和非线性问题.另外,该方法在实现发射和接收信号的极化状态转换时不需要连续切换多个模拟开关,从而提高了整个系统的稳定性.      

基于边频相对能量和的柱塞泵磨损状态识别

摩擦磨损是飞机柱塞泵典型的渐进性故障,因磨损量难以直接测量,通常采用振动信号进行间接测量.磨损引起的振动信号故障特征微弱,对磨损状态进行准确地识别比较困难.针对上述问题,提出了基于谐波分量边频相对能量和的磨损状态识别方法,该方法对壳体振动信号进行Hilbert包络解调消除高频周期干扰,得到清晰的谐波分量,在各谐波分量的特定边频区间内计算最大能量与平均能量的比值并求和,将该值作为新的特征量来表征柱塞泵的不同磨损状态,利用网格法对边频区间范围寻优.结果表明,边频相对能量和相比传统的特征频率能量对磨损状态的区分度更高,适于磨损状态识别.      

大型客机飞行员操作程序综合评价

机组对飞机的成功操作很大程度上依赖于一套精心编制的飞行员操作程序,不合理或不合逻辑的操作程序可能导致飞行员的违规操作,进而引发飞行事故.参考波音737NG飞行机组操作手册,分析进近和着陆阶段的任务功能流程后确定了评价指标体系的层次结构;采用德尔菲法对现役飞行员进行两轮咨询,建立了基于安全性的进近和着陆阶段飞行员操作程序综合评价指标体系;对飞行员进行咨询,采用序关系分析法确定了各指标的权重系数;应用模糊综合评价法对飞行员操作程序进行综合评价,得到了飞行员操作程序的评价等级和评价值.提出了一种将功能流程图法、德尔菲法、序关系分析法和模糊综合评价法相结合的飞行员操作程序综合评价方法,并应用于波音737NG飞机进近和着陆阶段的操作程序评价.评价结果说明了该综合评价方法的合理性.     

AADL2ECPN模型转换方法及其在IMA上的应用

在综合模块化航空电子（IMA）系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言（AADL）模型到扩展着色Petri 网（ECPN）模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。      

人工智能技术在嵌入式代码审查中的应用与展望

代码审查是航天嵌入式软件开发中的重要环节.近年来,随着嵌入式软件开发需求的增多,传统以人工为主的代码审查方法逐渐不能满足快节奏的软件开发流程.为了减轻审查人员的压力,提升审查效率,研究者们逐渐将目光转向以深度学习技术为首人工智能领域,尝试寻求技术上得突破,以开发更智能的审查系统.本文对近年来人工智能技术在代码审查及程序理解中应用的相关工作进行了归纳总结.首先简要介绍了嵌入式代码审查工作目前面临的困境及解决方案.然后引出了代码审查中的一项重要活动,即程序理解.并详细阐述了目前基于人工智能的程序理解在代码审查中的应用情况.最后根据相关领域的发展情况,对未来代码审查的发展方向作了进一步的探讨.     

基于SVM和EKF的高超声速滑翔飞行器轨迹预报

高超声速滑翔飞行器（HGV）拦截问题中,轨迹预报是成功拦截的重要基础。针对HGV机动能力强、轨迹多变的特点,提出了一种基于支持向量机（SVM）和扩展卡尔曼滤波（EKF）的轨迹预报方法。在HGV的滑翔段机动模式分析的基础上,将HGV的机动运动分解为纵向运动模式和侧向运动模式,进而对运动模式的特征参数予以标定,形成SVM的训练集。建立地基单雷达轨迹跟踪模型,采用EKF对HGV滑翔段轨迹进行稳定跟踪并实现对运动模式特征参数的估计。基于SVM,建立了HGV运动识别框架,实现了对HGV滑翔段轨迹的预报。对平衡滑翔和跳跃机动2种典型机动模式进行数学仿真验证,结果表明,所提方法可以提高对该类目标的轨迹预报精度。      

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

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

腹板开口对复合材料梁腹板剪切承载性能的影响

针对平面编织复合材料梁腹板结构剪切载荷作用下的面内剪切屈曲失稳和后屈承载能力问题,采用实验与有限元方法进行了研究。结合实验所得应变分布规律与有限元分析所得失稳模态分析了梁腹板结构剪切失稳特点。后屈曲承载分析中引入了平面织物复合材料Hashin失效准则,获得的结构主要失效模式包括纬向纤维压溃和经向纤维拉断,与实验结果符合良好。基于经实验结果验证的有限元模型进行了参数化研究,分析了腹板开口尺寸和开口形式对平面织物复合材料梁腹板剪切稳定性、承载能力和破坏模式的影响。研究结果可为复合材料结构设计和强度评估提供参考。      

紧凑热交换器优化设计

对各种传热表面的板翅式紧凑热交换器进行了优化设计计算，建立了通用优化程序系统。此程序既适用于一般地面热交换器，也适用于飞机空调中的热交换器。与传统的设计计算相比较，优化设计的效果很好。热交换优化后，肋片的形状变得更加合理，芯体传热表面更加紧。通过各种肋片的计算得出，条状肋片为板翅式肋片中的最佳者。     

金属材料微裂纹取向与超声波和频非线性效应

针对非线性超声无损检测金属材料微裂纹取向角度的问题,开展了微裂纹取向与超声波的和频非线性效应研究,建立了超声和频非线性特征系数与微裂纹取向角度的关系模型。理论和有限元仿真实验结果表明,随着微裂纹取向角度的逐渐增大,超声和频非线性特征系数与微裂纹取向角度之间呈现明显的正相关趋势,而且相比二次非线性特征系数,和频非线性特征系数对微裂纹取向检测更为敏感。同时,从超声波平均能流密度（即声强）的角度出发,计算可知和频分量声强会随着微裂纹取向角度的增大而增大,而二次谐波声强基本不会发生变化,同时和频分量声强占比相比于二次谐波声强占比也得到了明显提高。超声波声强计算结果与仿真计算结果趋势基本一致,证明了理论模型的正确性。通过实验验证了模型的有效性,为金属材料微裂纹取向的检测提供了一种有效的手段。