【摘 要】
:
Gr?bner基的理论基础与算法研究在计算代数几何、几何定理的机器证明、机器人学、代数编码理论、密码学、图论等领域扮演着重要的角色,且Buchberger算法是Gr?bner基的核心,但Buchberger算法在求解理想的Gr?bner基方面时,计算效率低、存在冗余计算,因而诸多学者从多个方向对如何提高此算法计算效率进行了深入研究,并提出了许多新的算法,其中最有效的诸如:F4算法、G2V算法、GV
论文部分内容阅读
Gr?bner基的理论基础与算法研究在计算代数几何、几何定理的机器证明、机器人学、代数编码理论、密码学、图论等领域扮演着重要的角色,且Buchberger算法是Gr?bner基的核心,但Buchberger算法在求解理想的Gr?bner基方面时,计算效率低、存在冗余计算,因而诸多学者从多个方向对如何提高此算法计算效率进行了深入研究,并提出了许多新的算法,其中最有效的诸如:F4算法、G2V算法、GVW算法等。本文通过研究分析Gr?bner基算法——GR?BNERNEW2算法以及F4算法,并借助Maple平台实例测试发现,GR?BNERNEW2算法在计算Cyclic5,Cyclic6,Gerdt 1、2、3,Katsura-5等变元较多的标准多项式理想集的Gr?bner基时,计算效率不高,程序执行时间较长的问题,因此,在GR?BNERNEW2算法基础之上,增加了一种选择策略——即基于对的首单项式的最小公倍式次数最低来选择准则对,构建了一种改进的Gr?bner基算法—GR?BNERNEW2C算法,给出了GR?BNERNEW2C算法正确性和终止性的证明,以保证GR?BNERNEW2C算法的完整性。改进的GR?BNERNEW2C算法在计算变元个数较多的多项式理想的Gr?bner基时,避免了计算效率低,程序运行时间较长的问题,提高了Gr?bner基的计算效率。进一步,在Maple环境下实现了GR?BNERNEW2C算法、GR?BNERNEW2算法、F4算法以及Buchberger算法,并通过具体实例对比分析了GR?BNERNEW2C算法、F4算法、GR?BNERNEW2算法、Buchberger算法在求解Cyclic5、6,Gerdt 1、2、3,Katsura-6、7,Haas3、Eco7、Noon6等系统时的计算时间。最后,本文将改进的GR?BNERNEW2C算法应用于多项式方程组求解、附加关系化简问题、判定理想成员问题,为进一步研究Gr?bner基算法,促进各个学科领域发展奠定一定的基础。
其他文献
十六大以来的5年,我国铁路自主创新能力显著提升、技术创新成果最为丰厚、现代化进程加快推进。按照“先进、成熟、经济、适用、可靠”的技术方针,我国铁路大力推进原始创新、
本文以奉化方言为研究对象,用田野调查法、演绎归纳法、描写法、对比分析法等方法考察了奉化方言程度范畴的整体框架和具体程度表达式。本文试图通过对本地区方言的状态形容词、重叠式、程度状语、程度补语、表程度的语气、修辞和重音的具体描写、分析,从词法、句法和语用三个层面对方言的程度范畴进行深入研究,借此填补奉化方言语法研究的不足,为本地区方言的进一步研究做铺垫。论文分为五个部分,着重研究奉化方言词法层面和句
<正> 导言大部分老年人在生命的最后部分或多或少会遇到生活不能自理或不能完全自理的问题。根据徐勤、顾大男的计算,城市80岁高龄老人男性的预期不能完全自理或完全不能自理
创业教育作为知识经济条件下产生的国际教育新理念,为思想政治教育学科带来了新的研究课题,成为了思想政治教育学科的新领域。思想政治教育必须发挥积极的作用,创业教育也丰
过度抽汲地下水引发的地面沉降是全球广泛关注的地质环境问题。对其进行数值模拟是实现地面沉降灾害科学管理的最有效手段。水流模型是地面沉降模型的必要组成部分,对其刻画得
<正>传统习俗,每逢端午,家家都要挂菖蒲,艾叶以避五毒(蜈蚣、蛇、蛤蟆、蝎子、壁虎)。京剧《五花洞》又名《五毒传》,就是一出端午戏。五毒精幻成潘金莲、武大郎以假乱真。知
今年上半年我国二氧化硫排放总量达1274.6万吨,同比增长4.2%。这一冷冰冰的数据刺激了公众的神经,也再一次激发了政府的脱硫决心。今年5月以来,国家环保总局代表国务院分别同六大发
2008年7月2日,北京交通大学和北京握奇数据系统有限公司在北京交通大学举行了“北京交通大学-北京握奇数据安全联合实验室”揭牌仪式。联合实验室是由北京握奇数据系统有限公
南北和议达成后,孙中山于1912年4月1日颁布临时大总统解职令,到参议院行辞职礼,同日下令,任命黄兴为南京留守,总辖南洋各军,负责裁军整编事宜。同日黄兴就任南京留守。那时,
公共建筑作为重要的基础设施在每个人生活中的重要作用不言而喻,但是,近年来因公共建筑建造质量问题导致的人员伤亡和财产损失的事故数量在不断上升。因此,本文以公共建筑建