袁春明 - 中国科学院大学

个人简介

招生专业 070101-基础数学 070104-应用数学招生方向符号计算，数学机械化方法，差分代数，构造性微分代数计算机辅助几何设计与数字化制造教育背景 2002-09--2007-05 中国科学院数学与系统科学研究院理学博士学位 1998-09--2002-07 中国科学技术大学理学学士学位工作简历 2012-03--今中国科学院数学与系统科学研究院所聘副研究员 2007-07--2012-03 中国科学院数学与系统科学研究院助理研究员奖励信息（1） ISSAC Distinguish Paper Award，其他级，2011 （2） “陈景润未来之星”，院级级，2009 专利成果（1）基于二次B样条曲线对G01代码的拟合及插补方法，发明，2009，第2作者，专利号：ZL 2009 1 0082732.9 科研项目（1）微分差分多项式系统高效消元算法研究，主持，国家级，2012-01--2014-12 （2）数学机械化方法及其在信息技术中的应用，参与，国家级，2012-01--2014-12 （3）数学机械化方法及其在数字化设计制造中的应用，参与，部委级，2011-01--2015-12 参与会议（1） A Greedy Algorithm for Feed rate Planning of CNC Machines long Curved Tool Path with Confined Jerk，第四届全国计算机数学学术会议，2011-11，Ke Zhang, Chun-Ming Yuan, Xiao-Shan Gao, Hongbo Li （2） Differential Chow Form and Differential resultant，2011-07，Wei Li, Xiao-Shan Gao, Chun-Ming Yuan （3） Differential Chow Form ，2010-10，Wei Li, Xiao-Shan Gao, Chun-Ming Yuan

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

（1） Interpolation of parametric CNC machining path under confined jounce，Journal of Advanced Manufacturing Technology，2012，第4作者（2） A greedy algorithm for feedrate planning of CNC machines along curved tool paths with confined jerk，Robotics and Computer-Integrated Manufacturing，2012，第2作者（3） Sparse Differential Resultant，Proc. ISSAC 2011，2011，第3作者（4） Curve fitting and optimal interpolation on CNC machines based on quadratic B-splines，Science China, Information Sciences，2011，通讯作者（5） Collision and intersection detection of two ruled surfaces using bracket method，Computer Aided Geometric Design，2011，第3作者（6） Implicitization using univariate resultants，Journal of Systems Science and Complexity，2010，第2作者（7） A Criterion for Testing Whether A Difference Ideal Is Prime，Journal of Systems Science and Complexity，2009，第1作者（8） Characteristic Set Method for Differential-Difference Polynomial Systems，Journal of Symbolic Computation，2009，第3作者（9） A characteristic set method for ordinary difference polynomial systems，Journal of Symbolic Computation，2009，第3作者（10） Submersive Rational Difference Systems and their Accessibility，Proc. ISSAC 2009，2009，第5作者（11） Ritt-Wus Characteristic Set Method for Ordinary Difference Polynomial Systems With Arbitrary Orderring，Acta Mathematica Scientia，2009，第2作者