测试有效性对软件可靠性验证测试量的影响

针对传统软件可靠性验证测试方法均不考虑软件测试性可能会对验证测试用例数量产生影响的现状,提出一种引入测试有效性对软件可靠性验证测试最小量进行改进的方法.分析了软件测试性的定义及其对软件可靠性测试集合的影响,提出软件测试有效性的概念.比较了考虑测试有效性前后软件可靠性验证测试集合在数量上的差异,证明经典统计方法和无先验知识的Bayesian统计推断方法确定的均为假定测试有效性为零情况下的保守估计.提出结合测试有效性的验证测试量的量化表示模型和验证测试方案的改进方法,基于统计故障注入的原理,提出测试有效性的定量评估方法,最后通过示例给出定量评估过程和方法.      

一种模型误差鲁棒的卫星姿态确定方法

提出一种结合非线性预测滤波和二阶插值滤波实现基于星光/陀螺的高精度姿态确定的新算法.该算法用非线性预测滤波估计模型误差,再对补偿后的模型用高精度的二阶插值滤波来估计姿态参数.解决了在卫星实际运行中难以获得姿态确定系统的精确动力学模型,采用传统EKF(Extended Kalman Filter)将模型误差作为零均值白噪声处理,导致滤波精度降低甚至发散的问题.同时,二阶插值滤波将非线性模型按照二阶近似,无需计算函数偏导数,得到高精度的卫星姿态估计.仿真验证了该方法能有效地实时估计并补偿模型误差,提高了姿态估计的精度,且估计精度受滤波周期的影响不大,从而验证了算法的鲁棒性和有效性.      

基于稀疏重建的MIMO-OTH雷达多模杂波抑制算法

针对由多模传播引起的多普勒扩展杂波(SDC)严重影响天波超视距雷达(OTHR)对慢速船舰目标的检测这一问题,在基于多输入多输出体制的新一代天波超视距(MIMO-OTH)雷达系统下,利用空域信息抑制多模SDC。传统处理方法需要目标角度先验信息,而在实际中,该信息往往很难获得。为此,提出一种新的基于稀疏重建的多模杂波抑制算法。该算法将二维的稀疏角度搜索转变为一维的角度搜索,使运算量大大降低,且估计出的收发角(DOA-DOD)自动配对,同时可获得各个传播路径下信号的时间多普勒信息,达到了理想的MIMO-OTH雷达多模杂波抑制效果。仿真结果证明了所提算法的有效性。     

失效卫星远距离相对位姿估计与优化方法

针对远距离非合作慢旋目标位姿估计精度问题,提出一种融合图像超分辨与视觉SLAM的相对位姿估计方法。算法主要包含3个步骤：通过梯度引导生成式对抗超分辨技术,提升目标图像的质量以获取更多更高质量的特征点;构建特征数据库实现当前帧与特征数据库的匹配,提升旋转目标的特征跟踪稳定性;利用图优化对多帧图像进行联合位姿优化,消除累计误差,得到更为精确的估计结果。为稳定网络的训练,将自然进化算法引入到对抗训练中。为增强模型的泛化性和鲁棒性,实验中的数据集采用半物理仿真获得。实验结果表明,当等效距离为25 m且失效卫星以25（°）/s的速度旋转时,目标图像经超分辨网络增强后,能够实现连续稳定的长时间测量。     

火星进入段探测器自校准状态估计

由于大气密度、气动参数、突风和沙尘暴等因素的影响,火星探测器在进入段高速飞行的动力学模型中往往带来未知输入,这些未知输入使传统的滤波方法出现较大的偏差。研究采用一种新的自校准扩展Kalman滤波方法,对火星进入段的探测器进行状态估计,可以成功地消除这些未知输入带来的影响。数值仿真结果表明,该方法能有效提高导航精度。     

空间绳系机器人抓捕非合作目标的质量特性参数辨识

针对空间绳系机器人抓捕非合作目标/空间垃圾后需要对其进行回收/拖曳的精确控制问题,提出了一种利用抓捕后保持阶段的振动特性辨识目标参数的方法。首先,根据质量特性参数辨识的需要,推导了系统的动力学模型。不同于以往将本体卫星和被抓捕目标简化为质点的动力学模型,本文针对任意的目标抓捕位置,在考虑重力梯度影响的基础上,利用拉格朗日法获得系统各广义坐标的动力学公式。然后,分析非合作目标和系绳在后抓捕保持阶段的姿态运动。最后,在非合作目标与本体卫星没有任何信息交互的情况下,利用后抓捕阶段目标卫星和系绳特有的振动,并使用具有鲁棒性可遗忘因子的递推最小二乘法,提出了包括转动惯量和质心到任意抓捕点距离在内的质量特性参数辨识算法。     

对空间碎片的相对位姿估计

针对几何、质量特性参数均未知的空间碎片,提出一种基于扩展卡尔曼滤波（EKF）的相对位姿估计算法。该算法以单目相机获得的目标图像特征视线信息作为测量输入,以目标姿态、姿态角速度、惯量比、相对位置、相对速度和特征位置作为滤波状态。对算法进行可观性分析,给出两个可以保证算法可观性的条件。分别针对不同条件进行数值仿真,仿真结果表明新算法能够对几何和质量参数未知的空间碎片进行有效的相对位姿 估计。     

基于STLS的卫星惯量矩阵在轨估计

提出了一种采用结构总体最小二乘（Structured total least squares, STLS）进行卫星惯量矩阵在轨估计的方法,与当前估计方法相比,该方法在考虑敏感器测量噪声时能获得一致估计。首先由动量守恒定律得到估计方程,针对该方程的特点定义了惯量矩阵的STLS估计,并使用结构总体最小范数（Structured total least norm, STLN）算法进行求解。证明了当噪声为高斯分布时该STLS估计为极大似然估计,给出了该STLS估计具有一致性的充分条件,仿真结果验证了文章所提估计方法的有效性。     

非质心特征点相对位置和姿态估计方法研究

卫星编队飞行中,从星星体上偏离质心的任意特征点,其相对位置和相对姿态运动耦合。本文针对任意点的相对状态估计问题,推导了耦合相对轨道动力学方程和无陀螺相对姿态动力学方程,并且基于PSD敏感器对主星上点光源的视线测量值,提出了基于特征点耦合动力学和质心传统动力学的两种相对状态估计策略。针对每种策略分别设计了EKF和UKF两种滤波算法对相对状态进行估计。最后通过数学仿真对算法的有效性进行了验证,并对其计算量进行了分析。结果表明,四种算法均能对特征点的相对状态进行较高精度的估计。     

弹道中段目标进动周期估计的改进自相关法

自相关法可用于估计弹道中段雷达目标的进动周期,它需要预先给出进动周期的上下限。进动周期下限可能远小于真实进动周期,此时自相关法的估计性能将严重下降。定义了自相关函数(ACF)的凸包,在此基础上提出了一种改进的自相关法。首先求出ACF和其凸包的差函数,然后搜索差函数的最大值,从而得到进动周期的估计值。理论分析和仿真结果表明:当进动周期下限和真实进动周期相差不大时,该方法的估计性能接近自相关法;当进动周期下限远小于真实进动周期时,该方法仍然具有良好的估计性能;由于进动周期的上下限之比通常大于2,因此该方法的计算量比自相关法增大的倍数小于1.4;同时它对先验信息的要求非常宽松。因此该方法具有广泛的适用性。