期刊文献+
共找到28篇文章
< 1 2 >
每页显示 20 50 100
构造代数Blending曲面的Gr bner基方法 被引量:4
1
作者 娄文平 冯玉瑜 +1 位作者 陈发来 邓建松 《计算机学报》 EI CSCD 北大核心 2002年第6期599-605,共7页
利用代数几何中关于理想的 Gr bner基的理论 ,结合 CAGD中的研究方法 ,对代数 Blending曲面做了较为细致的研究 ,给出了用 Gr bner基构造代数 Blending曲面的新方法 .该方法能够求出所有满足要求的代数Blending曲面 ,并能给出其中次数... 利用代数几何中关于理想的 Gr bner基的理论 ,结合 CAGD中的研究方法 ,对代数 Blending曲面做了较为细致的研究 ,给出了用 Gr bner基构造代数 Blending曲面的新方法 .该方法能够求出所有满足要求的代数Blending曲面 ,并能给出其中次数最低的曲面 .文中还讨论了如何利用代数曲面插值、最小平方逼近的方法来选取合适的自由参数 ,以达到对代数 Blending曲面进行形状控制的目的 .最后给出了一个茶壶表面造型示例 。 展开更多
关键词 代数Blending曲面 grOEbner 自由参数 形状控制 几何实体造型 CAGD 计算机辅助设计
在线阅读 下载PDF
基于ZBDD的布尔多项式Grbner基算法的实现 被引量:1
2
作者 李昕 张寅 《计算机应用与软件》 CSCD 2011年第2期274-276,共3页
零压缩二元判定树ZBDD(Zero-suppressed Binary Decision Diagrams)作为一种近年来兴起的存储布尔多项式的数据结构能更有效地平衡内存消耗与计算速度;基于它的布尔多项式Grbner基算法可以在运算中保持ZBDD结构的不变性从而进一步提... 零压缩二元判定树ZBDD(Zero-suppressed Binary Decision Diagrams)作为一种近年来兴起的存储布尔多项式的数据结构能更有效地平衡内存消耗与计算速度;基于它的布尔多项式Grbner基算法可以在运算中保持ZBDD结构的不变性从而进一步提高计算效率。用C++实现了布尔多项式的Grbner基计算并对其进行既约化处理,验证了该算法的可行性以及在运算效率上的提高。 展开更多
关键词 ZBDD grbner
在线阅读 下载PDF
模的Grbner基理论及在纠错码译码中的应用 被引量:1
3
作者 李耀辉 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2009年第1期153-157,共5页
针对如何提高纠错码译码过程中的效率问题,讨论了利用模的Grbner基理论计算纠错码中错误位置和错误值。计算过程中,首先将译码过程中关键方程的求解问题化为不同偏序下模的Grbner基的计算,然后利用一种偏序关系下已知的Grbner基... 针对如何提高纠错码译码过程中的效率问题,讨论了利用模的Grbner基理论计算纠错码中错误位置和错误值。计算过程中,首先将译码过程中关键方程的求解问题化为不同偏序下模的Grbner基的计算,然后利用一种偏序关系下已知的Grbner基计算另一种序下的Grbner基以得到错位及错误图样。该方法可以将错位多项式和错误值多项式同时求出。基于模的Grbner基理论的译码方法适用于二进制及多进制循环码的译码问题,并有助于提高译码的性能。 展开更多
关键词 grbner 子模 纠错码 译码 规范形
在线阅读 下载PDF
有限域上基于Grbner基的高级综合优化方法
4
作者 王冠军 赵莹 王茂励 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2010年第7期1153-1157,共5页
提出了基于多项式符号代数的高级综合方法,并使用元件库中的元件构建多项式符号代数所表示的数据通路,计算出其Grbner基.利用Grbner基对多项式进行一些基本操作,例如,多变元多项式分解、最大公因式提取、库单元映射等,从而实现了有... 提出了基于多项式符号代数的高级综合方法,并使用元件库中的元件构建多项式符号代数所表示的数据通路,计算出其Grbner基.利用Grbner基对多项式进行一些基本操作,例如,多变元多项式分解、最大公因式提取、库单元映射等,从而实现了有限域上的数据通路优化.最后进行了算法复杂性分析和实验,实验在SUN工作站上通过调用Maple10来完成,实验结果证实了本方法的有效性. 展开更多
关键词 高级综合 多项式符号代数 grbner 有限域
在线阅读 下载PDF
量子群U_q(C_3)及其不可约模的Grbner-Shirshov基
5
作者 高珍珍 杨士林 阿布都卡的·吾甫 《北京工业大学学报》 CAS CSCD 北大核心 2016年第4期632-636,共5页
为了研究量子群U_q(C_3)及其有限维不可约模的Grbner-Shirshov基,基于赋值图C3的Auslander-Reiten理论和表示的Grbner-Shirshov基理论,运用Ringel-Hall代数方法,构造了量子群U_q(C_3)的Grbner-Shirshov基,进而用双自由模及钻石-... 为了研究量子群U_q(C_3)及其有限维不可约模的Grbner-Shirshov基,基于赋值图C3的Auslander-Reiten理论和表示的Grbner-Shirshov基理论,运用Ringel-Hall代数方法,构造了量子群U_q(C_3)的Grbner-Shirshov基,进而用双自由模及钻石-合成引理,给出量子群U_q(C_3)的有限维不可约模的Grbner-Shirshov基. 展开更多
关键词 量子群 gr6bner-Shirshov基 双自由模
在线阅读 下载PDF
Grbner基优化算法
6
作者 彭丰富 陈小松 《武汉科技大学学报》 CAS 2003年第3期320-322,共3页
Improved algorithm for Grbner basis is a new way to solve Grbner basis by adopting the locally analytic method,which is based on GrbnerNew algorithm The process consists of relegating the leading terms of generator of... Improved algorithm for Grbner basis is a new way to solve Grbner basis by adopting the locally analytic method,which is based on GrbnerNew algorithm The process consists of relegating the leading terms of generator of the polynomial in the idea according to correlated expressions of leading terms and then analyzing every category.If a polynomial can be reduced to a remainder polynomial by a polynomial in the idea,then it can be replaced by the remainder polynomial as generator In the solving process,local reduction and local puwer decrease are employed to prevent the number of middle terms from increasing too fast and the degrees of polynomial from being too high so as to reduce the amount of 展开更多
关键词 grObner 约化 标准表示
在线阅读 下载PDF
平面几何命题机器证明的Grbner基方法 被引量:1
7
作者 赵雪芝 《科学技术与工程》 2006年第21期3491-3493,共3页
探讨了初等平面几何命题机器证明的Grbner基方法,并给出了它的算法原理和实现方法,且通过实例说明了该方法简便易懂,用Maple实现也较易。
关键词 几何命题 机器证明 groebnera基
在线阅读 下载PDF
不变理想的Grbner基提升算法(英文)
8
作者 吴杰 陈玉福 《中国科学院研究生院学报》 CAS CSCD 北大核心 2009年第6期731-744,共14页
采用Grbner基方法,可以把一个在有限群作用下不变的多项式写成不变环的生成元的多项式.核心问题是如何有效地计算这个正维不变理想的Grbner基.本文引入一个有效提升算法来计算这组Grbner基.当用straight line program模型对整个... 采用Grbner基方法,可以把一个在有限群作用下不变的多项式写成不变环的生成元的多项式.核心问题是如何有效地计算这个正维不变理想的Grbner基.本文引入一个有效提升算法来计算这组Grbner基.当用straight line program模型对整个计算过程进行复杂度分析时,可以把计算开销控制在多项式时间内. 展开更多
关键词 grbner 提升 不变性理论 STRAIGHT LINE PROgrAM
在线阅读 下载PDF
二项式斜多项式环的Grbner基
9
作者 李俊 《高校应用数学学报(A辑)》 CSCD 北大核心 2014年第2期223-232,共10页
对于二次代数A=k〈X〉/(■),当关系■满足某种对称关系时,代数A是ArtinSchelter正则PBW代数,进一步,存在X上的一种重排,使得A是二项式斜多项式环.
关键词 gr(o)bner PBW代数 Artin-Schelter正则PBW代数 二项式斜多项式环
在线阅读 下载PDF
四元数除环上多项式环的Grbner基的应用
10
作者 王吉安 游兴中 甘志雄 《长沙电力学院学报(自然科学版)》 2002年第2期7-11,共5页
利用四元数除环上多项式环的Gr bner基理论得到了消元定理 ,利用消元定理给出求理想生成元的消元算法 ,且该生成元是相对消元序的Gr bner基 ;研究了多项式映射 φ的核Kerφ的Gr bner基和给出算法来判定 φ是否是映上的 .
关键词 多项式映射 消元定理 grOEbner 生成元 四元数代数 四元数除环 多项式环
在线阅读 下载PDF
基于积分链动力学和Gröbner基的露天矿自动驾驶车辆运动规划
11
作者 朱德昇 陈云超 +3 位作者 黄誌鹏 杨健健 杨克虎 葛世荣 《煤炭学报》 2025年第10期4679-4690,共12页
露天矿自动驾驶能够减少作业人员数量,降低生产成本和安全风险,已成为露天矿智能化发展的重要方向。然而,由于当前自动驾驶算法规划的矿车行驶速度较为保守,导致其运输效率与有人驾驶相比还存在一定差距。为在不违反车路物理约束、保证... 露天矿自动驾驶能够减少作业人员数量,降低生产成本和安全风险,已成为露天矿智能化发展的重要方向。然而,由于当前自动驾驶算法规划的矿车行驶速度较为保守,导致其运输效率与有人驾驶相比还存在一定差距。为在不违反车路物理约束、保证行驶安全的前提下,尽可能提高规划速度,提出了一种基于积分链动力学和Gröbner基的露天矿既定运输路线运动规划方法。首先,根据矿车运动学特性和露天矿道路情况,综合考虑限速规则、道路曲率、地面附着力以及车辆前轮转角等条件,建立了既定运输路线全路段精细化速度约束曲线;随后,采用积分链动力学理论将露天矿自动驾驶运动规划问题表征为关于急动度作用时间的多元多项式方程组求解问题,利用Gröbner基理论将多元多项式方程组转化为带参数的正则化多项式系统,最终将运动规划问题等价为三角化多项式方程组的求解问题,实际部署中只需输入始末条件参数即可实现快速迭代求解,得到满足驾驶安全需求且加速度平滑的运动规划方案。利用该方法对内蒙古某露天矿真实运输路线的多个路段在不同的初始和终止条件下进行了运动规划,均能快速求得可行解;最后针对3.61 km长的连续弯道往返路线进行了运动规划,与目前该矿有人驾驶矿车的实际运行记录相比,平均运行时间减少10.7%,20 m的规划任务计算时间在100 ms以内,表明该方法能有效提升露天矿车辆的运行效率。 展开更多
关键词 露天矿 自动驾驶 gröbner 运动规划 最优速度
在线阅读 下载PDF
POSEIDON族杂凑函数的安全性分析
12
作者 段娥娥 吴文玲 王博琳 《密码学报(中英文)》 北大核心 2025年第5期1162-1177,共16页
POSEIDON族杂凑函数定义在一个较大的有限素域上,包含POSEIDON和其优化版本PO-SEIDON2两类算法.算法均采用Sponge结构进行实例化,并基于HADES设计策略,安全界和迭代轮数由相关参数以及攻击的时间复杂度确定.本文首先发现设计者在使用Gr&... POSEIDON族杂凑函数定义在一个较大的有限素域上,包含POSEIDON和其优化版本PO-SEIDON2两类算法.算法均采用Sponge结构进行实例化,并基于HADES设计策略,安全界和迭代轮数由相关参数以及攻击的时间复杂度确定.本文首先发现设计者在使用Gröbner基攻击POSEIDON和POSEIDON2的部分实例过程中,确定时间复杂度的安全界时建模方式存在问题,进而修订了安全界,并指出部分实例的安全冗余不够.其次,本文跳过SPN技术推广至Sponge结构,只引用1个变量,对两类算法构造了全轮的单变量多项式并以较小的时间复杂度对其求解,同时构造了次数为α的多变量多项式系统,进一步降低了Gröbner基攻击的时间复杂度,可为POSEIDON族杂凑函数的参数选取提供理论指导. 展开更多
关键词 HADES POSEIDON POSEIDON2 gröbner基攻击 代数密码分析
在线阅读 下载PDF
关键方程的新推广 被引量:63
13
作者 邹艳 陆佩忠 《计算机学报》 EI CSCD 北大核心 2006年第5期711-718,共8页
给出了关键方程的全新的推广,构造了一个齐次关键模方程,并用域F上的两个变元的多项式环F[x,y]的齐次理想刻画该方程的解空间;证明了齐次关键模方程可以用来解决卷积码的盲识别问题,这是一个全新的研究课题,在智能通信、信息截获和密码... 给出了关键方程的全新的推广,构造了一个齐次关键模方程,并用域F上的两个变元的多项式环F[x,y]的齐次理想刻画该方程的解空间;证明了齐次关键模方程可以用来解决卷积码的盲识别问题,这是一个全新的研究课题,在智能通信、信息截获和密码分析等领域有重要的应用;利用该方法得到的二元多项式齐次理想Grbner基的快速算法,给出了求解齐次关键模方程的快速算法,也给出了详细的计算实例.大量的实验也证实了该文的各项理论分析结果. 展开更多
关键词 序列综合 关键方程 BERLEKAMP-MASSEY算法 gr(o)bner 卷积码盲识别
在线阅读 下载PDF
NGP并联机构运动学正解的高效通用解析方法 被引量:3
14
作者 程世利 吴洪涛 +2 位作者 刘芳华 王超群 姚裕 《江苏大学学报(自然科学版)》 EI CAS 北大核心 2010年第6期625-629,共5页
研究了NGP(nearly general stewart-gough platform)并联机构动平台位置与姿态变量之间的耦合关系,将9个变量中的6个用其余的3个表达出来,从而实现了位置变量和姿态变量的解耦.运用Gr bner基算法,得到了15个只含有其余3个变量的4次相容... 研究了NGP(nearly general stewart-gough platform)并联机构动平台位置与姿态变量之间的耦合关系,将9个变量中的6个用其余的3个表达出来,从而实现了位置变量和姿态变量的解耦.运用Gr bner基算法,得到了15个只含有其余3个变量的4次相容方程.在此基础上,采用变量代换的方法消去其中的高次项,最终将NGP并联机构的运动学正解问题简化为求解一个一元20次的代数方程;这个方程是通过计算一个10阶行列式得出的,并且通过一个具体的算例验证了该方法的正确性.该方法适用于所有的NGP并联机构. 展开更多
关键词 NGP并联机构 运动学正解 解析法 消元法 grbner
在线阅读 下载PDF
对Bivium流密码的变元猜测代数攻击 被引量:4
15
作者 李昕 林东岱 《电子学报》 EI CAS CSCD 北大核心 2011年第8期1727-1732,共6页
非线性方程组的求解是代数攻击的关键一环.对于一个具体的密码系统,在转化为方程组后,由于其计算上的复杂性,一般采用先猜测部分变元,再进行求解分析的方法.本文首先给出了对于猜测部分变元后子系统平均求解时间的估计模型,提出了基于... 非线性方程组的求解是代数攻击的关键一环.对于一个具体的密码系统,在转化为方程组后,由于其计算上的复杂性,一般采用先猜测部分变元,再进行求解分析的方法.本文首先给出了对于猜测部分变元后子系统平均求解时间的估计模型,提出了基于动态权值以及静态权值的猜测变元选则方法和面向寄存器的猜测方法.在计算Gr bner基的过程中,对变元序的定义采用了AB,S,S-rev,SM,DM等十种新的序.同时,提出了矛盾等式的概念,这对正确分析求解结果以及缩小猜测空间有重要作用.最后,我们对Bivium流密码算法的攻击时间进行了估计.结果表明,在最坏情况下,使用DM-rev序及Evy3的猜测位置,猜测60个变元有最优的攻击结果,约2 exp(39.16)秒. 展开更多
关键词 方程组求解 grbner Bivium流密码算法 猜测决策算法 矛盾等式
在线阅读 下载PDF
微分几何定理证明中最简单辅助条件的计算 被引量:1
16
作者 王继民 李廉 《兰州大学学报(自然科学版)》 CAS CSCD 北大核心 2003年第1期20-23,共4页
在微分几何定理证明中 ,一个定理成立的辅助条件 (非退化条件 )不是惟一的 ,但越简单越好 .对预先确定的标准如变元个数最少、导数算子阶数最低等 ,利用根微分理想分解的 Rosenfeld-Grobner算法 ,给出了微分几何定理机器证明中最简单... 在微分几何定理证明中 ,一个定理成立的辅助条件 (非退化条件 )不是惟一的 ,但越简单越好 .对预先确定的标准如变元个数最少、导数算子阶数最低等 ,利用根微分理想分解的 Rosenfeld-Grobner算法 ,给出了微分几何定理机器证明中最简单辅助条件的构造性算法 . 展开更多
关键词 微分几何定理 机器证明 吴方法 Rosenfeld—gr6bner算法 辅助条件 构造性算法
在线阅读 下载PDF
多项式模上全次数除法及其在CAGD中的应用(Ⅰ) 被引量:1
17
作者 冯玉瑜 王旭明 邓建松 《中国科学技术大学学报》 CAS CSCD 北大核心 2000年第3期263-269,共7页
本文首先介绍了利用Gr bner基求解Syzygy模生成元的方法 ,在对方法做出进一步分析的基础上 ,给出了一元模上的多项式辗转相除法 。
关键词 计算代数几何 全次数除法 CAGD 多项式模 S模
在线阅读 下载PDF
求鳞状循环因子矩阵的极小多项式的算法(英文) 被引量:1
18
作者 江兆林 刘三阳 《应用数学》 CSCD 北大核心 2004年第1期61-66,共6页
提出了任意域上鳞状循环因子矩阵 ,利用多项式环的理想的Go bner基的算法给出了任意域上鳞状循环因子矩阵的极小多项式和公共极小多项式的一种算法 .同时给出了这类矩阵逆矩阵的一种求法 .在有理数域或模素数剩余类域上 ,这一算法可由... 提出了任意域上鳞状循环因子矩阵 ,利用多项式环的理想的Go bner基的算法给出了任意域上鳞状循环因子矩阵的极小多项式和公共极小多项式的一种算法 .同时给出了这类矩阵逆矩阵的一种求法 .在有理数域或模素数剩余类域上 ,这一算法可由代数系统软件Co CoA4 .0实现 . 展开更多
关键词 鳞状循环因子矩阵 极小多项式 多项式环 逆矩阵
在线阅读 下载PDF
零维理想的正则列 被引量:1
19
作者 戴清平 《国防科技大学学报》 EI CAS CSCD 北大核心 2005年第1期111-114,共4页
求一个多元多项式环的理想的正则列是非常重要和困难的问题。在字典序下,一个零维理想的Gr bner基中含有一个极大正则列,并且这个正则列是与顺序没有关系的。零维理想正则列的求出建立在Gr bner基的可计算性和首项理想的根理想的准素分... 求一个多元多项式环的理想的正则列是非常重要和困难的问题。在字典序下,一个零维理想的Gr bner基中含有一个极大正则列,并且这个正则列是与顺序没有关系的。零维理想正则列的求出建立在Gr bner基的可计算性和首项理想的根理想的准素分解算法上。 展开更多
关键词 单项式理想 grOEbner 霉维理想 正则列
在线阅读 下载PDF
甘肃省“两西”地区草地农业现状与发展策略 被引量:4
20
作者 李广 侯扶江 黄高宝 《水土保持学报》 CSCD 北大核心 2004年第5期184-188,共5页
“两西”地区草地组成变坏,生产力下降,可利用面积减少和环境恶化,分析了草地退化非生物因素、生物因素和社会因素。提出了退化草地治理的原则:生态建设产业化,因地制宜与系统整治相结合,重恢复、中保护、轻利用和保持政策连续性。河西... “两西”地区草地组成变坏,生产力下降,可利用面积减少和环境恶化,分析了草地退化非生物因素、生物因素和社会因素。提出了退化草地治理的原则:生态建设产业化,因地制宜与系统整治相结合,重恢复、中保护、轻利用和保持政策连续性。河西地区的目标是通过山地-绿洲-荒漠系统耦合建成具有地域特色和优势的复合型草地农业系统及其产业链,定西地区是参与建立黄土高原巨型畜牧业基地,两地区以草业为纽带建立灌溉农耕区-雨养农耕区耦合系统。 展开更多
关键词 甘肃 “两西”地区 草地 农业现状 发展策略
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部