# Summary on several key techniques in 3D geological modeling.

1. Introduction"Geological modelling is the applied science of creating computerized representations of portions of the Earth's crust based on geophysical and geological observations made on and below the Earth surface [1]." Mallet [2] defined the geological modeling as a collection of mathematical approaches for simulating the topological, geometrical, and physical properties of geological objects. Houlding [3] introduced some basic methods of geological modeling including the spatial data analysis, geological interface modeling, and geological boundary connection.

There are two essential procedures in 3D geological modeling: (1) the modeling of geological interfaces and (2) the building of three-dimensional geological objects. Usually, the geological interfaces are represented by geometric surfaces; these geometric surfaces can be mathematically parametric such as NURBS [4, 5] and Bezier [6] or discrete such as polygonal surface meshes [7, 8]. Both of the kinds of surfaces are widely used to model and simulate geological interfaces. More details can be found in the literature [4-11].

When adopting discrete surfaces to represent geological interfaces, the surface meshes can be generated directly in 3D (i.e., the surface mesh generation) [11], or alternatively, obtained by creating planar meshes first and then interpolating into 3D 8, 9]. The first method allows modelers to simulate quite complex geological interfaces, but costs much more efforts to generate surface meshes. The second is relatively easier to implement, especially when the geological interfaces are layered; in this method, mesh generation algorithms are accepted to create planar meshes, and interpolation algorithms are used to transform the polygonal meshes from 2D to 3D. In this paper, we summarize such algorithms of mesh generation and spatial interpolation.

Three-dimensional geological objects such as rock bodies can be represented by wire-frames, voxels (e.g., tetrahedron, prism, and hexahedron), and boundaries (i.e., sets of mathematically parametric surfaces or discrete surface meshes). When represented by discrete surface meshes, the three-dimensional geological objects are exactly the volumes bounded with polygonal meshes. Generally, such volumes that represent geological objects are created by the intersection of surface meshes [2, 7, 8]. Of the surface meshes, the triangulated surface is the most widely used. This paper also describes the intersection of triangulated surfaces.

The rest of this paper is organized as follows. The most commonly used algorithms in the planar mesh generation and spatial interpolation are summarized in Sections 2 and 3, respectively; and then, the intersection of triangulated surfaces is briefly introduced in Section 4; finally, we conclude this summary in Section 5.

2. Planar Mesh Generation

Many algorithms for generating planar meshes have been proposed, including the Delaunay triangulation method [12], advancing front technique (AFT) [13], ear-cutting [14], and the greedy algorithm [15]; see [16, 17] for surveys. Among them, the first one of the most popularly used is the Delaunay triangulation algorithm which intends to create high quality elements with biggest smallest angles by nature, and the second one perhaps is the advancing front technique although it does not have so solid mathematical foundations as that of the Delaunay triangulation method. In this section, the Delaunay triangulation method including the standard form and the constrained form, the advancing front technique will be described. In addition, several algorithms proposed for dividing polygons [18,19] or for improving quality of meshes are also introduced.

2.1. Delaunay-Based Triangulation. The Delaunay triangulation (DT) is the straight-line dual structure of the Voronoi diagram; see [20] for the clear definitions of the Delaunay triangulation and constrained Delaunay triangulation. The Voronoi diagram is a type of geometric structure that can be used to represent the proximity relationships for a set of sites/points. The Voronoi diagram was first presented by Dirichlet in 1850 [21] and developed in further by Voronoi [22] in 1908.

Voronoi diagrams have been successfully used in various applications such as nearest neighbor search, facility location, largest empty circle, robot navigation/path planning, and high quality triangulation [23]. Many algorithms have been designed to construct Voronoi diagrams [24, 25]; see surveys in [26, 27]. A commonly used one is the incremental algorithm which inserts a new point/site into a previous existing diagram sequentially until no sites left. The sweep line algorithm proposed by Fortune [28] is more efficient in time than other incremental algorithms.

The Delaunay triangulation method is currently the most popular generic mesh generation method. There are various algorithms proposed for constructing DTs, such as divide-and-conquer method [29], sweep line [28], and incremental algorithm [30]. The basic idea behind the incremental algorithms is to insert points into an existing triangulation one by one and then modify some local triangles. The incremental algorithm was thought initially proposed in 1977 by Lawson [30], and later, Bowyer [31] and Watson [32] developed it further in 1981. The above two algorithms referred as the Lawson algorithm and the Bowyer-Watson algorithm are the most widely used Delaunay triangulation algorithms.

In the standard Delaunay triangulation algorithm, the input for constructing DTs is only a set of discrete points. All needed to do in the Delaunay triangulation algorithm is to form finite Delaunay triangles by using all given points as the required triangles' vertices. However, in applications, the input for triangulation is usually not only composed of discrete points but also some fixed segments or faces (in 3D). Those segments or faces are considered as constraints because they must be respected in triangulations.

When the input for Delaunay triangulation no longer consists of only points but points and segments in the plane, the algorithm that constructs triangulation which is as close as possible to the standard Delaunay triangulation is called constrained Delaunay algorithm; and the triangulation generated by the constrained Delaunay algorithm is the constrained Delaunay triangulation (CDT) [20, 33].

The constrained Delaunay triangulation is a generalized form of the Delaunay triangulation which forces some constrained segments into the resulting triangulation. Noticeably, due to introducing the constrained segments, often a CDT that contains certain required segments/edges does not meet the Delaunay condition but will be as close as possible to that of the standard DT [20, 33].

The algorithms for constructing DTs can be also improved to create CDTs, such as divide-and-conquer [20], sweep line [34] and incremental algorithm [35]. Most of them run in worst-case 0(n log n) time, but the most popularly used method for generation CDTs is the incremental insertion. The idea behind incremental algorithm for CDT is similar to that for DT: firstly without considering the constrained segments, a Delaunay triangulation is created for the PSLG's vertices using any type of standard Delaunay algorithm; and secondly the constrained segments are inserted into the existing triangulation one by one, and several local triangles need to be updated to satisfy the Delaunay property as close as possible after each insertion. A quite robust and fast framework for constructing the CDTs is the package TRIANGLE [35].

