信息工程大学学报
信息工程大學學報
신식공정대학학보
JOURNAL OF INFORMATION ENGINEERING UNIVERSITY
2013年
2期
153-158
,共6页
Gr(o)bner基%类F5算法%强Gr(o)bner基%F5算法%F5准则
Gr(o)bner基%類F5算法%彊Gr(o)bner基%F5算法%F5準則
Gr(o)bner기%류F5산법%강Gr(o)bner기%F5산법%F5준칙
通过引入L-对、准则序等概念,给出了类F5算法设计准则的一个模型,证明了现有类F5算法的设计准则都是准则模型中采用了某个特定准则序的特例.与GBGC模型相比,文章的模型包括了F5、F5C等算法使用L-对准则的情况,并证明了类F5算法设计准则不仅是Gr(o)bner基的计算依据,也是强Gr(o)bner基的计算依据.
通過引入L-對、準則序等概唸,給齣瞭類F5算法設計準則的一箇模型,證明瞭現有類F5算法的設計準則都是準則模型中採用瞭某箇特定準則序的特例.與GBGC模型相比,文章的模型包括瞭F5、F5C等算法使用L-對準則的情況,併證明瞭類F5算法設計準則不僅是Gr(o)bner基的計算依據,也是彊Gr(o)bner基的計算依據.
통과인입L-대、준칙서등개념,급출료류F5산법설계준칙적일개모형,증명료현유류F5산법적설계준칙도시준칙모형중채용료모개특정준칙서적특례.여GBGC모형상비,문장적모형포괄료F5、F5C등산법사용L-대준칙적정황,병증명료류F5산법설계준칙불부시Gr(o)bner기적계산의거,야시강Gr(o)bner기적계산의거.
