模上的Groebner基

Groebner基是代数中基本的计算工具之一.本文通过将Groebner基在理想上的一条性质推广到模上,来研究模上的Groebner基.首先证明模上的Groebner基的几个等价刻画;然后提出模上的Groebner基的一条性质;最后,根据所提的性质以及等价刻画,讨论Rm中元素f,g的s-多项式的性质.结果表明,所提的性质对研究模上的Groebner基是有意义的.     

半群代数k[A]中的泛Groebner基的研究

对半群代数k[A]中Groebner基的性质进行了研究,并得出k[A]中任何理想,都存在泛Groebner基。     

同态映射下Groebner基的性质

讨论了一般代数同态下Ｇｒｏｅｂｎｅｒ基的性质，得到了同类同态映射保持Ｇｒｏｅｂｎｅｒ基与Ｄ－Ｇｒｏｅｂｎｅｒ的不变性。     

平衡多小波的Groebner基构造及其应用

平衡多小波由于可避免预滤波而成为小波分析的研究热点,对已有不平衡多小波进行平衡,常会丢失多重尺度函数的对称性.通过对平衡多小波的平衡特性进行研究,结合正交性、对称性,构造一组由小波系数构成的多元多项式方程组,利用Groebner基方法求解出2阶平衡多小波的滤波器系数.采用2阶平衡多小波对图像进行压缩处理,取得了良好效果.     

Groebner基在贮藏问题中的应用

通过计算理想的既约Groebner基，得到一种寻求最佳的仓库间隔数及最佳仓库间隔的方法．     

量子代数A_n（q_1,…,q_n,K）的强既约Groebner基

对于量子代数An（q1,…,qn,K）的左理想引入了强既约Groebner基,证明了这种基的存在性与惟一性,并给出了构造一个强既约Groebner基的算法。     

F4型量子群表示的Groebner—Shirshov基

本文以凡型量子群表示的Groebner—Shirshov基为基础,利用双自由模方法给出凡型量子群的有限维不可约表示的Groebner-Shirshov基．     

模上的Groebner基与切触有理插值

利用模上的Groebner基研究多元切触有理插值问题, 得到了多元有理函数a(X)/b(X)的参数化表示, 并给出一种构造多元切触有理插值算法. 当插值问题退化为Cauchy型有理插值问题时, 相应的算法即为多元有理插值的Newton型算法.     

量子代数An（q1,…,qn,K）的强既约Groebner基

对于量子代数An(q1,…,qn,K)的左理想引入了强既约Groebner基,证明了这种基的存在性与惟一性,并给出了构造一个强既约Groebner基的算法。     

高阶平衡多小波的Groebner基构造

为构造出图像处理中无需预滤波的平衡多小波,研究高阶平衡多小波的平衡性,并结合其对称性和正交性,构成一组以平衡多小波的滤波器系数为未知数的高阶多元多项式非线性方程组. 利用计算代数中的Groebner基算法,获得了1～3阶平衡多小波滤波器组的全部系数,并绘制了它们的波形图. 从波形图可见,多小波的平衡阶数越高,其波形越光滑,但计算难度显著加大.     

Noether整环上的复合Groebner基

 对于Noether整环上n个变元的多项式环中的Groebner基以及m(m≥n)个变元的多项式环中的复合,通过引入S-多项式及合冲条件,证明了当复合与2个不同多项式环上的项序均相容并且是一组由首幂积为幂置换与置换外其余变元幂积的乘积组成的首1多项式时,Groebner基的计算与复合可交换.从而在此条件下,极小Groebner基的计算也与复合可交换.特别地,当m=n时,如果复合是与项序相容的一组首幂积为幂置换的首1多项式,Groebner基的计算与复合可交换.     

Noether整环上的齐次复合Groebner基

复合是指将多项式的每一个变元用新的多项式替换.对于Noether整环上的多项式环,如果复合与项序相容并且是一组首幂积为排列幂的首1齐次多项式,那么Noether整环上齐次Groebner基计算与齐次复合可交换.     

代数Οn(λji)中左Groebner基在自同态下保持的一个有效判别方法

给定可解多项式代数Οn(λji)的一个自同态φ以及Οn(λji)的左理想L的一个左Groebner基G,给出φ(G)是其生成的左理想的左Groebner基的一个判别方法.该结果推广了熟知的有关交换多项式代数中Groebner基在自同态下保持的有效判别方法.     

基于四元数矩阵与Groebner基的6R机器人运动学逆解算法

为促进一般6R机器人运动学逆解的应用,提出了一种四元数矩阵和对偶四元数矩阵算法,该算法把四元数应用于平面旋转的特殊情况,把旋转角度的正弦、余弦改写为矩阵形式,可以导出平面四元数的2个矩阵形式的基,建立了四元数矩阵形式的串联6R机械手运动学方程,再通过线性消元和2次应用分次字典序Groebner基消去5个变元,最后采用Dixon结式进行消元,得到没有增根的一元16次方程。这种算法得出的结果通过与过去得出的6R机器人逆解算法进行对比,表明所提出的算法可行性和正确性。     

可解多项式代数与它在阶滤子下两种分次代数的关系

针对可解多项式代数A,证明了它在阶滤子下两种分次代数grC(A)与 A均为可解多项式代数.应用Groeb ner基理论,给出了其左理想L和grC(L)与 L的Groebner基的转换.     

具有SM-基代数中理想交集的生成元的算法

文章讨论了一类具有SM-基(Skew Multiplicative K-basis)代数的Groebner-基理论,进一步探讨了这类代数的消元理论,并且给出了其理想的交的运算.     

基于Groebner基法的一般串联6R机器人机构逆运动学分析

基于Groebner基法，仅用Duffy的含3个未知变元的4个运动学方程，附加3个正余弦恒等式，不增加其他几何约束方程，对一般6R机器人机构逆运动学进行符号解分析，并得出一般串联6R机器人机构逆解最多为16解的结论．本文使用的数学机械化方法可推广到涉及非线性代数方程组的其他机构学问题的求解．