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

高效符号数值混合计算系统研究与设计被引量：1: 1; 作者秦小林冯勇李骏《计算机工程与应用》 CSCD 北大核心 2009年第5期64-66,共3页; 符号与数值混合计算是一种利用数值计算和符号计算方法解决大规模问题的计算方法,它为符号计算与数值计算提供一种新的思维模式和方法。近年来,混合计算的理论研究取得一些重要的进展。然而,混合计算的系统软件设计还处于探索阶段。基于... 展开更多; 关键词计算机代数系统符号与数值混合计算数学软件符号与数值混合应用; 在线阅读下载PDF 职称材料

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

采用近似方法的实代数数准确表示及其应用被引量：1: 3; 作者秦小林冯勇 +1 位作者陈经纬李骏《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2010年第2期126-131,共6页; 针对如何保证实代数数的二进制展开不形成伪随机序列的问题,提出了通过实代数数的近似值重构它的准确极小多项式的算法,以此为基础提供了一种新的计算机实代数数表示方法。采用1个三元组序列:适当误差控制的实代数数近似值,极小多项式... 展开更多; 关键词实代数数近似计算符号计算符号与数值混合计算; 在线阅读下载PDF 职称材料

一种基于可处理不等式约束的动态几何自动作图软件GeoDraw: 4; 作者赵婷《计算机应用与软件》 CSCD 北大核心 2012年第9期41-44,65,共5页; 针对目前大部分几何作图软件只能处理等式约束的不足,设计并实现一种基于可处理不等式约束的动态几何自动作图软件GeoDraw。该软件应用符号和数值混合计算,将构造式和生成式作图方法相结合,可以有效地生成含有不等式约束的动态几何图形... 展开更多; 关键词动态几何图形自动作图不等式约束符号和数值计算生成式作图三角分解量词消去; 在线阅读下载PDF 职称材料

题名高效符号数值混合计算系统研究与设计被引量：1: 1; 作者秦小林冯勇李骏; 机构中国科学院成都计算机应用研究所电子科技大学计算机科学与工程学院; 出处《计算机工程与应用》 CSCD 北大核心 2009年第5期64-66,共3页; 基金国家重点基础研究发展规划(973)项目(No.2004CB318003) 国家自然科学基金项目(No.10771205) 中国科学院知识创新重要方向项目(No.KJCX2-YW-S02)~~; 文摘符号与数值混合计算是一种利用数值计算和符号计算方法解决大规模问题的计算方法,它为符号计算与数值计算提供一种新的思维模式和方法。近年来,混合计算的理论研究取得一些重要的进展。然而,混合计算的系统软件设计还处于探索阶段。基于此,提出了一种基于改进的开放源代码的符号数值计算应用环境库(SYNAPS)的高效符号数值混合计算系统的设计方法,并进行了实现。实验结果表明,该系统高效可靠。; 关键词计算机代数系统符号与数值混合计算数学软件符号与数值混合应用; Keywords Computer Algebra System （CAS） symbolic-numerical computation mathematic software symbolic and numeric applications（SYNAPS）; 分类号 TP319 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名SIRD:一个同步整数关系探测算法: 2; 作者陈经纬冯勇秦小林张景中; 机构中国科学院重庆绿色智能技术研究院中国科学院成都计算机应用研究所; 出处《四川大学学报（工程科学版）》 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 职称材料

题名采用近似方法的实代数数准确表示及其应用被引量：1: 3; 作者秦小林冯勇陈经纬李骏; 机构电子科技大学计算机推理与可信计算实验室中国科学院成都计算机应用研究所中国科学院研究生院; 出处《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2010年第2期126-131,共6页; 基金国家973计划资助项目(2004CB318003) 中国科学院知识创新重要方向项目(KJCX2-YW-S02) 国家自然科学基金资助项目(10771205); 文摘针对如何保证实代数数的二进制展开不形成伪随机序列的问题,提出了通过实代数数的近似值重构它的准确极小多项式的算法,以此为基础提供了一种新的计算机实代数数表示方法。采用1个三元组序列:适当误差控制的实代数数近似值,极小多项式的次数和高度的上界。与目前的3种实代数数的计算机表示方法相比,在稀疏极小多项式情况下,新表示方法占有的二进制比特位与区间方法一致,低于符号方法,而略高于序方法;在稠密极小多项式情况下,比目前的3种表示方法都低。同时利用近似值重构极小多项式的方法,可获得多项式的准确因式分解。通过理论的分析和试验的验证,显示新的实代数数准确表示方法和应用是高效合理的。; 关键词实代数数近似计算符号计算符号与数值混合计算; Keywords real algebraic number approximate computation symbolic computation symbolic-numerical computation; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一种基于可处理不等式约束的动态几何自动作图软件GeoDraw: 4; 作者赵婷; 机构北京航空航天大学SKLSDE-LIMB-数学与系统科学学院巴黎六大计算机科学实验室; 出处《计算机应用与软件》 CSCD 北大核心 2012年第9期41-44,65,共5页; 基金法国国家科研署和中国国家自然科学基金联合项目(ANR-09-BLAN-0371-01/60911130369) 软件开发环境国家重点实验室开放课题项目(SKLSDE-2011KF-02); 文摘针对目前大部分几何作图软件只能处理等式约束的不足,设计并实现一种基于可处理不等式约束的动态几何自动作图软件GeoDraw。该软件应用符号和数值混合计算,将构造式和生成式作图方法相结合,可以有效地生成含有不等式约束的动态几何图形,能通过鼠标点击和拖拽图形中的自由元素改变更新图形,并且在图形变化中动态地保持几何约束关系,主要应用于几何教学与研究。整个作图过程包括Maple中的三角分解,QEPCAD中的实量词消去以及Java中的语义解析、数值计算和图形生成等,且是完全自动的。; 关键词动态几何图形自动作图不等式约束符号和数值计算生成式作图三角分解量词消去; Keywords Dynamic geometric diagram ,Automatic drawing ,Inequality constraint, Symbolic and numerical computation ,Diagram generation, Triangular decomposition, Quantifier elimination; 分类号 TP319 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	高效符号数值混合计算系统研究与设计	秦小林冯勇李骏	《计算机工程与应用》 CSCD 北大核心	2009	1	在线阅读下载PDF 职称材料
2	SIRD:一个同步整数关系探测算法	陈经纬冯勇秦小林张景中	《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心	2011	0	在线阅读下载PDF 职称材料
3	采用近似方法的实代数数准确表示及其应用	秦小林冯勇陈经纬李骏	《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心	2010	1	在线阅读下载PDF 职称材料
4	一种基于可处理不等式约束的动态几何自动作图软件GeoDraw	赵婷	《计算机应用与软件》 CSCD 北大核心	2012	0	在线阅读下载PDF 职称材料