论文部分内容阅读
参数曲线曲面是计算机辅助几何设计(Computer Aided Geometric Design,简称为CAGD)的重要研究内容.目前,对参数曲线曲面的研究主要集中在对Bezier, B样条与NURBS (Non-Uniform Rational B-Splines)曲线曲面的研究.Toric曲面是有理Bezier曲面的一种多边形推广形式,继承了很多Bezier曲面的造型优点.本文研究toric曲面的几何连续条件和近似极小toric曲面的构造,并将toric曲面应用到数据拟合和管道拼接中.多元样条函数也是几何造型的一个重要工具,常用的研究方法有光滑余因子方法,B网方法,B样条方法,同调方法等.在本文中,我们利用同调代数的方法研究代数曲线剖分下的多元样条函数空间.本文主要工作包括:1.在CAGD中,参数曲面的几何连续是一个非常重要的研究内容.针对toric曲面的几何连续问题,我们推导toric Bernstein基函数的一阶和二阶偏导性质,证明当提升函数满足提升准则时,toric曲面沿边界处的一阶和二阶偏导在toric退化的过程中保持不变,并由此给出toric曲面的一阶几何连续和曲率连续的充要条件.通过指定特殊的提升函数,使得toric曲面沿边界区域退化为张量积型或三角型的有理Bezier曲面.由有理Bezier曲面的一阶几何连续和曲率连续的已知结果,给出toric曲面基于控制结构几何关系的一阶几何连续和曲率连续的充分条件,并给出了一些具体构造的实例.2.极小曲面研究中的一个著名问题是求解Plateau问题,即以给定的边界闭曲线为条件,求解极小曲面.在实际应用中,已知的边界往往是多边的,我们结合toric曲面的参数域是任意凸多边形,由此考虑Plateau-toric问题,使用Dirichlet泛函代替能量泛函求解,得到近似极小toric曲面的一个构造方法,并通过实例验证了方法的可行性.3.拟合数据点集并重构曲面是几何造型中研究的一个重要问题.由于toric曲面是一种多边参数曲面,我们使用toric曲面拟合数据点集并重构曲面,当点集的参数域为凸多边域时,无需对点集的参数域进行剖分,即可得到一个整体拟合的多边参数曲面.其次,构造多管道的过渡曲面在模具设计,工业零部件制造等领域有着广泛应用.借助几何连续条件,我们使用两片toric曲面来构造多管道的过渡曲面.通过这两个应用,可以看出toric曲面不仅保持了有理Bezier曲面构造简单,形状可调等优点,而且参数域为任意的凸多边形,可减少造型中曲面片的个数,避免了多片曲面间的拼接问题.4.几何造型中的一个重要研究对象是多元样条函数,而同调代数是研究多元样条函数的一种有效工具.我们推广线性剖分下的多元样条函数的同调方法到任意代数曲线剖分下的多元样条函数.由Bezout定理可知,2条n次代数曲线最多可相交于n2个点,本文使用同调代数的方法讨论了构成剖分的N条n次代数曲线相交于1个点和n2个点的情况.利用交换代数和toric退化的相关理论分别证明了这两种剖分下的多元样条模空间与线性剖分下的多元样条模空间的关系,分析了这两种剖分下的样条模空间CT(△)的结构,并给出了样条模空间CT(△)的Hilbert多项式与多元样条函数空间CTd(△)的维数公式.