关于M(x)=o(x)的一个初等证明

本文的主要结果为:设μ(n)是M?bius函数,x>0为实数,若M(x)=■,则M(x)=o(x),x→∞.完成了该定理的初等证明.     

取值于Banach空间中的（E1）囿变函数

引入取值Ｂａｎａｃｈ空间中的（Ｅ１）囿变函数的概念，并讨论它与强、弱囿变函数之间的关系．     

A High Speed Detection Scheme for Point Targets in a Multitarget Environment

The purpose of this paper is to develop a high speed detection scheme for moving and / or stationary point targets in a multitarget environment as registered in an IR image sequence. An iterative approximate 3-D line searching algorithm based upon the geometric representation of lines (for non-maneuvering targets in space) in a 3-D space is derived. The convergency of the algorithm is proved. An analysis is performed of the theoretical detection performance of the algorithm. The statistical experiment results show high effectiveness and computational efficiency of the algorithm in the case of low SNR. The idea may be employed to satisfy the real-time processing requirement of an IR system.     

基于D-S推理的模糊模式识别方法

针对战场环境下数据融合系统的ESM设备获得的辐射源信息在时间上的冗余性,提出了一种基于D-S证据推理的模糊模式识别方法。该方法通过对观测样本信任度(模糊隶属度)的重新分配,有效地解决了辐射源信息不确定性问题,提高了辐射源的正确识别率。最后通过单一的模糊识别和D-S证据组合的模糊识别两种方法的仿真对比实验验证了后者的有效性。     

一类用内积表达的函数凸性

本文研究用内积表达的某些函数,分析它们的凸性,其主要的结论如下:由一个实的半正定矩阵 An×n 及属于 n 维欧氏空间的向量 a,x 构成[x,Ax]+[a,x]+b(b 为常量)型关于向量 x 的一类内积函数,则此类函数为n 维欧氏空间上的凸函数。A,B 均为 n×n 阶实矩阵、a,x 均属于 n 维欧氏空间向量,那么由 Bx+a,A(Bx+a)构成关于 x 的内积函数,该函数在 n 维欧氏空间上凸的充分条件是 B为任意,A 为半正定的。     

周期摄动保守系统的存在性定理

本文利用全局反函数定理讨论了一类非线性边值问题解的存在性与唯一性.     

带有非局部源项的发展方程全局解的不存在性

通过试验函数法,本文讨论了具有形如‖u‖p或‖ Du‖p的非局部源项的发展方程全局解的不存在性.     

Lyapunov稳定性逆定理的另一种证明

Lyapunov方法是研究非线性控制问题的重要手段,而Lyapunov稳定性逆定理又是应用此方法的主要定理,但其证明却非常烦琐.利用直接取指数函数的方法,简化了Lyapunov稳定性逆定理中关键函数G的构造,给出了Lyapunov稳定性逆定理的另一种简单的证明方法.     

结构动力分析一种简易的直接积分法

本文利用方块脉冲函数优良的运算性质,提出一种结构动力分析简易的直接积分法——方块脉冲函数法,具有无条件稳定的积分格式,并表明方法的可行和有效.     

关于Picard和Schottky定理的精确界

本文建立了一组与椭圆模函数密切相关的不等式。利用这组不等式得出了Picard定理与Schottky定理的精确界