Grbner基与联立方程式的解法

固定一个项序,利用Buchberger算法求多项式环S=C[x1,x2,…,xn]上的理想I的Grbner基。根据S上任意多项式f(x1,x2,…,xn)用Grbner基表示时其余项唯一的特点,将其应用到求解联立方程和求满足特定条件的多项式值等问题,从而得出Grbner基在求解多元非线性方程组方面的一个行之有效的方法,该方法为解决诸如此类数学建模问题开辟了一个新途径。     

微分算子环的强既约Grbner基

为解决计算微分算子环中Grbner基的Buchberger算法与Insa-Pauer算法在某些情况下不能将Grbner基进一步简化的问题,K.Nabeshima给出了微分算子环的弱既约Grbner基的定义和算法,但弱既约Grbner基并不唯一.为此,给出了微分算子环的强既约Grbner基的定义及算法,并证明微分算子环的强既约Grbner基的存在性和唯一性.     

线性变换下Grobner基的转换问题

Groebner基是符号计算中的基本工具之一，在许多实际问题中需要进行Groebner转换。讨论了经变元的线性变换Ф：k[x1，…，xn]→k[x1，…，xn]后Groebner基的转换问题。证明了Groebner在这种变换下保持基的性质。并证明了当变换矩阵为可经过行交换化为非退化上三角阵且变换后k[x1，…，xn]的序与原有序相容时，Groebner基经变换后仍保持Groebner基性质。     

模的Grbner基理论及在纠错码译码中的应用

针对如何提高纠错码译码过程中的效率问题,讨论了利用模的Grbner基理论计算纠错码中错误位置和错误值。计算过程中,首先将译码过程中关键方程的求解问题化为不同偏序下模的Grbner基的计算,然后利用一种偏序关系下已知的Grbner基计算另一种序下的Grbner基以得到错位及错误图样。该方法可以将错位多项式和错误值多项式同时求出。基于模的Grbner基理论的译码方法适用于二进制及多进制循环码的译码问题,并有助于提高译码的性能。     

Gr(o)bner基与联立方程式的解法

固定一个项序,利用Buchberger算法求多项式环s=C[3x1,x2,…,xn]上的理想Ⅰ的Gr(o)bner基.根据S上任意多项式f(x1,x2,…,xn)用Gr(o)bner基表示时其余项唯一的特点,将其应用到求解联立方程和求满足特定条件的多项式值等问题,从而得出Gr(o)bner基在求解多元非线性方程组方面的一个行之有效的方法,该方法为解决诸如此类数学建模问题开辟了一个新途径.     

有限域上基于Grbner基的高级综合优化方法

提出了基于多项式符号代数的高级综合方法,并使用元件库中的元件构建多项式符号代数所表示的数据通路,计算出其Grbner基.利用Grbner基对多项式进行一些基本操作,例如,多变元多项式分解、最大公因式提取、库单元映射等,从而实现了有限域上的数据通路优化.最后进行了算法复杂性分析和实验,实验在SUN工作站上通过调用Maple10来完成,实验结果证实了本方法的有效性.     

模的Gr(o)bner基理论及在纠错码译码中的应用

针对如何提高纠错码译码过程中的效率问题,讨论了利用模的Gr(o)bner基理论计算纠错码中错误位置和错误值.计算过程中,首先将译码过程中关键方程的求解问题化为不同偏序下模的Gr(o)bner基的计算,然后利用一种偏序关系下已知的Gr(o)bner基计算另一种序下的Gr(o)bner基以得到错位及错误图样.该方法可以将错位多项式和错误值多项式同时求出.基于模的Gr(o)bner基理论的译码方法适用于二进制及多进制循环码的译码问题,并有助于提高译码的性能.     

四元数除环上多项式环的Gr(o)bner基的应用

利用四元数除环上多项式环的Gr(o)bner基理论得到了消元定理,利用消元定理给出求理想生成元的肖元算法,且该生成元是相对消元序的Gr(o)bner基;研究了多项式映射ψ的核Kerψ的Gr(o)bner基和给出算法来判定ψ是否是映上的.     

