A comparison of local parametric C Bézier interpolants for triangular meshes

Parametric curved shape surface schemes interpolating vertices and normals of a given triangular mesh with arbitrary topology are widely used in computer graphics for gaming and real-time rendering due to their ability to effectively represent any surface of arbitrary genus. In this context, continuous curved shape surface schemes using only the information related to the triangle corresponding to the patch under construction, emerged as attractive solutions responding to the requirements of resource-limited hardware environments. In this paper we provide a unifying comparison of the local parametric C⁰ curved shape schemes we are aware of, based on a reformulation of their original constructions in terms of polynomial Bézier triangles. With this reformulation we find a geometric interpretation of all the schemes that allows us to analyse their strengths and shortcomings from a geometrical point of view. Further, we compare the four schemes with respect to their computational costs, their reproduction capabilities of analytic surfaces and their response to different surface interrogation methods on arbitrary triangle meshes with a low triangle count that actually occur in their real-world use.     

G1 rational blend interpolatory schemes: A comparative study

Interpolation of triangular meshes is a subject of great interest in many computer graphics related applications, as, for example, gaming and realtime rendering. One of the main approaches to interpolate the positions and normals of the mesh vertices is the use of parametric triangular Bézier patches. As it is well known, any method aiming at constructing a parametric, tangent plane (G¹) continuous surface has to deal with the vertex consistency problem. In this article, we propose a comparison of three methods appeared in the nineties that use a particular technique called rational blend to avoid this problem. Together with these three methods we present a new scheme, a cubic Gregory patch, that has been inspired by one of them. Our comparison includes an analysis of their computational costs on CPU and GPU, a study of their capabilities of approximating analytic surfaces and their response to different surface interrogation methods on arbitrary triangle meshes with a low triangle count that actually occur in their real-world use.     

在任意拓扑三角形网格上的光滑样条曲面

介绍了一种在控制三角形网格上创建光滑样条曲面的算法,该控制网格能够刻画具有或没有边界的任意自由曲面.生成的曲面有一个4次参数多项式表示并且被表示成一个切平面连续的三角形Bézier片网.曲面对网格的逼近程度受到一个混合比控制,当混合比为0时,产生的曲面插值网格.该算法是一种局部方法,简单且效率高,适合于外形设计.     

High-quality rendering of quartic spline surfaces on the GPU

We present a novel GPU-based algorithm for high-quality rendering of bivariate spline surfaces. An essential difference to the known methods for rendering graph surfaces is that we use quartic smooth splines on triangulations rather than triangular meshes. Our rendering approach is direct in the sense that since we do not use an intermediate tessellation but rather compute ray-surface intersections (by solving quartic equations numerically) as well as surface normals (by using Bernstein-Bézier techniques) for Phong illumination on the GPU. Inaccurate shading and artifacts appearing for triangular tesselated surfaces are completely avoided. Level of detail is automatic since all computations are done on a per fragment basis. We compare three different (quasi-) interpolating schemes for uniformly sampled gridded data, which differ in the smoothness and the approximation properties of the splines. The results show that our hardware based renderer leads to visualizations (including texturing, multiple light sources, environment mapping, etc.) of highest quality.     

Eliciting dependability requirements: a control cases based approach

At present,great demands are posed on software dependability.But how to elicit the dependability requirements is still a challenging task.This paper proposes a novel approach to address this issue.The essential idea is to model a dependable software system as a feedforward-feedback control system,and presents the use cases+control cases model to express the requirements of the dependable software systems.In this model,while the use cases are adopted to model the functional requirements,two kinds of control cases(namely the feedforward control cases and the feedback control cases)are designed to model the dependability requirements.The use cases+control cases model provides a unified framework to integrate the modeling of the functional requirements and the dependability requirements at a high abstract level.To guide the elicitation of the dependability requirements,a HAZOP based process is also designed.A case study is conducted to illustrate the feasibility of the proposed approach.     

Local and singularity-free G 1 triangular spline surfaces using a minimum degree scheme

We develop a scheme for constructing G ¹ triangular spline surfaces of arbitrary topological type. To assure that the scheme is local and singularity-free, we analyze the selection of scalar weight functions and the construction of the boundary curve network in detail. With the further requirements of interpolating positions, normals, and surface curvatures, we show that the minimum degree of such a triangular spline surface is 6. And we present a method for constructing boundary curves network, which consists of cubic Bézier curves. To deal with certain singular cases, the base mesh must be locally subdivided and we proposed an adaptive subdivision strategy for it. An application of our G ¹ triangular spline surfaces to the approximation of implicit surfaces is described. The visual quality of this scheme is demonstrated by some examples.     

