2n阶边值问题的正解

通过运用锥不动点定理来讨论2n阶边值问题[multiply fro i=1 to n(-(d~2/dt~2) λ_i)]u=f(t,u),0-π2,i=1,2,…,n。f是非负连续函数。     

三轴轮控航天器姿态大角度机动控制器设计

研究了飞轮作为执行机构的航天器姿态大角度机动问题。建立了飞轮控制的姿态动力学模型;基于Lya-punov稳定性定理,设计了闭环控制器并给出了参数自适应律的解析表达式;分析了有界噪声作用下该模型的控制效果。仿真结果表明,所设计的控制器具有较强的鲁棒性和抗干扰能力。     

无穷维情形下的Rolle定理

设Ω是自反的实Banach空间X中的有界开凸集,Y为一实赋范线性空间。证明了一个无穷维情形下的Rolle定理：如果算子A∶Ω→Y在Ω上强连续,在Ω内Frèchet可微,并且存在Y上的非0连续线性泛函f,使得f（Ax）=0对一切x∈Ω成立,则至少存在一点∈Ω,使对一切u∈X,都成立f（A′（x）u）=0。     

相控阵天线有源单元方向图的计算方法

基于弗洛奎定理给出了一种计算无限相控阵有源单元方向图的方法。与传统的基于有源反射系数的方法不同,这种方法不但可以用于计算功率方向图,而且可以计算场方向图,因此可以计算诸如交叉极化、相位信息等更多的辐射特性。通过数值计算结果与仿真结果的比较验证了方法的正确性。     

预测-校正EKF算法在自主导航中的应用

为提高航天器自主导航系统非线性估计精度,通过分析EKF线性化方法的缺 点,基于数学分析理论研究了非线性函数线性化展开点以及雅可比矩阵取值点不同对线性化 逼近程度的影响,然后对传统EKF算法的线性化展开方式进行了改进,提出了一种基于中值 定理和平滑估计的预测-校正EKF（FR\|EKF）新算法。仿真结果表明,该算法在精度上优于 EKF算法。     

欠采样信号多采样频率处理方法

讨论了带通信号 A/D 转换中的欠采样问题,通过引入余数定理,给出了一种使用多采样频率的欠采样解决方案。以模数转换为例阐述欠采样问题的解决思路,给出了一些结论。     

基于数据挖掘的支线机场危险天气预估方法

近年来,支线机场航班运行数量逐步增加,伴随而来的是支线机场航班运行出现了一系列的危险天气下的安全运行风险。本文通过对机场历史数据的挖掘,研究了支线机场常见的大雾导致低能见以及大风等危险天气,运用统计学方法,通过中心极限定理计算大雾天气下的数据分布情况,找到其内在规律,将机场能见度的范围划分到不同的置信区间,通过对各个置信区间的假设检验计算,从而得到不同能见度范围下后续能见度的发展,对后续能见度进行预测。同时,利用皮尔逊相关系数法,计算相邻支线机场之间大风天气下的相关系数,通过计算机场序列的相关性,进而得到风场传播的趋势方向,从而有效提高支线机场的大风天气预估的准确性,达到避开危险天气,提高航班运行安全性的目的。通过预估这两类危险天气,增加对危险天气预警的准确性,提升支线机场航班运行的安全裕度,对今后支线机场的安全运行工作具备一定的借鉴意义。     

一类非线性三点边值问题正解的存在性

文章研究了一类非线性三点边值问题正解的存在性。运用一种新的方法得到格林函数的一些性质,然后运用Guo—Krasnoselskii不动点定理建立了边值问题在满足很弱的条件下解存在的条件,推广和改善了相关文献的结果。     

费马大定理巧妙证明

费马大定理是费马发现巧妙证法之后提出来的。通过从特殊到一般的巧妙证法,用二项式定理等初等数学方法巧妙地证明了此定理。即:不定方程xn yn=zn(n>2)(本文的各种字母没有特别指出时,都表示是正整数),当x=10a时,z不等正整数。由此得出"1加正有理数n次方和的n次方根是无理数。"的引理。用此引理和集合包含关系巧妙地证明了此定理。     

一种Cauchy微分中值定理的推广方法

对Cauchy微分中值定理进行了推广.