可信软件研究

可信软件是近年来软件工程领域研究的热点,装备软件可信性的研究有助于提升我国国防武器装备的作战效能。首先分析了进行装备软件可信相关研究的必要性;然后阐述可信软件技术的研究现状,主要包括软件可信度量和评估、可信软件的构造与验证、可信软件的演化与控制等三个方面;最后分析了研究可信装备软件面临的挑战。     

基于相位估计的湍流降质图像盲复原

地基望远镜观测的空间目标图像受大气湍流的影响,其分辨率受到很大的限制。为了提高湍流降质图像的复原效果,提出一种改进的盲解卷积方法。首先,考虑观测图像受到高斯噪声和泊松噪声的干扰,推导出基于混合噪声模型的盲解卷积代价函数;然后,根据傅里叶光学原理,利用波前相位表示点扩展函数,将点扩展函数从像素值估计转换为参数估计;最后,通过参数化表示方式,将代价函数寻优从约束最优化问题转换为无约束最优化问题。模拟实验结果验证了本文模型与数值算法的有效性。     

基于MEKF的航天器姿态确定算法

乘性扩展卡尔曼滤波(multiplicative extended Kalman filter, MEKF)方法被广泛应用于各种航天器姿态确定任务。针对任意参考坐标系,推导了姿态四元数的线性运动学方程和三分量姿态误差矢量的动力学模型,并分别设计了有陀螺和无陀螺两种姿态确定方案。系统研究了姿态敏感器常用的矢量观测模型,四元数观测模型以及欧拉角观测模型,设计了更具有一般性的MEKF滤波器,为航天任务中快速应用MEKF姿态确定算法提供理论参考和技术支撑。     

气象探空火箭气温测量不确定度评估方法

在气象火箭测温修正模型基础上,通过误差分析理论,对温度修正及其不确定度评估方法进行研究。根据火箭探空仪在空中下落过程中大气密度变化规律,建立温度修正数学模型,推导得到温度修正公式。根据误差理论,分析影响温度修正的八项误差因素,并逐项给出温度修正误差表达式。以气象火箭实测数据为例,运用上述公式,对探空火箭温度反演不确定度进行分析计算。结果表明:温度反演不确定度在50~60 km较大,最大为3.6 K;40~50 km不确定度为0.3~0.9 K;40 km以下,不大于0.3 K。影响温度不确定度的因素主要是气动加热修正项、滞后效应修正项、结构热传导修正项和传感器对环境热辐射修正项。数据处理时采用参考大气或标准大气仅进行一次修正是不够的,需进行迭代修正,单次修正结果与迭代修正结果差异最大可达5.6 K。     

星用DS/PM双模应答机的设计与实现

介绍了星用直扩/调相(DS/PM)双模应答机的组成、功?原理及主要技术指标.提出了一种PM模式精确解调相位的处理方法,大大地提高了PM模式的处理精度和载波的捕获带宽.解决了扩频模式下高动态、低信噪比环境下伪码的初相位捕获和大多谱勒频移环境下的载波同步的实现等关键技术.这些思路和方法对促进航天技术的发展有很好的参考价值.     

飞行器曲线显示中的数据处理方法及实现

主要内容分为两个部分:处理方法和方法的应用。处理方法着重介绍了远程火箭弹道学和地图学的基本知识,内容包括:各种坐标之间的转换、被动段飞行轨迹的计算、常微分方程的数值解法。方法的应用以上述算法为核心,用实例说明了其使用情况,内容包括:v-t、x-y曲线中的坐标转换、v-t曲线中被动段弹道的平滑处理、箭下点曲线中的坐标转换和外推估算。     

某型履带车辆稳态噪声的分析与控制

对某型履带车辆稳态噪声的试验数据进行了曲线拟合,根据拟合结果分析了履带车辆行驶参数和路面状况对噪声的影响,并依经验提出了降低噪声的措施和方法.     

基于EKF算法的弹道导弹助推段跟踪建模与仿真

围绕弹道导弹助推段跟踪问题,分析了助推段反弹道导弹的基本作战过程,建立了弹道导弹助推段动力学模型,分别就单传感器/单弹道导弹和多传感器/多弹道导弹两种情况建立了基于EKF算法的弹道导弹助推段跟踪模型,并通过算例验证了模型和算法的有效性,可为助推段反弹道导弹建模与仿真提供一定的参考。     

相参辐射源安全诱偏反辐射导弹研究

相参诱偏技术,相对目前广泛采用的非相参诱偏技术,理论上可将反辐射导弹诱偏至导弹杀伤半径外的安全区域,具有一定的应用前景,其实现难点主要在于相位差的控制。通过两点源反辐射导弹诱偏模型,得出相参辐射源安全诱偏反辐射导弹所需要的相位差,提出利用交互多模-概率数据关联滤波估计的方法对反辐射导弹的位置进行滤波估计以减少相位差误差。仿真试验表明,该方法能有效提高定位精度,减少相位差误差。     

装备使用阶段维修保障能力评估指标体系研究

装备使用阶段的维修保障能力评估对于发挥现有装备的作战能力具有很强的现实意义,而建立有效的指标体系是分析评估的基础.文章首先给出了指标体系的建立原则,然后从维修保障系统、装备、作战单元3方面给出了装备使用阶段维修保障能力评估指标体系.