2.2. Advancing Front Technique (AFT). The advancing front technique (AFT) is one of the most popular approaches for generating triangulations. The classical form of the AFT for mesh generation was described by [13, 36] and some improved versions of the classical form have been developed; see [37-40]. The AFT has become a successful method for creating high quality unstructured triangular or tetrahedral meshes for domains of arbitrary shape. In addition, it has been extended to generate quadrilateral meshes in 2D and hexahedral meshes in 3D; see [41-43].

General Scheme. The AFT is implemented based on the updating (advancing) of the so-called/ront; the front is a set of edges in 2D or a set of faces in 3D. The AFT can be considered as an iterative procedure that starts from the discretization of a given boundary and then intends to mesh those currently unmeshed region of the target domain with some type of specific elements such as triangles or tetrahedrons. A simple application example is presented in Figure 1 to illustrate the procedure of the AFT approach.

In the classical AFT, the field points that will be used as the candidates of the optimal vertices for those selected front entities are created synchronously when needed, rather than before creating any mesh element (i.e., preplaced interior points). Based on the classical AFT, many variants have been presented; see [44] for a survey.

The inherent procedure in all AFT-based algorithms is the local inserting and updating according to some type of geometric criteria. In the classical AFT, the creations of mesh vertices and elements are synchronous. However, in some variants of the AFT, the interior points that will be adopted as the mesh vertices are precreated before forming mesh elements; and when creating new elements, the optimal vertices are chosen from the existing interior points rather than created when needed.

The most important feature of the AFT approach is that it intends to create high quality elements and well-graded meshes, especially near the boundary of mesh domain. The feature of nicely respecting to the domain boundary is quite useful for generating meshes for the domain with very complex boundaries. The main disadvantage of the AFT approach is its convergence: compared to the Delaunay-based algorithms, the AFT does not have the sold mathematical foundations and cannot be proved to be always convergent strictly in mathematics.

2.3. Polygon Triangulation. Polygon partitioning is the procedure of decomposing a polygonal area into simpler components such as triangles [45, 46], trapezoids [47], or even subpolygons [48]. Usually, polygons are divided into sets of triangles; and this partitioning is also referred to as Polygon Triangulation.

A family of the most commonly used algorithms for triangulating polygons is the ear-cutting method. Removing an ear results in forming a new polygon that still meets the "two ears" condition (proved by Meisters [14]) and repetitions can be done until there is only one triangle left. This is known as the ear-clipping or ear-cutting algorithm.

The ear-clipping triangulation algorithm consists of searching an ear and then cutting it off from current polygon. The original version of Meisters's ear-clipping algorithm runs in 0([n.sup.3]) time, with O(n) time spent on checking whether a newly formed triangle is valid. Rourke [18] simply modified and reorganized Meisters's algorithm and made the new version of ear-clipping algorithm run in 0([n.sup.2]) time. An efficient technique named "prune-and-search" for finding an ear in the linear time was discovered by ElGindy [49]. Held [50] designed a completely reliable triangulation algorithm and engineered its code FIST.

The generic ear-cutting algorithms are only capable of triangulating simple polygons that have no holes. When polygons have holes (multiply connected polygonal area), a preprocessing of creating "Bridge" edges needs to be done in order to transform the polygon with holes into a single polygon. After transforming a polygon with holes to a degenerate polygon, the ear-cutting algorithms can be accepted to generate the final triangulation; see Figure 2. Noticeably, some vertices can be accepted to form triangle twice due to introducing those "Bridge" edges.

Creating "Bridge" edges is widely used to divide a general closed domain into several simply connected, convex subdomains; and Delaunay triangulations for subdomains then are obtained in turn and patched together to generate the whole triangulation or then its dual graph, Voronoi diagram; see Tipper [25]. Similarly, Held [50] adopted "Bridge" edges to transform a multiply connected polygonal area into a single polygon which can be triangulated by ear-clipping based algorithms.

2.4. Mesh Smoothing. Usually, a mesh needs to be optimized after being newly created to improve its quality, and various methods have been developed to deal with this issue. Mesh smoothing is the method for improving the mesh quality by adjusting the positions of mesh vertices without altering the topology of the mesh. The basic idea behind mesh smoothing is to make all elements in a mesh be their best shapes by repositioning the vertices' coordinates.

Numerous papers have been published on the topic of mesh smoothing. In the literature [52], Mei et al. introduced a useful classification to divide the methods of mesh smoothing into four types: (1) geometry-based methods, (2) optimization-based methods, (3) physics-based methods, and (4) hybrid methods.

Geometry-based mesh smoothing methods obtain new node locations either by using geometric rules or local optimization techniques or by minimizing objective functions. The most popular geometry-based method is Laplacian smoothing [53], which at each iteration step repositions each node at the centroid of its neighboring nodes. To improve the performance of its basic form, some smart, constrained or weighted variations have been proposed [54-56].

Other simple or effective geometry-based methods include the angle-based approach [57], the geometric element transformation method (GETMe) [58], a projecting/smoothing method [59], an algebraic method [60], the target-matrix paradigm [61], the effective variational method [62], and a novel method based on quadric surface fitting, vertex projecting, curvature estimating, and mesh labeling [63] .

Optimization-based methods obtain the smoothed node positions by minimizing some given distortion metric. These methods give better results than most of the geometry-based methods, especially in concave regions; however, they are computationally more expensive. Some of the optimization-based methods are described in [64-66].

Physics-based mesh smoothing methods operate by physical processing [67] or by solving simple physics problems. For instance, Shimada et al. [68] proposed a method which treats nodes as the centers of bubbles and obtained the smoothed node locations by deforming these bubbles against each other. A similar algorithm, the pliant method, is presented in [69].

Hybrid mesh smoothing methods combine two or more basic methods; this is for the purpose of improving the performance of each. Some of them are the combinations of Laplacian smoothing with various optimization-based methods [70-72].

