您的位置: 专家智库 > >

国家自然科学基金(10771205)

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

文献类型

  • 16篇期刊文章
  • 1篇会议论文

领域

  • 9篇自动化与计算...
  • 6篇理学
  • 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篇科技创新导报

年份

  • 1篇2014
  • 2篇2012
  • 5篇2011
  • 3篇2010
  • 5篇2009
  • 1篇2008
16 条 记 录,以下是 1-10
排序方式:
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年
神经网络隐层神经元的个数对于网络的性能有着重要的影响,通常情况下,对于一个特定问题来说,没有一个确定的方法来决定隐含层到底应该有多少个神经元,一般采用试探的方法通过多次实验来达到理想效果。在分类问题中,决策树和神经网络的结构有着一定的关联性,通过把决策树映射到神经网络结构中来确定隐层神经元的个数的方法能够有效地设计神经网络的结构,从而提高训练的效率并达到良好的分类效果。实验结果表明,该方法能够得到一个有着良好识别率的最小神经网络。方法简单有效,直观且易于操作。
刘栋冯勇赵向辉
关键词:决策树人工神经网络隐层神经元
An extended way to compute the mixed Cayley-Sylvester matrix
<正>In this paper,all the entries of the transformation matrix between the Sylvester matrix and mixed Cayley-Sy...
Zhen-yi JiYong Feng
文献传递
高效符号数值混合计算系统研究与设计被引量:1
2009年
符号与数值混合计算是一种利用数值计算和符号计算方法解决大规模问题的计算方法,它为符号计算与数值计算提供一种新的思维模式和方法。近年来,混合计算的理论研究取得一些重要的进展。然而,混合计算的系统软件设计还处于探索阶段。基于此,提出了一种基于改进的开放源代码的符号数值计算应用环境库(SYNAPS)的高效符号数值混合计算系统的设计方法,并进行了实现。实验结果表明,该系统高效可靠。
秦小林冯勇李骏
关键词:计算机代数系统数学软件
OBTAINING EXACT INTERPOLATION MULTIVARIATE POLYNOMIAL BY APPROXIMATION
2011年
In some fields such as Mathematics Mechanization, automated reasoning and Trustworthy Computing, etc., exact results are needed. Symbolic computations are used to obtain the exact results. Symbolic computations are of high complexity. In order to improve the situation, exact interpolating methods are often proposed for the exact results and approximate interpolating methods for the ap- proximate ones. In this paper, the authors study how to obtain exact interpolation polynomial with rational coefficients by approximate interpolating methods.
Yong FENGXiaolin QINJingzhong ZHANGXun YUAN
一种网格-Web转换器的研究与设计
2010年
网格与Web的融合是未来的趋势,也是网络领域的研究重点和热点,在复杂、异构的网格环境下,传统的融合思想显示出了其局限性,主要研究设计了一种网格-Web转换器GWS,实现了网格和Web的无缝连接,为网格和Web的融合提供了一种新的技术和一个新的方向。
靳泰戈李骏
关键词:WEB服务WEB网格转换器云计算
线性程序的Ranking函数自动合成被引量:1
2009年
针对判定一个程序终止性的经典方法Ranking函数法,运用半代数系统的概念,把程序终止性问题转换为求半代数系统的Ranking函数。然后运用符号计算工具DISCOV-ERER和Farkas引理,求出函数参数存在的充分必要条件,并根据符号计算理论的方法自动合成Ranking函数。通过计算代数理论的证明和试验的验证,并与其他方法做了比较,这种方法是高效合理的。
李骏李轶冯勇秦小林
关键词:程序终止性
共2页<12>
聚类工具0