北斗导航接收机高增益相干积分算法

近年来,针对弱信号的高灵敏度接收机已逐渐成为国内外的研究热点。加长相干积分时间可以提高信噪比,从而跟踪到更弱的信号。但是,北斗导航接收机跟踪环路并不可以无限加长相干积分时间,相干积分时间的长短和功效还受到卫星导航电文比特跳变的限制。为了消除导航电文比特跳变对相干积分的影响,提出了一种改进的基于最大似然估计的北斗信号位同步方法,完成位同步后再利用先猜后检的方法便可以实现长相干积分。利用软件接收机进行编程设计,仿真结果表明：该长相干积分算法能够稳定可靠地实现对弱信号的跟踪,20ms相干积分环路信噪比约提升12dB,40ms相干积分环路信噪比约提升15dB,80ms相干积分环路信噪比约提升17dB,提高了北斗导航接收机的灵敏度。     

基于导航姿态解算的光纤陀螺平台低频角振动测试方法研究CSCD

为准确评价光纤陀螺平台的低频角振动特性,提出了一种基于导航姿态解算的光纤陀螺平台低频角振动测试方法。首先,通过角振动台精确模拟载体的低频角振动状态,并通过光纤陀螺平台飞行导航过程中的断调平差分信号,实现平台框架角度信号与角振动台激励角度信号的数据同步;然后,利用平台式惯导系统的导航姿态解算方法,实时解算低频角振动过程中光纤陀螺平台的台体姿态,并通过坐标系转换得到平台基座系相对于地理系的实时姿态;最后,通过对光纤陀螺平台稳定回路的幅相特性分析,得到低频角振动激励下稳定回路的幅值和相位特性,实现对光纤陀螺平台角动态特性的准确评估。     

简化Q矩阵的渐增式扩张生成算法

简化Q矩阵（Qr阵）是规则空间模型与属性层次方法的重要概念。基于属性层次结构,提出有效／无效项目的定义,研究属性层次结构的可达矩阵与有效项目之间的关系,给出有效／无效项目的判定定理。基于逐步向前回归的思想提出了求解Qr阵的渐增式扩张算法,给出相关理论依据。在考虑有效项目数的基础上,与Tatsuoka方法进行了实验比较,对属性个数为10的情况采用线性回归方法为两种方法建立了数学模型。     

基于脱靶量级数解的最优机动突防策略

针对比例导引控制的拦截弹，建立高阶制导系统状态空间模型，基于脱靶量级数解公式，对目标最优机动突防策略及其影响因素进行了研究。首先，针对拦截弹的制导系统为线性一阶、线性高阶时，目标最优机动突防效果进行了仿真分析，结果表明拦截弹弹体模型的准确性对突防效果存在影响，高阶系统对应脱靶量更大且效果更真实；将结果与一次阶跃机动和蛇形机动对比，发现最优机动突防效果最佳。然后，建立弹目运动的二维非线性模型，仿真得出目标最优机动产生的脱靶量曲线与线性系统吻合度较高，线性模型选取合适。最后，研究了有效导引比和剩余飞行时间估计误差对最优机动突防效果产生的影响，结果表明有效导引比估计误差对最优机动突防效果影响不大，剩余飞行时间估计误差则会使目标最优机动突防性能大幅下降，甚至部分情况比蛇形机动突防效果差。      

基于子集包含减少ARAIM子集数量的方法

先进接收机自主完好性监测（ARAIM）技术可用于多星座组合定位时的完好性监测，ARAIM技术子组推荐的多假设分离解（MHSS）标准算法，存在子集数量过多带来大量计算负载的问题。针对此问题，在双星座组合定位情景下，通过分析子集之间的包含关系及空间位置精度因子（PDOP）的变化，提出了使用一个子集代替多个子集减少子集数量的方法。所提方法可以明显地减少子集数量，不同参数下的仿真结果表明，优化后的算法效率至少提高2倍以上，并且优化前后的ARAIM可用性变化最大不超过3%。      

关于微分方程的有理式解的存在性问题

许多非线性微分方程一般都是不可积的。例如Ｒｉｃｃａｔｉ方程。本文主要利用在文「４」中得到的一个定理，通过构造微分方程的线性算子的方法，得到了一个关于微分方程的算子矩阵，从这个算矩阵向量的线性相关性得到了微分方程存在有理式解的充分必要条件，并举例给出了求有理式解的具体方法。     

活塞五型发动机有效功率随使用时间的变化规律

本文通过飞行实测得到的活塞五型发动机有效功率随使用时间的变化规律，并回归成经验公式，为研究该发动机的性能衰减提供了有效的依据，对该型发动机的使用与维护具有实用价值。     

弱正则空间

本文给出了弱正则空间的定义,并研究了弱正则空间的性质,指出弱正则拓扑是一分离拓扑。