The most commonly used mesh smoothing method is Laplacian smoothing, which in its original form [53] moves each node to be at the average of all the nodes connected to it by element edges. Laplacian smoothing is an iterative algorithm; the iterations will repeat until there are no points that are moved in the same iteration step beyond a given distance tolerance. Several modifications and enhancements of this method have been described in [54,72]. A noniterative method called Direct Method was introduced by Balendran [73]. An iterative modification of the Direct Method, the Modified Direct Method (MDM), is presented in [74].

3. Interpolation Algorithms

The interpolation is the method of obtaining the evaluation value at an unknown point according to a set of known data points based on some types of relationships. In mathematics, there are various kinds of interpolation approaches such as linear interpolation, polynomial interpolation, spline interpolation, trilinear interpolation, and Gaussian interpolation [75]. In geosciences, the most popular interpolation methods perhaps are the following three: Kriging interpolation [76], Discrete Smooth Interpolation (DSI) [77, 78], and Inverse Distance Weighted (IDW) [79]. In this section, these three methods will be briefly summarized.

3.1. Kriging Method. In three-dimensional geological modeling, Kriging is usually adopted to generate guaranteed geological interfaces with effectively conforming to the original data and does not depend on existing meshes.

Kriging interpolation method [76] is an optimal geo-statistical estimator for the regionalized variables within a limited area based on the variogram or covariance. The Kriging method was originally developed by the South African mining engineer Krige [80,81]. The mathematics was further developed by Matheron [82] in 1963. More details about the Kriging method can be found in [83].

For a set of regionalized variables Z(x), Kriging estimates the expected value Z([x.sub.0]) at the location [x.sub.0] where the observation is not available by using a linear weighted sum of the known values Z([x.sub.1]), Z([x.sub.2]), ..., Z([x.sub.n]) at locations [x.sub.1], [x.sub.2], ..., [x.sub.n], such that

Z([x.sub.0]) = [n.summation over (i=1)] [[lambda].sub.i] x Z([x.sub.i]), [n.summation over (i=1)] [[lambda].sub.i] = 1, (1)

where [[lambda].sub.i] is the weights at the location [x.sub.i] which can be calculated according to the system of equations of the Kriging.

The estimator of the Kriging is in fact the calculation of a linear weighted sum. Thus, the objective in Kriging method is to determine those weights [[lambda].sub.i] (i = 0, 1, ..., n). There are two widely used estimators of the Kriging method: the Ordinary Kriging (OK) and Universal Kriging (UK). Both of them estimate the interpolation values with a linear weighted sum (1). The differences of them are the calculation of the weights [[lambda].sub.i] in different ways due to different assumptions. The Ordinary Kriging assumes that the distribution of the observations meets the second order stationary condition; in other words, the mean of all input sample points is a constant value. The Universal Kriging assumes that the mean is no longer constant but as a polynomial function referred as the drift or trend.

3.2. Inverse Distance Weighted (IDW). IDW (Inverse Distance Weighted/Weighting) [79] is a very simple and widely used geospatial interpolation method. The expected value of an interpolated point (unknown point) is the weighted average of all (or sometimes part of) the sample points. The weights only depend on the distances between the interpolation points and the sample points. A general form of finding an interpolated value Z at a given point x based on samples [Z.sub.i] = Z([x.sub.i]) for i = 1, 2, ..., n via the IDW can be represented with the following formula:

Z(x) = [n.summation over (i=1)] [[omega].sub.i](x)[z.sub.i]/[[summation].sup.n.sub.j=1][[omega].sub.j](x), [[omega].sub.i](x) = 1/d[(x, [x.sub.i]).sup.p]. (2)

The above equations are the simple IDW weighting functions defined by Shepard [79]. In the equations, x denotes an interpolated point, [x.sub.i] is a sample point, d is the distance from the known point [x.sub.i] to the unknown point x, n is the total number of known points used in interpolation, and p is a positive real number called the power parameter.

In contrast to Kriging, IDW also obtains the expected values of unknown points (interpolated points) by weighting average of the values of known points (data points). The name, that is, Inverse Distance, of this method was motivated by the weighted average applied since it resorts to the inverse of the distance to each known point when calculating the weights. The difference between IDW and Kriging is that they calculate the weights by different means.

In Kriging, it is needed to calculate the spatial correlations between (1) all sample points and (2) the interpolated points with the sample points and the spatial correlations that are expressed via the Variogram or Covariance depend on the relative positions of points rather than the distances between points.

In the IDW, however, the weights and correlations are only involved with the distances between points; two distinct sample points that have the identical distance to a same interpolated point definitely have identical weights. This approach of determining the weights only depending on distance is reasonable in some cases such as analyzing the propagation of sound or the spread of pollutants. But in other cases, for example, reconstructing the ground surface or creating DEM (Digital Elevation Model), the IDW is not as effective as the Kriging.

3.3. Discrete Smooth Interpolation (DSI). The Discrete Smooth Interpolation (DSI) is an interpolation algorithm proposed by Mallet [78], which has become one of the key techniques in the geological modeling software GOCAD [84]. The basic ideas behind DSI are as follows: for those known and unknown nodes on a "grid" of a discrete natural object, the values attached to the unknown nodes can be obtained by making the unknown nodes satisfy the constraints (e.g., the roughness criterions) defined by the known nodes. This interpolation method can be applied in any dimension since it relies on the topology of nodes on a "grid." More details about the DSI can be found in [2].

4. Intersection of Triangulated Surfaces

The Boolean operation (including the intersecting) of triangular surface meshes is currently well studied. The algorithms for calculating the intersection of triangulated surfaces have been widely used in the field of CAD/CAE/CAM; these algorithms can be also used to build three-dimensional geological bodies.

Lindenbeck et al. [85] developed the TRICUT package by coupling two reliable open source programs, the RAPID library [86] for collision detection and the TRIANGLE library [35] for robust constrained Delaunay triangulation to cut intersecting triangle meshes. Shostko et al. [87] introduced an algorithm that constructs surface meshes from a given set of intersecting triangulated surfaces. Lo [88] proposed an algorithm for determining the intersection lines based on tracing the neighbours of intersecting triangles when calculating the intersection of triangulated surfaces. Guo et al. [89] gave an algorithm to implement the Boolean operation of two STL solids based on tracing the intersection line segments to form loops. Pavic et al. [90] developed a hybrid method which combines polygonal and volumetric computations and representations for performing Boolean operations over polygonal meshes. Wang [91] presented a new approach to compute the approximate Boolean operations of two freeform polygonal mesh solids efficiently with the help of Layered Depth Images (LDIs).

