基于改进 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年)中奠定了拟阵论的基本理论。研究表明惠特尼的这些贡献均与求解四色猜想密切相关,他虽未成功解决四色猜想,但由此取得的理论成果对现代图论的发展影响深远。他开展数学研究的基本特征是寻求表象内在的原因,另一个特征是他在图论研究中的拓扑学思维方式,这对图论本身及之后的拓扑学研究都产生重大影响。     

关于第二典型联络的Laplace算子

讨论近Hermite流形上第二典型联络的Laplace算子,得到它与几何上通常Laplace算子之间相差一个挠向量场.特别地,得到semi-Khler流形上第二典型联络的Laplace算子与通常Laplace算子是相同的.这推广了WEINKOVE等人在quasi-Khler流形上的这两类算子相等的结果.     

任意结点组上的截断Hermite插值收敛(英文)

给出了任意结点组上截断Hermite插值的加权Lp范数收敛的充分条件.其中主要结论之一:给定一个整数r,0≤r≤m-1,函数f∈Cr[-1,1],记Hn,r(f;x)为任意结点组X上的Hermite插值多项式,设dμ为一个测度,0相似文献   

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

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

一类三次系统无穷远点的中心条件

研究了一类三次系统无穷远点的中心条件.通过将实系统转化为复系统研究,给出了计算无穷远点奇点量的递推公式,并在计算机上用Mathematica软件推导出该系统无穷远点前7个无穷远点奇点量,进一步导出了无穷远点成为中心的条件.     

非奇异Hermite矩阵流形上的Jacobi场

讨论了非奇异Hermite矩阵流形H(n)的几何结构.定义其上的黎曼度量,给出了流形H(n)上的α-对偶联络和α-曲率张量.从微分几何的角度,研究流形H(n)上的Jacobi场,进而考虑测地线的收敛性,并举例说明结果.     

结合时间相关特征改进中国区域二氧化碳卫星观测数据的地统计分析

通过卫星从空间观测全球大气二氧化碳(CO2)浓度为全球碳循环研究提供了新的数据源.虽然卫星可以进行高密度点观测,但是由于云和卫星观测模式等影响,卫星观测点数据在空间上呈不规则分布且存在大量无观测值的空白区域.精确填补这些空白区