中国科学院知识创新工程(KJCX2-YW-S02)
- 作品数：5 被引量：23H指数：2
- 相关作者：符红光张景中李俊林邹宇郑焕更多>>
- 相关机构：中国科学院成都计算机应用研究所电子科技大学广州大学更多>>
- 发文基金：中国科学院知识创新工程国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术理学经济管理更多>>
- 代数数极小多项式的近似重构被引量：2
- 2011年
- 给出了代数数极小多项式近似重构的误差控制条件,进而基于同步整数关系探测算法SIRD,得到一个从代数数近似值重构其准确极小多项式的完备的新算法,从而将"采用近似计算获得准确值"这一思想的适用范围从有理数扩展到代数数.
- 陈经纬冯勇秦小林张景中
- 关键词：代数数
- Dixon结式的三类多余因子被引量：2
- 2008年
- Dixon结式是一种基本消元方法,它在自动控制、机器人等高技术领域中有着重要应用.但是由于结式方法可能产生多余因子,因此多余因子的产生机理一直是一大难题.本文通过将Dixon结式表示成原多项式系统的线性组合,发现了Dixon结式的部分多余因子,并且证明了其可由Dixon导出多项式的多余因子和Dixon矩阵的多余因子以及导出多项式回代产生的多余因子三大部分组成.
- 赵世忠符红光
- 改进的基于核密度估计的数据分类算法被引量：10
- 2010年
- 目前,很多基于核密度估计的数据分类算法采用的判别规则忽视了不平衡类问题.对此,提出了改进的基于核密度估计的数据分类算法.该算法可处理不平衡类带来的影响,并在不平衡类问题严重时也能发挥好的效果,而且可以推广到多分类问题.实验结果表明了这种改进是非常有效的,它提高了基于核密度估计的分类算法对不平衡类的适应力.
- 李俊林符红光
- 关键词：核密度估计数据分类
- 仿射质点几何的可读机器证明被引量：8
- 2010年
- 讨论并发展了能自动证明几何定理的质点几何方法,建立了能处理希尔伯特交点类命题的仿射几何机器证明算法,并实现为Maple程序。对上百个非平凡命题运行的结果显示,这种方法不仅效率高,多数证明的可读性也令人满意。
- 邹宇郑焕张景中
- R-滤子的谱及几何性质被引量：1
- 2009年
- 应用Fourier分析,研究了R-滤子的谱性质,并且证明了R-滤子是最小二乘方多项式法则的推广,在此基础上给出了R-滤子的几何解释.
- 冷拓
- 关键词：谱性质FOURIER分析算子理论
