软件故障树分析实例研究

软件故障树分析(SFTA)是硬件或系统FTA的扩展,可应用于安全性关键软件的验证和可靠性分析.本文首先阐述了SFTA的原理和应用过程,然后介绍了结合某嵌入式软件进行实际应用的过程以及最小割集的生成,并在此基础上提出了对该软件的改进建议.     

由PETRI网模型求系统最小割集的自顶向下法

研究了系统逻辑关系的Ｐｅｔｒｉ网表示，基于Ｐｅｔｒｉ网的建模方法，采用Ｐｅｔｒｉ网模型求系统最小割集的自顶向下法，与故障树方法相比，这种方法可同时获得系统的最小割集和最小路集，且求解的效率高，实例分析证实了这一点。     

基于惯性系的双轴旋转式惯导系统转位方法

针对双轴旋转式惯导系统中不能自动补偿标度因数误差与地球自转耦合误差的问题,提出了一种改进的转位方法。该方法不增加转轴数目,通过补偿地球自转在转轴平面的投影抑制耦合误差项,计算结果表明该方法适用于激光陀螺惯导系统和光纤陀螺惯导系统。利用改进的转位方法对双轴旋转式惯导系统进行仿真,仿真结果验证了该方法的可行性。研究结果为双轴旋转式惯导系统的工程设计和改进提供了一定的理论支持。     

运载火箭常规燃料调温系统模糊故障树研究

应用模糊故障树分析方法对运载火箭常规燃料调温系统的可靠性进行了研究。首先,建立了常规燃料调温系统的故障树模型;其次,基于模糊数学理论,运用上行法求解了故障树的最小割集,提出了以正态型模糊数描述底事件发生概率的表达方式和上层事件模糊集的计算方法;最后,提出了基于模糊概率重要度的故障定位与排查方法。以PLC通讯故障为例进行了计算分析,结果表明,依据模糊概率重要度大小逐次排故的方法,能有效提升故障定位效率。     

光纤捷联惯导系统检漏工艺技术

针对光纤惯导系统检漏方法中存在的问题,优化了检漏工艺流程,改进了检漏设备,设计了检漏工装,并对改进后的检漏工艺方法进行了试验验证。试验证明,该检漏工艺技术可满足光纤捷联惯导系统的检漏需求。     

一种陀螺量测信息辅助的快速初始对准方法

惯导初始对准的精度与对准时间是衡量惯导系统性能的重要指标,由于系统的不完全可观,导致方位失准角对准精度低、对准时间长.对惯导自对准存在的问题进行了深入研究,利用奇异值分解方法分析了常规惯导自对准的町观测度,针对常规惯导自对准方法未充分利用惯性器件信息的问题,增加等效东向陀螺输出作为观测量,并提出了一种基于陀螺量测信息的快速初始对准方法,在进行了可观测度分析的基础上,对该方法的收敛速度和收敛精度进行了理论证明.最后通过仿真验证了该方法的有效性,与常规初始对准方法相比,该方法在不增加其他设备的基础上可有效提高对准精度并缩短对准时间,具有重要的应用参考价值.     

基于动态故障树的卫星系统可靠性分析

卫星系统作为一种高可靠产品,具有复杂的冗余结构.以卫星系统为对象,研究了动态故障树方法分析过程中静态子树及动态子树的处理方法.分别采用二元决策图及马尔科夫方法对关键设备的动态故障树模型中静态子树和动态子树进行分析.将所得结果与可靠性框图、马尔科夫等方法所得结果进行了比较.     

激光捷联惯导减振系统设计与应用

针对激光陀螺捷联惯导系统在地面动态导航测试中圆概率误差偏大的现象,要求给激光陀螺捷联惯导系统设计出性能优良的减振系统。分析激光惯导的振动模型,结合对比原有惯导减振系统提出双层减振。在对双层减振系统的分析中,把整个安装支架作为减振系统的一部分,充分考虑弹载设备的可安装性,应用有限元法设计出动态性能良好的安装支架和减振器来改善减振效果。通过地面大量振动试验的验证以及反复对支架和减振器参数的优化设计,使得新构建的减振系统的谐振频率避开激光陀螺的机抖频率以及其它需要减振的频率段,减振效果达到了预期的设计要求,可以在飞行器上使用。     

惯导系统产品装配多余物控制方法

阐述了控制惯导系统中多余物的重要性,分析了在操作过程中惯导系统多余物产生的条件和因素,根据多年的惯导系统生产经验,总结了控制多余物的实际操作要求,最后叙述了对多余物常用检查方法及使用MORET-300活动多余物检测设备的方法。     

捷联惯导陀螺仪冗余配置研究

为有效提高捷联惯导系统的可靠性，研究了捷联惯导陀螺仪冗余配置的原则和结构方案对比，选择及相应的可靠性评估与系统优化，通过采用加权最小二乘法等数据处理方法，给出了计算结果。结果表明工程上捷联惯导陀螺仪冗余配置应当而且能够实现系统最优化设计，选择最优配置结构。     

捷联惯导/星敏感器组合导航技术研究

针对在捷联惯导系统中陀螺的误差存在随着时间积累而逐渐增大的缺点,提出了捷联惯导系统+星敏感器的组合导航方案,并进行了仿真及结果分析。以Kalman滤波为基础,通过将捷联惯导系统和CCD光学传感器所测得的飞行器相关姿态信息进行数据融合,估计出组合导航系统的误差状态量,进而修正捷联惯导系统的位置、速度和姿态角。详细推导了捷联惯导+星敏感器组合导航的算法,并通过对仿真结果的分析证实了该方案的可行性和算法的有效性。     

