微分多项式

摘要： 本文利用Nevanlinna理论与多项式加权和的概念,研究了两个亚纯函数关于微分多项式的唯一性问题,得到了一类亚纯函数微分多项式在分担值下的唯一性定理,所得到的结果推广了An V H,Khoai H H,Chao M等人的结果.

摘要： 本文主要讨论了涉及微分多项式分担函数的正规定则,并且得到了以下结果:设F和G为区域D⊂ℂ的两族亚纯函数,所有零点的重级至少为k+1,其中k≥1且为整数。设b(z)≠0在D内全纯,ai,i=1, 2,…,k−1为有穷常数。若G正规,对于G中任意子列{gn},gn⇒g,在区域D上我们有g≢∞和L(g)≢b(z)(其中L(f)=f(k)+ak-1f(k-1)+…+a1f且L(g)=g(k)+ak-1g(k-1)+…+a1g)。若对于任意f∈F,存在g∈G使得:1)f(z)=0⇔g(z)=0;2)f(z)=∞⇔g(z)= ∞;3) L(f(z))=b(z)L(g(z))=b(z);则F在D上正规。

摘要： 本文研究了一类微分多项式的亚纯函数的正规定则。我们改进和推广了前人的结论,利用P-Z引理,采用反证法,得到一个新的正规定则。

摘要： 本文中,我们利用多复变对数导数引理将Milloux不等式推广至关于整函数全导数的微分多项式.作为应用,我们证明了两个多复变Picard型定理:设是f是Cn上的一个整函数,a,b是两个判别复数且b≠0,(1)如果f≠a,f关于全导数的微分多项式P≠b,则f是常函数;(2)如果fsDt1(fs1)···Dtq(fsq)≠b,且s+∑qj=1 sj≥2+∑qj=1 tj,则f是常函数,其中Dkf是f的k阶全导数.

摘要： 研究了亚纯函数的微分多项式fnf′和gng′IM分担一个多项式P(z)的唯一性问题,证明了当n>22且多项式P(z)的次数小于等于n时,则f(z)=tg(z),或者f(z)=λ1eλ∫P(z)dz,g(z)=λ2e-λ∫P(z)dz,其中,t,λ1,λ2,λ为常数.

摘要： 对于有穷极超越亚纯函数f(z),当f(z)的零点重级至少为k+1(k是正整数)时,王跃飞得到f(k)(z)取任何非零有穷复数无穷多次.本文将此结论推广到微分多项式的情形,得到当f(z)为有穷级超越亚纯函数,k是一正整数,f的零点重级至少为k+1,极点重级至少为2时,有D[f]-P具有无穷多个零点,其中D[f]= f(k)+ak-1f(k-1)+…+a1f',a1,…,ak-1为f的一组小函数,P为一多项式.

摘要： 本文在条件N(r,1/f)+N(r,f)=S(r,f)下研究了超级小于1的亚纯函数f的1类非线性差分多项式的值分布问题,改进了Laine-Yang[4]中的相应结果.本文也分别研究了具有1个非零公共值的1类非线性微分多项式和差分多项式的唯一性问题,推广了Yang-Hua[14]和方明亮[15]中的相应结果.

摘要： 该文讨论了亚纯函数及其微分多项式,fkQ[f]+P[f]例外集理论的产生,发展和最新进展,并且为下一步研究提出了建议.

摘要： 本发明公开了一种基于有理多项式模型可微分张量表达的多视影像对齐方法。本发明直接从多视影像和成像几何关系出发，使得端到端的多视卫星影像密集匹配成为可能，而不再需要卫星影像核线重采样等复杂的预处理步骤。可移植性强，可作为独立模块嵌入到现有的深度学习多视密集匹配网络中，而无需改变其他结构和训练策略。理论更严密，相比于将有理多项式模型在局部拟合成透视成像模型的思路具有更严密的理论支持，并在实验中证实了该技术可取得更高的精度。

摘要： 本发明涉及的多项式拉东‑多项式傅里叶变换的高超声速目标检测方法，属于雷达信号处理和检测技术领域，首先对待积累的N个周期信号进行采样，提取慢时间‑快时间目标观测值，并分别脉冲压缩，然后确定多项式拉东‑多项式傅里叶变换的初始化参数，利用多项式拉东‑多项式傅里叶变换在参数空间进行搜索补偿积累，得到相参积累后的距离‑多普勒分布图，最后对距离‑多普勒分布图进行恒虚警检测和目标运动参数估计。本发明用多项式来对目标运动建模，通过多项式的参数搜索来补偿信号的距离走动和多普勒扩展，能够在低信噪比背景下实现对高速高机动目标的有效积累检测，并利用多分辨率搜索方式来实现对多维参数空间的有效搜索，提高了搜索的实时性。

摘要： 本发明提供推算用多项式生成装置、推算装置、推算用多项式生成方法及推算方法，推算用多项式生成装置具备：存储由输入参数的数据和输出参数的数据的组构成的分析用数据的分析用数据存储部(1)、存储对相似变换后的输入参数与输出参数的关系进行限定的函数曲面的算式的函数曲面存储部(2)、存储用于对输入参数和输出参数进行相似变换的相似变换算式的相似变换算式存储部(3)、使用分析用数据、函数曲面的算式和相似变换算式来搜索并确定相似变换算式的系数的相似变换参数搜索部(4)、将函数曲面的算式和确定了系数的相似变换算式合成，来计算出用于根据输入参数值推算输出参数值的推算用多项式的推算用多项式计算部(5)。

