多项式环Zpe[x]中的Hensel引理及提升

在多项式环Zp^e[x]中，建立了Hensel引理及提升，并利用Hensel引理证明了x^n－1在Zp^e[x]中可惟一分解成基本不可约多项式的乘积，其中（n,p）＝1。     

再论多项式的Hensel提升

R是有限链环,M是其极大理想,K=R/M;则建立了K[x]中一类多项式在R[x]中的Hensel提升;证明了多项式的Hensel提升不依赖于n的选择,证明了K[x]中任一首一多项式f(x)在R[x]中具有Hensel提升的充要条件是f(0)≠0且f(x)在其分裂域中无重根。     

多项式X2m-1在环Z(2m-1)k上的因式分解

研究多项式X~(2m)-1在环Z((2m-1))~k上的不可约因式分解,其中2m-1为素数,并给出X~(2m)-1不可约因式系数之间的约束关系,以及m=4、6时X~(2m-1)-1的不可约因式分解。     

基于Hensel引理的规格化边界角浮点乘测试用例生成模型

针对浮点乘仿真验证中测试用例空间大、覆盖不全面和边界角用例定位困难等问题,提出了一种基于Hensel引理的规格化边界角浮点乘测试用例生成模型,并从正规格化和负规格化边界角浮点数两方面对测试用例及乘积结果进行了分类讨论.结果表明,与传统的边界角验证法相比,文中模型的平均检错率提高了约7.39%,不同浮点数位宽下的浮点乘检错率最高可增加9.77%,有效提高了浮点乘功能验证的覆盖率和设计可靠性.     

扩充Z平面上的席瓦尔兹引理及其推论

席瓦尔兹引理在其他学科和复变函数的后续课程中是一个重要的引理.对席瓦尔兹引理做出一番研究,不仅有理论意义,而且有着应用意义.现对席瓦尔兹引理做出了几个不同形式的推广.     

Riemann引理的直观理解及若干证法

本文首先给出Riemann(黎曼)引理的直观理解,再通过变量替换及多项式逼近给出Riemann引理的若干证法。     

Levi定理和Fatou引理的一种推广

利用 L evi定理及一般可测函数的定义对 L evi定理作推广 ,同样对 Fatou引理进行改进而作为 Fatou引理的推广 ,并由此得到比 L ebesgue控制定理更一般的结论     

关于调和函数的Schwarz引理的推广

在参考文献[1]中对Schwarz引理作了推广,得到了已知零点阶数情形下的|f(z)|更精确的下界.本文将利用Schwarz引理的推广对调和函数Schwarz引理进行推广,得到了能反映零点阶数的调和函数Schwarz引理.     

有限域Fq上的次数≥1而零次项≠0的多项式的周期的一个计算方法

本文运用有限域Ｆｑ上多项式的理论，给出了有限域Ｆｑ上的次数≥１而零次项不为零的多项式的周期的一种计算方法，即使用长除法；同时还介绍了使用长除法时应注意的事项；介绍了使用长除法求得的符合上述条件的Ｆ２上的所有４次多项式的周期，Ｆ３上的所有２次多项式的周期以及Ｆ４上的所有３次多项式的周期。     

Borel-Cantelli引理的推广

对Borel-Cantelli引理中的相互独立条件进行弱化,得到了当积事件发生的概率控制在一个范围内时的Borel-Cantelli引理.     

Zpk环上的BCH码的构造

BCH码是迄今为止所发现的一类性能优良的线性纠错码类，它具有很强的纠错能力。特别是它具有严格的代数结构，因此它在编码理论和实际中起着重要的作用。已知有限域Fp上长度为n=P^m-1，设计距离为d的本原BCH码，在Galois环上通过对BCH码的生成多项式的Hensel提升，构造得到了Zp^k环上的BCH码，且其最小距离至少为d。     

Z_q上的1生成准扭码

运用Galois环和Hensel提升的相关知识给出了多项式xn-λ(其中,λ∈Zq,q=pk,p为素数)在Zq[x]中的不可约分解方法,证明了Zq上的常循环码等价于Zq的某一Galois扩环上的循环码,并在此基础上给出了Zq上的常循环码及1生成准扭码的相关性质.     

多项式剩余类环Z2 m[x]/(xp-1)上的幂等元

讨论了多项式剩余类环Z2m[x]/(xp-1)上的幂等元的表达式及对称性质.利用具有这些性质的幂等元可讨论环Z2m上的二次剩余码是否具有有限域上二次剩余码的性质.     

基于Hensel构造的回归神经网络符号计算模型及算法

将传统意义下Hensel构造提升的方法与回归神经网络模型有机地结合起来，提出一种基于Hensel构造方法的回归神经网络近似代数符号计算新模型和PFRNN网络算法。该模型不但具有回归神经网络的特点，而且具有Hensel构造提升的思想，给人们研究代数符号计算与近似代数符号计算提供一种可视化手段。通过多元多项式近似因式分解算例分析可以看出，新模型刻划出在符号计算意义下精确计算与近似计算的本质与联系。     

有限域上长为2^m的自正交循环码

设Fq是一个奇数阶有限域。借助有限域上多项式的因式分解确定了Fq上所有长为2^m的自正交循环码的生成多项式及其个数。     

L-闭包空间及Urysohn引理

目的研究L-闭包空间中与拓扑空间类似的一些性质。方法定义L-闭包空间及它们之间的连续映射、开映射、闭映射和同胚映射，并给出这些映射的等价刻画，继而定义正规L-闭包空间。结果证明了关于L-闭包空间的Urysohn引理。结论拓扑空间中的Urysohn引理可推广至L-闭包空间。     

周期冲激函数与黎曼引理

证明了周期冲激函数展开所得到的傅里叶级数收敛于冲激函数，冲激函数不满足黎曼引理，因此由黎曼引理导出的傅里叶级数的性质不适合于周期冲激函数，对由黎曼引理推出的傅里叶级数的系数的性质进行了修正。     

Stampacchia引理、推广及应用

经典的 Stmapacchia 引理在椭圆型偏微分方程的正则性理论和变分问题中有广泛应用.本文总结 Stampacchia 引理和此引理的若干推广,并给出这些推广在某退缩椭圆型偏微分方程正则性理论中的应用.