一类微分方程正解存在唯一性的研究

对微分方程正解的存在性的探讨已经很丰富,但当微分方程是超线性时,证明正解唯一的讨论并不多,为此讨论了一类自治渐近(超)线性微分方程的正解存在唯一性问题.给出了一个正解存在唯一的充分条件。     

临近空间飞行器两种捷联惯导算法的等价性

分析了临近空间高超声速飞行器的弹道特点,指出临近空间飞行器具有航天和航空的双重导航信息需求。介绍了发射惯性坐标系和当地水平坐标系下的捷联惯导算法,前者是航天体系下垂直发射飞行器典型导航算法,而后者是地球表面航空飞行器的典型导航算法。针对临近空间飞行高度,改进了航空体系捷联惯导算法中重力计算模型。从位置、速度和姿态3个角度,得到了2种导航体系下导航信息的转换关系,证明了2种导航体系下导航信息的等价性。