基本信息
袁春明  男  博导  中国科学院数学与系统科学研究院
电子邮件: cmyuan@mmrc.iss.ac.cn
通信地址: 北京市海淀区中关村东路55号中科院数学与系统科学研究院思源楼
邮政编码: 100190

研究领域

   

招生信息

   
招生专业
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) 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作者
发表著作
   

科研活动

   
科研项目
(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

合作情况

   
项目协作单位
   

指导学生