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

出版信息

   
发表论文
[1] XinYu Wang, LiYong Shen, ChunMing Yuan, Sonia PrezDaz. Globally certified G1 approximation of planar algebraic curves. JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS[J]. 2024, 436: http://dx.doi.org/10.1016/j.cam.2023.115399.
[2] Bowen Lyv, liyong shen, 袁春明. MixNet: A Neural Network for Learning 3D Implicit Representations. Graphical Models[J]. 2023, 129: 101190-, [3] YiFei Feng, LiYong Shen, ChunMing Yuan, Xin Li. Deep Shape Representation with Sharp Feature Preservation. COMPUTER-AIDED DESIGN. 2023, 157: http://dx.doi.org/10.1016/j.cad.2022.103468.
[4] Hongyu Ma, Chunming Yuan, 申立勇, Yi-Fei Feng. A Theoretically Complete Surface Segmentation Method for CNC Subtractive Fabrication. CSIAM Trans. Appl. Math.[J]. 2023, 4(2): 325-344, [5] 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, [6] Guo, Laigang, Yuan, ChunMing, Gao, XiaoShan. Lower Bounds on Multivariate Higher Order Derivatives of Differential Entropy. ENTROPY[J]. 2022, 24(8): 17-, https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000846004200001&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=3a85505900f77cc629623c3f2907beab.
[7] Ma, HongYu, Yuan, ChunMing, Shen, LiYong. Tool Path Planning with Confined Scallop Height Error Using Optimal Connected Fermat Spirals. COMMUNICATIONS IN MATHEMATICS AND STATISTICS[J]. 2022, 24-, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000885843400001.
[8] 马鸿宇, 申立勇, 姜鑫, 邹强, 袁春明. 数控加工中路径规划与速度插补综述. 图学学报[J]. 2022, 43(6): 967-986, http://lib.cqvip.com/Qikan/Article/Detail?id=7108697164.
[9] 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): [10] 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/.
[11] 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.
[12] 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, [13] 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.
[14] 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.
[15] Yuan, Chunming, Mi, Zhenpeng, Jia, Xiaohong, Lin, Fengming, Shen, Liyong. Tool Orientation Optimization and Path Planning for 5-Axis Machining. JOURNALOFSYSTEMSSCIENCECOMPLEXITY[J]. 2020, 24-, [16] 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.
[17] 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.
[18] 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.
[19] 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.
[20] 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.
[21] 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.
[22] Yuan Chunming. Elimination Theory in Differential and Diffference Algebra. Journal of Systems Science and Complexity. 2019, [23] 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, [24] 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.
[25] 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.
[26] 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.
[27] 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.
[28] 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.
[29] Jing RuiJuan, Yuan ChunMing. A modular algorithm to compute the generalized Hermite normal form for Z x -lattices. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2017, [30] 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.
[31] 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.
[32] 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.
[33] Yuan Chunming. Matrix formulae of differential resultant for first order generic ordinary differential polynomials. Computer mathematics. 2014, [34] 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.
[35] 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.
[36] 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, http://dx.doi.org/10.1007/s11424-013-3180-4.
[37] 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: [38] 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.
[39] 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.
[40] 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.
[41] 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.
[42] 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.
[43] 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.
[44] Wei Li, Xiao-Shan Gao, Chunming Yuan. Sparse Differential Resultant. ISSAC 2011null. 2011, [45] 张梅, 闫伟, 袁春明, 王定康, 高小山. 数控加工中的二次曲线拟合与最优插补控制算法. 中国科学信息科学[J]. 2011, 41(11): 1388-, http://lib.cqvip.com/Qikan/Article/Detail?id=39968008.
[46] Liyong SHEN, Chunming YUAN. IMPLICITIZATION USING UNIVARIATE RESULTANTS. 系统科学与复杂性:英文版[J]. 2010, 804-, http://lib.cqvip.com/Qikan/Article/Detail?id=35211216.
[47] 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.
[48] Shen Liyong, Yuan Chunming. IMPLICITIZATION USING UNIVARIATE RESULTANTS. 系统科学与复杂性:英文版[J]. 2010, 804-, http://lib.cqvip.com/Qikan/Article/Detail?id=35211216.
[49] 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.
[50] 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.
[51] 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://dx.doi.org/10.1007/s11284-009-0620-7.
[52] 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.
[53] Yuan Chunming. Ritt-Wus Characteristic Set Method for Ordinary Difference Polynomial Systems With Arbitrary Orderring. Acta Mathematica Scientia. 2009, [54] 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.
[55] 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.
[56] 申立勇, 袁春明. 有理参数曲线的近似恰当化. 计算机辅助设计与图形学学报[J]. 2009, 924-, http://lib.cqvip.com/Qikan/Article/Detail?id=31061153.
[57] 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.
[58] 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.
[59] 袁春明. 连续代数扩域上多项式因式分解的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.
[60] 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