%0 Journal Article %T 有限域上基于Grbner基的高级综合优化方法 %A 王冠军 %A 赵莹 %A 王茂励 %J 哈尔滨工业大学学报 %P 1153-1157 %D 2010 %R 10.11918/j.issn.0367-6234.2010.07.032 %X 提出了基于多项式符号代数的高级综合方法,并使用元件库中的元件构建多项式符号代数所表示的数据通路,计算出其Grbner基.利用Grbner基对多项式进行一些基本操作,例如,多变元多项式分解、最大公因式提取、库单元映射等,从而实现了有限域上的数据通路优化.最后进行了算法复杂性分析和实验,实验在SUN工作站上通过调用Maple10来完成,实验结果证实了本方法的有效性. %K 高级综合 %K 多项式符号代数 %K Grbner基 %K 有限域 %U http://journal.hit.edu.cn/hitxb_cn/ch/reader/view_abstract.aspx?file_no=20100732&flag=1