[论文解读] On the Complexity of Smooth Spline Surfaces from Quad Meshes

Jörg Peters, Jianhua Fan|ArXiv.org|Jun 5, 2009

Advanced Numerical Analysis Techniques参考文献 19被引用 3

一句话总结

本文建立了从任意四边形网格使用每四边形一个双三次张量积B样条片的$G^1$连续、$C^1$光滑样条曲面构造所需结点复杂度的紧下界。证明了每个边至少需要两个内部二重结点才能避免强制产生线性边界段，且通过重新解释一个已知构造确认该下界是紧的，从而解决了几何设计领域长期存在的一个问题。

ABSTRACT

This paper derives strong relations that boundary curves of a smooth complex of patches have to obey when the patches are computed by local averaging. These relations restrict the choice of reparameterizations for geometric continuity. In particular, when one bicubic tensor-product B-spline patch is associated with each facet of a quadrilateral mesh with n-valent vertices and we do not want segments of the boundary curves forced to be linear, then the relations dictate the minimal number and multiplicity of knots: For general data, the tensor-product spline patches must have at least two internal double knots per edge to be able to model a G^1-conneced complex of C^1 splines. This lower bound on the complexity of any construction is proven to be sharp by suitably interpreting an existing surface construction. That is, we have a tight bound on the complexity of smoothing quad meshes with bicubic tensor-product B-spline patches.

研究动机与目标

• 确定从一般四边形网格使用双三次B样条片进行局部平滑曲面构造所需的最小结点复杂度。
• 解决一个开放问题：每条边少于两个内部二重结点是否能实现$G^1$连续、$C^1$光滑曲面而不强制产生线性边界段。
• 建立适用于从四边形网格进行$C^1$样条局部构造的结点重数与分布的紧下界。
• 通过将现有构造重新解释为每条边恰好具有两个内部二重结点的样条曲面，验证该下界的紧致性。
• 通过识别从四边形网格进行平滑曲面构造的基本限制，为未来研究提供理论基础。

提出的方法

• 通过与参数化无关的公式推导出$n$个片在公共点处的$G^1$连续性约束的一般形式。
• 将这些约束应用于双三次张量积B样条，重点关注片边界上缩放函数$\alpha^k(u)$的行为。
• 利用$\alpha^k(u)$不能处处为线性的要求，推导出结点重数与分布的下界。
• 分析边界曲线的参数连续性，表明非线性$\alpha^k$段必须与端部线段通过二重结点分隔。
• 将[FP08]中的构造重新解释为每条边恰好具有两个内部二重结点的样条曲面，证明该下界是可实现的。
• 将结果应用于广义样条构造，并在对称输入条件下将其扩展至具有非均匀权重$\beta^k, \gamma^k$的$G^1$过渡。

实验结果

研究问题

• RQ1 在双三次张量积B样条片中，为实现从一般四边形网格出发的$G^1$连续、$C^1$光滑曲面且不强制产生线性边界段，所需的最少结点数量和重数是多少？
• RQ2 对于任意网格顶点度数，是否可以使用少于每条边两个内部二重结点的局部构造，生成平滑的$G^1$连接曲面？
• RQ3 此类构造的结点复杂度下界是否是紧的，还是需要更高次或更复杂的片排列？
• RQ4 从一般光滑片连接推导出的$G^1$连续性约束，如何限制双三次样条片中的参数化与结点分布？
• RQ5 现有构造是否可被重新解释为具有最小结点复杂度的样条曲面，以确认理论下界的真实性？

主要发现

• 为从一般四边形网格构造$G^1$连续、$C^1$光滑曲面且不强制产生线性边界段，双三次张量积B样条片中每条边至少需要两个内部二重结点。
• 每条边两个内部二重结点的下界是紧的，通过将[FP08]构造重新解释为具有此结点分布的样条曲面得到验证。
• [FP08]的构造通过仅在每条边的中段使用二次$\alpha^k$函数，而保持端部线性，从而避免了高阶鞍点处的形状缺陷。
• 本文推导出的一般$G^1$约束适用于任何足够光滑的片状结构，不仅限于多项式样条，且与片的次数或多项式性质无关。
• 结果表明，如[HBC08]中仅使用一个二重结点的构造，在通用输入数据下会因违反推导出的约束（特别是推论1）而失败。
• 对于特殊情形（如对称顶点度数或受限连通性，例如全为奇数度数或X型构型切线），可能存在更少结点的构造，但这些是普遍规则的例外。