关于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证据组合的模糊识别两种方法的仿真对比实验验证了后者的有效性。     

基于截断正态概率模型的改进目标跟踪算法

在应用NIFPAT算法对机动目标跟踪时存在计算量大和要求网络训练两个弱点。分析了截断正态概率模型和NIFPAT算法后 ,把截断正态概率模型与NIFPAT算法思想相结合 ,提出了基于截断正态概率模型的改进目标跟踪算法。该算法根据目标机动情况自动调整系统方差 ,在附加较小计算量的情况下 ,能取得较好的跟踪效果。仿真实验表明 ,该算法能有效地提高对机动目标的跟踪精度。     

一类特殊的奇异级数

讨论了华林问题中一类特殊的奇异级数，在分析的范围内用代数数论的方法对它的下界作出一个估计，从而改进了Vaughan的结果。     

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

本文研究用内积表达的某些函数,分析它们的凸性,其主要的结论如下:由一个实的半正定矩阵 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 为半正定的。     

关于第四类超Cartan域上的Bloch函数

给出了第四类超Cartan域上的Bloch函数的充分条件以及必要条件。     

一阶零点邻域反函数存在定理

证明了实变函数与解析函数在一阶零点邻域内反函数存在定理     

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

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