Cover image for Delaunay mesh generation
Title:
Delaunay mesh generation
Personal Author:
Series:
Chapman & Hall/CRC computer and information science series
Publication Information:
Boca Raton : CRC Press, c2013.
Physical Description:
xv, 394 p. : ill. ; 26 cm.
ISBN:
9781584887300

Available:*

Library
Item Barcode
Call Number
Material Type
Item Category 1
Status
Searching...
33000000000584 QA611.3 C43 2013 Open Access Book Book
Searching...
Searching...
30000010328897 QA611.3 C43 2013 Open Access Book Book
Searching...

On Order

Summary

Summary

Written by authors at the forefront of modern algorithms research, Delaunay Mesh Generation demonstrates the power and versatility of Delaunay meshers in tackling complex geometric domains ranging from polyhedra with internal boundaries to piecewise smooth surfaces. Covering both volume and surface meshes, the authors fully explain how and why these meshing algorithms work.

The book is one of the first to integrate a vast amount of cutting-edge material on Delaunay triangulations. It begins with introducing the problem of mesh generation and describing algorithms for constructing Delaunay triangulations. The authors then present algorithms for generating high-quality meshes in polygonal and polyhedral domains. They also illustrate how to use restricted Delaunay triangulations to extend the algorithms to surfaces with ridges and patches and volumes with smooth surfaces.

For researchers and graduate students, the book offers a rigorous theoretical analysis of mesh generation methods. It provides the necessary mathematical foundations and core theoretical results upon which researchers can build even better algorithms in the future.

For engineers, the book shows how the algorithms work well in practice. It explains how to effectively implement them in the design and programming of mesh generation software.


Author Notes

Siu-Wing Cheng is a professor in the Department of Computer Science and Engineering at the Hong Kong University of Science and Technology. Professor Cheng is an advisory committee member of the International Symposium on Algorithms and Computation and a board member of the Asian Association for Algorithms and Computation. His research interests include computational geometry, mesh generation, manifold reconstruction, and algorithms. He earned a Ph.D. in computer science from the University of Minnesota, Twin Cities.

Tamal K. Dey is a professor of computer science at Ohio State University, where he leads the Jyamiti group, which develops software such as the well-known Cocone software for surface reconstruction and DelPSC software for mesh generation. He previously held faculty positions at Indiana University-Purdue University and IIT Kharagpur and research positions at the University of Illinois and Max-Planck Institute. His research interests include computational geometry and topology and their applications in graphics and geometric modeling. He earned a Ph.D. from Purdue University.

Jonathan Shewchuk is a professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He is best known for his Triangle software for high-quality triangular mesh generation, which won the 2003 James Hardy Wilkinson Prize in Numerical Software, and his paper "Introduction to the Conjugate Gradient Method without the Agonizing Pain." He received his Ph.D. in computer science from Carnegie Mellon University.


Table of Contents

