军工高安全软件数值型运行时错误分析方法

提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现.     

无人机用燃料电池阴极供气系统建模与控制

燃料电池因其高效、无污染、噪声小等特点,被认为是未来最具有潜力的无人机（UAV）用动力源,燃料电池阴极供气系统的控制技术是决定燃料电池系统性能和可靠性的关键。针对无人机用质子交换膜燃料电池（PEMFC）阴极供气系统,首先,考虑外界温度、压力、空气密度以及雷诺数等随高度变化的参数,建立了跨高度离心空压机模型并分析了其在不同高度下的工作特性,基于无刷直流电机反电势特征构建了高速空压机驱动电机模型。其次,通过计算燃料电池阴极氧气和氮气的动态分压获取了PEMFC电堆输出电压。设计了基于分数阶PI^λD^μ的过氧比和阴极气压控制方法,驱动电机采用有限集模型预测控制（MPC）实现快速的转矩响应,仿真结果表明设计的控制器可在无人机跨高度运行条件下实现过氧比的快速调节,同时维持阴极气压稳定,满足燃料电池阴极供气需求。     

二元亚燃冲压发动机高空模拟扩压器气动设计

根据某型二元亚燃冲压发动机连管试验对高空舱内环境压力的要求,考虑高空台现有的抽气能力,充分利用冲压发动机排出燃气的能量,以提高模拟高度、节约能源、扩大高空台工作范围为目的,使用商业数值计算软件设计了一种高空模拟扩压器,并确定了最优的扩压器结构形式、结构参数和引射间距。     

某型民用飞机时控件确定及周期控制研究

时控件是民用飞机研制和适航审定及运营监管的重要组成部分,加强时控件的确定及周期控制管理对飞机的运行安全至关重要。本文介绍了国际主流民用飞机制造企业对时控件的确定及周期控制管理方法,通过分析目前某型民用飞机时控件的管理现状,在基于该型民机运营特点的基础上提出时控件项目确定原则及周期控制的方法,并对应用实施情况进行了总结。     

感受我军飞行员的航空医学训练

飞行员航空医学训练又称航空生理心理训练,是事关飞行队伍建设,航空兵飞行安全和作战效能的关键环节,是保持和提升航空兵部队作战力十分重要而有效的途径,世界各空军强国都高度重视航空医学的训练。飞行员航空医学训练主要是通过航空医学理论教育,以及利用载人离心机、低压舱、空间定向障碍模拟器等大型装备,对飞行员进行抗高载荷、抗高空缺氧、抗飞行错觉等训练。使飞行员了解和体验高载荷、高空缺氧及飞行错觉等飞行中环境因素对人体的影响,掌握对抗这些影响飞行安全因素的方法和技能,并对飞行员能力进行评估。从飞行员个体成长和航空兵部队战斗力建设全过程看,航空医学训练是飞行员职业能力评估和训练的基本内容,     

“螳螂”和“苹果酒”——BAE系统公司研制的大型长航时侦察无人机

在今年范保罗航展上BAE系统公司展出了一种名为“螳螂”的长航时情报收集、监视、侦察（ISR）及攻击无人机的全尺寸模型,引起了各国参观者的极大兴趣,这种无人机瞄准的是英国国防部计划从美国采购“捕食者”B／“收割者”无人机的替代型,它也将成为英国国防部“苹果酒”计划中ISTAR模块的一个候选者。     

基于频带相关性Deep Learning的无线通信干扰智能识别

近年来,随着无线通信技术在军事领域的发展及各类无线通信装备数量的增加,战场电磁环境变得越来越复杂,其要求通信系统具有更强的抗干扰能力,而智能干扰识别是抗干扰的前提.基于传统机器学习的各类干扰识别算法存在干扰前期特征提取繁杂、低干噪比(JNR)下识别正确识别率低的问题.本文针对上述问题,引入了并行多路多尺度卷积,通过增加...     

基于稀疏阵列和码分信号的机载预警雷达STAP研究

基于稀疏阵列和码分正交信号,研究了机载雷达的空时自适应处理（STAP）技术,用于空中预警背景下的地面杂波抑制和运动目标探测。提出了稀疏阵列码分多相位中心孔径综合方法,采用正交编码信号实现多发多收,使综合后不同编码信号的相位中心在数量和分布情况上和满阵天线的相同,从而避免了稀疏阵列天线旁瓣较高的问题;在孔径综合的基础上,利用空时自适应处理方法完成杂波抑制,实现运动目标检测。仿真结果表明了本文方法的有效性。     

基于神经网络的飞行器总体优化设计

针对经验公式存在的精度低、适用范围受限的缺点,采用广义回归网络代替经验公式计算气动特性,并将其嵌入到优化设计流程之中,提出了一种基于神经网络的飞行器总体优化设计方法。神经网络的训练样本输入、输出数据通过试验设计和涡格法计算得到。以高空长航时无人机为例,选取航时与机翼结构重量系数作为目标函数,应用所提出的方法进行总体优化设计。计算结果表明,提出的方法是可行的,能够满足设计要求,同时降低优化过程的复杂程度,减少迭代次数。     

针对变换域窄带干扰抑制的干扰研究

介绍了窄带干扰抑制的基本原理,研究了传统的对抗窄带干扰抑制的线性调频干扰(LFMJ)方式,分析了其局限性.在线性调频干扰的基础上,提出了时变调频干扰(TV-FMJ)技术,仿真证明,时变调频干扰(TV-FMJ)技术可以很好地对抗窄带干扰抑制.