Zhao et al. [92] adopted NVIDIA's CUDA [12] computing environment to develop an efficient, parallel, and scalable framework for evaluating approximate Boolean operations on polygonal meshes. A general algorithm for computing the intersection of manifold surfaces was presented in [93], which relies on a comprehensive list of edge-triangle intersection cases combined with an intersection tracking algorithm that utilizes both topological and geometrical consistency checks. Karamete et al. [94] used elementary computational-geometry operations such as, facet-segment intersection, point containment in simplices, and edge recovery in a plane, to produce high-level Boolean operations. Mei and Tipper [95] proposed a novel technique instead of inside/outside classification to distinguish the resulting union, subtraction, and intersection parts of intersected triangular surface meshes.

In calculating the intersection of triangulated surfaces, the intersection of a pair of triangles is the essential basis for the further operations such as tracing intersection lines (loops) and clipping the intersected surfaces. When computing the intersections for large and complex models composed of plenty of triangles, solutions are needed to speed up the procedure of intersecting. The following summarizes popular approaches for addressing two problems: (1) how to calculate the intersection of triangles fast and (2) how to speed up the intersection of surfaces effectively.

4.1. Triangle-Triangle Intersection Algorithm. Several quite efficient approaches have been proposed to calculate the intersection of a pair of triangles in 3D, including Mollers algorithm [96], Held's algorithm [97], Devillers and Guigue's algorithm [98, 99], Tropp's algorithm [100], and Shen's algorithm [101].

Mollers Algorithm. Moller [96] proposed a method named "interval overlap" for checking whether a pair of triangles intersects (Figure 3). The basic idea behind Moller's algorithm is that if the degenerate case that there is a triangle such as [T.sub.1] whose three vertices completely locate on one side of the underlying plane of the other triangle [T.sub.2] is rejected, then the intersection of the two underlying planes of [T.sub.1] and [T.sub.2] denoted as a line L will intersect [T.sub.1] and [T.sub.2]. The intersections of the line L with the triangles [T.sub.1] and [T.sub.2] are two line segments (also called intervals). If those intervals overlap, then the triangles [T.sub.1] and [T.sub.2] intersect, otherwise, not intersect.

Held's Algorithm. Very similar to the Moller's algorithm, the Held's algorithm [97] is also carried outvia dimension deduction. However, in Moller's algorithm, the determination of intersection of two triangles in 3D is deduced to compute the overlap of two line segments in 1D; while in Held's algorithm, the calculation of the intersection of two triangles is transformed to determine the intersection of a line segment with a triangle in 2D.

Devillers and Guigue's Algorithm. In Devillers and Guigue's algorithm [98, 99], each vertex of each triangle is classified with respect to the other triangle using six orientation predicates: the triangle [T.sub.1] is first tested for intersection with the plane [[pi].sub.2] and the algorithm classifies the vertices of [T.sub.1] with respect to the plane [[pi].sub.2] by simply comparing the signs of the three determinants [[p.sub.2], [q.sub.2], [r.sub.2], [p.sub.1]], [[p.sub.2], [q.sub.2], [r.sub.2], [q.sub.1]], and [[p.sub.2], [q.sub.2], [r.sub.2], [r.sub.1]]; see Figure 4.

Tropp's Algorithm. Unlike Moller's or Held's algorithms, the Tropp's algorithm [100] intends to carry out the triangle-triangle intersection test in the algebraic viewpoint, rather than the geometric viewpoint. In the Tropp's algorithm, the process of determining the intersection of a pair of triangles is well speeded up by taking advantage of the linearity of arithmetic operations on relevant metrics and the strong linear relations between the columns of relevant metrics.

4.2. Accelerations for the Intersecting. The procedure of computing the intersections would be quite slow when there are a huge number of triangles of the surface meshes. Accelerations need to be carried out to improve the efficiency. Generally, there are two commonly used strategies: the first is to reduce the intersection tests (also called collision detection tests) of triangles by using space partitioning techniques and the second is to implement the intersecting in parallel by taking advantage of those libraries designed for parallelization. In the following paragraphs, the above two strategies will be introduced.

4.2.1. Speeding Up by Space Partitioning. The basic ideas behind space partitioning are as follows:

(i) space is divided into cells (i.e., the subspaces);

(ii) object primitives are placed into cells (e.g., Octree); see Figure 5(b);

(iii) object primitives within the same cell are checked for collision; see Figure 5(c);

(iv) pairs of primitives that do not share the same cell are not tested.

Figure 5 shows a simple procedure of performing the space partitioning. The basic idea behind this strategy is easy to understand: a pair of triangles within the same subspace needed to check for intersection; and any pair of triangles that do not locate inside the same subspace is not needed to test. The objective of such procedure is to accurately find out all pairs of potentially intersected triangles in a short time to reduce computational cost. Many techniques based on space partitions such as BSP [103], Octree [90], OBB trees [86], AABB trees [104], and uniform grid [105] have been developed to realize this goal.

The easiest space partitioning is the dividing of space into a structured grid. Each element of the grid, that is, one of the subspaces, is a Cuboid or even a Cube. This method of partitioning is easy to realize in programming. The disadvantage of this kind of dividing is that plenty of subspaces are created; and the determination for checking which triangles locate within the same space is also time-consuming.

ALGORITHM 1 # pragma omp parallel for // Routine from OpenMP For each pair of triangles [p.sub.i]{// Original serial codes, now parallel Calculate the intersection of [p.sub.i]; Save the intersection edge of [p.sub.i] if exists; }

