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

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

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

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

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

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

基于奇异值趋势分解和LS-SVR的航空发动机性能指数组合预测

发动机性能指数是衡量其性能优劣的重要指标之一。针对发动机性能指数具有非线性、非平稳的特征,引入多层次多尺度的思想,在此基础上提出一种基于奇异值趋势分解的组合预测方法。利用奇异值趋势分解提取原始数据的趋势项和波动项;以改进粒子群算法分别获取趋势项和波动项在最小二乘支持向量回归模型中的最佳参数组合(嵌入维数、延迟时间、惩罚因子、核参数),并引入回归移动的思想,在此基础上利用最佳的最小二乘支持向量回归模型进行预测。预测结果表明预测精度明显增加,计算时间也相对减少。提前预测步长在5步之内时,精度变化不大;步长超过10步,精度下降很快。与不同预测方法比较,证明了方法的有效性。      

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

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

基于奇异值分解的铅锌冶炼过程故障二次分离

铅锌冶炼过程是非常复杂的反应工艺,工况变化较大,在线监控和故障诊断的难度很大。铅锌冶炼过程故障分离的目的是根据异常监控变量来判断故障类型,由于铅锌冶炼过程故障的特殊性,不同类型的故障可能导致相同的监控变量发生异常,采用传统的故障分离方法不能有效地判断故障类型。本文提出一种基于奇异值分解的故障二次分离的方法,通过进一步分析监控变量和故障类型的对应关系,解决故障分离不彻底的问题。试验结果证明了方法的有效性。     

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

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

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

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

PVC糊树脂对交联PVC泡沫塑料的影响

通过水煮发泡制备交联聚氯乙烯泡沫塑料,讨论了聚氯乙烯(PVC)糊树脂对泡沫制备过程中经制糊、模压和发泡工艺得到的产物的影响,研究了PVC糊树脂对制备的交联PVC泡沫压缩性能的影响.结果表明:制备交联聚氯乙烯泡沫塑料适宜的糊黏度是4～9 Pa·s;PVC糊树脂的K值较大或水萃取液pH值呈碱性可有效防止模压过程中PVC的降解;PVC糊树脂的水萃取液pH值呈碱性可催化发泡反应,有利于得到低密度泡沫且缩短发泡时间;随着其K值增加,制备的泡沫压缩强度增大,但是K值过大时,制备的泡沫泡孔较大,压缩强度反而降低,适宜的K值为70～80.