G1连续几何偏微分方程Bézier曲面的构造

基于三角形和四边形网格上Laplace-Beltrami算子、高斯曲率和平均曲率的离散及其收敛性分析,提出了一种使用四阶几何流构造几何偏微分方程Bézier曲面的方法.使用该方法构造出的Bézier曲面既具有几何偏微分方程曲面的最优性质,同时又满足G1连续性.算法收敛性的数值实验表明该方法是有效的.     

Wavelet Rasterization

We present a method for analytically calculating an anti‐aliased rasterization of arbitrary polygons or fonts bounded by Bézier curves in 2D as well as oriented triangle meshes in 3D. Our algorithm rasterizes multiple resolutions simultaneously using a hierarchical wavelet representation and is robust to degenerate inputs. We show that using the simplest wavelet, the Haar basis, is equivalent to performing a box‐filter to the rasterized image. Because we evaluate wavelet coefficients through line integrals in 2D, we are able to derive analytic solutions for polygons that have Bézier curve boundaries of any order, and we provide solutions for quadratic and cubic curves. In 3D, we compute the wavelet coefficients through analytic surface integrals over triangle meshes and show how to do so in a computationally efficient manner.     

基于多分辨率模型的三角曲面特征线辨识技术

由于特征线在反求工程 CAD建模中具有非常重要的作用 ,因此利用图形图象处理中的多分辨率模型概念 ,通过研究三角曲面模型的特征线 ,提出了一种三角曲面特征线的计算方法 .将计算得到的初始特征线通过编辑、修改等手段进行处理 ,得到清晰的特征线 ,并将其作为进一步划分重构 B样条曲面边界的依据和参考 ,从而为实现基于三角曲面模型的 B样条曲面重构奠定了基础 .实验结果证明 ,该算法能够在三角曲面上提取出令人满意的特征线 ,并据此重构出拓扑划分合理的 B样条曲面 .     

The Geometric Continuity of Rational Bezler Triangular Surfaces

The problems of geometric continuity for rational Bezier surfaces are discussed.Concise conditions of first order and second order geometric continuity for rational triangular bezier surfaces are given.Meanwhile,a geometric condition for smoothness between adjacent rational bezier surfaces and the transformation formulae between rational triangular patches and rational rectangular patches are obtained.     

Local surface interpolation with Bézier patches

A surface interpolation method for meshes of cubic curves is described. A mesh of cubic curve is constructed between the given vertices. This mesh is filled with Bézier patches, so that the surface is represented as a union of geometrically continuous bicubic quadrilateral and/or quartic triangular Bézier patches. The method is local and uses Farin's [Farin '83] conditions of G¹ continuity between patches. The procedure for finding the needed control points of the Bézier patches is simple and efficient.     

Bézier曲面的函数复合及其应用

目前有两种常用的Bézier曲面片,分别称为三角和四边Bézier曲面片,它们分别用不同的基函数表示.本文通过移位算子和函数复合的方法,得到了两个关于这两种Bézier曲面片的结果.一个是四边Bézier曲面片与一次三角Bézier函数的复合,另一个是三角Bézier曲面片与双线性四边Bézier函数的复合.在每一种情况中,复合所得到的Bézier曲面片的控制顶点是原来Bézier曲面片的控制顶点的线性组合.移位算子的应用使得相应的推导过程变得简洁和直观.这两个结果的应用包括：两种Bézier面片间的转化     

复合三角Bézier曲面求交和裁剪的实现

该文利用三角Bézier曲面片的可分割性,解决了迭代收敛、初始交点计算等问题;通过近曲面点、边界点跨越等过程,实现了由一个初始交点将跨越许多曲面片的整条交线跟踪出来的设想.将各交点作为型值点插入曲面中,对三角网格进行三角再划分,以交线为界进行三角网格和型值点的分离,最后重新生成两张复合曲面,实现了裁剪的目的.测试结果显示,此方法简单、可靠,能够满足曲面造型的要求.     

A Multi‐sided Bézier Patch with a Simple Control Structure

