您的位置： 专家智库 > >

国家自然科学基金(10771205)

作品数：16 被引量：9H指数：2
相关作者：冯勇秦小林李骏陈经纬李轶更多>>
相关机构：中国科学院成都计算机应用研究所电子科技大学中国科学院研究生院更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划中国科学院知识创新工程重要方向项目更多>>
相关领域：自动化与计算机技术理学经济管理电子电信更多>>

文献类型

  • 16篇中文期刊文章

领域

  • 9篇自动化与计算...
  • 5篇理学
  • 1篇经济管理
  • 1篇电子电信

主题

  • 3篇代数
  • 3篇多项式
  • 2篇代数数
  • 2篇数数
  • 2篇终止性
  • 2篇极小多项式
  • 2篇程序终止性
  • 1篇代数系
  • 1篇代数系统
  • 1篇递归
  • 1篇递归算法
  • 1篇迭代
  • 1篇多项式方程
  • 1篇形式幂级数
  • 1篇隐层
  • 1篇隐层神经元
  • 1篇云计算
  • 1篇征子
  • 1篇正性
  • 1篇神经网

机构

  • 12篇中国科学院成...
  • 3篇电子科技大学
  • 2篇四川建筑职业...
  • 2篇中国科学院研...
  • 2篇中国科学院重...
  • 1篇洛阳师范学院
  • 1篇成都信息工程...
  • 1篇西南石油大学
  • 1篇中国科学院

作者

  • 10篇冯勇
  • 5篇秦小林
  • 4篇李骏
  • 3篇陈经纬
  • 2篇刘栋
  • 2篇李轶
  • 2篇张景中
  • 2篇刘忠
  • 1篇冷拓
  • 1篇徐可佳
  • 1篇姚勇
  • 1篇张彩环
  • 1篇李玲娜
  • 1篇王颖
  • 1篇黄斌
  • 1篇赵向辉
  • 1篇谭治英
  • 1篇于传帅
  • 1篇李骏

传媒

  • 6篇四川大学学报...
  • 2篇系统科学与数...
  • 2篇计算机工程与...
  • 1篇华中科技大学...
  • 1篇计算机应用
  • 1篇应用数学和力...
  • 1篇Journa...
  • 1篇Applie...
  • 1篇科技创新导报

年份

  • 2篇2012
  • 5篇2011
  • 3篇2010
  • 5篇2009
  • 1篇2008
