国家自然科学基金(10771205) 作品数:16 被引量:9 H指数:2 相关作者: 冯勇 秦小林 李骏 陈经纬 李轶 更多>> 相关机构: 中国科学院成都计算机应用研究所 电子科技大学 中国科学院研究生院 更多>> 发文基金: 国家自然科学基金 国家重点基础研究发展计划 中国科学院知识创新工程重要方向项目 更多>> 相关领域: 自动化与计算机技术 理学 经济管理 电子电信 更多>>
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. 冷拓关键词:金融 银行 一个Erds问题的新证明及其在球面的猜想 2012年 著名的数学家P.Erds在给殷涌泉教授的一封信中曾经提到过一个几何概率问题,张景中、杨路、张伟年用初等几何方法证明了Erds的这个猜想[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 Ji Yong Feng文献传递 高效符号数值混合计算系统研究与设计 被引量:1 2009年 符号与数值混合计算是一种利用数值计算和符号计算方法解决大规模问题的计算方法,它为符号计算与数值计算提供一种新的思维模式和方法。近年来,混合计算的理论研究取得一些重要的进展。然而,混合计算的系统软件设计还处于探索阶段。基于此,提出了一种基于改进的开放源代码的符号数值计算应用环境库(SYNAPS)的高效符号数值混合计算系统的设计方法,并进行了实现。实验结果表明,该系统高效可靠。 秦小林 冯勇 李骏关键词:计算机代数系统 数学软件 OBTAINING EXACT INTERPOLATION MULTIVARIATE POLYNOMIAL BY APPROXIMATION 2011年 在象数学机械化那样的一些地里,自动化了推理并且可靠计算,等等,准确结果被需要。符号的计算被用来获得准确结果。符号的计算复杂性高。以便改进状况,准确插入内推方法经常为近似的准确结果和近似插入内推方法被建议。在这份报纸,作者学习怎么由近似插入内推的方法与合理系数获得准确插值多项式。 Yong FENG Xiaolin QIN Jingzhong ZHANG Xun YUAN关键词:插值方法 多元多项式 数学机械化 一种网格-Web转换器的研究与设计 2010年 网格与Web的融合是未来的趋势,也是网络领域的研究重点和热点,在复杂、异构的网格环境下,传统的融合思想显示出了其局限性,主要研究设计了一种网格-Web转换器GWS,实现了网格和Web的无缝连接,为网格和Web的融合提供了一种新的技术和一个新的方向。 靳泰戈 李骏关键词:WEB服务 WEB 网格 转换器 云计算 线性程序的Ranking函数自动合成 被引量:1 2009年 针对判定一个程序终止性的经典方法Ranking函数法,运用半代数系统的概念,把程序终止性问题转换为求半代数系统的Ranking函数。然后运用符号计算工具DISCOV-ERER和Farkas引理,求出函数参数存在的充分必要条件,并根据符号计算理论的方法自动合成Ranking函数。通过计算代数理论的证明和试验的验证,并与其他方法做了比较,这种方法是高效合理的。 李骏 李轶 冯勇 秦小林关键词:程序终止性