A new n‐sided surface scheme is presented, that generalizes tensor product Bézier patches. Boundaries and corresponding cross‐derivatives are specified as conventional Bézier surfaces of arbitrary degrees. The surface is defined over a convex polygonal domain; local coordinates are computed from generalized barycentric coordinates; control points are multiplied by weighted, biparametric Bernstein functions. A method for interpolating a middle point is also presented. This Generalized Bézier (GB) patch is based on a new displacement scheme that builds up multi‐sided patches as a combination of a base patch, n displacement patches and an interior patch; this is considered to be an alternative to the Boolean sum concept. The input ribbons may have different degrees, but the final patch representation has a uniform degree. Interior control points—other than those specified by the user—are placed automatically by a special degree elevation algorithm. GB patches connect to adjacent Bézier surfaces with G¹continuity. The control structure is simple and intuitive; the number of control points is proportional to those of quadrilateral control grids. The scheme is introduced through simple examples; suggestions for future work are also discussed.     

Illustrative visualization: interrogating triangulated surfaces

Geometrical modeling is a crucial aspect of simulations involving manufactured objects and is usually performed using free-form surfaces. However, to simulate the flow through or about a manufactured object or to simulate structural integrity, the free-form surfaces must be tessellated into triangulated surfaces. To concurrently visualize the simulation results and the quality of the surfaces, we present two novel visualization algorithms for triangulated surfaces as opposed to the traditional freeform surfaces. The proposed algorithms are for curvature estimation based on local surface fitting with cubic triangular Bézier patches and for reflection-line computation.     

三角网格上的代数曲面重建

提出一种用分片代数曲面构造三角曲面片的方法,利用具有公共边的2个三角形区域的4个顶点的函数值以及公共边2个端点的外法向量来构造一个二次曲面V(g)和一个截面V(h),其交V(g,h)即为2个三角曲面片的公共边界曲线.对每个已确定了边界条件的三角片内部进一步划分成3部分,每部分各自定义一个三次代数曲面.这3个三次代数曲面不仅在其交线处光滑拼接,而且分别沿三角形的边界与V(g)光滑拼接,从而构成一个具有GC1连续性的分片代数曲面.对于只属于一个三角片的边界留有一个自由度,可对曲面形状加以控制.     

Surface interpolation of meshes by geometric subdivision

Subdivision surfaces are generated by repeated approximation or interpolation from initial control meshes. In this paper, two new non-linear subdivision schemes, face based subdivision scheme and normal based subdivision scheme, are introduced for surface interpolation of triangular meshes. With a given coarse mesh more and more details will be added to the surface when the triangles have been split and refined. Because every intermediate mesh is a piecewise linear approximation to the final surface, the first type of subdivision scheme computes each new vertex as the solution to a least square fitting problem of selected old vertices and their neighboring triangles. Consequently, sharp features as well as smooth regions are generated automatically. For the second type of subdivision, the displacement for every new vertex is computed as a combination of normals at old vertices. By computing the vertex normals adaptively, the limit surface is G¹ smooth. The fairness of the interpolating surface can be improved further by using the neighboring faces. Because the new vertices by either of these two schemes depend on the local geometry, but not the vertex valences, the interpolating surface inherits the shape of the initial control mesh more fairly and naturally. Several examples are also presented to show the efficiency of the new algorithms.     

基于混合子分方法的曲面网格顶点与法向插值

顶点位置和法向插值是参数曲面造型的重要内容,文中基于混合子分方法生成三次B样条控制网格,使得相应的三次B样条曲面插值初始网格中指定的顶点,并通过引入插值模板的概念,把法向的插值转化为对模板的旋转变换,使得曲面在不改变2插值顶点的情况下插值法向,最后得到一张C^2连续的插值指定顶点和法向的曲面,与传统的逐片Bezier或Coons曲面片构造方法相比,此方法更为简洁且具有更高的连续阶,而且易于推广到高阶B样条和任意拓扑情形,具有较强的实用性。     

Rational parameterization of quadrics and their offsets

In this paper, we study two problems related to quadrics. One is the representation of triangular and quadrangular patches on quadrics: a necessary and sufficient condition is given for triangular patches on quadrics to be representable as rational quadratic triangular Bézier surfaces. The other is the rationality of the offsets to quadrics: the offsets of regular quadrics are shown to be rational and the algorithms are given for computing their rational parameterizations.     

Fair Surface Reconstruction Using Quadratic Functionals

An algorithm for surface reconstruction from a polyhedron with arbitrary topology consisting of triangular faces is presented. The first variant of the algorithm constructs a curve network consisting of cubic Bézier curves meeting with tangent plane continuity at the vertices. This curve network is extended to a smooth surface by replacing each of the networks facets with a split patch consisting of three triangular Bézier patches. The remaining degrees of freedom of the curve network and the split patches are determined by minimizing a quadratic functional. This optimization process works either for the curve network and the split patches separately or in one simultaneous step. The second variant of our algorithm is based on the construction of an optimized curve network with higher continuity. Examples demonstrate the quality of the different methods.