报告题目：数控制造中的数学理论与方法
报告时间：2026年6月16日15:40-16:10
报告地点：开发区校区信息楼302会议室
报告人：袁春明
报告内容：
数控制造是将数字化表达的几何体通过数控机床将其在物理世界加工成工件的过程。其主要包含两个部分，路径规划与运动插补，其中最为关键的部分是数理模型的建立、分析与求解。本报告将针对制造方面的需求，介绍我们在CAM/CNC及其与人工智能方法结合方面的理论与算法最新进展。
报告人简介：
袁春明，中国科学院数学与系统科学研究院研究员，博士生导师。主要从事数学机械化和计算机辅助设计与智能制造等方面的研究。在国际著名上发表论文 60 余篇，获国家发明专利 6 项，国际专利2项。部分数控算法嵌入国产商用数控系统，显著提高了加工质量和效率，入选中国科学院院庆 70 周年成果展。主持国家重点研发计划等项目，曾获中科院卢嘉锡奖青年人才奖，国际计算机协会颁发的 “ISSAC 杰出论文奖”。
