中国科学院知识创新工程重要方向项目(KJCX2-YW-S02)
- 作品数：8 被引量：12H指数：2
- 相关作者：冯勇秦小林李骏李轶张景中更多>>
- 相关机构：中国科学院成都计算机应用研究所电子科技大学中国科学院研究生院更多>>
- 发文基金：中国科学院知识创新工程重要方向项目国家重点基础研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 高效符号数值混合计算系统研究与设计被引量：1
- 2009年
- 符号与数值混合计算是一种利用数值计算和符号计算方法解决大规模问题的计算方法,它为符号计算与数值计算提供一种新的思维模式和方法。近年来,混合计算的理论研究取得一些重要的进展。然而,混合计算的系统软件设计还处于探索阶段。基于此,提出了一种基于改进的开放源代码的符号数值计算应用环境库(SYNAPS)的高效符号数值混合计算系统的设计方法,并进行了实现。实验结果表明,该系统高效可靠。
- 秦小林冯勇李骏
- 关键词：计算机代数系统数学软件
- 采用近似方法的实代数数准确表示及其应用被引量：1
- 2010年
- 针对如何保证实代数数的二进制展开不形成伪随机序列的问题,提出了通过实代数数的近似值重构它的准确极小多项式的算法,以此为基础提供了一种新的计算机实代数数表示方法。采用1个三元组序列:适当误差控制的实代数数近似值,极小多项式的次数和高度的上界。与目前的3种实代数数的计算机表示方法相比,在稀疏极小多项式情况下,新表示方法占有的二进制比特位与区间方法一致,低于符号方法,而略高于序方法;在稠密极小多项式情况下,比目前的3种表示方法都低。同时利用近似值重构极小多项式的方法,可获得多项式的准确因式分解。通过理论的分析和试验的验证,显示新的实代数数准确表示方法和应用是高效合理的。
- 秦小林冯勇陈经纬李骏
- 一类半正定多项式的配平方和算法被引量：5
- 2008年
- 以牛顿多胞型技术为基础,根据牛顿多胞型中的点与点之间的相关性,给出了直接搜索多项式配平方和所需的最基本的项集X_s的算法,利用精确的符号算法PCAD,可将一类半正定多项式配成平方和,并编写了Maple程序"ASSOS",实现了多项式配平方和的自动生成.由多项式结构的稀疏性,此算法更能有效处理稀疏多项式.这一算法提高了多项式配平方和的效率,从而促进了一类代数不等式可读性证明的自动生成.除此之外,还给出了多项式不能表示为平方和的一个充分条件.
- 李轶
- 基于决策树算法确定一个最小神经网络被引量：1
- 2010年
- 神经网络隐层神经元的个数对于网络的性能有着重要的影响,通常情况下,对于一个特定问题来说,没有一个确定的方法来决定隐含层到底应该有多少个神经元,一般采用试探的方法通过多次实验来达到理想效果。在分类问题中,决策树和神经网络的结构有着一定的关联性,通过把决策树映射到神经网络结构中来确定隐层神经元的个数的方法能够有效地设计神经网络的结构,从而提高训练的效率并达到良好的分类效果。实验结果表明,该方法能够得到一个有着良好识别率的最小神经网络。方法简单有效,直观且易于操作。
- 刘栋冯勇赵向辉
- 关键词：决策树人工神经网络隐层神经元
- 基于NTL算法库的多元多项式因式分解高效实现被引量：1
- 2008年
- 针对多元多项式因式分解困难问题,利用现有因式分解算法,提出了一种基于任意精度计算函数库NTL的高效多元多项式因式分解实现方法HPFMP。介绍了NTL算法库,讨论了如何运用该算法库实现高效的数论与计算代数计算;充分利用具备高效、任意精度大整数、实数的计算数论与计算代数的NTL算法库实现了多元多项式因式分解;与现有代数系统Maple11进行了对比测试,实验结果表明,该实现方法具有更高的效率。
- 秦小林冯勇李骏
- 关键词：因式分解
- 一种网格-Web转换器的研究与设计
- 2010年
- 网格与Web的融合是未来的趋势,也是网络领域的研究重点和热点,在复杂、异构的网格环境下,传统的融合思想显示出了其局限性,主要研究设计了一种网格-Web转换器GWS,实现了网格和Web的无缝连接,为网格和Web的融合提供了一种新的技术和一个新的方向。
- 靳泰戈李骏
- 关键词：WEB服务WEB网格转换器云计算
- 线性程序的Ranking函数自动合成被引量：1
- 2009年
- 针对判定一个程序终止性的经典方法Ranking函数法,运用半代数系统的概念,把程序终止性问题转换为求半代数系统的Ranking函数。然后运用符号计算工具DISCOV-ERER和Farkas引理,求出函数参数存在的充分必要条件,并根据符号计算理论的方法自动合成Ranking函数。通过计算代数理论的证明和试验的验证,并与其他方法做了比较,这种方法是高效合理的。
- 李骏李轶冯勇秦小林
- 关键词：程序终止性
- 有序集的一般归纳原理和连续归纳法被引量：2
- 2008年
- 证明了一个适用于任意有序集的一般归纳原理,以此为基础导出了数学归纳法、超限归纳法和连续归纳法,从而揭示出三种归纳法的共同基础。文中的例子显示出连续归纳法可用统一模式简单明了地给出数学分析中若干定理的证明,如果在数学专业的分析教学中应用连续归纳法,将有助于克服长期存在的教学难点,提高教学的质量和效率。同时也为分析推理的机械化进行了必要的准备。
- 张景中冯勇
- 关键词：数学归纳法连续归纳法
