无人机微波着陆引导设备扫描波束指向精度改进方法

无人机微波着陆引导设备为提高机动性减少了相控阵扫描天线阵元数目,使得扫描波束展宽、主瓣对称性变差,这会使原有馈相方法的扫描波束指向精度及其鲁棒性降低,设备保障能力减弱。针对这一问题,提出一种将相位循环法与改进遗传算法组合使用以提高扫描波束指向精度的方法。在各扫描指向上,每增加一个相位循环常量进行一次改进遗传算法优化,确定最终的各移相器输入值及其量化方式,克服相位循环法与基本遗传算法单独使用时的不足。仿真分析表明,组合方法产生的扫描波束指向精度优于随机馈相法以及基本遗传算法产生的扫描波束指向精度。     

球面子流的一个余维可约化定理

设Ｓ＾ｎ＋ｐ（１）是ｎ＋ｐ维单位球面,Ｍ＾ｎ 紧致子流形,本文从两个方面推广了Ｙａｕ「Ａｍ．Ｊ．Ｍａｔｈ。,１９７４,９６：３４６;１９９５,９７：７６」证明的一个余维可约化定理。     

高阶微分中值定理及其应用

利用向量形式的微分中值定理,把一阶微分中值定理推广到全新的高阶微分中值定理,并研究了它的应用．     

Bernstein多项式导数的整体收敛速度

研究Ｂｅｒｎｓｔｅｉｎ多项式的导数对可导函数的整体逼近,利用Ｋ－泛函和光滑模的方法,建立了同时逼近的正定理和逆定理     

一个新的单调类定理

定义了集类的ｗ类的概念,给出了ｗ类的单调类定理．     

特征函数与非凸对偶规划问题的存在性定理

主要研究非凸对偶规划问题最优解的存在性定理,通过引进一个新的概念－特征函数,证明了对偶目标函数的方向导数存在,并且是相应特征函数的极限。利用这一结论证明了对偶规划问题的最优判别原理与存在性定理。     

一种改进的树形矢量量化编码算法

矢量量化中的一个最严重的问题是在一本码本中搜索最近码字的高计算复杂度。本文在研究树形矢量量化的基础上提出了一种改进的树形矢量量化编码算法。实验结果表明,本文提出的编码算法相对于树形矢量量化算法可大大改善峰值信噪比（ＰＳＮＲ）。     

特勒根定理的验证及其应用

本文对特勒根定理的内容,特别是其适用的普通性进行了验证．并运用该定理对网络的灵敏度进行了分析．最后对一个具体电路的灵敏度进行了计算,进一步验证了文中所述方法的正确性．     

Weinstein的分裂定理的证明

Ｗｅｉｎｓｔｅｉｎ的分裂定理在研究Ｐｏｉｓｏｎ流形的局部结构中有重要作用．本文对该定理给出了详尽的证明．     

复调和函数的Cauchy积分公式

建立了复调和函数积分,得出了其Ｃａｕｃｈｙ积分定理与Ｃａｕｃｈｙ积分公式,并讨论了单位圆上复调和函数Ｃａｕｃｈｙ积分公式的特征。