A better partitioning is by using Octree [102]; see Figure 5. The first step is to divide the target space into 8 subspaces, then putting the geometric objects such as triangles into those 8 subspaces and checking the number and density of the objects within the same subspace to decide whether it is needed to divide a subspace into 8 smaller subspaces. This procedure of dividing iterates until some kind of conditions or requirements are met. The advantage of Octree is that it is "smart" to decide whether it is needed to create the next level of subspaces for a previously created subspace. The disadvantage is that the establishment of Octree is more complicated than that of the grid.

4.2.2. Speeding Up by Parallelization. The intersection of a pair of triangles does not affect the intersection of another pair. This is the precondition of conducting parallelization for computing the intersections. Hence, several pairs of triangles can be calculated in parallel to reduce the computational cost; this is the basic idea behind the strategy of speeding up the intersection of triangulated surfaces by parallelization.

There are many models designed for implementing parallelization; the four most frequently used are OpenMP [106], MPI [107], CUDA [108], and OpenCL [109]. OpenMP is an API that supports multiplatform shared memory multiprocessing programming. MPI (Message Passing Interface) is a library specification designed for high performance on both massively parallel machines and on workstation clusters. CUDA is a parallel computing platform and programming model, which enables increases in computing performance by harnessing the power of GPUs.

The algorithms for calculating the intersection of triangles, such as the Mollers algorithm [96], can be easily implemented within the popular parallelization models such as OpenMP or CUDA and become parallel and thus much more efficient in time when compared to their corresponding serial versions [92, 95]. The following piece of code is an example of implementing the parallelization from serial code to parallel based on OpenMP (see Algorithm 1).

5. Conclusion

We have summarized the most commonly used algorithms and approaches in mesh generation, spatial interpolation, and surface intersection. Those techniques are widely used when building 3D geological models. The most commonly used algorithms for generating triangular meshes in 2D, including the Delaunay-based, the AFT, and the ear-cutting, have been summarized. Also, the mesh smoothing algorithms for improving mesh quality are reviewed. These generic mesh generation algorithms are usually accepted to create planar meshes for modeling geological interfaces. We have also introduced three spatial interpolation algorithms, for example, the Kriging method, the DSI, and the IDW. In addition, one of the most important geometric computations, the intersection of triangulated surfaces, is summarized. We have listed the algorithms for calculating the intersection of a pair of triangles and explained how to speed up the intersection of triangulated surfaces according to the strategies of parallelization and space partitioning. A brief overview of several key techniques in 3D geological modeling is intended to present in this summary.

http://dx.doi.org/ 10.1155/2014/723832

Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

References

[1] "Geomodelling," 2013, http://en.wikipedia.org/wiki/Geologic_ modelling.

[2] J.-L. Mallet, Geomodeling, Applied Geostatistics Series, Oxford University Press, New York, NY, USA, 2002.

[3] S. W. Houlding, "3D geoscience modeling: computer techniques for geological characterization," in 3D Geoscience Modeling: Computer Techniques for Geological Characterization, Springer, New York, NY, USA, 1994.

[4] T Fisher and R. Wales, "Three dimensional solid modeling of geo-objects using Non- Uniform Rational B-Splines (NURBS)," in Three-Dimensional Modeling with Geoscientific Information Systems, A. Turner, Ed., vol. 354 of NATO ASI Series, pp. 85-105, Springer, Amsterdam, The Netherlands, 1992.

[5] D.-H. Zhong, M.-C. Li, L.-G. Song, and G. Wang, "Enhanced NURBS modeling and visualization for large 3D geoengineering applications: an example from the Jinping first-level hydropower engineering project, China," Computers and Geosciences, vol. 32, no. 9, pp. 1270-1282, 2006.

[6] E. A. De Kemp, "Visualization of complex geological structures using 3-D Bezier construction tools," Computers and Geosciences, vol. 25, no. 5, pp. 581-5597, 1999.

[7] R. R. Moore and S. E. Johnson, "Three-dimensional reconstruction and modelling of complexly folded surfaces using mathematica," Computers and Geosciences, vol. 27, no. 4, pp. 401-418, 2001.

[8] N. Xu and H. Tian, "Wire frame: a reliable approach to build sealed engineering geological models," Computers and Geosciences, vol. 35, no. 8, pp. 1582-1591, 2009.

[9] J. L. Mallet, "Discrete modeling for natural objects," Mathematical Geology, vol. 29, no. 2, pp. 199-219, 1997

[10] J. M. V. Pea, "A program in pascal to simulate the superposition of two or three fold systems," Computers and Geosciences, vol. 26, no. 3, pp. 341-3349, 2000.

[11] T. Frank, A.-L. Tertois, and J.-L. Mallet, "3D-reconstruction of complex geological interfaces from irregularly distributed and noisy point data," Computers and Geosciences, vol. 33, no. 7, pp. 932-943, 2007.

[12] B. Delaunay, "Sur la sphere vide," IzvestIa AkademII Nauk SSSR, vol. 6, pp. 793-800, 1934.

[13] S. H. Lo, "A new mesh generation scheme for arbitrary planar domains," International Journal for Numerical Methods in Engineering, vol. 21, no. 8, pp. 1403-1426, 1985.

[14] G. H. Meisters, "Polygons have ears," American Mathematical Monthly, vol. 82, 6, pp. 648-651, 1975.

[15] M. T. Dickerson, R. L. Scot Drysdale, S. A. McElfresh, and E. Welzl, "Fast greedy triangulation algorithms," Computational Geometry, vol. 8, no. 2, pp. 67-86,1997

[16] K. Ho-Le, "Finite element mesh generation methods: a review and classification," Computer-Aided Design, vol. 20, no. 1, pp. 2738, 1988.

[17] S. J. Owen, "A survey of unstructured mesh generation technology" in Proceedings of the 7th International Meshing Round table, vol. 3, pp. 26-28, 1998.

[18] J. O'Rourke, Computational Geometry in C, Cambridge University Press, New York, NY, USA, 1998.

[19] M. d. Berg, O. Cheong, M. v. Kreveld, and M. Overmars, Computational Geometry: Algorithms and Applications, Springer, New York, NY, USA, 2008.

[20] L. P. Chew, "Constrained delaunay triangulations," Algorithmica, vol. 4, no. 1-4, pp. 97-108,1989.

