计算几何及其在信息科学中的应用.pdfVIP

计算几何及其在信息科学中的应用 王仁宏 （大连理工大学数学科学学院，大连　１１６０２４） 一、引言 ２１世纪是信息化时代，数字化是这个时代的鲜明特征，如数字地球、数字城市、数字家庭、数 字人体，等等。 大量的信息采集、信息存储、信息表示、信息传递、信息重建等数字化技术为应用 基础研究提出了越来越多的新的研究课题。 计算机环境下对于几何目标物的数学描述、逼近问 题以及相关的数学基础是２０世纪未曾被人们重点考虑的数学问题。 在计算机环境下如何快速 实现几何目标物的表示、传输，海量图形、图像的匹配、处理、分析和实体重构等都是有深刻理论 意义和广泛应用背景的研究课题。 二、计算几何 计算几何是在以计算机为载体的数字化环境下研究几何问题的几何学分支学科。 它是数学 与计算机科学的一门交叉学科。 它不仅研究相关的几何不变量等基础理论，还研究几何图形的 逼近、显示、传输以及重构等理论和方法。 计算几何也不断地为其他几何分支学科提供新的视角 和出发点。 计算几何不仅在数学理论、科学工程计算、计算机科学等方面有着重要的意义，而且 在国民经济与国防建设中起着十分重要的作用。 计算几何为信息科学提供了几何方面的理论基础和技术支撑。 另一方面，信息科学也常常 会提出新的、甚至是挑战性的几何问题，从而为计算几何的发展提供了取之不竭的思想源泉。 计 算机视觉、图像处理、反向工程、可视化、多媒体等领域中的数据处理，都可以归结为计算几何的 相应问题。 例如飞行物的几何识别和重建、三维服装 ＣＡＤ、数字人体重建及参数化、地理信息重 构，等等。 在动漫、电子商务平台、分布式设计、数字人体、地理信息系统、电子游戏、互联网上的 可视化及虚拟现实等许多工程领域都需要建立三维数字模型，并提出了离散曲面的信息压缩和 多分辨率表示等新课题。 在地理和地质学中，空间数据的拟合与逼近不仅需要传统的光滑曲面 模型，基于数理统计的曲面拟合与分形曲面造型也都有重要的应用。 基于代数和统计方法的曲 面特征提取，也为图像识别、数据挖掘等提供了有效的方法。 这些领域中所涉及的几何对象广 泛，类型各异，大大超越了经典几何学的理论框架，并不断地推动着计算几何的研究向更广的领 域和更深的层次发展。 老一辈数学家苏步青先生开创了我国计算几何研究的先河。 他首次给出了三次参数曲线存 在两个拐点的充要条件，并发现了一个重要的相对仿射不变量。 吴文俊先生把经典几何的高级 不变量理论应用在机器证明中。 该成果被国际同行誉为“机器证明领域的一个突破，其意义超 出该领域本身”。 ３９ 大学数学课程报告论坛论文集２００９ 经典代数几何学之所以具有强大生命力，是因为它顺应了人们采用多项式刻画几何曲线、曲 面和近似表达各种函数，特别是连续函数的历史潮流。 按照Ｗｅｉｅｒｓｔｒａｓｓ 逼近定理，定义于有界闭 域上的任意给定的连续函数都可以用多项式序列来一致逼近。 然而多项式本身的整体性太强， 它在一点附近的性质足以决定它的整体性质，但这种整体性质却不为大多数几何对象所具备。 因而许多几何对象不能用多项式来很好地刻画，这在一定程度上制约了几何学的应用与发展。 随着上世纪４０ 年代现代计算机的问世和发展，以及样条（分片多项式）理论的系统创立，人们可 以采用样条，即分片多项式来刻画与近似表达各种几何曲线、曲面和其他几何对象，从而为计算 几何的理论和应用开辟了广阔的新天地。 事实上，上世纪中叶以来人们逐步转向采用样条来刻 画和近似表达各种曲线、曲面与其他几何对象，使得样条成为计算几何的理论基础和基本工具。 由于客观事物常常被多个因素所确定，使得一元样条不能刻画大多数几何对象，从而人们必须研 究多元样条。 然而与一元样条不同的是，多元样条的结构不仅依赖于剖分的拓扑性质，有时还依 赖于剖分的几何性质，因而在研究中存在着实质性困难。 我们采用代数几何方法得到了多元样条存在的充要条件，把多元样条问题转化为求解与之 等价的以多项式为系数的方程组，从而为多元样条奠定了理论基础，得到了国际上的广泛承认。 这个基础性成果引发了一系列关于多元样条的后续研究，并被国际著名学者引入到组合数学、代 数几何、上同调、层、Ｆａｔ ｐｏｉｎｔ 以及三维铰链结构流形等的研究中。 国外学者主要集中在研究如何利用分片多项式（