广义Grtzsch环函数的一些性质(英文)

本文将Grtzsch环函数μ(r)的几个结果推广到了广义Grtzsch环函数μa(r),得到了关于μa(r)的几个不等式,并改进了原有的关于μ(r)的结果。     

广义Grtzsch环函数的若干性质

设0相似文献   

量子群Uq（C3）及其不可约模的Gr?bner-Shirshov基

为了研究量子群Uq ( C3)及其有限维不可约模的Gr?bner-Shirshov基,基于赋值图C3的Auslander-Reiten理论和表示的Gr?bner-Shirshov基理论,运用Ringel-Hall代数方法,构造了量子群Uq ( C3)的Gr?bner-Shirshov基,进而用双自由模及钻石-合成引理,给出量子群Uq ( C3)的有限维不可约模的Gr?bner-Shirshov基。     

非线性Schrdinger方程Neumann问题解的破碎

本文研究一类形如2iu_=△u f(|u|~2)u的Schrdinger方程、在球域上Neumann问题解的破碎,且在系统的能量第二积分为正值时,得到解在有限时间内发生破碎的条件,加深、推广了Glassey的工作。     

Mbius反演公式的一个应用

运用Mobius反演公式解决了在,种颜色的珠子中,取出n粒珠子串成项链的花色种数。     

Schrdinger算子在新BMO空间上的有界性

借助于对核Qt(x,y):=t2Ks(x,y)s|s=t2,x,y∈n,t>0的估计得到了Qtf在一类新BMO空间上的有界性,其中Ks是Schrdinger算子Ts=e-sL的核L=-Δ+V,位势V(x)满足反向Hlder不等式,Δ是拉普拉斯算子.     

Schrdinger算子在Morrey空间上的有界性

利用Schrdinger算子核的估计得到了Ttf(x)=e-tLf(x),t>0在Morrey空间上的有界性.其中L=-△+V,位势V(x)满足反向Hlder不等式,▽是拉普拉斯算子.     

Mbius及其相关分子的分子力学计算研究

采用扩充的ＭＭ２程序计算了三－ＴＨＹＭＥ和四－ＴＨＹＭＥＭｏｂｉｕｓ分子及相关的０，２，３次扭曲分子的拓扑构型，给出了在某种扭曲下优化的几何结构，找到了能量随分子几何形状的扭曲而起伏变化的规律，从而揭示了分子扭曲的几何位置，解释了已有的实验事实，并给未知分子的合成实验提供了某些理论性指导。     

一类二维非线性 Schrdinger 方程大时间问题的 Fourier 谱方法

用Ｆｏｕｒｉｅｒ谱方法研究了一类二维非线性Ｓｃｈｒｏｄｉｎｇｅｒ方程及其周期初值问题，构造了半离散的Ｆｏｕｒｉｅｒ谱逼近格式．用积分估计方法得到了离散解的一致先验积分估计，并用紧致性原理证明了连续方程大时间问题整体光滑解的存在惟一性，与半离散格式的大时间收敛性．     

Kthe序列空间的紧性(英文)

给出了Kthe序列空间的紧性判别条件．     

一类带调和势的非线性Schrdinger方程解的不稳定性

研究了一类带调和势的Schr d inger方程iφt=-12Δφ+12|x|2φ+ek|φ|2φ的解,通过运用能量的方法得到了当初值满足一定的条件时,方程的解会在有限的时间里发生爆破.     

Boussinesq-Schrdinger方程组的精确解

研究一类耦合的（1＋1）维Boussinesq-Schrdinger方程组.利用行波约化方法和齐次平衡法,并借助一维立方非线性Klein-Gordon方程的精确解,将方程组的求解问题转变成一个常微分方程组的求解问题,并求出了此方程组新的精确解,最后给出耦合方程组的几组具体的精确解.