检索结果-维普期刊中文期刊服务平台

近似符号计算的神经网络模型方法的研究──多项式因式分解的神经网络机理被引量：2: 1; 作者周永权《计算机工程与设计》 CSCD 北大核心 1999年第5期60-64,共5页; 定义了代数神经元与代数神经网络，将符号计算融入代数神经网络，讨论多项式园式分解机理。设计出一类一元，多元多项式团式分解的神经网络模型。以整数城Z，复数域C上多项式为例，指出其网络模型的可行性。; 关键词神经网络多项式因式分解近似符号计算; 在线阅读下载PDF 职称材料

有限域上基于Grbner基的高级综合优化方法: 2; 作者王冠军赵莹王茂励《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2010年第7期1153-1157,共5页; 提出了基于多项式符号代数的高级综合方法,并使用元件库中的元件构建多项式符号代数所表示的数据通路,计算出其Grbner基.利用Grbner基对多项式进行一些基本操作,例如,多变元多项式分解、最大公因式提取、库单元映射等,从而实现了有... 展开更多; 关键词高级综合多项式符号代数 Grbner基有限域; 在线阅读下载PDF 职称材料

基于Mining-SEC方法的电路等价性验证: 3; 作者王冠军童敏明 +1 位作者周勇赵莹《计算机工程》 CAS CSCD 2014年第1期301-304,共4页; 针对时序电路的等价性验证难题，提出基于Mining-SEC的定界等价性验证方法。将待验证时序电路按时间帧展开为多项式符号代数表示的电路集合，利用时间序列数据挖掘方法挖掘其中的不变量和相应的全局约束，不变量可以是任意多项式。此外... 展开更多; 关键词时间序列数据挖掘多项式符号代数时序电路等价性检验可满足性模理论虚假验证; 在线阅读下载PDF 职称材料

SIRD:一个同步整数关系探测算法: 4; 作者陈经纬冯勇 +1 位作者秦小林张景中《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2011年第6期127-132,共6页; 为了解决一组实数向量的整数关系探测问题,通过广义的Hermite约化方法来约化超平面矩阵,基于著名的PSLQ算法,给出了一个同步整数关系探测的新算法SIRD;并且在计算机代数系统Maple中采用软件精度数据类型"sfloat"实现了SIRD算... 展开更多; 关键词整数关系代数数极小多项式符号数值计算; 在线阅读下载PDF 职称材料

基于多项式符号代数方法的高层次数据通路的等价验证被引量：2: 5; 作者杨志马光胜张曙《计算机研究与发展》 EI CSCD 北大核心 2009年第3期513-520,共8页; 基于BDD或布尔SAT的等价验证方法虽然能够成功验证低层次门级电路,但却难以满足高层次设计验证要求.由此,以多项式符号代数为理论基础,提出了一个高层次数据通路的等价验证算法.深入研究了使用多项式表达式描述复杂数据通路行为的方法,... 展开更多; 关键词高层次数据通路等价验证多项式符号代数形式验证电子设计自动化; 在线阅读下载PDF 职称材料

题名近似符号计算的神经网络模型方法的研究──多项式因式分解的神经网络机理被引量：2: 1; 作者周永权; 机构广西民族学院数学系; 出处《计算机工程与设计》 CSCD 北大核心 1999年第5期60-64,共5页; 文摘定义了代数神经元与代数神经网络，将符号计算融入代数神经网络，讨论多项式园式分解机理。设计出一类一元，多元多项式团式分解的神经网络模型。以整数城Z，复数域C上多项式为例，指出其网络模型的可行性。; 关键词神经网络多项式因式分解近似符号计算; Keywords neural networks algebra neural netwoks polynomials networks factorization approximate symbol computaion; 分类号 O174.14 [理学—基础数学] TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名有限域上基于Grbner基的高级综合优化方法: 2; 作者王冠军赵莹王茂励; 机构中国矿业大学计算机科学与技术学院山东省计算中心; 出处《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2010年第7期1153-1157,共5页; 基金国家自然科学基金资助项目(69973014) 中国矿业大学青年科研基金资助项目(2009A051); 文摘提出了基于多项式符号代数的高级综合方法,并使用元件库中的元件构建多项式符号代数所表示的数据通路,计算出其Grbner基.利用Grbner基对多项式进行一些基本操作,例如,多变元多项式分解、最大公因式提取、库单元映射等,从而实现了有限域上的数据通路优化.最后进行了算法复杂性分析和实验,实验在SUN工作站上通过调用Maple10来完成,实验结果证实了本方法的有效性.; 关键词高级综合多项式符号代数 Grbner基有限域; Keywords high level synthesis polynomial symbolic algebra（psa） basis finite field; 分类号 TN401 [电子电信—微电子学与固体电子学]; 在线阅读下载PDF 职称材料

