软件可靠性预计方法研究及实现

软件可靠性评估可以估计和预计软件可靠性水平.为了解决软件可靠性预计过程中存在的问题,提出了一种软件可靠性预计方法.该方法通过分析和改进模型的预计质量来选择模型进行预计,对模型预计质量的分析使用了U图、Y图和对数PLR图,再标定法和组合法被用于改进模型的预计质量.在该方法的基础上开发了软件可靠性分析工具,此工具可以进行多种软件可靠性模型的原始预计、预计质量分析和改进原始模型的预计质量.     

捷联惯导系统动基座对准的可观测性分析

建立了SINS(捷联惯导系统)动基座对准的误差模型,首次应用PWCS(分段定常系统)可观测性分析理论对SINS动基座对准过程中的可观测性进行了全面研究.将载体的运动分解为平动和姿态变化两大类情形,深入研究和详细分析了载体的各种运动对系统可观测性的影响,指出在SINS动基座对准过程,无论载体的线运动还是角运动在一定条件下都能提高SINS的可观测性.定性地得出了不同运动对系统可观测性的影响结果,这为研究SINS的快速精确对准方法奠定了理论基础.      

光纤陀螺随机漂移模型

随机漂移是光纤陀螺的主要误差,建立数学模型在输出中补偿是抑制该项误差、提高光纤陀螺精度的有效方法.光纤陀螺静态输出为随机过程,对该随机过程的平稳性和正态性进行分析,拟合趋势项、周期项并补偿,使其成为平稳随机序列.采用时间序列分析法建立光纤陀螺随机漂移模型,根据随机漂移自相关和偏相关系数的特性辨识模型的类型和阶数,利用最小二乘方法估计模型参数,得到光纤陀螺随机漂移模型为AR(2).对陀螺输出数据补偿,检验模型的适用性.结果表明,该模型具有很好的适用性,能够有效抑制随机漂移,提高光纤陀螺精度,可以作为惯导系统卡尔曼滤波器状态变量的数学模型.      

地球静止轨道卫星扫描镜运动补偿

研究地球静止轨道卫星的扫描镜运动补偿问题,以消除卫星姿态偏差和扫描镜法线偏移引起的光轴指向偏差.给出了带有两自由度扫描镜的航天器姿态动力学方程以及光轴指向误差的描述.以欧拉角描述卫星姿态,以欧拉轴/角参数来描述扫描镜法线偏移,并推导了这2种影响因素对光轴指向的误差传递关系.针对法线偏移不易测量的特点,利用扫描镜在特定工作模式下的准确定向能力和法线偏移的长周期特性,给出了一种偏移参数的估计算法,每隔一定的时间段对法线偏移估计值进行更新.在此基础上给出了一种基于卫星姿态和法线偏移信息的运动补偿算法,对扫描镜的扫描角和步进角分别进行补偿.数值仿真结果验证了补偿算法的有效性.      

智能磁航向传感器的研制及误差补偿算法分析

介绍了微型智能磁传感器的设计,分析了影响磁航向精度的误差来源.在此基础上提出了基于BP神经元网络、最小二乘及最佳椭圆拟合等3种不同的磁航向误差补偿算法,详细分析了每种算法的工作原理,并立足于算法的具体实现,通过现场试验,从精度、速度、效率等3个方面对算法的有效性加以分析验证,并得出结论.      

层次化模块化可用性分析方法的误差分析

通过层次化模块化分解技术,将复杂系统动态故障树分解为相互独立的模块,对独立模块分别进行可用度求解,再利用自下而上递归的方法实现复杂系统可用性分析.提出和推导出等效时变的可用度参数模型,分析了层次化模块化可用性分析方法的误差成因和相关影响,给出了故障相关和维修相关条件下的误差定义,定量研究了误差分布区域及其影响因素,提出了层次化模块化可用性分析方法的适用条件和应用原则,实例分析证明了该方法的有效性.      

空间目标一维距离像重构的线性规划方法

高分辨一维距离像是空间目标故障诊断与识别的重要手段。针对典型的空间目标 ,文章采用稀疏成份分析法研究了一维距离像的超分辨重构和特征提取问题。将处理实信号的基寻踪方法推广到复信号 ,并利用约束最小二乘解提出了一种次优的距离像重构算法 ,实现了空间目标散射中心的有效分离。数值结果验证了其合理性和有效性。     

民航客机油箱建模与油量传感器姿态误差修正

实现民航客机的飞机油箱建模,提出对油箱的油量传感器示数的姿态误差进行修正的算法.建模过程基于二维限定Delaunay三角剖分和插值,生成油箱的表面.利用油量传感器错误示数和当前飞行姿态角,利用油箱表面三角网格,将油箱内含油体积进行三维三棱柱剖分和三维四面体剖分.计算四面体体积之和求得油箱正确的含油量.与当前正在使用的切片算法在效率和使用范围方面进行深入比较与分析.实现民航客机油箱三维建模,并且利用已建立的模型修正其油量传感器示数姿态误差.算法优于切片算法.     

一种适用于航路改变情况的冲突概率预测算法

针对如何有效地预测飞行中将发生的冲突,提出了适用于航路改变情况下的冲突预测算法.基于飞机实际飞行轨迹的不确定性,计算冲突发生的概率来预测冲突发生的可能性.改进了直线航路预测算法,充分利用ADS-B(广播式自动相关监视)所提供的航路意图信息,获得飞机航路改变点及航路偏转角,依此进行相应的矩阵变换来计算航路改变后的误差协方差矩阵,并利用有效的近似方法对继续累加的误差表示进行简化,进而实现冲突发生概率的计算.运用Monte-Carlo方法进行仿真,结果验证了其较好的准确性,与直线航路算法的比较表明了其在更复杂环境下具有的适用性和有效性.     

基于Hadamard方差的导航星座自主时间同步算法研究

文章在总结国内外研究成果基础上,针对GPS铷钟虽然短期稳定性较好,但采用Allan方差描述铷钟频率稳定性时,其钟差状态方程仅为两参数,在较长平滑时间里存在时钟漂移和甚低频噪声的影响,使噪声特性淹没或估值不收敛的缺陷,引入Hadamard方差建立了三参数系统状态误差模型,通过三次采样方差从模型上解决了线形漂移和甚低频噪声的影响问题。在时钟系统状态模型和星间双向测量方程建模基础上,给出了工程实用的标准Kalman基本滤波方程。数值分析仿真表明,采用Hadamard方差描述时钟频率稳定性显著提高星载时钟自主同步精度,从而克服了Allan方差描述产生的频率漂移影响较大和甚低频噪声不收敛的问题。