基本信息
袁春明 男 数学与系统科学研究院
电子邮件: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] 袁春明, 马鸿宇, 高小山, 张立先. 一种基于动力学约束的刀具路径确定方法及系统. CN112363455B, 2021-09-24.

[2] 申立勇, 袁春明, 马鸿宇, 高小山. 一种用于摇篮式机床的全局最优进给速度规划方法. CN: CN113189939A, 2021-07-30.

[3] 袁春明, 张立先, 高小山. 一种数控机床修调处理加工方法及系统. CN: CN111708328B, 2021-07-27.

[4] 张 梅, 袁春明, 闫 伟, 王定康, 李洪波, 高小山. 基于二次B样条曲线对G01代码的拟合及插补方法. CN: CN101539769A, 2009-09-23.

出版信息

   
发表论文
[1] Laigang Guo, ChunMing Yuan, XiaoShan Gao, Ali MohammadDjafari. A Generalization of the Concavity of Rényi Entropy Power. Entropy[J]. 2021, 23(12): https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8699971/.
[2] Yuan, ChunMing, Zhang, ZhiYong. New bounds and an efficient algorithm for sparse difference resultants. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2021, 107: 279-298, http://dx.doi.org/10.1016/j.jsc.2021.04.002.
[3] 1.\tHongyu Ma, Chunming Yuan, Fengming Lin, Lixian Zhang, 申立勇. Hybrid Line-Arc Toolpath Machining with Corner Transition and Grouping Lookahead Scheme(Full). Computer-Aided Design and Applications[J]. 2021, [4] Yuan, Chunming, Mi, Zhenpeng, Jia, Xiaohong, Lin, Fengming, Shen, Liyong. Tool Orientation Optimization and Path Planning for 5-Axis Machining. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2021, 34(1): 83-106, http://lib.cqvip.com/Qikan/Article/Detail?id=7104289945.
[5] Yuan ChunMing, PerezDiaz, Sonia, Shen LiYong. A Survey of the Representations of Rational Ruled Surfaces*. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2021, https://www.webofscience.com/wos/woscc/full-record/WOS:000608140200027.
[6] Guo Laigang, Yuan ChunMing, Gao XiaoShan. Lower Bound on Derivatives of Costa's Differential Entropy. 2020, http://arxiv.org/abs/2007.10145.
[7] Lin, Fengming, Shen, LiYong, Yuan, ChunMing, Mi, Zhenpeng. Certified space curve fitting and trajectory planning for CNC machining with cubic B-splines. COMPUTER-AIDED DESIGN[J]. 2019, 106: 13-29, http://ir.amss.ac.cn/handle/2S8OKBNM/32002.
[8] Li Wei, Yuan ChunMing. Elimination Theory in Differential and Difference Algebra. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2019, 32(1): 287-316, http://lib.cqvip.com/Qikan/Article/Detail?id=6100292591.
[9] Li Wei, Yuan Chunming. Elimination Theory in Differential and Difference Algebra. Journal of Systems Science and Complexity[J]. 2019, 32(1): 287-316, http://lib.cqvip.com/Qikan/Article/Detail?id=6100292591.
[10] RuiJuan Jing, ChunMing Yuan, XiaoShan Gao. A polynomial-time algorithm to compute generalized Hermite normal forms of matrices over formula omitted. Theoretical Computer Science. 2019, 755: 89-109, http://dx.doi.org/10.1016/j.tcs.2018.07.003.
[11] Jing, RuiJuan, Yuan, ChunMing, Gao, XiaoShan. A polynomial-time algorithm to compute generalized Hermite normal forms of matrices over Zx. THEORETICAL COMPUTER SCIENCE[J]. 2019, 755: 89-109, http://ir.amss.ac.cn/handle/2S8OKBNM/32137.
[12] Yuan Chunming. Elimination Theory in Differential and Diffference Algebra. Journal of Systems Science and Complexity. 2019, [13] Mi, Zhenpeng, Yuan, ChunMing, Ma, Xiaohui, Shen, LiYong. Tool orientation optimization for 5-axis machining with C-space method. INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY[J]. 2017, 88(5-8): 1243-1255, [14] Gao XiaoShan, Huang Zhang, Wang Jie, Yuan ChunMing. Toric Difference Variety. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2017, 30(1): 173-195, http://ir.amss.ac.cn/handle/2S8OKBNM/46393, http://www.irgrid.ac.cn/handle/1471x/6870581, http://ir.amss.ac.cn/handle/2S8OKBNM/46394.
[15] Gao, XiaoShan, Huang, Zhang, Yuan, ChunMing. Binomial difference ideals. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2017, 80: 665-706, http://dx.doi.org/10.1016/j.jsc.2016.07.029.
[16] Jing, RuiJuan, Yuan, ChunMing. A modular algorithm to compute the generalized Hermite normal form for Zx-lattices. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2017, 81: 97-118, https://www.webofscience.com/wos/woscc/full-record/WOS:000392999800006.
[17] Mi, Zhenpeng, Yuan, ChunMing, Ma, Xiaohui, Shen, LiYong. Tool orientation optimization for 5-axis machining with C-space method. INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY[J]. 2017, 88(5-8): 1243-1255, https://www.webofscience.com/wos/woscc/full-record/WOS:000393760100006.
[18] Gao Xiaoshan, Huang Zhang, Wang Jie, Yuan Chunming. toricdifferencevariety. journalofsystemsscienceandcomplexity[J]. 2017, 30(1): 173-, http://ir.amss.ac.cn/handle/2S8OKBNM/46393, http://www.irgrid.ac.cn/handle/1471x/6870581, http://ir.amss.ac.cn/handle/2S8OKBNM/46394.
[19] Jing RuiJuan, Yuan ChunMing. A modular algorithm to compute the generalized Hermite normal form for Z x -lattices. Journal of Symbolic Computation[J]. 2017, [20] Li, Wei, Yuan, ChunMing, Gao, XiaoShan. Sparse Differential Resultant for Laurent Differential Polynomials. FOUNDATIONS OF COMPUTATIONAL MATHEMATICS[J]. 2015, 15(2): 451-517, https://www.webofscience.com/wos/woscc/full-record/WOS:000351238600004.
[21] Yang, Zhengyuan, Shen, LiYong, Yuan, ChunMing, Gao, XiaoShan, 申立勇. Curve fitting and optimal interpolation for CNC machining under confined error using quadratic B-splines. COMPUTER-AIDED DESIGN[J]. 2015, 66: 62-72, http://dx.doi.org/10.1016/j.cad.2015.04.010.
[22] Li, Wei, Yuan, ChunMing, Gao, XiaoShan. Sparse difference resultant. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2015, 68: 169-203, http://dx.doi.org/10.1016/j.jsc.2014.09.016.
[23] Yuan Chunming. Matrix formulae of differential resultant for first order generic ordinary differential polynomials. Computer mathematics. 2014, [24] Gao, XiaoShan, Li, Wei, Yuan, ChunMing. INTERSECTION THEORY IN DIFFERENTIAL ALGEBRAIC GEOMETRY: GENERIC INTERSECTIONS AND THE DIFFERENTIAL CHOW FORM. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY[J]. 2013, 365(9): 4575-4632, https://www.webofscience.com/wos/woscc/full-record/WOS:000326589500003.
[25] Zhang, Ke, Yuan, ChunMing, Gao, XiaoShan. Efficient algorithm for time-optimal feedrate planning and smoothing with confined chord error and acceleration. INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY[J]. 2013, 66(9-12): 1685-1697, https://www.webofscience.com/wos/woscc/full-record/WOS:000319557200044.
[26] Yuan Chunming, Zhang Ke, Fan Wei. Time-optimal interpolation for CNC machining along curved tool pathes with confined chord error. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2013, 26(5): 836-870, https://www.webofscience.com/wos/woscc/full-record/WOS:000325703600011.
[27] Wei Fan, XiaoShan Gao, Wei Yan, ChunMing Yuan. Interpolation of parametric CNC machining path under confined jounce. The International Journal of Advanced Manufacturing Technology,. 2012, 62: [28] Zhang, Ke, Yuan, ChunMing, Gao, XiaoShan, Li, Hongbo. A greedy algorithm for feedrate planning of CNC machines along curved tool paths with confined jerk. ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING[J]. 2012, 28(4): 472-483, http://dx.doi.org/10.1016/j.rcim.2012.02.006.
[29] Shen, LiYong, Yuan, ChunMing, Gao, XiaoShan, 申立勇. Certified approximation of parametric space curves with cubic B-spline curves. COMPUTER AIDED GEOMETRIC DESIGN[J]. 2012, 29(8): 648-663, http://dx.doi.org/10.1016/j.cagd.2012.06.001.
[30] Fan, Wei, Gao, XiaoShan, Yan, Wei, Yuan, ChunMing. Interpolation of parametric CNC machining path under confined jounce. INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY[J]. 2012, 62(5-8): 719-739, https://www.webofscience.com/wos/woscc/full-record/WOS:000308395000024.
[31] Mei Zhang, Wei Yan, ChunMing Yuan, DingKang Wang, XiaoShan Gao. Curve fitting and optimal interpolation on CNC machines based on quadratic B-splines. Science China Information Sciences,[J]. 2011, 54(7): 1407-1418, https://www.webofscience.com/wos/woscc/full-record/WOS:000292269700008.
[32] Zhang Mei, Yan Wei, Yuan ChunMing, Wang DingKang, Gao XiaoShan. Curve fitting and optimal interpolation on CNC machines based on quadratic B-splines. SCIENCE CHINA-INFORMATION SCIENCES[J]. 2011, 54(7): 1407-1418, http://lib.cqvip.com/Qikan/Article/Detail?id=38373983.
[33] Chen, Ying, Shen, LiYong, Yuan, ChunMing, 申立勇. Collision and intersection detection of two ruled surfaces using bracket method. COMPUTER AIDED GEOMETRIC DESIGN[J]. 2011, 28(2): 114-126, http://dx.doi.org/10.1016/j.cagd.2010.11.002.
[34] 张梅, 闫伟, 袁春明, 王定康, 高小山. 数控加工中的二次曲线拟合与最优插补控制算法. 中国科学:信息科学[J]. 2011, 41(11): 1388-1400, http://lib.cqvip.com/Qikan/Article/Detail?id=39968008.
[35] Liyong SHEN, Chunming YUAN. IMPLICITIZATION USING UNIVARIATE RESULTANTS. 系统科学与复杂性:英文版. 2010, 804-814, http://lib.cqvip.com/Qikan/Article/Detail?id=35211216.
[36] Shen, Liyong, Yuan, Chunming, 申立勇. Implicitization using univariate resultants. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2010, 23(4): 804-814, http://lib.cqvip.com/Qikan/Article/Detail?id=35211216.
[37] Shen Liyong, Yuan Chunming. IMPLICITIZATION USING UNIVARIATE RESULTANTS. 系统科学与复杂性:英文版[J]. 2010, 804-, http://lib.cqvip.com/Qikan/Article/Detail?id=35211216.
[38] Yuan, Chunming, Gao, XiaoShan. A criterion for testing whether a difference ideal is prime. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2009, 22(4): 627-635, http://lib.cqvip.com/Qikan/Article/Detail?id=32457972.
[39] Gao, XiaoShan, Luo, Yong, Yuan, Chunming. A characteristic set method for ordinary difference polynomial systems. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2009, 44(3): 242-260, http://dx.doi.org/10.1016/j.jsc.2007.05.005.
[40] Yuan, Chunming, Liu, Wenyao, Tang, Cindy Q, Li, Xiaoshuang. Species composition, diversity, and abundance of lianas in different secondary and primary forests in a subtropical mountainous area, SW China. ECOLOGICAL RESEARCH[J]. 2009, 24(6): 1361-1370, http://www.irgrid.ac.cn/handle/1471x/437679.
[41] Halas Miroslav, Kotta Uelle, Li Ziming, Wang Huaifu, Yuan Chunming, May JP. Submersive Rational Difference Systems and Their Accessibility. ISSAC2009: PROCEEDINGS OF THE 2009 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATIONnull. 2009, 175-182, http://dx.doi.org/10.1145/1576702.1576728.
[42] Yuan Chunming. Ritt-Wus Characteristic Set Method for Ordinary Difference Polynomial Systems With Arbitrary Orderring. Acta Mathematica Scientia. 2009, [43] Chunming YUAN, XiaoShan GAO. A CRITERION FOR TESTING WHETHER A DIFFERENCE IDEAL IS PRIME. 系统科学与复杂性:英文版[J]. 2009, 627-635, http://lib.cqvip.com/Qikan/Article/Detail?id=32457972.
[44] Gao Xiaoshan, Yuan Chunming, Zhang Guilin. RITT-WU'S CHARACTERISTIC SET METHOD FOR ORDINARY DIFFERENCE POLYNOMIAL SYSTEMS WITH ARBITRARY ORDERING. ACTA MATHEMATICA SCIENTIA[J]. 2009, 29(4): 1063-1080, http://lib.cqvip.com/Qikan/Article/Detail?id=30832275.
[45] 申立勇, 袁春明. 有理参数曲线的近似恰当化. 计算机辅助设计与图形学学报[J]. 2009, 924-929, http://lib.cqvip.com/Qikan/Article/Detail?id=31061153.
[46] Gao, X S, Van der Hoeven, J, Yuan, C M, Zhang, G L. Characteristic set method for differential-difference polynomial systems. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2009, 44(9): 1137-1163, http://dx.doi.org/10.1016/j.jsc.2008.02.010.
[47] Chai, Fengjuan, Gao, XiaoShan, Yuan, Chunming. A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2008, 21(2): 191-208, http://lib.cqvip.com/Qikan/Article/Detail?id=27712491.
[48] 袁春明. 微分-差分多项式系统的吴特征列与预解式方法. 2007, [49] 袁春明. 连续代数扩域上多项式因式分解的Trager算法. 系统科学与数学[J]. 2006, 533-, http://ir.amss.ac.cn/handle/2S8OKBNM/37472, http://www.irgrid.ac.cn/handle/1471x/6869965, http://ir.amss.ac.cn/handle/2S8OKBNM/37473.
[50] Rueda, Sonia L.. Linear sparse differential resultant formulas. http://arxiv.org/abs/1112.3921.

科研活动

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