共 16 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
关于5次对称形式正性的机器判定
2008年
利用参系数多项式正实根的判别序列，给出了多变元5次对称形式在畔上取非负值的显示判定方法．并以此为依据，导出了一个有效的算法，能够在变元数较多时也可以使用计算机来自动判定．
姚勇冯勇
关键词：机器证明
单变元多项式方程的高效区间牛顿算法
2011年
为了解决当前存在的区间运算复杂性高、普通区间迭代程序运算量大、花费机器时间长等问题,提高区间迭代的运算效率,针对单变元多项式方程的求解展示了一个高效的区间Newton迭代算法。该算法利用1维问题多维化的思想加快迭代的收敛速度,改进了多维化过程中出现的性能拖累,极大地提高了算法在实际应用中的执行效率。算法已经被实现为M ap le程序,实验数据表明,与现有的算法相比,这个算法的迭代次数和运行时间都大幅减少,充分显示了它的高效性。
张彩环刘栋冯勇
关键词：牛顿迭代
构建复杂Dixon矩阵递归算法的改进
2011年
针对多于5个变元的复杂多项式系统的Dixon矩阵的构建问题,基于递归算法提出了一种改进算法.采用动态规划的思想,自下而上地构建Dixon矩阵,避免了Dixon多项式的重复计算,并给出了使用该算法计算Dixon矩阵的具体实例.该算法与递归算法一样,可以在同样的计算平台上处理其他方法所不能解决的一些复杂多项式系统求解问题,但与递归算法相比,减少了须要计算的Dixon多项式的数量,提高了计算效率.
王颖刘忠
关键词：消元法形式幂级数
SIRD:一个同步整数关系探测算法
2011年
为了解决一组实数向量的整数关系探测问题,通过广义的Hermite约化方法来约化超平面矩阵,基于著名的PSLQ算法,给出了一个同步整数关系探测的新算法SIRD;并且在计算机代数系统Maple中采用软件精度数据类型"sfloat"实现了SIRD算法和另一个同步整数关系探测算法HJLS,数值实验说明本文的算法相比HJLS算法更高效;最后,部分采用硬件精度数据类型"hfloat"给出了SIRD算法在Maple中的另一种的实现,并将其应用到代数数极小多项式的重构问题中,进一步拓展了张景中和冯勇提出的"采用近似计算获得准确值"这一思想的应用范围.
陈经纬冯勇秦小林张景中
关键词：代数数极小多项式
Spectral properties and geometric interpretation of R-filters
2009年
By applying the Fourier analysis, we study the spectral properties of R- filters. Further, we prove that R-filters are a generalization of least squares polynomial adjustment, and we give the geometric interpretation of R-filters.
冷拓
一个Erds问题的新证明及其在球面的猜想
2012年
著名的数学家P.Erds在给殷涌泉教授的一封信中曾经提到过一个几何概率问题,张景中、杨路、张伟年用初等几何方法证明了Erds的这个猜想[1]。本文利用线集测度理论给出一个更直接的新证明,并讨论在球面上的推广问题,它可形象地描述成如何用"绷带"均匀缠球的问题。
黄斌刘忠
采用近似方法的实代数数准确表示及其应用被引量：1
2010年
针对如何保证实代数数的二进制展开不形成伪随机序列的问题,提出了通过实代数数的近似值重构它的准确极小多项式的算法,以此为基础提供了一种新的计算机实代数数表示方法。采用1个三元组序列:适当误差控制的实代数数近似值,极小多项式的次数和高度的上界。与目前的3种实代数数的计算机表示方法相比,在稀疏极小多项式情况下,新表示方法占有的二进制比特位与区间方法一致,低于符号方法,而略高于序方法;在稠密极小多项式情况下,比目前的3种表示方法都低。同时利用近似值重构极小多项式的方法,可获得多项式的准确因式分解。通过理论的分析和试验的验证,显示新的实代数数准确表示方法和应用是高效合理的。
秦小林冯勇陈经纬李骏
代数数极小多项式的近似重构被引量：2
2011年
给出了代数数极小多项式近似重构的误差控制条件,进而基于同步整数关系探测算法SIRD,得到一个从代数数近似值重构其准确极小多项式的完备的新算法,从而将"采用近似计算获得准确值"这一思想的适用范围从有理数扩展到代数数.
陈经纬冯勇秦小林张景中
关键词：代数数
基于决策树算法确定一个最小神经网络被引量：1
2010年
神经网络隐层神经元的个数对于网络的性能有着重要的影响,通常情况下,对于一个特定问题来说,没有一个确定的方法来决定隐含层到底应该有多少个神经元,一般采用试探的方法通过多次实验来达到理想效果。在分类问题中,决策树和神经网络的结构有着一定的关联性,通过把决策树映射到神经网络结构中来确定隐层神经元的个数的方法能够有效地设计神经网络的结构,从而提高训练的效率并达到良好的分类效果。实验结果表明,该方法能够得到一个有着良好识别率的最小神经网络。方法简单有效,直观且易于操作。
刘栋冯勇赵向辉
关键词：决策树人工神经网络隐层神经元
高效符号数值混合计算系统研究与设计被引量：1
2009年
符号与数值混合计算是一种利用数值计算和符号计算方法解决大规模问题的计算方法,它为符号计算与数值计算提供一种新的思维模式和方法。近年来,混合计算的理论研究取得一些重要的进展。然而,混合计算的系统软件设计还处于探索阶段。基于此,提出了一种基于改进的开放源代码的符号数值计算应用环境库(SYNAPS)的高效符号数值混合计算系统的设计方法,并进行了实现。实验结果表明,该系统高效可靠。
秦小林冯勇李骏
关键词：计算机代数系统数学软件
全选 清除 导出
共2页<12>
聚类工具0