题名基于Mining-SEC方法的电路等价性验证: 3; 作者王冠军童敏明周勇赵莹; 机构中国矿业大学计算机科学与技术学院中国矿业大学信息与电气工程学院; 出处《计算机工程》 CAS CSCD 2014年第1期301-304,共4页; 基金国家自然科学基金资助项目(51104157) 中央高校基本科研业务费专项基金资助项目(2010NQA28) 国家大学生创业实践基金资助项目(201310290080); 文摘针对时序电路的等价性验证难题，提出基于Mining-SEC的定界等价性验证方法。将待验证时序电路按时间帧展开为多项式符号代数表示的电路集合，利用时间序列数据挖掘方法挖掘其中的不变量和相应的全局约束，不变量可以是任意多项式。此外还可挖掘电路中的不合法约束和复杂的多项式关系，通过以上方法可以明显降低求解空间。使用基于SMT的验证引擎检验电路等价性。实验结果表明，该方法可以快速地实现验证收敛，得到平均1-2．个量级的验证加速，并且可以有效消除虚假验证。; 关键词时间序列数据挖掘多项式符号代数时序电路等价性检验可满足性模理论虚假验证; Keywords time series data mining polynomial symbolic algebra（psa） Sequential Equivalence Checking（SEC） Satisfiablity ModuleTheory（SMT） false verification; 分类号 TP331 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名SIRD:一个同步整数关系探测算法: 4; 作者陈经纬冯勇秦小林张景中; 机构中国科学院重庆绿色智能技术研究院中国科学院成都计算机应用研究所; 出处《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2011年第6期127-132,共6页; 基金国家"973"计划资助项目(2011CB302400) 国家自然科学基金资助项目(10771205) 中国科学院西部之光资助项目; 文摘为了解决一组实数向量的整数关系探测问题,通过广义的Hermite约化方法来约化超平面矩阵,基于著名的PSLQ算法,给出了一个同步整数关系探测的新算法SIRD;并且在计算机代数系统Maple中采用软件精度数据类型"sfloat"实现了SIRD算法和另一个同步整数关系探测算法HJLS,数值实验说明本文的算法相比HJLS算法更高效;最后,部分采用硬件精度数据类型"hfloat"给出了SIRD算法在Maple中的另一种的实现,并将其应用到代数数极小多项式的重构问题中,进一步拓展了张景中和冯勇提出的"采用近似计算获得准确值"这一思想的应用范围.; 关键词整数关系代数数极小多项式符号数值计算; Keywords integer relation algebraic number minimal polynomial symbolic-numeric computation; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于多项式符号代数方法的高层次数据通路的等价验证被引量：2: 5; 作者杨志马光胜张曙; 机构哈尔滨工程大学计算机科学与技术学院哈尔滨工程大学信息与通信工程学院; 出处《计算机研究与发展》 EI CSCD 北大核心 2009年第3期513-520,共8页; 基金国家自然科学基金项目(60273081)~~; 文摘基于BDD或布尔SAT的等价验证方法虽然能够成功验证低层次门级电路,但却难以满足高层次设计验证要求.由此,以多项式符号代数为理论基础,提出了一个高层次数据通路的等价验证算法.深入研究了使用多项式表达式描述复杂数据通路行为的方法,得到了高层次数据通路的多项式集合表示的一般形式.从多项式集合公共零点的角度定义了高层次数据通路的功能等价,给出了一个基于Grbner基计算的有效代数求解算法.针对不同基准数据通路的实验结果表明了该算法的有效性.; 关键词高层次数据通路等价验证多项式符号代数形式验证电子设计自动化; Keywords high-level datapaths equivalence verification polynomial symbolic algebra formalverification electronic design automation; 分类号 TP391.7 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	近似符号计算的神经网络模型方法的研究──多项式因式分解的神经网络机理	周永权	《计算机工程与设计》 CSCD 北大核心	1999	2	在线阅读下载PDF 职称材料
2	有限域上基于Grbner基的高级综合优化方法	王冠军赵莹王茂励	《哈尔滨工业大学学报》 EI CAS CSCD 北大核心	2010	0	在线阅读下载PDF 职称材料
3	基于Mining-SEC方法的电路等价性验证	王冠军童敏明周勇赵莹	《计算机工程》 CAS CSCD	2014	0	在线阅读下载PDF 职称材料
4	SIRD:一个同步整数关系探测算法	陈经纬冯勇秦小林张景中	《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心	2011	0	在线阅读下载PDF 职称材料
5	基于多项式符号代数方法的高层次数据通路的等价验证	杨志马光胜张曙	《计算机研究与发展》 EI CSCD 北大核心	2009	2	在线阅读下载PDF 职称材料