摘要： 本发明公开了一种基于有理多项式模型可微分张量表达的多视影像对齐方法。本发明直接从多视影像和成像几何关系出发，使得端到端的多视卫星影像密集匹配成为可能，而不再需要卫星影像核线重采样等复杂的预处理步骤。可移植性强，可作为独立模块嵌入到现有的深度学习多视密集匹配网络中，而无需改变其他结构和训练策略。理论更严密，相比于将有理多项式模型在局部拟合成透视成像模型的思路具有更严密的理论支持，并在实验中证实了该技术可取得更高的精度。

摘要： 本发明实施例公开了一种多项式乘法器中的数据处理方法、多项式乘法器及处理器。其中该多项式乘法器用于执行后量子密码Saber算法中的多项式乘法操作。该数据处理方法包括：提供用于存储从存储器中读取的多项式系数的寄存器，其中所述存储器的位宽为64位，所述多项式系数的位宽为13位，所述寄存器为676位；在每一周期，依次从所述存储器中读取64位的数据至所述寄存器中存储，所述寄存器按照先入先出的方式存储数据；根据当前的周期数，从所述寄存器中与该周期数对应的位置选择对应的多项式系数；以及根据选择的多项式系数，进行多项式乘法计算，以实现多项式系数的同步读取和计算。本实施例能够降低资源开销以及提高多项式乘法器的效率。

摘要： 本发明公开了一种基于NTT和INTT结构的多项式乘法运算方法和多项式乘法器。该方法包括将预处理步骤与NTT变换进行合并，得到合并NTT变换，并分别对输入的多项式a(x)和b(x)进行合并NTT变换，得到多项式A(x)和B(x)；对多项式A(x)和B(x)的系数执行点乘运算，得到点乘运算结果C(x)：C(x)＝A(x)⊙B(x)modq，其中，q表示多项式环R

摘要： 本发明提供了一种多项式乘法运算方法、多项式乘法器、设备及介质，应用于计算机技术领域，包括：分别对输入的多项式a(x)和b(x)进行合并NTT变换，得到系数为a的多项式A(x)和系数为b的多项式B(x)，对系数a和该系数b执行点乘运算，得到点乘运算结果C(x)，对C(x)进行合并INTT变换，得到c(x)，其中，在对C(x)进行合并INTT变换的模减运算过程中，交换系数a和系数b的运算位置。本发明解决了现有多项式乘法运算常数存储量太大的技术问题，可实现降低一半的常数存储量和存储开销的技术效果。

摘要： 本发明公开了一种多项式旋转‑多项式傅里叶变换的高速高机动目标检测方法，首先分别对积累时间内的M个雷达脉冲回波进行数字化采样以及脉冲压缩处理，得到快时间‑慢时间二维雷达回波数据矩阵；然后根据待检测目标运动特性确定搜索参数组的阶数和范围并初始化搜索参数组；接着利用多项式旋转‑多项式傅里叶变换在整个参数搜索空间内对数据矩阵进行相参积累，得到距离‑多普勒分布图；最后利用恒虚警检测判断目标的有无，若有目标则可以得到目标的距离和运动状态信息。多项式旋转‑多项式傅里叶变换可以在计算复杂度远小于广义拉东变换的条件下，与其达到同样的理论最佳积累效果，实现低信噪比环境下临近空间高速高机动目标相参积累。

摘要： 公开了一种将高阶多项式转换成二次多项式的方法和计算机可读介质。该方法可以包括：通过对HOBO问题的变量的多个索引进行排序来创建键‑值对的数据结构，每个键‑值对中的键对应于出现在HOBO中的二次项的组合，并且值对应于包含关联键的至少三次的所有项。对于数据结构的每个键，执行二次化过程，包括：识别具有最大数目的关联值的键、用辅助变量替换所识别的键、更新数据结构以便与辅助变量的替换相对应、以及将辅助变量和辅助变量替换的二次项作为对存储在数据映射中。该方法还可以包括：为数据映射中的每一对构造二次多项式。

摘要： 本发明涉及的多项式拉东-多项式傅里叶变换的高超声速目标检测方法，属于雷达信号处理和检测技术领域，首先对待积累的N个周期信号进行采样，提取慢时间-快时间目标观测值，并分别脉冲压缩，然后确定多项式拉东-多项式傅里叶变换的初始化参数，利用多项式拉东-多项式傅里叶变换在参数空间进行搜索补偿积累，得到相参积累后的距离-多普勒分布图，最后对距离-多普勒分布图进行恒虚警检测和目标运动参数估计。本发明用多项式来对目标运动建模，通过多项式的参数搜索来补偿信号的距离走动和多普勒扩展，能够在低信噪比背景下实现对高速高机动目标的有效积累检测，并利用多分辨率搜索方式来实现对多维参数空间的有效搜索，提高了搜索的实时性。