[21] G. L. Dirichlet, "Uber die Reduktion der positiven quadratischen formen mit drei unbes-timmten ganzen Zahlen," Journal fur die Reine und Angewandte Mathematik, vol. 40, pp. 209-227, 1850.

[22] G. Voronoi, "Nouvelles applications des parametres continus a la theorie des formes quadratiques. Deuxieme memoire. Recherches sur les parallelloedres primitifs," Journal fur die Reine und Angewandte Mathematik, vol. 1908, no. 134, pp. 198-287, 1908.

[23] A. Okabe, B. Boots, K. Sugihara, and S. N. Chiu, Spatial Tessellations: Concepts and Applications of Voronoi Diagrams, Wiley Series in Probability and Statistics, John Wiley & Sons, 2nd edition, 2000.

[24] J. C. Tipper, "A straightforward iterative algorithm for the planar Voronoi diagram," Information Processing Letters, vol. 34, no. 3, pp. 155-160, 1990.

[25] J. C. Tipper, "FORTRAN programs to construct the planar Voronoi diagram," Computers and Geosciences, vol. 17, no. 5, pp. 597-632, 1991.

[26] F. Aurenhammer, "Voronoi diagrams a survey of a fundamental geometric data structure," ACM Computing Surveys, vol. 23, no. 3, pp. 345-405, 1991.

[27] S. Fortune, "Voronoi diagrams and Delaunay triangulations," in Handbook of Discrete and Computational Geometry, J. E. Goodman and J. O'Rourke, Eds., Chapter 23, pp. 513-528, Chapman and Hall/CRC, Boca Raton, Fla, USA, 2004.

[28] S. Fortune, "A sweepline algorithm for Voronoi diagrams," Algorithmica, vol. 2, no. 1-4, pp. 153-174, 1987

[29] D. T. Lee and B. J. Schachter, "Two algorithms for constructing a Delaunay triangulation," International Journal of Computer & Information Sciences, vol. 9, no. 3, pp. 219-242, 1980.

[30] C. L. Lawson, "Software for C1 surface interpolation," in Mathematical Software III, Academic Press, New York, NY, USA, 1977.

[31] A. Bowyer, "Computing dirichlet tessellations," The Computer Journal, vol. 24, no. 2, pp. 162-166, 1981.

[32] D. F. Watson, "Computing the n-dimensional Delaunay tessellation with application to Voronoi polytopes," The Computer Journal, vol. 24, no. 2, pp. 167-172, 1981.

[33] D.-T. Lee and A. K. Lin, "Generalized delaunay triangulation for planar graphs," Discrete & Computational Geometry, vol. 1, no. 1, pp. 201-217,1986.

[34] V. Domiter and B. Zalik, "Sweep-line algorithm for constrained Delaunay triangulation," International Journal of Geographical Information Science, vol. 22, no. 4, pp. 449-462, 2008.

[35] J. R. Shewchuk, "Triangle: engineering a 2D quality mesh generator and delaunay triangulator," in Proceedings of the Workshop on Applied Computational Geometry, Towards Geometric Engineering (FCRC/WACG96), pp. 203-222, Springer, 1996.

[36] J. Peraire, M. Vahdati, K. Morgan, and O. C. Zienkiewicz, "Adaptive remeshing for compressible flow computations," Journal of Computational Physics, vol. 72, no. 2, pp. 449-466, 1987

[37] R. Lohner and P. Parikh, "Generation of three-dimensional unstructured grids by the advancing-front method," International Journal for Numerical Methods in Fluids, vol. 8, no. 10, pp. 1135-1149, 1988.

[38] D. J. Mavriplis, "An advancing front Delaunay triangulation algorithm designed for robustness," Journal of Computational Physics, vol. 117, no. 1, pp. 90-101, 1995.

[39] J. Schoberl, "Netgen an advancing front 2D/3D-mesh generator based on abstract rules," Computing and Visualization in Science, vol. 1, no. 1, pp. 41-52, 1997

[40] A. Shostko and R. Lohner, "Three-dimensional parallel unstructured grid generation," International Journal for Numerical Methods in Engineering, vol. 38, no. 6, pp. 905-925, 1995.

[41] T. D. Blacker and M. B. Stephenson, "Paving: a new approach to automated quadrilateral mesh generation," International Journal for Numerical Methods in Engineering, vol. 32, no. 4, pp. 811-847, 1991.

[42] T. D. Blacker and R. J. Meyers, "Seams and wedges in plastering: a 3-D hexahedral mesh generation algorithm," Engineering with Computers, vol. 9, no. 2, pp. 83-93, 1993.

[43] M. Staten, S. Owen, and T. Blacker, "Unconstrained paving and plastering: a new idea for all hexahedral mesh generation," in Proceedings of the 14th International Meshing Roundtable, pp. 399-416, Springer, 2005.

[44] R. Lohner, "Progress in grid generation via the advancing front technique," Engineering with Computers, vol. 12, no. 3-4, pp. 186-210, 1996.

