类F5算法设计准则模型研究

来源 :信息工程大学学报 | 被引量 : 0次 | 上传用户：nonomad

【摘要】

：

通过引入L-对、准则序等概念,给出了类F5算法设计准则的一个模型,证明了现有类F5算法的设计准则都是准则模型中采用了某个特定准则序的特例。与GBGC模型相比,文章的模型包括

【作者】

：

刘树凯鲍皖苏

【机构】

：

信息工程大学

【出处】

：

信息工程大学学报

【发表日期】

：

2013年02期

【关键词】

：

Grbner基类F5算法强Grbner基 F5算法 F5准则

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

通过引入L-对、准则序等概念,给出了类F5算法设计准则的一个模型,证明了现有类F5算法的设计准则都是准则模型中采用了某个特定准则序的特例。与GBGC模型相比,文章的模型包括了F5、F5C等算法使用L-对准则的情况,并证明了类F5算法设计准则不仅是Grbner基的计算依据,也是强Grbner基的计算依据。

其他文献

关节镜下平卧位双后内侧入路微创治疗腘窝囊肿

目的研究关节镜下平卧位双后内侧入路微创治疗腘窝囊肿的方法及其疗效。方法选择2017年7月至2019年8月期间在我院住院治疗的伴有关节内疾病的腘窝囊肿患者41例,男11例,女30例

期刊

关节镜平卧位腘窝囊肿微创

走向有效的习作评讲课——小学生自改作文策略探究

聚焦小学作文课堂,最深的感受是语文教师太辛苦了!一个班级,五六十个孩子,学生的习作批改依旧是老师一个人完成。眉批、总批、面批……批了草稿改正稿,教师改得辛苦,结果却收

期刊

自改作文习作批改小学生评讲课语文教师作文修改小学作文授之以鱼

深度贫困的再生产逻辑及综合性治理

深度贫困成为精准扶贫的坚中之坚是由深度贫困的性质定位与精准扶贫的政治和伦理功能所决定的。群体和个体双重转化所引致的"贫困再生产"的层次互移、时间和空间弱势累积所形

期刊

深度贫困精准扶贫超常规功能综合性治理

马一浮的晚年信札

马一浮（1883—1967），浙江绍兴人。16岁县试榜首，同试者周氏兄弟周树人（鲁迅）第三圈第三十七名、周作人第十圈第三十四名。（“圈”者，县试发案书以圆式，谓之圈，亦称图、团，取50名为第一圈，以此类推，这次县试至少有五百童生参考。）后游学欧、美、日诸国，博览西哲名著，潜心考据义理之学，首创六艺统摄一切学术之名论，着有《马一浮全集》十卷。　　中国新儒学“现代三坚”（马一浮、梁漱溟、熊十力）之一的

期刊

周氏兄弟马一浮周作人周树人浙江绍兴人义理之学

微创通道下经椎间孔椎间融合术治疗双节段退行性腰椎管狭窄症

目的探讨微创通道下经椎间孔腰椎椎间融合术(minimally invasive transforaminal lumbar interbody fusion,MIS-TLIF)治疗双节段退行性腰椎管狭窄症(degenerative lumbar spi

期刊

微创通道经椎间孔椎间融合术双节段退行性腰椎管狭窄症

如何制定纠正措施

纠正措施是实现持续改进，促进质量体系有效运行的重要手段，如何有效地制定纠正措施呢?应从以下几个方面进行探讨。……

期刊

企业管理ISO9001:2000质量体系纠正措施

动物疫病免疫抗体水平低下原因调查

实施动物强制免疫是国家预防控制重大动物疫病的有效手段之一。本文对六师辖区内畜禽实施口蹄疫、高致病性禽流感、猪瘟、高致病性猪蓝耳病和小反刍兽疫强制免疫抗体检测不合