From Segmented Images to Good Quality Meshes Using Delaunay Refinement
Total Page:16
File Type:pdf, Size:1020Kb
Mesh generation Applications CGAL-mesh From Segmented Images to Good Quality Meshes using Delaunay Refinement Jean-Daniel Boissonnat INRIA Sophia-Antipolis Geometrica Project-Team Emerging Trends in Visual Computing From Segmented Images to Good Quality Meshes Grid-based methods (MC and variants) I Produces unnecessarily large meshes I Regularization and decimation are difficult tasks I Imposes dominant axis-aligned edges Mesh generation Applications CGAL-mesh A determinant step towards numerical simulations Challenges I Quality of the mesh : accurary, topological correctness, size and shape of the elements I Number of elements, processing time I Robustness issues Emerging Trends in Visual Computing From Segmented Images to Good Quality Meshes Mesh generation Applications CGAL-mesh A determinant step towards numerical simulations Challenges I Quality of the mesh : accurary, topological correctness, size and shape of the elements I Number of elements, processing time I Robustness issues Grid-based methods (MC and variants) I Produces unnecessarily large meshes I Regularization and decimation are difficult tasks I Imposes dominant axis-aligned edges Emerging Trends in Visual Computing From Segmented Images to Good Quality Meshes Mesh generation Applications CGAL-mesh Affine Voronoi diagrams and Delaunay triangulations Emerging Trends in Visual Computing From Segmented Images to Good Quality Meshes Mesh generation Applications CGAL-mesh Mesh generation by Delaunay refinement A simple greedy technique that goes back to the early 80’s [Frey, Hermeline] input : some domain D to be meshed output : a finite set of points E ⊂ D a triangulation T ⊂ Del(E) that covers or approximate D with well-shaped simplices main loop : REPEAT if f is a bad simplex of Del(E) take a point p so that f is not a simplex of Del(E [ fpg) E p update Del(E) UNTIL all simplices are good Emerging Trends in Visual Computing From Segmented Images to Good Quality Meshes Mesh generation Applications CGAL-mesh Delaunay refinement : some milestones Polyhedral domains 1990-1995 First guaranteed method for 2D polygonal domains [Chew, Ruppert] 1998-2002 First guaranteed method for 3D polygonal domains [Shewchuk] 2000-2005 Sliver removal [Cheng et al.] 2003-2004 Sharp features [Cheng et al.] Curved domains 1993-1997 Restricted Delaunay triangulation [Chew, Edelsbrunner & Shah] 1998 "-sample, first guaranteed method for surface reconstruction [Amenta & Bern] 2003 First guaranteed surface mesher [B. & Oudot] 2005 First guaranteed volume mesher [Oudot & al.] 2007 Piecewise smooth surfaces [Dey et al., Rineau & Yvinec] Emerging Trends in Visual Computing From Segmented Images to Good Quality Meshes Mesh generation Applications CGAL-mesh Outline of the talk Mesh generation Restricted Delaunay Triangulation Surface mesh generation Meshing 3D objects with curved boundaries Anisotropic mesh generation Applications Image segmentation Manifold reconstruction Spatio-temporal scenes modeling CGAL-mesh Emerging Trends in Visual Computing From Segmented Images to Good Quality Meshes Restricted Delaunay Triangulation Mesh generation Surface mesh generation Applications Meshing 3D objects with curved boundaries CGAL-mesh Anisotropic mesh generation Restricted Delaunay triangulation [Chew 93] Definition The restricted Delaunay triangulation DeljS(E) is the set of facets of the Delaunay triangulation whose dual edges intersect the surface Emerging Trends in Visual Computing From Segmented Images to Good Quality Meshes Restricted Delaunay Triangulation Mesh generation Surface mesh generation Applications Meshing 3D objects with curved boundaries CGAL-mesh Anisotropic mesh generation Restricted Delaunay triangulation [Chew 93] Definition The restricted Delaunay triangulation DeljS(E) is the set of facets of the Delaunay triangulation whose dual edges belong to VorjS(E) Emerging Trends in Visual Computing From Segmented Images to Good Quality Meshes Restricted Delaunay Triangulation Mesh generation Surface mesh generation Applications Meshing 3D objects with curved boundaries CGAL-mesh Anisotropic mesh generation Restricted Delaunay triangulation [Chew 93] Definition The restricted Delaunay triangulation DeljS(E) is the set of facets of the Delaunay triangulation whose dual edges belong to VorjS(E) Emerging Trends in Visual Computing From Segmented Images to Good Quality Meshes Restricted Delaunay Triangulation Mesh generation Surface mesh generation Applications Meshing 3D objects with curved boundaries CGAL-mesh Anisotropic mesh generation Sampling conditions [Amenta & Bern 98] The medial axis of S is the set of points with at least two closest points on S a finite point set E ⊆ S is an "-sample of S if 8x 2 S, dE(x) ≤ "dMA(x) dMA denotes the distance to the medial axis of S Emerging Trends in Visual Computing From Segmented Images to Good Quality Meshes Restricted Delaunay Triangulation Mesh generation Surface mesh generation Applications Meshing 3D objects with curved boundaries CGAL-mesh Anisotropic mesh generation I dMA is 1-Lipschitz : jdMA(x) − dMA(y)j ≤ kx − yk I dMA(x) κ(x) ≤ 1 (κ(x) = largest absolute curvature at x) 1;1 I dMA > 0 if S is C i.e. normals exist everywhere and the normal field is Lipschitz Emerging Trends in Visual Computing From Segmented Images to Good Quality Meshes Restricted DT and sampling [B.-Oudot 05] If all the surface Delaunay balls B(cf ; rf ) of DeljS(E) are small enough (rf ≤ " dMA(cf )), =) E is an O(")-sample of S Restricted Delaunay Triangulation Mesh generation Surface mesh generation Applications Meshing 3D objects with curved boundaries CGAL-mesh Anisotropic mesh generation Sampling smooth surfaces e e c c f f Surface Delaunay balls Each facet in DeljS(E) is circumscribed by a surface Delaunay ball B(cf ; rf ) centered on the surface and empty of vertices. Emerging Trends in Visual Computing From Segmented Images to Good Quality Meshes Restricted Delaunay Triangulation Mesh generation Surface mesh generation Applications Meshing 3D objects with curved boundaries CGAL-mesh Anisotropic mesh generation Sampling smooth surfaces e e c c f f Surface Delaunay balls Each facet in DeljS(E) is circumscribed by a surface Delaunay ball B(cf ; rf ) centered on the surface and empty of vertices. Restricted DT and sampling [B.-Oudot 05] If all the surface Delaunay balls B(cf ; rf ) of DeljS(E) are small enough (rf ≤ " dMA(cf )), =) E is an O(")-sample of S Emerging Trends in Visual Computing From Segmented Images to Good Quality Meshes Restricted Delaunay Triangulation Mesh generation Surface mesh generation Applications Meshing 3D objects with curved boundaries CGAL-mesh Anisotropic mesh generation Properties of the restricted Delaunay triangulation Local properties If E is a "-sample of S, Normals [Amenta & Bern 1998] The angles between normals to S and to DeljS(E) are O(") Curvatures [Cohen-Steiner & Morvan 2003] The curvature tensor of S can be estimated from DeljS(E) Emerging Trends in Visual Computing From Segmented Images to Good Quality Meshes Restricted Delaunay Triangulation Mesh generation Surface mesh generation Applications Meshing 3D objects with curved boundaries CGAL-mesh Anisotropic mesh generation Properties of the restricted Delaunay triangulation Global properties [Amenta & Bern], [Dey et al.], [B.& Oudot] If E is a "-sample of S, " ≤ 0:12 I DeljS(E) is a triangulated surface isotopic to S 2 I The Hausdorff distance between S and DeljS(E) is O(" ) Emerging Trends in Visual Computing From Segmented Images to Good Quality Meshes Algorithm INIT compute an initial (small) sample E0 ⊂ S REPEAT IF f is a bad facet insert in Del3D(cf ) update E and DeljS(E) UNTIL all facets are good Restricted Delaunay Triangulation Mesh generation Surface mesh generation Applications Meshing 3D objects with curved boundaries CGAL-mesh Anisotropic mesh generation Surface mesh generation φ : S ! R = Lipschitz function [Chew 1993, B. & Oudot 2003] 8x 2 S; 0 < φmin ≤ φ(x) < 0:2dMA(x) ORACLE : For a facet f of DeljS(E), return cf , rf and φ(cf ) dΩ A facet f is bad if rf > φ(cf ) >ε Emerging Trends in Visual Computing From Segmented Images to Good Quality Meshes Restricted Delaunay Triangulation Mesh generation Surface mesh generation Applications Meshing 3D objects with curved boundaries CGAL-mesh Anisotropic mesh generation Surface mesh generation φ : S ! R = Lipschitz function [Chew 1993, B. & Oudot 2003] 8x 2 S; 0 < φmin ≤ φ(x) < 0:2dMA(x) ORACLE : For a facet f of DeljS(E), return cf , rf and φ(cf ) dΩ A facet f is bad if rf > φ(cf ) Algorithm INIT compute an initial (small) sample E0 ⊂ S >ε REPEAT IF f is a bad facet insert in Del3D(cf ) update E and DeljS(E) UNTIL all facets are good Emerging Trends in Visual Computing From Segmented Images to Good Quality Meshes I Can be adapted to produce facets with good aspect ratio I General (black box) model of surfaces, applicable in various contexts ? How to compute dMA(x)? Restricted Delaunay Triangulation Mesh generation Surface mesh generation Applications Meshing 3D objects with curved boundaries CGAL-mesh Anisotropic mesh generation Properties of the algorithm I The procedure terminates and therefore I Produces a good approximation of the surface I Produces sparse "-samples Emerging Trends in Visual Computing From Segmented Images to Good Quality Meshes I General (black box) model of surfaces, applicable in various contexts ? How to compute dMA(x)? Restricted Delaunay Triangulation Mesh generation Surface mesh generation Applications Meshing 3D objects with curved boundaries CGAL-mesh Anisotropic mesh generation Properties