Topologically Reliable Approximation of Trimmed Polynomial Surface Patches

We present an unstructured triangular mesh generation algorithm that approximates a set of mutually nonintersecting simple trimmed polynomial parametric surface patches within a user specified geometric tolerance. The proposed method uses numerically robust interval geometric representations/computations and also addresses the problem of topological consistency (homeomorphism) between the exact geometry and its approximation. Those are among the most important outstanding issues in geometry approximation problems. We also extract important differential geometric features of input geometry for use in the approximation. Our surface tessellation algorithm is based on the unstructured Delaunay mesh approach which leads to an efficient adaptive triangulation. A robust decision criterion is introduced to prevent possible failures in the conventional Delaunay triangulation. To satisfy the prescribed geometric tolerance, an adaptive node insertion algorithm is employed and furthermore, an efficient method to compute a tight upper bound of the approximation error is proposed. Unstructured triangular meshes for free-form surfaces frequently involve triangles with high aspect ratio and, accordingly, result in ill-conditioned meshing. Our proposed algorithm constructs 2D triangulation domains which sufficiently preserve the shape of triangles when mapped into 3D space and, furthermore, the algorithm provides an efficient method that explicitly controls the aspect ratio of the triangular elements.

[1]  Bernd E. Hirsch,et al.  Triangulation of trimmed surfaces in parametric space , 1992, Comput. Aided Des..

[2]  Manfredo P. do Carmo,et al.  Differential geometry of curves and surfaces , 1976 .

[3]  Martti Mäntylä,et al.  Introduction to Solid Modeling , 1988 .

[4]  Jon G. Rokne,et al.  Test for intersection between plane and box , 1993, Comput. Aided Des..

[5]  Reinhard Klein,et al.  Large mesh generation from boundary models with parametric face representation , 1995, SMA '95.

[6]  Robert P. Markot,et al.  Surface algorithms using bounds on derivatives , 1986, Comput. Aided Geom. Des..

[7]  KumarVinod,et al.  An assessment of data formats for layered manufacturing , 1997 .

[8]  Alyn P. Rockwood,et al.  Real-time rendering of trimmed surfaces , 1989, SIGGRAPH.

[9]  Rainald Löhner,et al.  Finite elements in CFD: What lies ahead , 1987 .

[10]  I. Babuska,et al.  ON THE ANGLE CONDITION IN THE FINITE ELEMENT METHOD , 1976 .

[11]  Nicholas M. Patrikalakis,et al.  Approximate development of trimmed patches for surface tessellation , 1998, Comput. Aided Des..

[12]  L. Paul Chew,et al.  Guaranteed-quality mesh generation for curved surfaces , 1993, SCG '93.

[13]  J. Peiro,et al.  Adaptive remeshing for three-dimensional compressible flow computations , 1992 .

[14]  H. Piaggio Differential Geometry of Curves and Surfaces , 1952, Nature.

[15]  Gerald Farin,et al.  Curves and surfaces for computer aided geometric design , 1990 .

[16]  L. Paul Chew,et al.  Guaranteed-Quality Triangular Meshes , 1989 .

[17]  Nicholas M. Patrikalakis,et al.  Robust interval solid modelling Part II: boundary evaluation , 1996, Comput. Aided Des..

[18]  R. Ho Algebraic Topology , 2022 .

[19]  G. Strang,et al.  An Analysis of the Finite Element Method , 1974 .

[20]  Nicholas M. Patrikalakis,et al.  Computation of the solutions of nonlinear polynomial systems , 1993, Comput. Aided Geom. Des..

[21]  Rae A. Earnshaw,et al.  Computer Graphics: Developments in Virtual Environments , 1995, Computer Graphics.

[22]  Nicholas M. Patrikalakis,et al.  Robust interval solid modelling Part I: representations , 1996, Comput. Aided Des..

[23]  Gerald E. Farin,et al.  Curves and surfaces for computer-aided geometric design - a practical guide, 4th Edition , 1997, Computer science and scientific computing.

[24]  Les A. Piegl,et al.  Tessellating trimmed surfaces , 1995, Comput. Aided Des..

[25]  Nicholas M. Patrikalakis,et al.  Topologically reliable approximation of composite Bézier curves , 1996, Comput. Aided Geom. Des..

[26]  Nicholas M. Patrikalakis,et al.  Robust interval algorithm for curve intersections , 1996, Comput. Aided Des..

[27]  M. Docarmo Differential geometry of curves and surfaces , 1976 .

[28]  Kenji Shimada,et al.  Computational Methods for Physically-based FE Mesh Generation , 1992, PROLAMAT.

[29]  Vinod Kumar,et al.  An assessment of data formats for layered manufacturing , 1997 .

[30]  S. Rebay Efficient Unstructured Mesh Generation by Means of Delaunay Triangulation and Bowyer-Watson Algorithm , 1993 .

[31]  Xiuzi Ye,et al.  Robust interval algorithm for surface intersections , 1997, Comput. Aided Des..

[32]  Takashi Maekawa Robust computational methods for shape interrogation , 1993 .

[33]  Hans-Peter Seidel,et al.  An introduction to polar forms , 1993, IEEE Computer Graphics and Applications.

[34]  R. K. Shyamasundar,et al.  Introduction to algorithms , 1996 .

[35]  Wonjoon Cho,et al.  Topologically reliable approximation of curves and surfaces , 1997 .

[36]  Nicholas M. Patrikalakis,et al.  Efficient and reliable methods for rounded-interval arithmetic , 1998, Comput. Aided Des..

[37]  Nicholas M. Patrikalakis,et al.  Robust tessellation of trimmed rational B-spline surface patches , 1998, Proceedings. Computer Graphics International (Cat. No.98EX149).

[38]  Nicholas M. Patrikalakis,et al.  Reliable Interrogation of 3D Non-linear Geophysical Databases , 1995, Computer Graphics.

[39]  Robert B. Jerard,et al.  Comparison of discretization algorithms for surfaces with application to numerically controlled machining , 1997, Comput. Aided Des..

[40]  Willem F. Bronsvoort,et al.  Finite-element mesh generation from constructive-solid-geometry models , 1994, Comput. Aided Des..