捷联惯导/星敏感器组合系统的在轨自标定方法研究

研究了捷联惯导/星敏感器组合系统中对陀螺仪和星敏感器进行在轨自标定的方法。分析捷联惯导系统和星敏感器的误差源,对陀螺仪随机漂移和星敏感器安装误差进行建模并列入系统状态,建立系统状态方程;利用捷联惯导输出的载体位置、姿态与星敏感器输出的姿态矩阵来构造量测,建立量测方程。设计卡尔曼滤波算法,经过滤波计算获得陀螺仪随机常值漂移和星敏感器安装误差的估计值,从而实现组合系统的在轨自标定。仿真结果表明,基于卡尔曼滤波的在轨自标定方法能够标定出85%以上的陀螺仪随机常值漂移和95%以上的星敏感器安装误差。     

基于DSP的微型捷联惯导系统设计

主要讨论微小型惯性导航系统的工程设计问题。以微机电惯性测量元件(MEMS-IMU)为惯性传感器,以数字信号处理器(DSP)为核心作为导航计算机,设计构造了一种微小型捷联惯性导航系统。给出了系统的硬件结构框图和程序设计流程图,并讨论了DSP软件设计和调试中的一些问题。利用本方案,对于实现军事和工程领域中导航系统微小型化、降低系统成本和体积具有重要意义。     

一种小型弹载混合式光纤惯导系统设计

为解决混合式惯导在小型弹载惯导系统的应用问题，在论述混合式惯导技术特点的基础上，提出小型弹载混合式惯导系统所涉及的三项关键技术：小型化设计技术，抗振动高可靠锁紧技术和基于降维Kalman滤波的抗扰动自标定技术。重点对第三项技术提出具体的技术方案和实现途径。在建立惯导误差模型的基础上，根据姿态精度因子(ADOP)可观测度设计出混合式惯导系统的自标定流程，进行了卡尔曼滤波的降维处理和抗干扰观测量设计。开展了原理样机的标定试验、力学环境试验和导航精度试验工作，试验结果校验了技术方案的可行性和自标定算法的正确性，为其在小型战术导弹中的应用提供了工程借鉴。     

基于最优估计神经网络的惯导系统初始对准研究

本文研究了一种基于卡尔曼滤波原理权值更新的多层神经网络学习算法，对此算法进行了详细的推证，并将该算法运用到惯导系统的初始对准过程。仿真结果表明了这种神经网络结构用于惯导系统初始对准问题的有效性，既可获得与卡尔曼滤波器相同的对准精度，又提高了系统的实时性。从而得到了利用神经网络解决惯导系统初始对准问题的一种有效算法。     

适于惯导系统初始对准的神经网络实时算法研究

通常卡尔曼滤波器被用于解决惯导系统的初始对准问题。由于卡尔曼滤波的运算时间与系统阶次的立方成正比 ,所以当系统阶次较高时 ,滤波器会失去实时性。而神经网络具有函数逼近性能 ,实时性又好。为此 ,本文研究了一种基于扩展卡尔曼滤波原理的权值更新多层神经网络学习算法 ,对此算法进行了详细的推证 ,并将该算法运用到惯导系统的初始对准过程。仿真结果表明了这种神经网络结构用于惯导系统初始对准问题的有效性 ,既真正获得了与扩展卡尔曼滤波器相同的对准精度 ,又大大提高了系统的实时性     

基于Sigma-point卡尔曼滤波的INS/Vision相对导航方法研究

针对无人机编队常用的leader-follower(领航-跟随)飞行模式,提出了一种考虑视觉导航设备输出时间延迟问题的INS/Vision相对导航方法,给出了leader与follower之间的相对惯导方程以及相对视线矢量测量原理.由于INS/Vision相对导航系统是一个强非线性系统,采用Unscented卡尔曼滤波融合相时惯导信息和相对视线矢量信息,从而估计出leader与follower之间的相对位置、相对速度和相对姿态,受姿态四元数的归一化限制,在滤波中采用罗德里格斯参数作为姿态误差状念,对于视觉导航系统量测量存在时间延迟的问题,给出了延迟后的量测量与当前惯导信息融合的方法,最后通过仿真研究证明了方法的有效性.     

多分辨分布滤波在惯导系统初始对准中的应用

论述了初始对准在惯性导航系统中的重要作用 ,给出了惯导系统初始对准的线性模型。基于小波变换 ,运用多分辨分布滤波对该问题进行了仿真研究。仿真结果表明 ,该方法虽然计算量比卡尔曼滤波计算量要大 ,但是对于组合导航系统或具有冗余传感器的惯导系统 ,它能够充分利用测量信息 ,大大提高初始对准精度 ,也能够满足低阶系统实时对准的需要     

星光/惯性组合制导方案与位置误差分析

根据捷联星光制导双星方案和星光/惯性组合制导基本原理,提出了一种以惯性导航为主、星光制导为辅的导弹组合导航方法。建立了组合导航位置误差计算模型。对星光惯性组合制导精度的分析表明,该法提高了对星光导航测量信息的利用度,改善了导航精度。