符号计算、计算机辅助设计与智能制造

   

070104-应用数学
070101-基础数学

符号计算，数学机械化方法，差分代数，构造性微分代数
计算机辅助设计与智能制造
数字化设计与制造一体化

2002-09--2007-05   中国科学院数学与系统科学研究院   理学博士学位
1998-09--2002-07   中国科学技术大学   理学学士学位

   

2023-03~现在, 中国科学院数学与系统科学研究院, 研究员
2013-03~2023-03,中国科学院数学与系统科学研究院, 副研究员
2007-07~2013-03,中国科学院数学与系统科学研究院, 助理研究员

2022-05-01-2024-12-31,顾问, 顾问
2014-01-01-今,《系统科学与数学》编委, 编委会委员

特征列方法引论

   

（1） 卢嘉锡青年人才奖, 院级, 2014
（2） 关肇直青年研究奖, 研究所（学校）, 2012
（3） ISSAC Distinguish Paper Award, 其他, 2011
（4） “陈景润未来之星”, , 研究所（学校）, 2009

（ 1 ） 一种基于CAM的时间样条曲面生成方法, 2023, 第 1 作者, 专利号: CN114217572B

（ 2 ） 一种应用于五轴数控机床的时间样条曲线拟合与插补方法, 2023, 第 2 作者, 专利号: CN114115131B

（ 3 ） 一种用于摇篮式机床的全局最优进给速度规划方法, 2022, 第 2 作者, 专利号: CN113189939B

（ 4 ） 一种用于摇篮式机床的全局最优进给速度规划方法, 2022, 第 2 作者, 专利号: CN113189939B

（ 5 ） 一种基于CAM的时间样条曲面生成方法, 发明专利, 2022, 第 1 作者, 专利号: CN114217572A

（ 6 ） 一种应用于五轴数控机床的时间样条曲线拟合与插补方法, 发明专利, 2022, 第 2 作者, 专利号: CN114115131A

（ 7 ） 一种应用于五轴数控机床的时间样条曲线拟合与插补方法, 发明专利, 2022, 第 2 作者, 专利号: CN114115131A

（ 8 ） 一种基于动力学约束的刀具路径确定方法及系统, 发明专利, 2021, 第 1 作者, 专利号: CN112363455B

（ 9 ） 一种用于摇篮式机床的全局最优进给速度规划方法, 发明专利, 2021, 第 2 作者, 专利号: CN113189939A

（ 10 ） 一种数控机床修调处理加工方法及系统, 专利授权, 2021, 第 1 作者, 专利号: CN111708328B

（ 11 ） 基于二次B样条曲线对G01代码的拟合及插补方法, 发明专利, 2009, 第 2 作者, 专利号: CN101539769A

   

