基于高分辨雷达的运动目标参数估计方法研究

根据运动目标的频域回波的特点，深入研究了一种具有多项式相位结构的运动目标回波仿真模型，并提出了基于该模型的多特征参数提取方法。该方法基于匹配傅立叶变换理论，依据频域雷达目标回波特征构造匹配函数，对目标回波数据进行匹配傅立叶变换，变换结果的主瓣坐标反映了目标散射点的距离及速度信息。大量的仿真实验结果证明，该方法十分有利于进行运动目标的特征提取。根据对仿真结果的分析，进一步给出了改进算法，使得在较低信噪比情况下也能够有效的检测出目标上的散射点的距离与速度参数。     

THE λ-GROBNER BASES UNDER POLYNOMIAL COMPOSITION

Polynomial composition is the operation of replacing variables in a polynomial with other polynomials. λ-Grgbner basis is an especial Grobner basis. The main problem in the paper is： when does composition commute with λ-Grobner basis computation？ We shall answer better the above question. This has a natural application in the computation of λ-Grobner bases.     

基于改进 HAF的线性调频雷达信号参数估计

针对多项式相位信号(PPS)中的线性调频(LFM)雷达信号参数估计,通过提出频谱方差极大值准则对PPS次优参数估计方法高阶模糊度函数(HAF)进行了改进,提出了适于单分量LFM参数估计的改进HAF。首先讨论了HAF对LFM参数的估计方法及其局限性,然后提出了分段频谱方差极大值法则下LFM调频斜率估计的方法,将其与HAF相结合提出了单分量LFM参数估计的改进HAF,克服了接收信号与实际信号起点不一致性对HAF带来的影响,降低了由于HAF局限性带来的调频斜率估计误差,改善了HAF的累积误差效应。MATLAB仿真验证了改进方法较HAF的优越性。     

Discovering non-terminating inputs for multi-path polynomial programs

This paper investigates the termination problems of multi-path polynomial programs （MPPs） with equational loop guards. To establish sufficient conditions for termination and nontermination simultaneously, the authors propose the notion of strong/weak non-termination which under/over- approximates non-termination. Based on polynomial ideal theory, the authors show that the set of all strong non-terminating inputs （SNTI） and weak non-terminating inputs （WNTI） both correspond to tile real varieties of certain polynomial ideals. Furthermore, the authors prove that the variety of SNTI is computable, and under some sufficient conditions the variety of WNTI is also computable. Then by checking the computed SNTI and WNTI varieties in parallel, termination properties of a consid- ered MPP can be asserted. As a consequence, the authors establish a new framework for termination analysis of MPPs.     

Polynomial-rooting based fourth-order MUSIC for direction-of-arrival estimation of noncircular signals

A polynomial-rooting based fourth-order cumulant algorithm is presented for direction-of-arrival（DOA） estimation of second-order fully noncircular source signals, using a uniform linear array（ULA）. This algorithm inherits all merits of its spectralsearching counterpart except for the applicability to arbitrary array geometry, while reducing considerably the computation cost.Simulation results show that the proposed algorithm outperforms the previously developed closed-form second-order noncircular ESPRIT method, in terms of processing capacity and DOA estimation accuracy, especially in the presence of spatially colored noise.     

惠特尼对图论的贡献

惠特尼是20世纪美国最有影响的数学家之一。文章在对原始文献进行分类研究的基础上,论述他在转向拓扑学之前的图论工作:他不仅对可平面图、平面图的哈密顿回路问题、色多项式理论做出了巨大贡献,还使图论产生全新的分支——拟阵论,并在《关于线性相关性的抽象性质》(1935年)中奠定了拟阵论的基本理论。研究表明惠特尼的这些贡献均与求解四色猜想密切相关,他虽未成功解决四色猜想,但由此取得的理论成果对现代图论的发展影响深远。他开展数学研究的基本特征是寻求表象内在的原因,另一个特征是他在图论研究中的拓扑学思维方式,这对图论本身及之后的拓扑学研究都产生重大影响。     

关于p 一致光滑Banach空间中非自映像的Reich公开问题

在p 一致光滑的Banach空间(1相似文献   

一类非线性抛物方程全离散Legendre拟谱逼近的大时间性态

运用Legendre拟谱方法研究一类非线性抛物方程的大时间问题,建立了全离散的拟谱格式.在有限时间区域及0≤t≤+∞上,讨论了半离散系统解的长时间误差估计.     

指数有界双参数C半群的逼近

基于C半群的定义,引入指数有界的双参数C半群的概念,借助于单参数C半群与双参数C半群之间的关系,利用范数与极限的一些性质,考察了指数有界的双参数C半群的逼近问题.从而对Banach空间中单参数C半群逼近定理及双参数强连续算子半群逼近定理进行了推广,为相应的抽象Cauchy问题提供了解决方案.     

多项式展开的快速扩散张量图像配准

提出一种基于多项式展开的扩散张量图像快速配准方法.采用拉普拉斯算子提取经图像增强处理的各向异性测度图像的边缘特征点,给出一种图像变换模型,利用边缘特征点来定义图像的特征,并以此校正图像的方向.利用基于多项式展开的配准模型,对已经经过方向校正的各向异性测度图像进行全局像素点稠密配准.实验结果表明该方法有效地提高了配准效率和配准精度.