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] 袁春明, 申立勇, 高小山, 吴芹, 张立先. 一种基于CAM的时间样条曲面生成方法. CN: CN114217572A, 2022-03-22.
[2] 申立勇, 袁春明, 高小山, 吴芹. 一种应用于五轴数控机床的时间样条曲线拟合与插补方法. CN: CN114115131A, 2022-03-01.
[3] 袁春明, 马鸿宇, 高小山, 张立先. 一种基于动力学约束的刀具路径确定方法及系统. CN112363455B, 2021-09-24.
[4] 申立勇, 袁春明, 马鸿宇, 高小山. 一种用于摇篮式机床的全局最优进给速度规划方法. CN: CN113189939A, 2021-07-30.
[5] 袁春明, 张立先, 高小山. 一种数控机床修调处理加工方法及系统. CN: CN111708328B, 2021-07-27.
[6] 张 梅, 袁春明, 闫 伟, 王定康, 李洪波, 高小山. 基于二次B样条曲线对G01代码的拟合及插补方法. CN: CN101539769A, 2009-09-23.

   

[1] Hong-Yu Ma, 袁春明, Li-Yong Shen, Xiao-Shan Gao. Optimal feedrate planning on a five-axis parametric tool path with global geometric and kinematic constraints. Journal of Computational Design and Engineering[J]. 2022, 9: 2355-2374, [2] Laigang Guo, ChunMing Yuan, XiaoShan Gao. Lower Bounds on Multivariate Higher Order Derivatives of Differential Entropy. Entropy[J]. 2022, 24: https://doaj.org/article/c8d2ec99845a4474905013011b1dbd57.
[3] Li-Yong Shen, Meng-Xing Wang, Hong-Yu Ma, Yi-Fei Feng, 袁春明. A framework from geometric data clouds to workpieces. Visual Computing for Industry, Biomedicine, and Art[J]. 2022, 5(21): [4] 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/.
[5] 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.
[6] 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, [7] 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.
[8] 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.
[9] Guo Laigang, Yuan ChunMing, Gao XiaoShan. Lower Bound on Derivatives of Costa's Differential Entropy. 2018 IEEE International Symposium on Information Theory (ISIT)null. 2020, http://arxiv.org/abs/2007.10145.
[10] 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.
[11] 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.
[12] 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.
[13] 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.
[14] 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.
[15] Yuan Chunming. Elimination Theory in Differential and Diffference Algebra. Journal of Systems Science and Complexity. 2019, [16] 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, [17] 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.
[18] 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.
[19] 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.
[20] 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.
[21] 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.
[22] Jing RuiJuan, Yuan ChunMing. A modular algorithm to compute the generalized Hermite normal form for Z x -lattices. Journal of Symbolic Computation[J]. 2017, [23] 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.
[24] 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.
[25] 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.
[26] Yuan Chunming. Matrix formulae of differential resultant for first order generic ordinary differential polynomials. Computer mathematics. 2014, [27] 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.
[28] 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.
[29] 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.
[30] 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: [31] 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.
[32] 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.
[33] 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.
[34] 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.
[35] 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.
[36] 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.
[37] Wei Li, Xiao-Shan Gao, Chunming Yuan. Sparse Differential Resultant. ISSAC 2011null. 2011, [38] 张梅, 闫伟, 袁春明, 王定康, 高小山. 数控加工中的二次曲线拟合与最优插补控制算法. 中国科学信息科学[J]. 2011, 41(11): 1388-, http://lib.cqvip.com/Qikan/Article/Detail?id=39968008.
[39] Liyong SHEN, Chunming YUAN. IMPLICITIZATION USING UNIVARIATE RESULTANTS. 系统科学与复杂性：英文版[J]. 2010, 804-, http://lib.cqvip.com/Qikan/Article/Detail?id=35211216.
[40] 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.
[41] Shen Liyong, Yuan Chunming. IMPLICITIZATION USING UNIVARIATE RESULTANTS. 系统科学与复杂性：英文版[J]. 2010, 804-, http://lib.cqvip.com/Qikan/Article/Detail?id=35211216.
[42] 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.
[43] 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.
[44] 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.
[45] 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.
[46] Yuan Chunming. Ritt-Wus Characteristic Set Method for Ordinary Difference Polynomial Systems With Arbitrary Orderring. Acta Mathematica Scientia. 2009, [47] 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.
[48] 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.
[49] 申立勇, 袁春明. 有理参数曲线的近似恰当化. 计算机辅助设计与图形学学报[J]. 2009, 924-, http://lib.cqvip.com/Qikan/Article/Detail?id=31061153.
[50] 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.
[51] 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.
[52] 袁春明. 连续代数扩域上多项式因式分解的trager算法. 系统科学与数学[J]. 2006, 26(5): 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.
[53] 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