（1） Globally certified formula omitted approximation of planar algebraic curves, JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 2024, 第 3 作者
（2） Real-time tool path planning using deep learning for subtractive manufacturing, Ieee Transactions on Industrial Informatics, 2023, 第 4 作者
（3） Cubic time-spline fitting and interpolation for five-axis CNC machining, JOURNAL OF COMPUTATIONAL DESIGN AND ENGINEERING, 2023, 第 2 作者
（4） MixNet: A Neural Network for Learning 3D Implicit Representations, Graphical Models, 2023, 第 3 作者
（5） Deep Shape Representation with Sharp Feature Preservation, COMPUTER-AIDED DESIGN, 2023, 通讯作者
（6） A Theoretically Complete Surface Segmentation Method for CNC Subtractive Fabrication, CSIAM Trans. Appl. Math., 2023, 第 2 作者
（7） Optimal feedrate planning on a five-axis parametric tool path with global geometric and kinematic constraints, Journal of Computational Design and Engineering, 2022, 第 2 作者
（8） Lower Bounds on Multivariate Higher Order Derivatives of Differential Entropy, ENTROPY, 2022, 第 2 作者
（9） Tool Path Planning with Confined Scallop Height Error Using Optimal Connected Fermat Spirals, COMMUNICATIONS IN MATHEMATICS AND STATISTICS, 2022, 第 2 作者
（10） 数控加工中路径规划与速度插补综述, A survey of path planning and feedrate interpolation in computer numerical control, 图学学报, 2022, 第 5 作者
（11） A framework from geometric data clouds to workpieces, Visual Computing for Industry, Biomedicine, and Art, 2022, 通讯作者
（12） New bounds and an efficient algorithm for sparse difference resultants, JOURNAL OF SYMBOLIC COMPUTATION, 2021, 第 1 作者
（13） Hybrid Line-Arc Toolpath Machining with Corner Transition and Grouping Lookahead Scheme(Full), Computer-Aided Design and Applications, 2021, 第 2 作者
（14） A Survey of the Representations of Rational Ruled Surfaces*, JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2021, 第 1 作者
（15） Tool Orientation Optimization and Path Planning for 5-Axis Machining, Tool Orientation Optimization and Path Planning for 5-Axis Machining, JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2021, 第 1 作者
（16） A Generalization of the Concavity of Rényi Entropy Power, ENTROPY, 2021, 第 2 作者
（17） Tool Orientation Optimization and Path Planning for 5-Axis Machining, JOURNALOFSYSTEMSSCIENCECOMPLEXITY, 2020, 第 1 作者
（18） Lower Bound on Derivatives of Costa's Differential Entropy, 2018 IEEE International Symposium on Information Theory (ISIT), 2020, 第 2 作者
（19） Certified space curve fitting and trajectory planning for CNC machining with cubic B-splines, COMPUTER-AIDED DESIGN, 2019, 第 3 作者
（20） Elimination Theory in Differential and Difference Algebra, JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 第 2 作者
（21） Elimination Theory in Differential and Difference Algebra, JOURNAL OF SYSTEMS SCIENCE AND COMPLEXITY, 2019, 第 2 作者
（22） A polynomial-time algorithm to compute generalized Hermite normal forms of matrices over formula omitted, THEORETICAL COMPUTER SCIENCE, 2019, 第 2 作者
（23） A polynomial-time algorithm to compute generalized Hermite normal forms of matrices over Z x, THEORETICAL COMPUTER SCIENCE, 2019, 第 2 作者
（24） Elimination Theory in Differential and Diffference Algebra, Journal of Systems Science and Complexity, 2019, 第 1 作者
（25） Tool orientation optimization for 5-axis machining with C-space method, INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2017, 第 2 作者
（26） Toric Difference Variety, JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2017, 通讯作者
（27） Binomial difference ideals, JOURNAL OF SYMBOLIC COMPUTATION, 2017, 第 3 作者
（28） A modular algorithm to compute the generalized Hermite normal form for Zx-lattices, JOURNAL OF SYMBOLIC COMPUTATION, 2017, 第 2 作者
（29） Tool orientation optimization for 5-axis machining with C-space method, INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2017, 第 2 作者
（30） toricdifferencevariety, JOURNALOFSYSTEMSSCIENCEANDCOMPLEXITY, 2017, 第 4 作者
（31） A modular algorithm to compute the generalized Hermite normal form for Z x -lattices, JOURNAL OF SYMBOLIC COMPUTATION, 2017, 第 2 作者
（32） Sparse Differential Resultant for Laurent Differential Polynomials, FOUNDATIONS OF COMPUTATIONAL MATHEMATICS, 2015, 第 2 作者
（33） Curve fitting and optimal interpolation for CNC machining under confined error using quadratic B-splines, COMPUTER-AIDED DESIGN, 2015, 第 3 作者
（34） Sparse difference resultant, JOURNAL OF SYMBOLIC COMPUTATION, 2015, 第 2 作者
（35） Matrix formulae of differential resultant for first order generic ordinary differential polynomials, Computer mathematics, 2014, 通讯作者
（36） Efficient algorithm for time-optimal feedrate planning and smoothing with confined chord error and acceleration, INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2013, 第 2 作者
（37） Intersection theory in differential algebraic geometry: Generic intersections and the differential Chow form, TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2013, 第 3 作者
（38） TIME-OPTIMAL INTERPOLATION FOR CNC MACHINING ALONG CURVED TOOL PATHES WITH CONFINED CHORD ERROR, JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2013, 通讯作者
（39） Interpolation of parametric CNC machining path under confined jounce, THE INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY,, 2012, 第 4 作者
（40） Certified approximation of parametric space curves with cubic B-spline curves, COMPUTER AIDED GEOMETRIC DESIGN, 2012, 第 2 作者
（41） Interpolation of parametric CNC machining path under confined jounce, INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2012, 第 4 作者
（42） A greedy algorithm for feedrate planning of CNC machines along curved tool paths with confined jerk, ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, 2012, 第 2 作者
（43） Curve fitting and optimal interpolation on CNC machines based on quadratic B-splines, SCIENCE CHINA INFORMATION SCIENCES,, 2011, 通讯作者
（44） Curve fitting and optimal interpolation on CNC machines based on quadratic B-splines, Curve fitting and optimal interpolation on CNC machines based on quadratic B-splines, SCIENCE CHINA-INFORMATION SCIENCES, 2011, 通讯作者
（45） Collision and intersection detection of two ruled surfaces using bracket method, COMPUTER AIDED GEOMETRIC DESIGN, 2011, 第 3 作者
（46） Sparse Differential Resultant, ISSAC 2011, 2011, 第 3 作者
（47） 数控加工中的二次曲线拟合与最优插补控制算法, Curve fitting and optimal interpolation on CNC machines based on quadratic B-splines, 中国科学信息科学, 2011, 第 3 作者
（48） IMPLICITIZATION USING UNIVARIATE RESULTANTS, IMPLICITIZATION USING UNIVARIATE RESULTANTS, 系统科学与复杂性：英文版, 2010, 第 2 作者
（49） Implicitization using univariate resultants, JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2010, 第 2 作者
（50） IMPLICITIZATION USING UNIVARIATE RESULTANTS, IMPLICITIZATION USING UNIVARIATE RESULTANTS, 系统科学与复杂性：英文版, 2010, 第 2 作者
（51） A criterion for testing whether a difference ideal is prime, JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2009, 通讯作者
（52） A characteristic set method for ordinary difference polynomial systems, JOURNAL OF SYMBOLIC COMPUTATION, 2009, 第 3 作者
（53） Species composition, diversity, and abundance of lianas in different secondary and primary forests in a subtropical mountainous area, SW China, ECOLOGICAL RESEARCH, 2009, 第 1 作者
（54） Submersive Rational Difference Systems and Their Accessibility, ISSAC2009: PROCEEDINGS OF THE 2009 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, 2009, 第 5 作者
（55） Ritt-Wus Characteristic Set Method for Ordinary Difference Polynomial Systems With Arbitrary Orderring, Acta Mathematica Scientia, 2009, 第 1 作者
（56） A CRITERION FOR TESTING WHETHER A DIFFERENCE IDEAL IS PRIME, A CRITERION FOR TESTING WHETHER A DIFFERENCE IDEAL IS PRIME, 系统科学与复杂性：英文版, 2009, 第 1 作者
（57） Ritt-Wu’s characteristic set method for ordinary difference polynomial systems with arbitrary ordering, ACTA MATHEMATICA SCIENTIA, 2009, 第 2 作者
（58） 有理参数曲线的近似恰当化, Approximate Proper Reparametrization of Rational Curves, 计算机辅助设计与图形学学报, 2009, 第 2 作者
（59） Characteristic set method for differential-difference polynomial systems, JOURNAL OF SYMBOLIC COMPUTATION, 2009, 
（60） A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers, JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2008, 第 3 作者
（61） 连续代数扩域上多项式因式分解的trager算法, 系统科学与数学, 2006, 第 1 作者
（62） Linear sparse differential resultant formulas, 

   

（ 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

（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