基本信息

袁春明 男 博导 中国科学院数学与系统科学研究院
电子邮件: cmyuan@mmrc.iss.ac.cn
通信地址: 北京市海淀区中关村东路55号中科院数学与系统科学研究院思源楼
邮政编码: 100190
电子邮件: cmyuan@mmrc.iss.ac.cn
通信地址: 北京市海淀区中关村东路55号中科院数学与系统科学研究院思源楼
邮政编码: 100190
研究领域
符号计算、计算机辅助设计与智能制造
招生信息
招生专业
070104-应用数学
070101-基础数学
070101-基础数学
招生方向
符号计算,数学机械化方法,差分代数,构造性微分代数
计算机辅助设计与智能制造
数字化设计与制造一体化
计算机辅助设计与智能制造
数字化设计与制造一体化
教育背景
2002-09--2007-05 中国科学院数学与系统科学研究院 理学博士学位
1998-09--2002-07 中国科学技术大学 理学学士学位
1998-09--2002-07 中国科学技术大学 理学学士学位
工作经历
工作简历
2023-03~现在, 中国科学院数学与系统科学研究院, 研究员
2013-03~2023-03,中国科学院数学与系统科学研究院, 副研究员
2007-07~2013-03,中国科学院数学与系统科学研究院, 助理研究员
2013-03~2023-03,中国科学院数学与系统科学研究院, 副研究员
2007-07~2013-03,中国科学院数学与系统科学研究院, 助理研究员
社会兼职
2022-05-01-2024-12-31,顾问, 顾问
2014-01-01-今,《系统科学与数学》编委, 编委会委员
2014-01-01-今,《系统科学与数学》编委, 编委会委员
教授课程
特征列方法引论
专利与奖励
奖励信息
(1) 卢嘉锡青年人才奖, 院级, 2014
(2) 关肇直青年研究奖, 研究所(学校), 2012
(3) ISSAC Distinguish Paper Award, 其他, 2011
(4) “陈景润未来之星”, , 研究所(学校), 2009
(2) 关肇直青年研究奖, 研究所(学校), 2012
(3) ISSAC Distinguish Paper Award, 其他, 2011
(4) “陈景润未来之星”, , 研究所(学校), 2009
专利成果
[1] 申立勇, 马鸿宇, 寇宜博, 袁春明. 一种针对逆向工程的数控刀路生成方法. CN: CN117891207A, 2024-04-16.
[2] 申立勇, 袁春明, 马鸿宇, 吕博文, 冯毅飞, 寇宜博, 陈硕鹏. 一种刀具路径的生成方法. CN: CN117311260A, 2023-12-29.
[3] 申立勇. Verfahren und Vorrichtung zum Erzeugen einer CAM-orientierten Zeit-SplineKurve und –Oberflache. 102022101000, 2023-01-17.
[4] 申立勇, 袁春明, 高小山, 吴芹. 一种应用于五轴数控机床的时间样条曲线拟合与插补方法. CN: CN114115131A, 2022-03-01.
[5] 申立勇, 袁春明, 高小山, 吴芹. 一种应用于五轴数控机床的时间样条曲线拟合与插补方法. CN: CN114115131A, 2022-03-01.
[6] 袁春明, 申立勇, 高小山, 吴芹, 张立先. 一种基于CAM的时间样条曲面生成方法. CN: CN114217572A, 2022-03-22.
[7] 袁春明, 申立勇, 高小山, 吴芹, 张立先. 一种基于CAM的时间样条曲面生成方法. CN: CN114217572B, 2023-07-25.
[8] 申立勇, 袁春明, 高小山, 吴芹. 一种应用于五轴数控机床的时间样条曲线拟合与插补方法. CN: CN114115131B, 2023-02-03.
[9] 申立勇, 袁春明, 马鸿宇, 高小山. 一种用于摇篮式机床的全局最优进给速度规划方法. CN: CN113189939A, 2021-07-30.
[10] 申立勇, 袁春明, 马鸿宇, 高小山. 一种用于摇篮式机床的全局最优进给速度规划方法. CN: CN113189939B, 2022-05-17.
[11] 申立勇, 袁春明, 马鸿宇, 高小山. 一种用于摇篮式机床的全局最优进给速度规划方法. CN: CN113189939B, 2022-05-17.
[12] 袁春明, 马鸿宇, 高小山, 张立先. 一种基于动力学约束的刀具路径确定方法及系统. CN112363455B, 2021-09-24.
[13] 袁春明, 张立先, 高小山. 一种数控机床修调处理加工方法及系统. CN: CN111708328B, 2021-07-27.
[14] 张 梅, 袁春明, 闫 伟, 王定康, 李洪波, 高小山. 基于二次B样条曲线对G01代码的拟合及插补方法. CN: CN101539769A, 2009-09-23.
[2] 申立勇, 袁春明, 马鸿宇, 吕博文, 冯毅飞, 寇宜博, 陈硕鹏. 一种刀具路径的生成方法. CN: CN117311260A, 2023-12-29.
[3] 申立勇. Verfahren und Vorrichtung zum Erzeugen einer CAM-orientierten Zeit-SplineKurve und –Oberflache. 102022101000, 2023-01-17.
[4] 申立勇, 袁春明, 高小山, 吴芹. 一种应用于五轴数控机床的时间样条曲线拟合与插补方法. CN: CN114115131A, 2022-03-01.
[5] 申立勇, 袁春明, 高小山, 吴芹. 一种应用于五轴数控机床的时间样条曲线拟合与插补方法. CN: CN114115131A, 2022-03-01.
[6] 袁春明, 申立勇, 高小山, 吴芹, 张立先. 一种基于CAM的时间样条曲面生成方法. CN: CN114217572A, 2022-03-22.
[7] 袁春明, 申立勇, 高小山, 吴芹, 张立先. 一种基于CAM的时间样条曲面生成方法. CN: CN114217572B, 2023-07-25.
[8] 申立勇, 袁春明, 高小山, 吴芹. 一种应用于五轴数控机床的时间样条曲线拟合与插补方法. CN: CN114115131B, 2023-02-03.
[9] 申立勇, 袁春明, 马鸿宇, 高小山. 一种用于摇篮式机床的全局最优进给速度规划方法. CN: CN113189939A, 2021-07-30.
[10] 申立勇, 袁春明, 马鸿宇, 高小山. 一种用于摇篮式机床的全局最优进给速度规划方法. CN: CN113189939B, 2022-05-17.
[11] 申立勇, 袁春明, 马鸿宇, 高小山. 一种用于摇篮式机床的全局最优进给速度规划方法. CN: CN113189939B, 2022-05-17.
[12] 袁春明, 马鸿宇, 高小山, 张立先. 一种基于动力学约束的刀具路径确定方法及系统. CN112363455B, 2021-09-24.
[13] 袁春明, 张立先, 高小山. 一种数控机床修调处理加工方法及系统. CN: CN111708328B, 2021-07-27.
[14] 张 梅, 袁春明, 闫 伟, 王定康, 李洪波, 高小山. 基于二次B样条曲线对G01代码的拟合及插补方法. CN: CN101539769A, 2009-09-23.
出版信息
发表论文
[1] Shuo-Peng Chen, Hong-Yu Ma, 申立勇, 袁春明. A Lightweight Model for Feature Points Recognition of Tool Path Based on Deep Learning. Proceeding of Computer-Aided Design and Computer Graphics. CADGraphics 2023. LNCS, Vol 14250. 2024, 第 4 作者null(null):
[2] 荆瑞娟, marc moreno maza, 谢岩峰, 袁春明. Efficient detection of redundancies in systems of linear inequalities. The International Symposium on Symbolic and Algebraic Computation (ISSAC). 2024, 第 4 作者null(null):
[3] Mengxing Wang, Yi-Fei Feng, Bowen Lyu, 申立勇, Chun-Ming Yuan. An attention enhanced dual graph neural network for mesh denoising. Computer Aided Geometric Design[J]. 2024, 第 5 作者111(null):
[4] Bowen Lyu, 申立勇, Chun-Ming Yuan. IGF-Fit: Implicit gradient field fitting for point cloud normal estimation. Graphical Models[J]. 2024, 第 3 作者133(null): 101214,
[5] He Shitao, Shen Liyong, Wu Qin, Yuan Chunming. A Certified Cubic B-Spline Interpolation Method with Tangential Direction Constraints. JOURNAL OF SYSTEMS SCIENCE AND COMPLEXITY[J]. 2024, 第 4 作者37(3): 1271-1294, http://sciencechina.cn/gw.jsp?action=detail.jsp&internal_id=7705452&detailType=1.
[6] 冯毅飞, 马鸿宇, 申立勇, 袁春明, 姜鑫. Real-time tool path planning using deep learning for subtractive manufacturing. Ieee Transactions on Industrial Informatics[J]. 2024, 第 4 作者20(4): 5979-5988,
[7] 张朝前, Chunming Yuan, 申立勇, Hongyu Ma. Global tool path planning method for smooth and length-optimal machining based on vector fields. INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY[J]. 2024, 第 2 作者134(null): 245-259,
[8] 寇宜博, 冯毅飞, 申立勇, 李新, 袁春明. Adaptive spline surface fitting with arbitrary topological control mesh. IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS[J]. 2024, 第 5 作者30(12): 7736-7748,
[9] 王新煜, 申立勇, Chunming Yuan, Sonia Pérez-Díaz. On G2 approximation of planar algebraic curves under certified error control by quintic Pythagorean-hodograph splines. Computer Aided Geometric Design[J]. 2024, 第 3 作者113(null): 102374,
[10] Yi-Fei Feng, 申立勇, Li Xin, Chunming Yuan, Jiang, Xin. Patching Non-Uniform Extraordinary Points. IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS[J]. 2024, 第 4 作者30(8): 4683-4693,
[11] XinYu Wang, LiYong Shen, ChunMing Yuan, Sonia PrezDaz. Globally certified G1 approximation of planar algebraic curves. JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS[J]. 2024, 第 3 作者436(null): http://dx.doi.org/10.1016/j.cam.2023.115399.
[12] 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]. 2024, 第 2 作者12(null): 55-78, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000885843400001.
[13] Wu, Qin, Yuan, ChunMing, Shen, LiYong, He, ShiTao, Gao, XiaoShan. Cubic time-spline fitting and interpolation for five-axis CNC machining. JOURNAL OF COMPUTATIONAL DESIGN AND ENGINEERING[J]. 2023, 第 2 作者10(6): 2345-2360, http://dx.doi.org/10.1093/jcde/qwad105.
[14] Feng, Yifei, Ma, HongYu, Shen, LiYong, Yuan, ChunMing, Jiang, Xin. Real-Time Tool-Path Planning Using Deep Learning for Subtractive Manufacturing. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. 2023, 第 4 作者http://dx.doi.org/10.1109/TII.2023.3342474.
[15] Bowen Lyv, liyong shen, 袁春明. MixNet: A Neural Network for Learning 3D Implicit Representations. Graphical Models[J]. 2023, 第 3 作者129: 101190,
[16] YiFei Feng, LiYong Shen, ChunMing Yuan, Xin Li. Deep Shape Representation with Sharp Feature Preservation. COMPUTER-AIDED DESIGN[J]. 2023, 第 3 作者 通讯作者 157: http://dx.doi.org/10.1016/j.cad.2022.103468.
[17] Hongyu Ma, Chunming Yuan, 申立勇, Yi-Fei Feng. A Theoretically Complete Surface Segmentation Method for CNC Subtractive Fabrication. CSIAM Trans. Appl. Math.[J]. 2023, 第 2 作者4(2): 325-344,
[18] 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, 第 2 作者9: 2355-2374,
[19] Guo, Laigang, Yuan, ChunMing, Gao, XiaoShan. Lower Bounds on Multivariate Higher Order Derivatives of Differential Entropy. ENTROPY[J]. 2022, 第 2 作者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.
[20] 马鸿宇, 申立勇, 姜鑫, 邹强, 袁春明. 数控加工中路径规划与速度插补综述. 图学学报[J]. 2022, 第 5 作者43(6): 967-986, http://lib.cqvip.com/Qikan/Article/Detail?id=7108697164.
[21] 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 作者 通讯作者 5(21):
[22] Yuan, ChunMing, Zhang, ZhiYong. New bounds and an efficient algorithm for sparse difference resultants. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2021, 第 1 作者107: 279-298, http://dx.doi.org/10.1016/j.jsc.2021.04.002.
[23] 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, 第 2 作者
[24] Yuan ChunMing, PerezDiaz, Sonia, Shen LiYong. A Survey of the Representations of Rational Ruled Surfaces*. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2021, 第 1 作者https://www.webofscience.com/wos/woscc/full-record/WOS:000608140200027.
[25] Yuan, Chunming, Mi, Zhenpeng, Jia, Xiaohong, Lin, Fengming, 申立勇. Tool Orientation Optimization and Path Planning for 5-Axis Machining. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2021, 第 1 作者34(1): 83-106, http://lib.cqvip.com/Qikan/Article/Detail?id=7104289945.
[26] Laigang Guo, ChunMing Yuan, XiaoShan Gao, Ali MohammadDjafari. A Generalization of the Concavity of Rényi Entropy Power. ENTROPY[J]. 2021, 第 2 作者23(12): https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8699971/.
[27] Yuan, Chunming, Mi, Zhenpeng, Jia, Xiaohong, Lin, Fengming, Shen, Liyong. Tool Orientation Optimization and Path Planning for 5-Axis Machining. JOURNALOFSYSTEMSSCIENCECOMPLEXITY[J]. 2020, 第 1 作者24,
[28] Guo Laigang, Yuan ChunMing, Gao XiaoShan. Lower Bound on Derivatives of Costa's Differential Entropy. 2018 IEEE International Symposium on Information Theory (ISIT). 2020, 第 2 作者http://arxiv.org/abs/2007.10145.
[29] 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, 第 3 作者106: 13-29, http://ir.amss.ac.cn/handle/2S8OKBNM/32002.
[30] Li Wei, Yuan ChunMing. Elimination Theory in Differential and Difference Algebra. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2019, 第 2 作者32(1): 287-316, http://lib.cqvip.com/Qikan/Article/Detail?id=6100292591.
[31] Li Wei, Yuan Chunming. Elimination Theory in Differential and Difference Algebra. JOURNAL OF SYSTEMS SCIENCE AND COMPLEXITY[J]. 2019, 第 2 作者32(1): 287-316, http://lib.cqvip.com/Qikan/Article/Detail?id=6100292591.
[32] 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, 第 2 作者755: 89-109, http://dx.doi.org/10.1016/j.tcs.2018.07.003.
[33] 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, 第 2 作者755: 89-109, http://ir.amss.ac.cn/handle/2S8OKBNM/32137.
[34] Yuan Chunming. Elimination Theory in Differential and Diffference Algebra. Journal of Systems Science and Complexity. 2019, 第 1 作者
[35] 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, 第 2 作者88(5-8): 1243-1255,
[36] Gao XiaoShan, Huang Zhang, Wang Jie, Yuan ChunMing. Toric Difference Variety. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2017, 第 4 作者 通讯作者 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.
[37] Gao, XiaoShan, Huang, Zhang, Yuan, ChunMing. Binomial difference ideals. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2017, 第 3 作者80: 665-706, http://dx.doi.org/10.1016/j.jsc.2016.07.029.
[38] Jing, RuiJuan, Yuan, ChunMing. A modular algorithm to compute the generalized Hermite normal form for Zx-lattices. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2017, 第 2 作者81: 97-118, https://www.webofscience.com/wos/woscc/full-record/WOS:000392999800006.
[39] 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, 第 2 作者88(5-8): 1243-1255, https://www.webofscience.com/wos/woscc/full-record/WOS:000393760100006.
[40] Gao Xiaoshan, Huang Zhang, Wang Jie, Yuan Chunming. toricdifferencevariety. JOURNALOFSYSTEMSSCIENCEANDCOMPLEXITY[J]. 2017, 第 4 作者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.
[41] Jing RuiJuan, Yuan ChunMing. A modular algorithm to compute the generalized Hermite normal form for Z x -lattices. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2017, 第 2 作者
[42] Li, Wei, Yuan, ChunMing, Gao, XiaoShan. Sparse Differential Resultant for Laurent Differential Polynomials. FOUNDATIONS OF COMPUTATIONAL MATHEMATICS[J]. 2015, 第 2 作者15(2): 451-517, https://www.webofscience.com/wos/woscc/full-record/WOS:000351238600004.
[43] 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, 第 3 作者66: 62-72, http://dx.doi.org/10.1016/j.cad.2015.04.010.
[44] Li, Wei, Yuan, ChunMing, Gao, XiaoShan. Sparse difference resultant. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2015, 第 2 作者68: 169-203, http://dx.doi.org/10.1016/j.jsc.2014.09.016.
[45] Yuan Chunming. Matrix formulae of differential resultant for first order generic ordinary differential polynomials. Computer mathematics. 2014, 第 1 作者 通讯作者
[46] 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, 第 2 作者66(9-12): 1685-1697, https://www.webofscience.com/wos/woscc/full-record/WOS:000319557200044.
[47] 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, 第 3 作者365(9): 4575-4632, https://www.webofscience.com/wos/woscc/full-record/WOS:000326589500003.
[48] 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, 第 1 作者 通讯作者 26(5): 836-870, http://dx.doi.org/10.1007/s11424-013-3180-4.
[49] 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, 第 4 作者62:
[50] Shen, LiYong, Yuan, ChunMing, Gao, XiaoShan, 申立勇. Certified approximation of parametric space curves with cubic B-spline curves. COMPUTER AIDED GEOMETRIC DESIGN[J]. 2012, 第 2 作者29(8): 648-663, http://dx.doi.org/10.1016/j.cagd.2012.06.001.
[51] 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, 第 4 作者62(5-8): 719-739, https://www.webofscience.com/wos/woscc/full-record/WOS:000308395000024.
[52] 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, 第 2 作者28(4): 472-483, http://dx.doi.org/10.1016/j.rcim.2012.02.006.
[53] 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, 第 3 作者 通讯作者 54(7): 1407-1418, https://www.webofscience.com/wos/woscc/full-record/WOS:000292269700008.
[54] 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, 第 3 作者 通讯作者 54(7): 1407-1418, http://lib.cqvip.com/Qikan/Article/Detail?id=38373983.
[55] Chen, Ying, Shen, LiYong, Yuan, ChunMing, 申立勇. Collision and intersection detection of two ruled surfaces using bracket method. COMPUTER AIDED GEOMETRIC DESIGN[J]. 2011, 第 3 作者28(2): 114-126, http://dx.doi.org/10.1016/j.cagd.2010.11.002.
[56] Wei Li, Xiao-Shan Gao, Chunming Yuan. Sparse Differential Resultant. ISSAC 2011. 2011, 第 3 作者
[57] 张梅, 闫伟, 袁春明, 王定康, 高小山. 数控加工中的二次曲线拟合与最优插补控制算法. 中国科学信息科学[J]. 2011, 第 3 作者41(11): 1388, http://lib.cqvip.com/Qikan/Article/Detail?id=39968008.
[58] Liyong SHEN, Chunming YUAN. IMPLICITIZATION USING UNIVARIATE RESULTANTS. 系统科学与复杂性:英文版[J]. 2010, 第 2 作者804, http://lib.cqvip.com/Qikan/Article/Detail?id=35211216.
[59] Shen, Liyong, Yuan, Chunming, 申立勇. Implicitization using univariate resultants. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2010, 第 2 作者23(4): 804-814, http://lib.cqvip.com/Qikan/Article/Detail?id=35211216.
[60] Shen Liyong, Yuan Chunming. IMPLICITIZATION USING UNIVARIATE RESULTANTS. 系统科学与复杂性:英文版[J]. 2010, 第 2 作者804, http://lib.cqvip.com/Qikan/Article/Detail?id=35211216.
[61] Yuan, Chunming, Gao, XiaoShan. A criterion for testing whether a difference ideal is prime. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2009, 第 1 作者 通讯作者 22(4): 627-635, http://lib.cqvip.com/Qikan/Article/Detail?id=32457972.
[62] Gao, XiaoShan, Luo, Yong, Yuan, Chunming. A characteristic set method for ordinary difference polynomial systems. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2009, 第 3 作者44(3): 242-260, http://dx.doi.org/10.1016/j.jsc.2007.05.005.
[63] 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, 第 1 作者24(6): 1361-1370, http://dx.doi.org/10.1007/s11284-009-0620-7.
[64] 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 COMPUTATION. 2009, 第 5 作者175-182, http://dx.doi.org/10.1145/1576702.1576728.
[65] Yuan Chunming. Ritt-Wus Characteristic Set Method for Ordinary Difference Polynomial Systems With Arbitrary Orderring. Acta Mathematica Scientia. 2009, 第 1 作者
[66] Chunming YUAN, XiaoShan GAO. A CRITERION FOR TESTING WHETHER A DIFFERENCE IDEAL IS PRIME. 系统科学与复杂性:英文版[J]. 2009, 第 1 作者627-635, http://lib.cqvip.com/Qikan/Article/Detail?id=32457972.
[67] 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, 第 2 作者29(4): 1063-1080, http://lib.cqvip.com/Qikan/Article/Detail?id=30832275.
[68] 申立勇, 袁春明. 有理参数曲线的近似恰当化. 计算机辅助设计与图形学学报[J]. 2009, 第 2 作者924, http://lib.cqvip.com/Qikan/Article/Detail?id=31061153.
[69] 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.
[70] 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, 第 3 作者21(2): 191-208, http://lib.cqvip.com/Qikan/Article/Detail?id=27712491.
[71] 袁春明. 连续代数扩域上多项式因式分解的trager算法. 系统科学与数学[J]. 2006, 第 1 作者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.
[72] Rueda, Sonia L.. Linear sparse differential resultant formulas. http://arxiv.org/abs/1112.3921.
[2] 荆瑞娟, marc moreno maza, 谢岩峰, 袁春明. Efficient detection of redundancies in systems of linear inequalities. The International Symposium on Symbolic and Algebraic Computation (ISSAC). 2024, 第 4 作者null(null):
[3] Mengxing Wang, Yi-Fei Feng, Bowen Lyu, 申立勇, Chun-Ming Yuan. An attention enhanced dual graph neural network for mesh denoising. Computer Aided Geometric Design[J]. 2024, 第 5 作者111(null):
[4] Bowen Lyu, 申立勇, Chun-Ming Yuan. IGF-Fit: Implicit gradient field fitting for point cloud normal estimation. Graphical Models[J]. 2024, 第 3 作者133(null): 101214,
[5] He Shitao, Shen Liyong, Wu Qin, Yuan Chunming. A Certified Cubic B-Spline Interpolation Method with Tangential Direction Constraints. JOURNAL OF SYSTEMS SCIENCE AND COMPLEXITY[J]. 2024, 第 4 作者37(3): 1271-1294, http://sciencechina.cn/gw.jsp?action=detail.jsp&internal_id=7705452&detailType=1.
[6] 冯毅飞, 马鸿宇, 申立勇, 袁春明, 姜鑫. Real-time tool path planning using deep learning for subtractive manufacturing. Ieee Transactions on Industrial Informatics[J]. 2024, 第 4 作者20(4): 5979-5988,
[7] 张朝前, Chunming Yuan, 申立勇, Hongyu Ma. Global tool path planning method for smooth and length-optimal machining based on vector fields. INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY[J]. 2024, 第 2 作者134(null): 245-259,
[8] 寇宜博, 冯毅飞, 申立勇, 李新, 袁春明. Adaptive spline surface fitting with arbitrary topological control mesh. IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS[J]. 2024, 第 5 作者30(12): 7736-7748,
[9] 王新煜, 申立勇, Chunming Yuan, Sonia Pérez-Díaz. On G2 approximation of planar algebraic curves under certified error control by quintic Pythagorean-hodograph splines. Computer Aided Geometric Design[J]. 2024, 第 3 作者113(null): 102374,
[10] Yi-Fei Feng, 申立勇, Li Xin, Chunming Yuan, Jiang, Xin. Patching Non-Uniform Extraordinary Points. IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS[J]. 2024, 第 4 作者30(8): 4683-4693,
[11] XinYu Wang, LiYong Shen, ChunMing Yuan, Sonia PrezDaz. Globally certified G1 approximation of planar algebraic curves. JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS[J]. 2024, 第 3 作者436(null): http://dx.doi.org/10.1016/j.cam.2023.115399.
[12] 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]. 2024, 第 2 作者12(null): 55-78, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000885843400001.
[13] Wu, Qin, Yuan, ChunMing, Shen, LiYong, He, ShiTao, Gao, XiaoShan. Cubic time-spline fitting and interpolation for five-axis CNC machining. JOURNAL OF COMPUTATIONAL DESIGN AND ENGINEERING[J]. 2023, 第 2 作者10(6): 2345-2360, http://dx.doi.org/10.1093/jcde/qwad105.
[14] Feng, Yifei, Ma, HongYu, Shen, LiYong, Yuan, ChunMing, Jiang, Xin. Real-Time Tool-Path Planning Using Deep Learning for Subtractive Manufacturing. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. 2023, 第 4 作者http://dx.doi.org/10.1109/TII.2023.3342474.
[15] Bowen Lyv, liyong shen, 袁春明. MixNet: A Neural Network for Learning 3D Implicit Representations. Graphical Models[J]. 2023, 第 3 作者129: 101190,
[16] YiFei Feng, LiYong Shen, ChunMing Yuan, Xin Li. Deep Shape Representation with Sharp Feature Preservation. COMPUTER-AIDED DESIGN[J]. 2023, 第 3 作者 通讯作者 157: http://dx.doi.org/10.1016/j.cad.2022.103468.
[17] Hongyu Ma, Chunming Yuan, 申立勇, Yi-Fei Feng. A Theoretically Complete Surface Segmentation Method for CNC Subtractive Fabrication. CSIAM Trans. Appl. Math.[J]. 2023, 第 2 作者4(2): 325-344,
[18] 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, 第 2 作者9: 2355-2374,
[19] Guo, Laigang, Yuan, ChunMing, Gao, XiaoShan. Lower Bounds on Multivariate Higher Order Derivatives of Differential Entropy. ENTROPY[J]. 2022, 第 2 作者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.
[20] 马鸿宇, 申立勇, 姜鑫, 邹强, 袁春明. 数控加工中路径规划与速度插补综述. 图学学报[J]. 2022, 第 5 作者43(6): 967-986, http://lib.cqvip.com/Qikan/Article/Detail?id=7108697164.
[21] 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 作者 通讯作者 5(21):
[22] Yuan, ChunMing, Zhang, ZhiYong. New bounds and an efficient algorithm for sparse difference resultants. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2021, 第 1 作者107: 279-298, http://dx.doi.org/10.1016/j.jsc.2021.04.002.
[23] 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, 第 2 作者
[24] Yuan ChunMing, PerezDiaz, Sonia, Shen LiYong. A Survey of the Representations of Rational Ruled Surfaces*. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2021, 第 1 作者https://www.webofscience.com/wos/woscc/full-record/WOS:000608140200027.
[25] Yuan, Chunming, Mi, Zhenpeng, Jia, Xiaohong, Lin, Fengming, 申立勇. Tool Orientation Optimization and Path Planning for 5-Axis Machining. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2021, 第 1 作者34(1): 83-106, http://lib.cqvip.com/Qikan/Article/Detail?id=7104289945.
[26] Laigang Guo, ChunMing Yuan, XiaoShan Gao, Ali MohammadDjafari. A Generalization of the Concavity of Rényi Entropy Power. ENTROPY[J]. 2021, 第 2 作者23(12): https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8699971/.
[27] Yuan, Chunming, Mi, Zhenpeng, Jia, Xiaohong, Lin, Fengming, Shen, Liyong. Tool Orientation Optimization and Path Planning for 5-Axis Machining. JOURNALOFSYSTEMSSCIENCECOMPLEXITY[J]. 2020, 第 1 作者24,
[28] Guo Laigang, Yuan ChunMing, Gao XiaoShan. Lower Bound on Derivatives of Costa's Differential Entropy. 2018 IEEE International Symposium on Information Theory (ISIT). 2020, 第 2 作者http://arxiv.org/abs/2007.10145.
[29] 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, 第 3 作者106: 13-29, http://ir.amss.ac.cn/handle/2S8OKBNM/32002.
[30] Li Wei, Yuan ChunMing. Elimination Theory in Differential and Difference Algebra. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2019, 第 2 作者32(1): 287-316, http://lib.cqvip.com/Qikan/Article/Detail?id=6100292591.
[31] Li Wei, Yuan Chunming. Elimination Theory in Differential and Difference Algebra. JOURNAL OF SYSTEMS SCIENCE AND COMPLEXITY[J]. 2019, 第 2 作者32(1): 287-316, http://lib.cqvip.com/Qikan/Article/Detail?id=6100292591.
[32] 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, 第 2 作者755: 89-109, http://dx.doi.org/10.1016/j.tcs.2018.07.003.
[33] 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, 第 2 作者755: 89-109, http://ir.amss.ac.cn/handle/2S8OKBNM/32137.
[34] Yuan Chunming. Elimination Theory in Differential and Diffference Algebra. Journal of Systems Science and Complexity. 2019, 第 1 作者
[35] 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, 第 2 作者88(5-8): 1243-1255,
[36] Gao XiaoShan, Huang Zhang, Wang Jie, Yuan ChunMing. Toric Difference Variety. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2017, 第 4 作者 通讯作者 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.
[37] Gao, XiaoShan, Huang, Zhang, Yuan, ChunMing. Binomial difference ideals. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2017, 第 3 作者80: 665-706, http://dx.doi.org/10.1016/j.jsc.2016.07.029.
[38] Jing, RuiJuan, Yuan, ChunMing. A modular algorithm to compute the generalized Hermite normal form for Zx-lattices. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2017, 第 2 作者81: 97-118, https://www.webofscience.com/wos/woscc/full-record/WOS:000392999800006.
[39] 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, 第 2 作者88(5-8): 1243-1255, https://www.webofscience.com/wos/woscc/full-record/WOS:000393760100006.
[40] Gao Xiaoshan, Huang Zhang, Wang Jie, Yuan Chunming. toricdifferencevariety. JOURNALOFSYSTEMSSCIENCEANDCOMPLEXITY[J]. 2017, 第 4 作者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.
[41] Jing RuiJuan, Yuan ChunMing. A modular algorithm to compute the generalized Hermite normal form for Z x -lattices. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2017, 第 2 作者
[42] Li, Wei, Yuan, ChunMing, Gao, XiaoShan. Sparse Differential Resultant for Laurent Differential Polynomials. FOUNDATIONS OF COMPUTATIONAL MATHEMATICS[J]. 2015, 第 2 作者15(2): 451-517, https://www.webofscience.com/wos/woscc/full-record/WOS:000351238600004.
[43] 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, 第 3 作者66: 62-72, http://dx.doi.org/10.1016/j.cad.2015.04.010.
[44] Li, Wei, Yuan, ChunMing, Gao, XiaoShan. Sparse difference resultant. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2015, 第 2 作者68: 169-203, http://dx.doi.org/10.1016/j.jsc.2014.09.016.
[45] Yuan Chunming. Matrix formulae of differential resultant for first order generic ordinary differential polynomials. Computer mathematics. 2014, 第 1 作者 通讯作者
[46] 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, 第 2 作者66(9-12): 1685-1697, https://www.webofscience.com/wos/woscc/full-record/WOS:000319557200044.
[47] 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, 第 3 作者365(9): 4575-4632, https://www.webofscience.com/wos/woscc/full-record/WOS:000326589500003.
[48] 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, 第 1 作者 通讯作者 26(5): 836-870, http://dx.doi.org/10.1007/s11424-013-3180-4.
[49] 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, 第 4 作者62:
[50] Shen, LiYong, Yuan, ChunMing, Gao, XiaoShan, 申立勇. Certified approximation of parametric space curves with cubic B-spline curves. COMPUTER AIDED GEOMETRIC DESIGN[J]. 2012, 第 2 作者29(8): 648-663, http://dx.doi.org/10.1016/j.cagd.2012.06.001.
[51] 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, 第 4 作者62(5-8): 719-739, https://www.webofscience.com/wos/woscc/full-record/WOS:000308395000024.
[52] 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, 第 2 作者28(4): 472-483, http://dx.doi.org/10.1016/j.rcim.2012.02.006.
[53] 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, 第 3 作者 通讯作者 54(7): 1407-1418, https://www.webofscience.com/wos/woscc/full-record/WOS:000292269700008.
[54] 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, 第 3 作者 通讯作者 54(7): 1407-1418, http://lib.cqvip.com/Qikan/Article/Detail?id=38373983.
[55] Chen, Ying, Shen, LiYong, Yuan, ChunMing, 申立勇. Collision and intersection detection of two ruled surfaces using bracket method. COMPUTER AIDED GEOMETRIC DESIGN[J]. 2011, 第 3 作者28(2): 114-126, http://dx.doi.org/10.1016/j.cagd.2010.11.002.
[56] Wei Li, Xiao-Shan Gao, Chunming Yuan. Sparse Differential Resultant. ISSAC 2011. 2011, 第 3 作者
[57] 张梅, 闫伟, 袁春明, 王定康, 高小山. 数控加工中的二次曲线拟合与最优插补控制算法. 中国科学信息科学[J]. 2011, 第 3 作者41(11): 1388, http://lib.cqvip.com/Qikan/Article/Detail?id=39968008.
[58] Liyong SHEN, Chunming YUAN. IMPLICITIZATION USING UNIVARIATE RESULTANTS. 系统科学与复杂性:英文版[J]. 2010, 第 2 作者804, http://lib.cqvip.com/Qikan/Article/Detail?id=35211216.
[59] Shen, Liyong, Yuan, Chunming, 申立勇. Implicitization using univariate resultants. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2010, 第 2 作者23(4): 804-814, http://lib.cqvip.com/Qikan/Article/Detail?id=35211216.
[60] Shen Liyong, Yuan Chunming. IMPLICITIZATION USING UNIVARIATE RESULTANTS. 系统科学与复杂性:英文版[J]. 2010, 第 2 作者804, http://lib.cqvip.com/Qikan/Article/Detail?id=35211216.
[61] Yuan, Chunming, Gao, XiaoShan. A criterion for testing whether a difference ideal is prime. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2009, 第 1 作者 通讯作者 22(4): 627-635, http://lib.cqvip.com/Qikan/Article/Detail?id=32457972.
[62] Gao, XiaoShan, Luo, Yong, Yuan, Chunming. A characteristic set method for ordinary difference polynomial systems. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2009, 第 3 作者44(3): 242-260, http://dx.doi.org/10.1016/j.jsc.2007.05.005.
[63] 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, 第 1 作者24(6): 1361-1370, http://dx.doi.org/10.1007/s11284-009-0620-7.
[64] 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 COMPUTATION. 2009, 第 5 作者175-182, http://dx.doi.org/10.1145/1576702.1576728.
[65] Yuan Chunming. Ritt-Wus Characteristic Set Method for Ordinary Difference Polynomial Systems With Arbitrary Orderring. Acta Mathematica Scientia. 2009, 第 1 作者
[66] Chunming YUAN, XiaoShan GAO. A CRITERION FOR TESTING WHETHER A DIFFERENCE IDEAL IS PRIME. 系统科学与复杂性:英文版[J]. 2009, 第 1 作者627-635, http://lib.cqvip.com/Qikan/Article/Detail?id=32457972.
[67] 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, 第 2 作者29(4): 1063-1080, http://lib.cqvip.com/Qikan/Article/Detail?id=30832275.
[68] 申立勇, 袁春明. 有理参数曲线的近似恰当化. 计算机辅助设计与图形学学报[J]. 2009, 第 2 作者924, http://lib.cqvip.com/Qikan/Article/Detail?id=31061153.
[69] 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.
[70] 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, 第 3 作者21(2): 191-208, http://lib.cqvip.com/Qikan/Article/Detail?id=27712491.
[71] 袁春明. 连续代数扩域上多项式因式分解的trager算法. 系统科学与数学[J]. 2006, 第 1 作者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.
[72] 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
( 4 ) 中国科学院青年创新促进会, 负责人, 中国科学院计划, 2015-01--2018-12
( 5 ) 三轴数控系统加工算法优化试验与配套应用项目开发合作, 负责人, 境内委托项目, 2017-10--2019-01
( 6 ) Y91Z030501, 负责人, 国家任务, 2019-06--2022-06
( 7 ) 智能制造中的数学理论与方法, 负责人, 地方任务, 2019-10--2023-10
( 8 ) 数字化设计与数控数学方法, 负责人, 研究所自主部署, 2020-01--2025-01
( 9 ) 数理模型耦合驱动的自由曲面一体化加工理论与算法, 参与, 国家任务, 2020-12--2025-11
( 10 ) 数控加工中的数学机械化理论与方法, 负责人, 国家任务, 2023-01--2026-12
( 11 ) CAM路径规划算法与CAD-CAM一体化理论, 负责人, 中国科学院计划, 2023-11--2028-10
( 2 ) 数学机械化方法及其在信息技术中的应用, 参与, 国家任务, 2012-01--2014-12
( 3 ) 数学机械化方法及其在数字化设计制造中的应用, 参与, 国家任务, 2011-01--2015-12
( 4 ) 中国科学院青年创新促进会, 负责人, 中国科学院计划, 2015-01--2018-12
( 5 ) 三轴数控系统加工算法优化试验与配套应用项目开发合作, 负责人, 境内委托项目, 2017-10--2019-01
( 6 ) Y91Z030501, 负责人, 国家任务, 2019-06--2022-06
( 7 ) 智能制造中的数学理论与方法, 负责人, 地方任务, 2019-10--2023-10
( 8 ) 数字化设计与数控数学方法, 负责人, 研究所自主部署, 2020-01--2025-01
( 9 ) 数理模型耦合驱动的自由曲面一体化加工理论与算法, 参与, 国家任务, 2020-12--2025-11
( 10 ) 数控加工中的数学机械化理论与方法, 负责人, 国家任务, 2023-01--2026-12
( 11 ) CAM路径规划算法与CAD-CAM一体化理论, 负责人, 中国科学院计划, 2023-11--2028-10
参与会议
(1)基于运动学约束的五轴机床路径规划 中国工业与应用数学学会第十九届年会 2021-10-07
(2)有限域上方程求解与优化的量子算法 中国工业与应用数学学会第十七届年会 2019-09-19
(3)Binomial difference ideal and toric difference variety 2015-08-10
(4)Tool orientation optimization for 5-axis machining with C-space method 2015-08-10
(5)Efficient Groebner bases computation for Z[x] lattice 2015-07-20
(6)Curve Fitting and Interpolation under Confined Error 2014-10-23
(7)Sparse differential resultant 2013-06-23
(8)Differential Chow forms 2012-06-23
(9)A Greedy Algorithm for Feed rate Planning of CNC Machines long Curved Tool Path with Confined Jerk 第四届全国计算机数学学术会议 Ke Zhang, Chun-Ming Yuan, Xiao-Shan Gao, Hongbo Li 2011-11-25
(10)Differential Chow Form and Differential resultant Wei Li, Xiao-Shan Gao, Chun-Ming Yuan 2011-07-11
(11)Differential Chow Form Wei Li, Xiao-Shan Gao, Chun-Ming Yuan 2010-10-27
(2)有限域上方程求解与优化的量子算法 中国工业与应用数学学会第十七届年会 2019-09-19
(3)Binomial difference ideal and toric difference variety 2015-08-10
(4)Tool orientation optimization for 5-axis machining with C-space method 2015-08-10
(5)Efficient Groebner bases computation for Z[x] lattice 2015-07-20
(6)Curve Fitting and Interpolation under Confined Error 2014-10-23
(7)Sparse differential resultant 2013-06-23
(8)Differential Chow forms 2012-06-23
(9)A Greedy Algorithm for Feed rate Planning of CNC Machines long Curved Tool Path with Confined Jerk 第四届全国计算机数学学术会议 Ke Zhang, Chun-Ming Yuan, Xiao-Shan Gao, Hongbo Li 2011-11-25
(10)Differential Chow Form and Differential resultant Wei Li, Xiao-Shan Gao, Chun-Ming Yuan 2011-07-11
(11)Differential Chow Form Wei Li, Xiao-Shan Gao, Chun-Ming Yuan 2010-10-27