基于RBF神经网络的井眼方位角误差建模及补偿

对于陀螺钻井测斜技术而言,由于惯性器件本身误差及井下恶劣条件带来的干扰均具有复杂性,误差补偿是影响测量精度的关键因素。在阐述陀螺测斜原理、分析测斜系统可能产生的各种误差的基础上,进行了测斜仪转台实验,并采用神经网络中的径向基函数理论建立了井眼方位角误差模型,将其建模性能指标与双线形插值建模指标进行综合对比,结果表明RBF网络建模时间短、拟合性能好、预测能力强、补偿后方位角误差得到有效抑制、补偿精度高,各项指标均优于双线形插值方法。     

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

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

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

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

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

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

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

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

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