数学机械化方法及其在数字化的设计制造中的应用.docVIP

项目名称： 数学机械化方法及其在数字化设计制造中的应用 高小山 中国科学院数学与系统科学研究院 2011.1至2015.8 中国科学院   三、研究方案 1、学术思路： 本项目的特色是跨学科、交叉性强、应用性广。本项目是在数字化设计制造、数控系统等方面的研究中抽象出具有共性的数学与算法问题，建立数学模型，利用数学机械化思想和方法给予解决。具体地讲，复杂曲面特征识别、设计与加工方法、数控系统中的插补等可以归结为大规模方程组求解；数控系统的空间刀补需要用到曲面重构；数控系统的最优插补与动力学研究需要微分方程理论与构造性算法；曲面求交需要用到混合计算与半代数系统求解算法等。 2、技术途径： 本项目目标清晰、分工明确。数字化设计制造与数控系统课题组提出的理论与算法问题将及时与数学机械化理论与算法课题组交流，双方共同攻关解决问题，在实践中检验实际效果；多次往返，直到问题圆满解决。 具体讲，数字化设计制造与数控系统的很多核心问题可以归结为数学与算法问题。我们将通过研究方程求解的误差可控算法提高数字化设计的精度与可信度、误差补偿的能力以及数字化制造算法的效率，通过研究几何算法与微分方程构造性方法得到若干情形下的最优插补方法，通过研究曲面拟合新方法提出新的空间刀补方法与插补方法。 承担本项目的中科院数学院、中科院成都计算机所、中国科技大学、北京大学团队在理论与算法研究方面具有优势，中科院沈阳自动化所、中科院沈阳计算所、清华大学团队在数字化设计与制造方面具有技术与设备优势。双方的紧密配合可以保障项目的顺利实施。 3、创新点与特色： 数学机械化是具有我国特色并获得国际学术界的高度评价的研究方向，是为数不多的中国自己的学派。我们的研究团队在几何自动推理、方程求解的特征列方法、计算微分代数方面在国际上有明显优势。本项目将在此基础上开拓新的研究方向，包括：代数基本运算的误差可控算法、高级几何不变量方法、微分差分方程、有限域与半代数系统的机械化方法，争取通过我们的研究，努力保持我们的特色与优势。 本研究团队在信息领域的应用方面也有自己的特色。我们关于数字压缩的算法作为重要内容进入JPEG2000国际标准，关于数字隐藏的工作被重要国防部门采用，关于并联数控机床的工作入选“国家十一五重大成就展”。 本项目面向国家重大需求，在数字化设计制造与数控系统方面将进一步扩大数学机械化在信息领域的应用。 4、可行性分析： 本项目所研究的代数基本运算的误差可控算法、高级几何不变量方法、新的方程类型的机械化方法是本领域的前沿课题。项目承担人员在这些问题的研究中已经做出重要贡献，有一套独特的方法。特别是在几何计算推理与方程求解的特征列方法方面，我们始终在国际上具有领先地位，在混合计算方面也有雄厚的基础。通过本项目的执行，有望进一步取得突破。 数学机械化方法是国际上几何建模的主要方法之一。吴特征列方法被用于曲面计算、机器人、数控系统，几何约束求解方法被用于智能CAD与机器人，共形几何代数被应用于模式识别与计算机图形学。近年来，我们在数控系统的空间刀补与样条插补方面取得重要进展，显示了数学机械化方法在数控系统关键技术方面的潜力。本项目将以此为基础，进一步研究数控系统中的关键问题，有望为开发高速、高精的数控系统做出贡献。 在数控系统理论与研制方面，项目参加单位中科院沈阳计算所、清华大学制造工程研究所具有雄厚的实力与多年的技术积累并承担了国家相关领域的重大专项。通过与数学机械化方法的交叉融合，有望在数控系统的基础理论与算法方面取得突破，为重大专项的实施提供支撑。 本项目承担单位有很好的合作基础，所有参与单位都与项目主持单位共同承担过较大规模的科研项目。此外，通过上期973项目的支持，产生了一支充满活力的科研队伍，为项目的执行打下了基础。  四、年度计划 研究内容 预期目标 第 一 年 在数学机械化方面，研究微分差分方程组的高效整序算法以及方程组阶数的计算与估计，研究微分方程组的Chow形式及其应用；研究有限域方程求解与函数分解及复杂度分析；研究齐性空间的整系数上同调环的计算。在误差可控算法方面，研究大规模矩阵特征问题、奇异值分解问题的有效可靠数值求解；研究大规模线性方程组的有效稀疏近似逆预处理技术；研究基于结构矩阵的多项式基本计算混合算法；设计基于结构矩阵的最小二乘法、快速正交分解、奇异值分解问题的混合算法；研究高效代数数准确表示及其在运算和方程求解过程的误差控制问题。研究三维欧氏几何和射影几何的高级不变量。 在数字化设计与数控系统方面，研究T网格上新型样条基函数，基于T网格的IGA算例；研究海量数据的非线性降维方法、平面特征提取算法；研究圆纹样条曲面构造方法；研究参数曲面拼接方法与基于特征与约束的曲面建模。研究最优