Prefacep. xi
1 Introductionp. 1
1.1 Meshes and the goals of mesh generationp. 3
1.1.1 Domain conformityp. 4
1.1.2 Element qualityp. 5
1.2 Delaunay triangulations and Delaunay refinementp. 8
1.3 A brief history of mesh generationp. 10
1.4 A personal history of working in mesh generationp. 13
1.5 Simplices, complexes, and polyhedrap. 16
1.6 Metric space topologyp. 19
1.7 How to measure an elementp. 22
1.8 Notes and exercisesp. 27
2 Two-dimensional Delaunay triangulationsp. 31
2.1 Triangulations of a planar point setp. 31
2.2 The Delaunay triangulationp. 32
2.3 The parabolic lifting mapp. 33
2.4 The Delaunay Lemmap. 35
2.5 The flip algorithmp. 37
2.6 The optimality of the Delaunay triangulationp. 40
2.7 The uniqueness of the Delaunay triangulationp. 41
2.8 The weighted Delaunay triangulationp. 43
2.9 Symbolic weight perturbationsp. 45
2.10 Constrained Delaunay triangulations in the planep. 46
2.10.1 Piecewise linear complexes and their triangulationsp. 47
2.10.2 The constrained Delaunay triangulationp. 50
2.10.3 Properties of the constrained Delaunay triangulationp. 51
2.11 Notes and exercisesp. 52
3 Algorithms for constructing Delaunay triangulationsp. 55
3.1 The orientation and incircle predicatesp. 56
3.2 A dictionary data structure for triangulationsp. 58
3.3 Inserting a vertex into a Delaunay triangulationp. 59
3.4 Inserting a vertex outside a Delaunay triangulationp. 61
3.5 The running time of vertex insertionp. 64
3.6 Optimal point location by a conflict graphp. 66
3.7 The incremental insertion algorithmp. 70
3.8 Deleting a vertex from a Delaunay triangulationp. 71
3.9 Inserting or deleting a vertex in a CDTp. 73
3.10 Inserting a segment into a CDTp. 74
3.11 The gift-wrapping algorithmp. 77
3.12 Notes and exercisesp. 80
4 Three-dimensional Delaunay triangulationsp. 85
4.1 Triangulations of a point set in Rdp. 86
4.2 The Delaunay triangulation in Rdp. 86
4.3 The optimality of the Delaunay triangulation in Rdp. 89
4.4 Bistellar flips and the flip algorithmp. 91
4.5 Three-dimensional constrained Delaunay triangulationsp. 95
4.5.1 Piecewise linear complexes and their triangulations in Rdp. 96
4.5.2 The constrained Delaunay triangulation in R3p. 98
4.5.3 The CDT Theoremp. 100
4.5.4 Properties of the constrained Delaunay triangulation in R3p. 101
4.6 Notes and exercisesp. 102
5 Algorithms for constructing Delaunay triangulations in R3.p. 105
5.1 A dictionary data structure for tetrahedralizationsp. 106
5.2 Delaunay vertex insertion in R3p. 106
5.3 Biased randomized insertion ordersp. 108
5.4 Optimal a conflict graph in R3p. 110
5.5 Point location by walkingp. 113
5.6 The gift-wrapping algorithm in R3p. 114
5.7 Inserting a vertex into a CDT in R3p. 115
5.8 Inserting a polygon into a CDTp. 115
5.9 Notes and exercisesp. 120
6 Delaunay refinement in the planep. 123
6.1 A generic Delaunay refinement algorithmp. 124
6.2 Ruppert's Delaunay refinement algorithmp. 126
6.3 Implementation and running timep. 129
6.4 A proof of terminationp. 131
6.5 A proof of size optimality and optimal gradingp. 137
6.6 Meshing domains with small anglesp. 142
6.7 Constrained Delaunay refinementp. 147
6.8 Notes and exercisesp. 148
7 Voronoi diagrams and weighted complexesp. 153
7.1 Voronoi diagramsp. 154
7.2 Weighted Voronoi and weighted Delaunayp. 156
7.2.1 Properties of orthoballsp. 159
7.3 Quarantined complexesp. 161
7.3.1 The Monotone Power Lemmap. 162
7.3.2 The Orthoball Cover Lemmap. 163
7.3.3 The Orthocenter Containment Lemmap. 165
7.4 Notes and exercisesp. 166
8 Tetrahedral meshing of PLCsp. 169
8.1 A tetrahedral Delaunay refinement algorithmp. 171
8.2 Implementation and running timep. 176
8.3 A proof of termination and good gradingp. 177
8.4 Refining slivers awayp. 184
8.5 Constrained Delaunay tetrahedral refinementp. 184
8.6 Notes and exercisesp. 185
9 Weighted Delaunay refinement for PLCs with small anglesp. 189
9.1 The ideas behind weighted Delaunay refinementp. 190
9.2 Protecting vertices and segmentsp. 191
9.3 The refinement stagep. 195
9.4 A proof of termination and good gradingp. 197
9.5 Notes and exercisesp. 201
10 Sliver exudationp. 207
10.1 The main idea and the algorithmp. 208
10.2 Implementing sliver exudationp. 210
10.3 The union of weighted Delaunay triangulationsp. 211
10.3.1 Orthoradius-edge ratios of tetrahedra in K(S, ¿)p. 212
10.3.2 Circumradii of triangles in K(S, ¿)p. 216
10.3.3 The variation of edge lengths in Del S and K(S, ¿)p. 219
10.3.4 The degrees of vertices in K(S, ¿)p. 221
10.4 The Sliver Theoremp. 223
10.5 Notes and exercisesp. 226
11 Refinement for sliver exudationp. 231
11.1 Domain conformity with uncertain vertex weightsp. 232
11.2 A refinement algorithm for sliver exudationp. 233
11.3 A guarantee of domain conformity during sliver exudationp. 235
11.4 A proof of termination, good quality, and good gradingp. 236
11.5 Finite triangulations and the Sliver Theoremp. 240
11.6 Notes and exercisesp. 242
12 Smooth surfaces and point samplesp. 245
12.1 Topological spacesp. 245
12.2 Maps, homeomorphisms, and isotopiesp. 247
12.3 Manifoldsp. 251
12.4 Smooth manifoldsp. 252
12.5 The medial axis and local feature size of a smooth manifoldp. 253
12.5.1 The medial axisp. 254
12.5.2 Definition of the local feature sizep. 256
12.5.3 Point samples on manifoldsp. 257
12.5.4 Properties of a surface and its medial axisp. 259
12.6 The variation in normal vectors on smooth surfacesp. 261
12.7 Approximations of tangents by simplicesp. 264
12.7.1 Short edges are almost parallel to the surfacep. 264
12.7.2 Triangles with small circumradii are almost parallelp. 266
12.8 Notes and exercisesp. 268
13 Restricted Delaunay triangulations of surface samplesp. 271
13.1 Restricted Voronoi diagrams and Delaunay triangulationsp. 272
13.2 The Topological Ball Theoremp. 274
13.3 Distances and angles in ¿-samplesp. 276
13.4 Local properties of restricted Voronoi facesp. 278
13.5 Global properties of restricted Voronoi facesp. 289
13.6 The fidelity of the restricted Delaunay triangulationp. 291
13.6.1 The nearest point map is a homeomorphismp. 291
13.6.2 Proximity and isotopyp. 293
13.6.3 Fidelity and dihedral angles of the discretized surfacep. 296
13.7 Notes and exercisesp. 298
14 Meshing smooth surfaces and volumesp. 301
14.1 Delaunay surface meshing with a known local feature sizep. 302
14.1.1 Proof of termination and guaranteesp. 304
14.1.2 Deleting two vertices of the persistent trianglep. 306
14.1.3 Computing edge-surface intersectionsp. 307
14.2 Topology-driven surface meshingp. 308
14.2.1 Diagnosing violations of the topological ball propertyp. 308
14.2.2 A topology-driven Delaunay refinement algorithmp. 313
14.2.3 Proof of termination and homeomorphismp. 313
14.3 A practical surface meshing algorithmp. 314
14.4 Extensions: quality, smoothness, and polyhedral surfacesp. 318
14.5 Tetrahedral meshing of volumes with smooth boundariesp. 322
14.5.1 Proof of termination and guaranteesp. 325
14.6 Notes and exercisesp. 329
15 Meshing piecewise smooth complexesp. 333
15.1 Piecewise smooth complexes and their triangulationsp. 334
15.2 An algorithm for meshing PSCsp. 335
15.2.1 Protection and the relaxed ball propertiesp. 336
15.2.2 The protection stagep. 338
15.2.3 Refining the protecting ballsp. 342
15.2.4 The refinement stagep. 344
15.3 The ball properties and the PSC Lemmap. 347
15.3.1 The ball propertiesp. 347
15.3.2 The PSC Lemmap. 350
15.3.3 Proof of the PSC Lemmap. 352
15.4 A proof of terminationp. 356
15.5 Manifold patch triangulations and homeomorphismp. 359
15.6 Extensions: polygonal surfaces, quality, and tetrahedrap. 364
15.7 Notes and exercisesp. 364
Bibliographyp. 369
Indexp. 387