[45] B. Chazelle, "A theorem on polygon cutting with applications," in Proceedings of the 23rd Annual Symposium on Foundations of Computer Science (SFCS'08), pp. 339-349, IEEE, 1982.

[46] B. Chazelle, "Triangulating a simple polygon in linear time," Discrete & Computational Geometry, vol. 6, no. 1, pp. 485-524, 1991.

[47] R. Seidel, "A simple and fast incremental randomized algorithm for computing trapezoidal decompositions and for triangulating polygons," Computational Geometry, vol. 1, no. 1, pp. 51-64, 1991.

[48] H.-Y. Feng and T. Pavlidis, "Decomposition of polygons into simpler components: feature generation for syntactic pattern recognition," IEEE Transactions on Computers, vol. 24, no. 6, pp. 636-650,1975.

[49] H. ElGindy, H. Everett, and G. Toussaint, "Slicing an ear using prune-and-search," Pattern Recognition Letters, vol. 14, no. 9, pp. 719-722, 1993.

[50] M. Held, "FIST: Fast Industrial-Strength Triangulation of polygons," Algorithmica, vol. 30, no. 4, pp. 563-596, 2001.

[51] G. Mei, J. C. Tipper, and N. Xu, "Ear-clipping based algorithms of generating high-quality polygon triangulation," in Proceedings of the International Conference on Information Technology and Software Engineering, vol. 212, pp. 979-988, Springer, 2013.

[52] G. Mei, J. C. Tipper, and N. Xu, "The modified direct method: an approach for smoothing planar and surface meshes," http://arxiv.org/abs/1212.3133.

[53] L. R. Herrmann, "Laplacian-isoparametric grid generation scheme," Journal of the Engineering Mechanics Division, vol. 102, no. 5, pp. 749-756, 1976.

[54] D. A. Field, "Laplacian smoothing and Delaunay triangulations," Communications in Applied Numerical Methods, vol. 4, no. 6, pp. 709-712, 1988.

[55] P. Hansbo, "Generalized Laplacian smoothing of unstructured grids," Communications in Numerical Methods in Engineering, vol. 11, no. 5, pp. 455-464, 1995.

[56] Z. Mao, L. Ma, M. Zhao, and Z. Li, "A modified Laplacian smoothing approach with mesh saliency," in Smart Graphics, vol. 4073 of Lecture Notes in Computer Science, pp. 105-113, Springer, New York, NY, USA, 2006.

[57] T Zhou and K. Shimada, "An angle-based approach to two-dimensional mesh smoothing," in Proceedings of the 9th International Meshing Round table, pp. 373-384, 2000.

[58] D. Vartziotis and J. Wipper, "The geometric element transformation method for mixed mesh smoothing," Engineering with Computers, vol. 25, no. 3, pp. 287-301, 2009.

[59] J. M. Escobar, R. Montenegro, E. Rodriguez, and G. Montero, "Simultaneous aligning and smoothing of surface triangulations," Engineering with Computers, vol. 27, no. 1, pp. 17-29, 2011.

[60] J. M. Escobar, G. Montero, R. Montenegro, and E. Rodriguez, "An algebraic method for smoothing surface triangulations on a local parametric space," International Journal for Numerical Methods in Engineering, vol. 66, no. 4, pp. 740-760, 2006.

[61] P. Knupp, "Introducing the target-matrix paradigm for mesh optimization via node-movement," in in Proceedings of the 19th International Meshing Roundtable, pp. 67-83, 2010.

[62] X. Jiao, D. Wang, and H. Zha, "Simple and effective variational optimization of surface and volume triangulations," Engineering with Computers, vol. 27, no. 1, pp. 81-94, 2011.

[63] J. Wang and Z. Yu, "A novel method for surface mesh smoothing: applications in biomedical modeling," in Proceedings of the 18th International Meshing Roundtable, pp. 195-210, 2009.

[64] L. Freitag, M. Jones, and P. Plassmann, "An efficient parallel algorithm for mesh smoothing," in Proceedings of 4th International Meshing Roundtable, pp. 47-58, 1995.

[65] P. M. Knupp, "Achieving finite element mesh quality via optimization of the Jacobian matrix norm and associated quantities. Part I--a framework for surface mesh optimization," International Journal for Numerical Methods in Engineering, vol. 48, no. 3, pp. 401-420, 2000.

[66] K. Shivanna, N. Grosland, and V. Magnotta, "An analytical framework for quadrilateral surface mesh improvement with an underlyingtriangulated surface definition," in Proceedings of the 19th International Meshing Roundtable, pp. 85-102, 2010.

[67] R. Lohner, K. Morgan, and O. Zienkiewicz, "Adaptive grid refinement for the compressible Eeuler equations," in Accurency Estimates and Adaptive Refinements in Finite Element Computations, Wiley Series in Numerical Methods in Engineering, pp. 281-297, John Wiley & Sons, New York, NY, USA, 1986.

[68] K. Shimada, A. Yamada, and T. Itoh, "Anisotropic triangular meshing of parametric surfaces via close packing of ellipsoidal bubbles," in Proceedings of the 6th International Meshing Roundtable, pp. 375-390, 1997.

[69] F. Bossen and P. S. Heckbert, "A pliant method for anisotropic mesh generation," in Proceedings of the 5th International Meshing Roundtable, pp. 63-74, 1996.

[70] S. A. Canann, J. R. Tristano, and M. L. Staten, "An approach to combined Laplacian and optimization-based smoothing for triangular, quadrilateral, and quad-dominant meshes," in Proceedings of 7th International Meshing Roundtable, pp. 479-494, 1998.

[71] Z. Chen, J. R. Tristano, and W. Kwok, "Combined Laplacian and optimization-based smoothing for quadratic mixed surface meshes," in Proceedings of the 12th International Meshing Roundtable, pp. 201-213, 2003.

[72] L. A. Freitag, "On combining Laplacian and optimization-based mesh smoothing techniques," in Trends in Unstructured Mesh Generation, pp. 37-43, 1997

[73] B. Balendran, "A direct smoothing method for surface meshes," in Proceedings of the 8th International MeshIng Roundtable, pp. 189-193, 1999.

[74] G. Mei, J. C. Tipper, and N. Xu, "The modified direct method: an iterative approach for smoothing planar meshes," Procedia Computer Science, vol. 18, pp. 2436-2439, 2013.

[75] I. Bronshtein, K. Semendyayev, G. Musiol, and H. Muehlig, Handbook of Mathematics, Springer, New York, NY, USA, 2007.

[76] M. A. Oliver and R. Webster, "Kriging: a method of interpolation for geographical information systems," International Journal of Geographical Information Systems, vol. 4, no. 3, pp. 313-332, 1990.

[77] J.-L. Mallet, "Discrete smooth interpolation," ACM Transactions on Graphics, vol. 8, no. 2, pp. 121-144, 1989.

[78] J.-L. Mallet, "Discrete smooth interpolation in geometric modelling," Computer-Aided Design, vol. 24, no. 4, pp. 178-191, 1992.

[79] D. Shepard, "A two-dimensional interpolation function for irregularly-spaced data," in Proceedings of the 23rd ACM National Conference, pp. 517-524.

[80] D. G. Krige, A statistical approach to some mine valuation and allied problems on the witwatersrand [M.S. thesis], University of the Witwatersrand, 1951.

[81] D. G. Krige, "A statistical approach to some basic mine valuation problems on the witwatersrand," Journal of the Chemical, Metallurgical and Mining Society of South Africa, vol. 52, no. 6, pp. 119-139, 1951.

[82] G. Matheron, "Principles of geostatistics," Economic Geology, vol. 58, no. 8, pp. 1246-1266, 1963.

[83] M. L. Stein, Interpolation of Spatial Data: Some Theory for Kriging, Springer, New York, NY, USA, 1999.

[84] GOCAD, 2013, http://www.gocad.org.

[85] C. H. Lindenbeck, H. D. Ebert, H. Ulmer, L. P. Lavorante, and R. Pflug, "TRICUT: a program to clip triangle meshes using the rapid and triangle libraries and the visualization toolkit," Computers and Geosciences, vol. 28, no. 7, pp. 841-850, 2002.

[86] S. Gottschalk, M. C. Lin, and D. Manocha, "OBBTree: a hierarchical structure for rapid interference detection," in Proceedings of the 23rd Annual Conference on Computer Graphics and Interactive Techniques, pp. 171-180, August 1996.

[87] A. A. Shostko, R. Lohner, and W. C. Sandberg, "Surface triangulation over intersecting geometries," International Journal for Numerical Methods in Engineering, vol. 44, no. 9, pp. 1359-1376, 1999.

[88] S. H. Lo and W X. Wang, "A fast robust algorithm for the intersection of triangulated surfaces," Engineering with Computers, vol. 20, no. 1, pp. 11-21, 2004.

[89] K.-B. Guo, L.-C. Zhang, C.-J. Wang, and S.-H. Huang, "Boolean operations of STL models based on loop detection," The International Journal of Advanced Manufacturing Technology, vol. 33, no. 5-6, pp. 627-633, 2007.

[90] D. Pavic, M. Campen, and L. Kobbelt, "Hybrid booleans," Computer Graphics forum, vol. 29, no. 1, pp. 75-87, 2010.

[91] C. C. L. Wang, "Approximate Boolean operations on large polyhedral solids with partial mesh reconstruction," IEEE Transactions on Visualization and Computer Graphics, vol. 17, no. 6, pp. 836-849, 2011.

[92] H. Zhao, C. C. L. Wang, Y. Chen, and X. Jin, "Parallel and efficient Boolean on polygonal solids," Visual Computer, vol. 27, no. 6-8, pp. 507-517, 2011.

[93] A. H. Elsheikh and M. Elsheikh, "A reliable triangular mesh intersection algorithm and its application in geological modelling," Engineering with Computers, vol. 30, no. 1, pp. 143-157, 2014.

[94] B. K. Karamete, S. Dey, E. L. Mestreau, R. Aubry, and F. A. Bulat Jara, "An algorithm for discrete booleans with applications to finite element modeling of complex systems," Finite Elements in Analysis and Design, vol. 68, pp. 10-27, 2013.

[95] G. Mei and J. C. Tipper, "Simple and robust Boolean operations for triangulated surfaces," http://arxiv.org/abs/1308.4434.

[96] T. Moller, "A fast triangle-triangle intersection test," Journal of Graphics Tools, vol. 2, no. 2, pp. 25-30, 1997

[97] M. Held, "ERIT--a collection of efficient and reliable intersection tests," Journal of Graphics Tools, vol. 2, no. 4, pp. 25-44, 1997

[98] O. Devillers and R. Guigue, "Faster triangle-triangle intersection tests," Tech. Rep. RR-4488, INRIA, 2002.

[99] R. Guigue and O. Devillers, "Fast and robust triangle-triangle overlap test using orientation predicates," Journal of Graphics Tools, vol. 8, no. 1, pp. 25-32, 2003.

[100] O. Tropp, A. Tal, and I. Shimshoni, "A fast triangle to triangle intersection test for collision detection," Computer Animation and Virtual Worlds, vol. 17, no. 5, pp. 527-535, 2006.

[101] H. Shen, R. A. Heng, and Z. Tang, "A fast triangle-triangle overlap test using signed distances," Journal of Graphics Tools, vol. 8, no. 1, pp. 17-23, 2003.

[102] J. Suter, "Introduction to Octrees," 1999, http://www.flipcode .com/archives/Introduction_To_Octrees.shtml.

[103] M. Campen and L. Kobbelt, "Exact and robust (self-)intersections for polygonal meshes," Computer Graphics forum, vol. 29, no. 2, pp. 397-406, 2010.

[104] G. Van Den Bergen, "Efficient collision detection of complex deformable models using aabb trees," Journal of Graphics Tools, vol. 2, no. 4, pp. 1-13, 1997

[105] C. Ericson, Real-Time Collision Detection, Morgan Kaufmann, Boston, Mass, USA, 2004.

[106] OpenMP, 2013, http://wwwopenmp.org.

[107] MPI, 2013, http://www.mcs.anl.gov/research/projects/mpi/.

[108] CUDA, 2013, http://www.nvidia.com/object/cuda_home_new .html.

[109] OpenCL, 2013, http://www.khronos.org/opencl/.

Gang Mei

Institute of Earth and Environmental Science, University of Freiburg, Albertstr. 23B, 79104 Freiburg im Breisgau, Germany

Correspondence should be addressed to Gang Mei; gang.mei@geologie.uni-freiburg.de

Received 23 August 2013; Accepted 23 December 2013; Published 16 February 2014

Academic Editors: G. Bordogna and H. Xu

Printer friendly Cite/link Email Feedback | |

Author: | Mei, Gang |
---|---|

Publication: | The Scientific World Journal |

Article Type: | Report |

Date: | Jan 1, 2014 |

Words: | 7844 |

Previous Article: | Using evolutionary computation on GPS position correction. |

Next Article: | Analysis of flavone C-glycosides in the leaves of clinacanthus nutans (Burm. f.) Lindau by HPTLC and HPLC-UV/DAD. |

Topics: |