6月28日，由中科院数学院与沈阳计算所共同承担的中国科学院知识创新工程重要方向项目“基于数学机械化方法的高档数控系统研制”项目验收会在沈阳召开。来自中科院基础局、中科院高技术局、清华大学、中科院沈阳自动化所等单位的11位专家出席了会议。

沈阳计算所所长林浒做了项目总结报告，项目共同负责人高小山研究员、沈阳计算所的于东研究员分别做了技术报告。与会专家对项目成果给予了高度肯定，认为该项目通过数学与数控技术的融合，对数控关键技术——数控插补与空间刀补做了深入的数学建模、理论研究与高效算法设计，取得了重要成果，圆满完成了任务。以此为基础开发的数控系统，加工速度与加工质量显著提高，提升了我国高档数控系统的水平，达到项目预期目标。

研究团队还在此项目的基础上，成功申请了“高档数控机床与基础装备制造”等国家重大科技专项三项、国家973项目“数学机械化方法及其在数字化设计制造中的应用”一项。