对有限时段导弹组合型控制的分步骤计算法

对于导弹的制导问题采用了最优化控制理论就会产生两点边界值问题，在使用过程中根据线性微分约束条件，最重要的特定的两点边界值问题就是关于控制与状态的二次型性能指标问题，例如在控制效果不佳的时候，在制导控制律的演算中，为了使最终脱靶量最小就会出现这些问题，解决两点边界值问题的各种方法见参考文献1，譬如射击实际上用的就是迭代方法，     

共面变速拦截对策的一个统一的近似反馈解

 本文运用微分对策理论研究了战术导弹与目标飞机之间的共面变速拦截问题,采用强迫奇异摄动方法求得了统一的近似反馈制导控制规律。选用实际空气动力数据的算例表明这个次最优制导控制规律是有效的。     

Banach空间中微分包含解的存在性

本文在无穷维Ｂａｎａｃｈ空产是中讨论微分包含解的存在性，先给出了几个普通微分包含的比较定理，讨论了近似解与解的关系，然后得到了Ｂａｎａｃｈ空间中微分包含解的存在性定理。     

加筋圆柱曲板稳定性的微分求积单元法分析

加筋圆柱壳和圆柱曲板在工程领域中有着广泛的应用,其稳定性特性是设计人员十分关注的一个问题。本文首次尝试应用微分求积单元法分析加筋圆柱曲板的稳定性问题。采用了新的确定权系数的方法建立了微分求积圆柱曲板单元,并给出了详细的分析过程。将微分求积单元法的计算结果与现有的数值结果进行了比较来验证所建立的微分求积单元法的分析过程及结果的正确性,还给出了一些新的数据和图线供设计参考或者用于新方法的验证。     

地球同步轨道相对论电子微分通量的动态预报模型

地球同步轨道区域充满能量高达MeV的高能电子,其对航天器威胁极大.电子微分通量预报有助于及时有效地预警高能电子事件,降低高能电子对航天器造成的危害.本文以此为背景提出了一种基于经验正交函数（EOF）方法的地球同步轨道相对论电子微分通量预报模型.该模型利用太阳风参数及地磁指数拟合后一天的电子通量EOF系数,结合EOF基函数给出后一天中大于2MeV电子微分通量预报.对2003年1月至2006年6月的样本测试结果表明,该模型可以重构出电子微分通量的真实变化,给出较好的5min微分通量预报,其平均预报效率达到67%左右.     

关于3N+1猜想三种简捷证明方法的研究

论述证明3N+1猜想的三种简捷方法：迭代损益法、同胚法和数学归纳法成功证明命题成立。     

一类不确定非线性系统的观测器设计

系统状态观测器在故障检测与状态反馈中起着重要作用,特剐是非线性系统状态观测器的构造已成为目前控制理论界一个重要研究课题。本文针对一类含有建模误差的非线性系统,提出了一种非线性状态观测器的结构形式,然后利用非线性变换,将含有建模误差的非线性系统变换为仅依赖原系统的输入、输出的规范形式,从而利用可测数据进行构造观测器。在此基础上,利用Lyapunov稳定性理论以及微分同胚的性质,分析了非线性动态误差方程的稳定性。理论证明,在建模误差为零时,估计状态收敛到其真实状态;在建模误差不为零时,估计状态与实际状态之差一致最终有界。最后进行了详细的仿真研究,结果表明了该方法的有效性。     

一种基于微分代数的任意阶空间目标轨道传播方法及其分析

微分代数方法可以在不改变当前算法计算过程的基础上给出函数对自变量任意阶导数的精确值。本文给出了一种基于微分代数的任意阶空间目标轨道传播方法。本方法首先将初始微分代数代入轨道传播方程,然后用获得的高阶导数构造新的高阶微分代数。用新的高阶微分代数迭代前述过程可求解空间目标状态对时间的任意阶导数。最后,将任意阶导数代入泰勒展开公式求解空间目标轨道单步传播。本方法要求轨道传播方程采用的摄动力模型在轨道传播积分区间上是解析的。本文通过仿真分析验证了所提方法的有效性。     

面向绕月交会对接的同波束VLBI研究

针对"嫦娥5号"(CE-5)探测器间高精度相对测量需求,设计了我国深空干涉测量处理中心框架下的同波束VLBI处理算法,分析了X波段同波束VLBI相位解模糊条件和结果;通过引入群时延辅助的相位干涉技术,大幅抑制了干涉时延随机误差,为同波束VLBI中相位解模糊提供了先验条件;利用CE-5对接实测数据验证了本文工作的有效性,为CE-5任务同波束VLBI的实施奠定了基础。