混合系统的形式化验证

结合混合系统的研究对余度管理系统进行了形式化的分析和验证.采用的手段是时段演算技术及其扩展.首先进行形式化的需求分析,需求及其假设用时段演算表示,其次严格化地描述算法和参数的选取.在验证过程中,首先应用程序逻辑验证算法,算法的不变量以时段演算表示,最后在时段演算中验证整个系统的行为满足给定的需求.      

基于LMI的混合系统的稳定性和鲁棒镇定研究

混合系统的稳定性分析,乃至镇定方法是混合系统研究的重要内容。线性多模态切换系统是一类重要的混合系统。针对线性多模态系统提出了一种基于线性矩阵不等式技术进行稳定性分析和鲁棒镇定的方法,通过求解一组线性不等式得出稳定性的判定条件,设计出的一组状态反馈控制律对系统的模态切换乃至有界模型不确定有鲁棒性。推导了控制律设计所对应的线性矩阵不等式组,并证明了其中的一致性关系,探讨了求解方法,应用实施也显示出该方     

广义多圈Lambert算法求解多脉冲最优交会问题

基于一种高效高精度的Battin多圈Lambert算法提出一种考虑轨道摄动的广义多圈Lambert算法.与现有算法相比,本算法虽然原理复杂但计算流程非常简单,效率极高,分别通过几次内外循环就可满足精度要求.广义多圈Lambert算法结合一种可行解迭代交会模型构成了一个通用的多圈多脉冲交会规划框架,应用两步法求解此多变量的复杂工程优化问题,首先利用高效率的进化全局优化算法以及解析轨道模型作全局搜索,然后利用序列二次规划算法以及简化高精度轨道计算模型作局部搜索,此方法可以保证高效高精度的求解多圈多脉冲交会问题.算例表明此方法特别适用于满足实际工程约束的交会规划问题.     

天基监视雷达的距离游走和距离重叠补偿研究

为了实现天基雷达杂波消除、高分辨率的角度估计和广域监视功能,采用三通道相位中心偏置天线（DPCA）/monopulse（单脉冲）信号处理系统。天基雷达的运动和地球自转,使得地球上每一点的杂波都产生了附加的多普勒成分——距离游走效应。距离游走与距离重叠效应相结合,显著地降低DPCA处理算法的杂波抑制性能。针对距离游走效应在相干处理阶段进行反向补偿、在非相干积累阶段采用线性内插的方法进行校正,针对距离重叠效应采用基于普罗米修斯结构的波形分集技术进行校正。实验结果显示,提出的距离游走和距离重叠综合补偿方案显著提高杂波抑制效果。
     

双星定位系统增强方案分析

双星导航系统由于卫星数目有限，不能实现实时三维无源定位。为解决我国目前对自主无源三维导航资源的急需，近年来提出了铷钟法、伪卫星法及Loran—C增强法等多种增强方案。通过分析这些方法的工作原理、性能特点、必要性和可行性，将双星系统增强技术的内涵、思路和作用予以展现，并指出各方法的现存问题、解决方案和最具可实现性的发展方向。同时强调了这些增强技术不仅能提供三维无源连续导航资源，而且对未来的第二代导航系统也具有重要的应用价值。     

过冷器动态特性仿真研究

过冷器是空间环境模拟器液氮系统的重要设备,单相密闭循环液氮系统的热负荷全部被过冷器接受。分析过冷器的动态特性对过冷器的设计、调试和使用均有重要意义。本文在确定 KM6过冷器动态特性的基础上,得到了一些有益的结论。     

混流式水泵工况起动过渡过程导叶漏水的计算

本文利用动量矩定理推导出抽水蓄能电站水泵轮机导叶漏水量与漏水转矩的计算公式。同时在考虑漏水转矩的情况下,完成了两座抽水蓄能电站混流式水泵机组泵工况起动过渡过程的校核计算,分析了导叶间隙、漏水量等对起动过程的重要影响,过大的导叶间隙将使机组不能起动。计算分析表明,本文提出的考虑导叶间隙漏水影响进行泵工况起动过渡过程的计算方法是正确的。正确考虑漏水转矩影响,对水泵水轮机的运行特性和过滤过程的准确计算具     

H_∞滤波算法及其在GPS/SINS组合导航系统中的应用

 在对 H∞ 估计问题进行数学描述的基础上,建立了一种 H∞ 次优滤波算法的迭代方程。定性讨论了H∞滤波算法与传统 Kalman滤波器的关系,通过在 GPS/SINS组合系统中的实际应用进一步从精度、鲁棒性等性能指标方面对 H∞ 滤波和 Kalman滤波算法进行了比较。仿真结果表明,在理想条件下,Kalman滤波方法具有较高的精度;但是,当系统模型和外部干扰统计特性发生变化时,H∞ 滤波算法明显具有良好的鲁棒性能,同时,估计精度也较高,有效地克服了 Kalman滤波器存在的局限性。     

机载合成孔径雷达运动补偿研究

论述了运动误差对合成孔径雷达（SAR）成像的影响及运动补偿的任务;综述了国内外SAR运动补偿的研究状况;指出全球定位系统和惯性导航系统构成的组合导航系统通过卡尔曼滤波器可以形成一种高性能的运动补偿系统。     

H2/H∞组合方法及其对导弹纵向运动的控制分析

在对Ｈ２／Ｈ∞组合控制问题描述和分析的基础上,总结了此类问题的一种求解算法,即转换为双线性矩阵不等式问题,通过迭代运算加以求解。以某型导弹纵向运动的控制为例,对Ｈ２／Ｈ∞组合算法进行了仿真计算,结果表明,该方法在一定程度上协调了系统的Ｈ２及Ｈ∞设计任务间的矛盾,使得所设计控制系统不但有着要求的噪声抑制能力,而且具有良好的鲁棒稳定性。