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

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

动态测量数据的高保真容错Q-滤波算法

针对航天器遥测和跟踪数据非平稳、噪声干扰、数据散乱、野值多、真实信息往往被随机误差淹没等问题,提出一组新型滑动容错滤波算法,称Q-滤波容错算法。 采用原始数据滑动四分位滤波和滤波残差四分位过滤补偿相结合的方式,实现各种带野值、非平稳、强噪声干扰和超低信噪比的采样数据序列剔除野值、削弱扰动和提取信号。理论分析、仿真计算和飞行数据应用实例证实了该Q-滤波算法有强容错能力和提取采样数据本真变化的能力,可以从被噪声淹没和低信噪比的非平稳采样数据序列中或者在采样数据变化形态杂乱的情况下,高保真地准确提取测量对象的真实变化信息。     

微小卫星星间测距在轨零值标定方法及应用

针对双程伪码辅助载波测距系统零值高精度标定的需求,提出一种适用于微小卫星星间测距系统在轨零值自标定的方法。该方法将测距单板的发射信号转化为接收信号,采用原有的测距算法获取测距单板的自身零值。基于该方法研制了相应的零值标定装置,实现零值测量模式和星间距离测量模式的切换。并采用实验的方法,对比不同信号强度及温度情况下的标定效果。实际测试表明,该方法所测零值稳定、结果可靠性高,同时具有较好的误差补偿效果,可作为一种新的在轨零值标定方法,其零值标定结果的不确定度可达0.18mm(2σ)。     

基于SRCKF的多传感器融合自适应鲁棒算法

为解决模型误差和异常量测值发生时平方根容积卡尔曼滤波（SRCKF）算法滤波性能下降甚至滤波发散的问题,提出了一种多传感器融合自适应鲁棒算法。基于新息协方差匹配原则设计了鲁棒子系统以抑制量测异常值,同时为克服模型误差使用基于新息修正的低复杂度自适应SRCKF(LCASRCKF)算法设计了自适应子系统,根据2种子系统的特点和局限提出全局融合架构,使系统可以充分平衡并利用滤波过程中先验的模型预测值信息和后验的量测值信息,最终降低估计误差。仿真结果表明：相比鲁棒多渐消因子容积卡尔曼滤波（RMCKF）等算法,所提融合算法在滤波精度、稳定性和收敛速度等方面有明显优势。     

基于梯度方向二值模式特征的飞机翼尖跟踪技术

研究基于视频图像分析与定位的飞机翼尖跟踪技术,为飞机地面移动提供安全保障.现有图像特征进行翼尖跟踪经常失效且计算效率低下,本文结合纹理和轮廓信息,提出以梯度方向二值模式( OG_ LBP)为特征的粒子滤波跟踪算法,降低特征维数的同时建立局部和全局的翼尖特征直方图描述,提高识别效果.同时,该算法在粒子滤波基本框架之下,结...     

非典事件对民航客运的干预影响分析

随着人们消费能力的增强和航空业市场化的深入,中国民航客运量发生了爆炸性的增长,但由于民航面对的是高端客运市场,行业具有高风险的特征,容易受到外部冲击的影响。通过时间序列模型的干预分析考察了非典事件对民航客运量的影响。从分析结果看,非典外部冲击对民航客运量的负面作用很快被市场反弹和相关优惠政策抚平,并对客运量的增长带来了持续的正影响。这一结果说明高速发展阶段的民航对抗非典这类外部冲击的能力较强,直接和滞后的减税政策并非最优的政策选择。     

基于AHP与模糊集值统计法的直升机选型研究

使用层次分析法建立了选型指标的层次结构模型,对层次结构模型中每一层选型指标做成对比较得到了判断矩阵,计算出权重值,利用模糊集值统计法对专家打分进行处理得出了选型指标特征值,与权重值相乘求和即机型总评分.利用救护直升机选型进行了实例分析,得到直-15直升机更能满足要求的结论.     

基于误差模型的权重二值神经网络近似加速

针对智能识别系统精确度和硬件复杂度之间的均衡设计问题,提出了一种基于误差统计模型的权重二值神经网络近似加速方法。在提出了一种获得高精度轻量神经网络的权重二值化处理算法基础上,引入近似加法器、消除乘法器以进一步提高能效。最终提出了一种系统级误差统计模型用于系统评估和优化设计,该设计能够分析和预测权重二值神经网络近似加速系统的最终精度。结果表明:该模型可以准确地预测系统精度,与仿真结果对比,相对误差在2.05%～3.07%。该模型预测用于指导相应软硬件的设计优化,可大幅提高设计的迭代速度。     

机场道面聚丙烯腈纤维混凝土性能分析

对素混凝土和聚丙烯腈纤维混凝土的抗疲劳性能、弯曲韧性和抗冲击性能进行了试验研究,并分析了聚丙烯腈纤维对机场道面分类值PCV的改善效果。结果表明,掺入聚丙烯腈纤维后,混凝土各项性能指标显著提高,道面PCV值增加8.4％,大大提高了机场道面的承载能力。     

基于互相关的正弦信号特征提取方法

文章介绍了基于互相关的正弦信号参数特征提取方法,该方法用于从受污染信号中提取特定频率正弦信号的幅值和相位信息。文中给出了算法的详细原理和该算法噪声影响抑制能力的详细分析及仿真结果。