Open Access This article is
- freely available
Water 2019, 11(5), 909; https://doi.org/10.3390/w11050909
A Numerical Study on Travel Time Based Hydraulic Tomography Using the SIRT Algorithm with Cimmino Iteration
Applied Geology, Geoscience Centre, University of Goettingen, Goldschmidt Str. 3, 37077 Goettingen, Germany
School of Earth Science and Engineering, Hohai University, Focheng Xi Road 8, Nanjing 211100, China
Institute of Geosciences, University of Kiel, Ludewig-Meyn-Straße 10, 24015 Kiel, Germany
Correspondence: [email protected]; Tel.: +49-551-3913667
Received: 27 March 2019 / Accepted: 23 April 2019 / Published: 30 April 2019
Travel time based hydraulic tomography is a technique for reconstructing the spatial distribution of aquifer hydraulic properties (e.g., hydraulic diffusivity). Simultaneous Iterative Reconstruction Technique (SIRT) is a widely used algorithm for travel time related inversions. Due to the drawbacks of SIRT implementation in practice, a modified SIRT with Cimmino iteration (SIRT-Cimmino) is proposed in this study. The incremental correction is adjusted, and an iteration-dependent relaxation parameter is introduced. These two modifications enable an appropriate speed of convergence, and the stability of the inversion process. Furthermore, a new result selection rule is suggested to determine the optimal iteration step and its corresponding result. SIRT-Cimmino and SIRT are implemented and verified by using two numerical aquifer models with different predefined (“true”) diffusivity distributions, where high diffusivity zones are embedded in a homogenous low diffusivity field. Visual comparison of the reconstructions shows that the reconstruction based on SIRT-Cimmino demonstrates the aquifer’s hydraulic features better than the conventional SIRT algorithm. Root mean square errors and correlation coefficients are also used to quantitatively evaluate the performance of the inversion. The reconstructions based on SIRT-Cimmino are found to preserve the connectivity of the high diffusivity zones and to provide a higher structural similarity to the “true” distribution.
Keywords:hydraulic tomography; travel time inversion; inversion algorithm; inverse problem
Tomography is a technique for imaging sections of objects by using penetrating waves. The variation of wave signals between a transmitter and a detector can be analyzed and utilized to reconstruct the distribution of relevant parameters within the investigated object. Since the 1970s, Computed Tomography (CT) has become an important medical tool . During a CT experiment, X-rays are absorbed to varying degrees when passing through different human body parts, and the attenuation of the X-ray radiation is measured and used to image the scanned body part. Seismic tomography is another application of the tomographical principle based on travel time. Seismic waves (P-waves, S-waves and surface waves) travel through different geological media at different velocities. Their travel times are observed and recorded to reconstruct the subsurface structure with respect to the distribution of the velocity field . A notable difference between these two applications is that the X-ray radiation travels through a human body along a straight line, while seismic waves are reflected and refracted in tectonic structures .
Two reconstruction algorithms are widely used in tomography: Algebraic Reconstruction Technique (ART) and Simultaneous Iterative Reconstruction Technique (SIRT). Both algorithms are common implementations of the Kaczmarz algorithm . ART updates the reconstruction after analysis of a single travel time, while SIRT updates the reconstruction after analysis of the whole set of travel times. Compared to ART, SIRT has higher computational stability and is less sensitive to initial values and measurement errors [5,6,7]. Its main disadvantage is higher computational cost. However, considering the rapid development of computational hardware, the relevance of this disadvantage has been greatly reduced.
Over the past two decades, hydraulic tomography has been developed to determine the spatial distribution of aquifer hydraulic parameters [8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30]. Performance of a series of hydraulic tests (e.g., pumping tests and slug tests) with a tomographical configuration is the first step to gather the required hydraulic response data of the aquifer. During each test, a certain interval of a test well is isolated (e.g., with a packer system). This system allows water to be pumped out or injected into the aquifer only through this predefined section (source). The observation interval in other wells is also equipped with packer systems (or multi-chamber) to record the hydraulic response (e.g., the groundwater head) at different locations and depths (receivers). As the location of the source and receivers vary, a large number of response data can be collected. With appropriate inversion algorithms, the spatial distribution of the aquifer’s hydraulic properties can be reconstructed, and the non-uniqueness and uncertainty of the inversion can be reduced.
Two main hydraulic tomography strategies have been developed over the years. The first strategy is based on solving the groundwater flow equation with numerical modeling. With a numerical model, calculated values are fitted to the observed (measured in-situ) values by optimizing input parameters of the model (parameter estimation) [28,31,32,33,34]. With this strategy, the distribution of different kinds of hydraulic parameters can be derived at a high resolution. However, the large amount of field tests required, and the parameter estimation process itself, are time consuming.
The second strategy is Travel Time based Hydraulic Tomography (TTHT), which applies an asymptotic approach to transform the groundwater flow equation into the eikonal equation. Ray-tracing techniques can then be utilized to describe the transient pressure propagation and solve the eikonal equation. With this strategy, a line integral is derived, which relates the travel time of the transient pressure signals to a hydraulic diffusivity distribution [30,35,36,37,38,39,40,41]. In seismic tomography, the travel time of waves between a source and a receiver have a line integral relationship with the velocity field within the structure. This is similar to CT, where the decimal percent drop in X-ray intensity is linearly related to the attenuation as a line integral . These similarities imply the feasibility of using SIRT and ART algorithms for hydraulic studies [37,41]. Based on similar principles, another strategy is further developed to obtain the spatial distribution of the specific storage using hydraulic attenuation inversion . Compared to the above introduced strategy, the hydraulic travel time based tomography can only solve the spatial distribution of hydraulic diffusivity and specific storage.
The advantages of hydraulic travel time based tomography (following the one used for seismic tomography) are high computational efficiency and robustness. Huge data sets with thousands of travel times can be handled within minutes on a common computer. Following the principles of seismic tomography, a line integral can be derived relating the square root of the pressure response arrival time directly to the square root of the reciprocal of diffusivity. In this study, the similarity between the hydraulic line integral and seismic line integral will be exploited by using the same inversion techniques. Since the arrival of hydraulic travel time signal is so early (within minutes, even seconds), that the boundary effect of the aquifer has not even taken place, a further advantage of the travel time integral is that a change in boundary conditions during a test (e.g., nearby pumping, recharge) barely influences the travel time propagation of a pressure response from a “defined source,” and thus the inversion result is not affected.
In the iterative reconstruction algorithm, a residual represents the difference between the calculated travel time and the observed travel time. This value reflects the convergence of the algorithm towards a possible solution. Related studies have shown that even though the residual may be already convergent, the reconstruction results are highly dependent on the number of iterations, and the applied number of iterations is usually determined (or given) empirically . To the best of our knowledge, a reliable result selection rule has not yet been developed for TTHT.
This work focuses on the further utilization of SIRT in TTHT. Since the relationship between travel time and hydraulic diffusivity is described as a line integral, it can be discretized and transformed into a matrix equation. The SIRT is then executed step by step to solve this matrix equation. Considering the drawbacks of SIRT, the Cimmino iterative method is introduced and embedded within SIRT (SIRT-Cimmino) in this study. A new result selection rule for SIRT-Cimmino is proposed to determine the optimal iteration step and its corresponding result. For the validation of this method, two numerical aquifer models with a predefined diffusivity distribution (“truth”) are designed. The first model represents an inclined stratified aquifer, while the other model represents a more complex lying Y-shaped aquifer. Pumping tests are simulated with these two models, and the calculated groundwater heads (observations) are analyzed to obtain hydraulic travel times. Finally, SIRT and SIRT-Cimmino are implemented, and their performance under different spatial resolutions are evaluated by Root Mean Square Errors (RMSE) and correlation coefficients, based on the comparison between the inversion results and the “truth”.
The start of a pumping process can be considered as a generation of a Heaviside signal. This signal is released at the pumping location, propagates within a saturated aquifer, and arrives at the observation location. Travel time is defined as the time at which the pressure pulse (the first derivative of drawdown with respect to time) reaches its maximum amplitude, and the relationship between and diffusivity can be described as [37,41,43]:where is the travel time of the signal from a releasing point (source) to an observation point (receiver), is the propagation path of the signal, is the diffusivity along the path, and is a dimension dependent coefficient. is 4 for a 2D case and 6 for 3D cases [41,43].
The concept of different travel times is generalized through the introduction of travel time diagnostic [14,36,37]. As an example, the diagnostic is the time when the first derivative of drawdown rises to 10% of its maximum amplitude. According to this definition, the is defined as . Figure 1 shows three kind of travel times: , , and . Since our study focuses on the performance of the reconstruction algorithm, only is utilized for the inversion.
A transformation factor is introduced by Brauchler et al. , and the relationship between travel time diagnostics and diffusivity is described as follows:where is the travel time diagnostic, is the transformation factor which is a travel time diagnostic related Lambert’s W function and which can be determined numerically. In this study only was utilized. For more information about the transformation factor, the reader is referred to the work performed by Brauchler et al.  and Hu .
2.1. Discretization of the Line Integral
The investigation domain (Ω) between a pumping well and an observation well is divided into a grid of small rectangular cells (). is the mean diffusivity value in cell . In this study, the cells were distributed as a matrix, and the distribution resolution is defined as the number of rows multiplied by the number of columns. Therefore, the resolution is 4 × 6 = 24 and in Figure 2. The pressure signal propagates along the shown curve from the source through Ω to the receiver.
By providing the investigation domain with more sources and receivers, more pressure signals can be sampled. Assuming that signals are given, is the length of th signal trajectory in . if this th trajectory does not traverse .
Equation (1) is thus rewritten as:
In matrix form, Equation (3) becomes:where is an -vector consisting of observed travel times, and is an matrix. The matrix element represents the trajectory length in each cell, and each row represents a signal propagation. In other words, records the propagation path of all signals in the investigation domain. is an -vector, each vector element is related to the diffusivity of each cell, and the vector shows the diffusivity distribution of the investigation domain.
The above introduced inversion requires solving the linear-like matrix Equation (4). However, use of this equation does not suggest a linear relationship. According to the Fermat Principle, a pressure signal propagates from one point to another point along the path that takes the least travel time . In our case, signals preferentially penetrate cells with high diffusivity, since higher diffusivity leads to less travel time according to Equation (1). Thus, the propagation trajectory is related to the diffusivity distribution. In other words, is derived from in Equation (4). Matrix Equation (4) should therefore be categorized as a nonlinear problem .
2.2. SIRT and SIRT-Cimmino Algorithms
Traditionally, when applying the SIRT algorithm to solve the nonlinear problem, the residual has been used to determine the convergence. However, even with the same degree of convergence, results with a different number of iteration steps (NIS) show large differences. Hence, a clearly defined selection rule is required for the determination of NIS. To overcome this drawback of SIRT, a Cimmino iterative method based SIRT algorithm is proposed.
Given an -vector , the Euclidean norm of is denoted as and the -norm of is denoted as , where is an x -matrix. In this study, when discussing an iterative algorithm, the superscript with parenthesis stands for the number of iterations and the subscript stand for the position of element, e.g., is the th element of in the th iteration, and is the element in the th row and the th column of in the th iteration.
The SIRT algorithm for travel time based hydraulic tomography can be introduced with the following steps:
Step 1. Initialization and criteria. If prior information about diffusivity distribution is lacking, a homogeneous diffusivity distribution with an initial value () is suggested, with the assumption that all signals travel along straight lines through the domain of interest. Two criteria are feasible in this algorithm: either a fixed residual-dependent tolerance or a fixed number of iterations. The algorithm performance at different iteration numbers is the focus of this study, so the second criterion is chosen.
Step 2. Utilization of ray-tracing technique. Ray-tracing is a tool to determine the path of signal propagation. This process reconstructs based on .
Step 3. Residual () calculation with
Step 4a. Incremental correction. To approach the solution, an incremental correction is built into each iteration with:where the diagonal matrix , and is the number of nonzero values in the th column of ; the diagonal matrix , with representing the th row vector of and representing the Euclidean norm of . Both and are derived from depending on the iteration step . Hence, and are iteration-dependent.
Step 5. Iteration updates. The diffusivity vector is updated based on and incremental correction with:
The algorithm stops if reaches the iteration step set as a criterion in Step 1. Otherwise the calculation continues to the next iteration.
In our application, matrix is rebuilt every iteration with minimal influence on the algorithm convergence. Due to the specific iterative form in Equation (6), two drawbacks could cause inversion failure: (a) if there is a cell that is not traversed by any ray, then the th column of is a zero vector, , and would not be generated since the denominator of is zero; and (b) the result (diffusivity distribution) at one iteration step differs from the results at other iterations. In practice, the number of steps cannot be determined only by the residual convergence. Studies have shown that fewer iterations with a higher residual may possibly lead to better solutions and more iterations with a lower residual may lead to higher deviation . Thus, a reliable and feasible rule to determine the optimal number of iteration steps and the selection of the best reconstruction is needed.
In order to overcome these drawbacks, a Cimmino iterative method based SIRT algorithm (SIRT-Cimmino) is proposed (Figure 3) [45,46]. The Cimmino iterative method can modify the incremental correction to avoid the case of division by zero (Equation (8)). An iterative dependent relaxation parameter is introduced to adjust the convergence velocity and a result selection rule for SIRT-Cimmino is suggested. In Chapter 4.2, this rule is presented, and its feasibility will be proven with numerical tests. Step 4a in SIRT is modified by following Step 4b.
Step 4b. Incremental correction,where matrix , from which is the th row vector in , is the number of rows in , and is the relaxation parameter defined below,
The relaxation parameter in the iteration algorithm can be either a constant (iteration-independent) or a variable (iteration-dependent). In CT, X-rays traverse human tissue and organs along straight lines, which implies that is a fixed matrix and iteration-independent. Thus, Equation (4) becomes a linear problem and the iteration steps of SIRT-Cimmino converge to a solution of , if , where denotes the maximum singular value of . The Matrix is rebuilt in each iteration, and varies while the diffusivity field is regenerated by incremental correction. Therefore, it is reasonable to define an -dependent considering convergence. In 1987, Dos Santos  proposed the construction of in Equation (8), which minimized in each iteration, where is a solution of .
2.3. Ray-Tracing Technique
Ray-tracing is a method to describe the signal trajectory numerically and has three approaches: straight rays, ray bending, and network theory with minimum-time paths. In the first approach, every trajectory is approximated as a straight line. This approach is the fastest but is generally the least accurate, especially when the aquifer is heterogeneous. The ray bending approach adjusts ray paths by calculating local gradients. This method is fast and more accurate, but may lead to a ray path with a local minimum time instead of a global minimum time. Network theory is based on a fixed grid of nodes. Every node can link to other nodes nearby through straight line segments. The trajectory from one node to another node is approximated using the connection of these line segments. All possible connections between source and receiver are considered and the trajectory with the minimum travel time will be chosen. This method takes the longest calculation time but guarantees a global minimum time . Since it is more accurate, our experiments apply this theory to find the ray path of a hydraulic pressure signal.
Figure 4 and Figure 5 show a grid that was proposed by Moser . Figure 4 presents the distribution of nodes in one cell. Each cell has two nodes on every edge. Each node can only connect with other nodes that are in the same cell and are not on the same edge. As Figure 5 shows, the cells spanned by line segments form a network, so that a path from S to R can be approximated. The Dijkstra algorithm is widely used to find the shortest path in a network. By replacing distance with travel time, the Dijkstra algorithm can be used for our problem. Further information about this algorithm is available from Dijkstra  and Nakanishi and Yamaguchi . Note that the accuracy of the network theory is strongly dependent on the density of nodes in a single cell and the density of cells in a grid (the reconstruction resolution). Accuracy can be improved by increasing either of the two densities, however at the cost of a more time-consuming computation. Hence, a small travel time path may not even be uniquely determined. For example, assuming the investigation area in Figure 5 is homogeneous, and every line segment has equal weight, the orange path has the same travel time as the blue path. This problem would occur more often in heterogeneous cases, since each line segment could have a different weight.
2.4. Residual, Root-Mean-Square Error and Correlation Coefficient
The residual describes the difference between observed travel times and the approximated travel times from ray-tracing in each iteration, and is given by:where denotes the approximated travel time of the th signal in the th iteration, and denotes the observed travel times of the th signal (in our case forwardly calculated through the numerical model) [14,37].
In this work, the predefined “truth” and the estimated diffusivity distributions are studied in 2D. Therefore, two measurements for the comparison are introduced: Root Mean Square Error (RMSE) and correlation coefficient (C). RMSE estimates the difference between two distribution images on a “pixel-by-pixel” basis [52,53] and is defined by:where and denote the estimated and original diffusivity in the th cell, respectively.
C measures the degree of correlation between two distribution images and is given by:where the notation corresponds to Equation (11), andand denote the average of the estimated and original diffusivity in the entire research area, respectively.
In our case, the correlation coefficient describes the similarity between two distribution images , and ranges from −1 to 1. (C = 1 if the two images are completely identical, C = 0 if they are uncorrelated, and C = −1 if they are anti-correlated.)
3. Numerical Study
Two 2D axisymmetric numerical groundwater flow models (models A and B) are built using the finite element software COMSOL Multiphysics® to simulate a series of short-term pumping tests with transient flow conditions. Each model consists of three parts: the area of interest for parameter estimation (4 m × 2.8 m, blue zone in Figure 6), the homogeneous zone (10 m × 2.8 m, dark grey in Figure 6), and the homogeneous surrounding domain (24 m × 30 m, light grey in Figure 6).
The two models differ with respect to the parameter distribution within the area of interest. Model A is provided with an inclined high-diffusivity (high-D) band (Figure 7a), while model B has a lying Y-shaped high-diffusivity zone (Figure 7b). The remaining background low-diffusivity (low-D) zone is homogenous. Regarding the possible range of hydraulic parameters of the fluvio-sedimentary aquifer, the diffusivity value is set to 10 m2/s within the high-D area (green band in Figure 7) and 0.2 m2/s within the low-D zone (blue zone in Figure 7), based on earlier studies [14,54]. Therefore, the diffusivity contrast ratio is 50.
To eliminate the influence of boundary effects during the simulation, an infinite element domain with a scaling factor of 1000 was added to the right of the study zone with constant head (Figure 6, with only the first 30 m shown). In this domain, rational coordinate scaling was utilized to stretch the finite element domain where the dependent variables vary less with radial distance. The surrounding area was designated as a homogenous isotropic material, to maintain the continuity of diffusivity at the boundary of the area of interest. According to the measured value of hydraulic parameters in a fluvio-sedimentary aquifer by Hu , the hydraulic conductivity, specific storage and porosity were set as = 8 × 10−5 m/s, = 4 × 10−4 1/m, and 0.2 (−), respectively. The diffusivity was therefore set as 0.2 m2/s, since .
Each simulated pumping test had a pumping duration of ten minutes, and the head sampling interval was 0.02 s. The area of interest size and the pumping and observation positions are shown in Figure 7. Eight pumping and eight observation positions are represented by S1,…,S8 and R1,…,R8, respectively. The radius of the pumping well and observation well was 0.05 m. The initial head of the aquifer was set to 10 m. The pumping tests were simulated sequentially at each pumping position while the head changes are recorded at all eight observation points throughout each test. This resulted in 8 × 8 drawdown data sets. As an example, Figure 8a shows the head data recorded at the eight observation points when the pumping test was performed at S1. During each simulated pumping test, the constant head boundary was not reached.
The pressure signal travel time was derived by applying first order differentiation to the recorded drawdown curves. In Figure 8b, three types of travel time diagnostics are shown. Since our study focuses on the performance of the reconstruction algorithm, only was utilized for the inversion.
The inversion was implemented with programming language C#, and performed using a laptop computer with an Intel(R) Core(TM) i7 CPU Q840 under the Windows 7 operating system.
In our inversion process, in addition to the inversion algorithm (SIRT and SIRT-Cimmino), it is important to consider the resolution of the inversion result and the ray-tracing technique employed.
The resolution mainly depends on the number of signals used for the inversion. High inversion resolution with less non-uniqueness and uncertainty is the aim of this study. Three kinds of resolutions were considered in our experiments.
4.1. Result Selection Rule for SIRT
The number of iteration steps (NIS) is a key parameter for the reconstruction process. Therefore, a selection rule to determine an appropriate NIS must be defined and verified.
As NIS increases, the travel time residual in SIRT is reduced, and converges to a non-zero constant (Figure 9). Due to the difficulty of non-linearity, a standard NIS cannot be determined mathematically. Brauchler et al.  empirically utilized an NIS of 10, and Hu  utilized an NIS of 8.
For the inversion constraint, we first assume that the investigation domain is homogeneous, and every trajectory in this domain is a straight line. By using the above mentioned straight ray inversion approach as the first inversion step, a vector with uniform diffusivity value is obtained. This diffusivity value is set as the average value of the elements in the vector, i.e., the initial value of diffusivity for the heterogeneous domain in the following inversion steps. In our case, a range for diffusivity during the inversion calculation was set with lower and upper limits defined as 0.01 times and 100 times the initial diffusivity, respectively. In Model A, the initial diffusivity was set as 0.78 m2/s, the lower and upper limits were 0.0078 m2/s and 78 m2/s, respectively.
The inversion results at the 10th, 25th, and 100th steps are shown in Figure 10b–d. Each of these three distributions indicates the existence of a high-D zone connecting S5 and R3. Comparison with the predefined distribution (Figure 10a) shows that the diffusivity values in the high-D zones are lower than 10. Diffusivity in the high-D zone increased as NIS increased, but were still too low in the center after 100 iterations, despite convergence of the residual after 25 iteration steps. After 25 steps, the diffusivity near S5 and R3 increased so rapidly that it reached the upper limit (78.49 m2/s). This is in agreement with the findings by Brauchler et al. , who mentioned that a deviation may occur with a large NIS. Mathematically, the non-uniqueness is a possible explanation, and SIRT might converge to a wrong solution. After comparison between the inversion result at every iteration step (within 100 steps) and the “true” distribution in our case, the result at the 10th step was considered the best reconstruction, and therefore 10 was considered an appropriate value for NIS. Similarly, the optimal NIS for Model A and Model B (with different inversion resolutions) were determined (Table 1).
As shown in Table 1, the optimal NIS when using SIRT is dependent on the model and the model resolution. The influence of the travel time type (e.g., , and ) was not investigated in this work. Of course, in practice, when the prior information on hydraulic parameters within the investigated area is insufficient, it would be hard for the SIRT user to determine the optimal NIS to obtain the best result.
4.2. Result Selection Rule for SIRT-Cimmino
Figure 11a,b show the residuals after 50 iteration steps when using SIRT-Cimmino in Model A and Model B, respectively. Oscillations were found in both models and the convergence was not easily determined. Mathematically, this behavior is explained by the rebuilding of matrix at each iteration and the non-uniqueness of the solution. Rebuilding matrix disturbs the residual convergence and even leads to a separate solution.
As shown in Figure 9, the residual is stabilized after several steps, as the algorithm trends toward a solution. This means the residual value belongs to a single solution. The divergent behaviors in Figure 11a,b therefore indicate several solution approaches, which are represented by subsequences. For instance, the green subsequence in each Figure indicates a possible solution approach. In Figure 11b, the oscillation ends after 40 steps, with the following residuals indicating another solution.
The selection of a result for SIRT-Cimmino is proposed through the following steps:
- Calculating 50 steps of iteration (due to computational time);
- Selecting a convergent subsequence with a low residual if convergent subsequences exist;
- Choosing the step with the lowest residual in this convergent subsequence as the optimal NIS and the corresponding result as the SIRT-Cimmino reconstruction.
In Figure 11a,b, the steps marked with black diamonds were chosen as the optimal iteration steps.
4.3. Reconstruction comparison of SIRT and SIRT-Cimmino for Model A
Both algorithms used data for reconstruction of the diffusivity distribution, given again in Figure 12. Figure 13, Figure 14 and Figure 15 show the inversion results with resolutions of 8 × 6, 8 × 8, and 12 × 12 (using the same color scale). In each SIRT result (Figure 13a, Figure 14a and Figure 15a), the values in the high-D zones were nearly one. These values did not clearly distinguish the high-D zone from the background. In comparison, each SIRT-Cimmino result showed a clear high-D zone with better connectivity.
RMSE and the correlation coefficient were calculated and are listed in Table 2. The comparison showed that both algorithms have similar RMSE values. The SIRT-Cimmino had better performance with respect to the correlation coefficient. This means that the SIRT-Cimmino result delivers a higher similarity to the predefined distribution. In addition, the correlation coefficient increased as resolution increased, since the higher resolution improved the description of the high-D zone (the main structural feature). In other words, the correlation coefficient was extremely sensitive to this zone.
4.4. Reconstruction Comparison of SIRT and SIRT-Cimmino for Model B
Both algorithms used data for reconstruction of the diffusivity distribution given in Figure 16. Figure 17, Figure 18 and Figure 19 show the inversion results with resolutions of 8 × 6, 8 × 8, and 12 × 12 (using the same color scale), respectively. Comparison with the “true” diffusivity distribution (Figure 16) revealed that the lying Y-shaped high-D zone could be reconstructed. The reconstructions of SIRT were generally worse than the reconstructions from SIRT-Cimmino. This visual assessment coincided with the correlation coefficient calculation, since the correlation coefficient of SIRT-Cimmino was overall larger than that of SIRT, especially at the 12 × 12 resolution (Table 3).
The RMSE calculation did not show any advantage for SIRT-Cimmino in either Model A or Model B. There are two possible reasons. First, the discretization method assumes that the research area is divided into rectangles, which cannot approximate the inclined edge (shape) of the high-D zone perfectly. Second, the high values near R8 in SIRT-Cimmino influence the overall RMSE.
5. Summary and Discussion
In this study, a modified SIRT inversion algorithm with Cimmino iteration is developed for the reconstruction of hydraulic diffusivity distribution within a fluvial aquifer. Two models with different diffusivity distributions are designed to evaluate the performance of this SIRT-Cimmino algorithm. Inversion using a traditional SIRT algorithm is also implemented for comparison purposes.
A residual based result selection rule is proposed and applied to choose the optimal number of iteration steps for the SIRT-Cimmino algorithm. Visual comparison of the reconstructions reveals that the result from the SIRT-Cimmino algorithm reflects the hydraulic features of aquifer better than the conventional SIRT algorithm. This advantage is also proven by comparing the correlation coefficients.
Nevertheless, a deviation between the reconstructed and predefined (“true”) diffusivity distribution still exists. This problem is due to the mathematical background, which is necessary for our inversion strategy. The forward modeling employs the groundwater flow equation with parameters and , while the inversion strategy is based on an asymptotic approach, which is directly related to diffusivity (). Furthermore, we only developed the inversion method with respect to the mathematical algorithm, and did not focus on other inversion aspects, e.g., utilization of prior information, inversion constraints, and inversion strategies. To achieve more potential from this hydraulic travel time based inversion, we suggest the following further investigations:
- The overestimation of diffusivity occurs often in model cells near the source and receiver. The reason is the incremental correction built into every iteration step. The diffusivity in a cell is determined by the number of signals traveling through this cell. More signal trajectories in a cell lead to higher estimated diffusivity values, and the cells with a high signal trajectory density are always found at the joints of high diffusivity zones and wells. Depth orientated hydraulic tests (e.g., slug tests) are suggested for parameter estimation in the direct vicinity of the well to provide prior information and inversion constraints. This information could help delimit the inversion values.
- Uniform grid setting within the study area affects the accuracy of the ray tracing approximation. Due to the non-uniqueness of the propagation path and the computational burden, the grid is not set to be very fine. An alternative is the adaptive mesh refinement method. With this method, the grid could be refined at the positions where the cells with a higher diffusivity gradient are detected. This method could not only reduce the computational burden but also improve the accuracy of the calculation.
- Equal weight for all signals is utilized through the inversion in this study. In reality, an appropriate data subset could deliver better inversion result rather than the whole data set. For example, the inversion results from Hu et al.  have shown that pressure signals with a limited source–receiver angle could image horizontal features of the aquifer better. With the help of an appropriate weighting rule, more spatial features could be discovered.
- Different types of travel time have different favorites on parameter characterization. Based on the Fermat principle, earlier arrival data reflect the path(s) of higher diffusivity. Hence, inversion results based on early travel times (e.g., or in Figure 1) could better reconstruct the connectivity of a high diffusivity zone. The late travel times (e.g., ) reflect more integral information of the entire aquifer, so a combination of different kinds of travel times could provide further characterization of aquifer properties.
In future work, we will focus on conditioning the inversion calculation by utilizing prior information, and by introducing earlier signals of travel times to the inversion process.
Computer Code Availability
The computer code in this work with the name “SIRT-Variants” was developed by Pengxiang Qiu (University of Goettingen, Geoscience Centre, Applied Geology, Goldschmidt Str. 3, 37077, Goettingen, Germany; Telephone number: +49(0)551 39 9267; Email: [email protected]) and Rui Hu (Hohai University, School of Earth Science and Engineering, Focheng Xi Road 8, 211100, Nanjing, China; Telephone number: +86(0)25 83787174; Email: [email protected]). This code is programmed with the language C# (program size < 512KB) and was first available in the year 2018. It functions on a normal computer with standard hardware and the Microsoft Windows operating system. Visual Studio 2013 is required as pre-installed software. This code can be accessed via GitHub through the following link: https://github.com/wichniarek/SIRT-Variants.git.
P.Q. developed the algorithm and wrote the manuscript; R.H. developed the algorithm and wrote the manuscript as a supervisor; L.H. provided necessary modifications to the algorithm and the manuscript; Q.L. designed the numerical modeling; Y.X. performed the inversion work; H.Y. performed the data processing and numerical modeling; J.Q. performed the inversion validation work; T.P. supervised the whole work and provided necessary solutions for various problems.
This work was supported by the Ministry of Education of the People’s Republic of China (Project Code 20165037412) and by “the Fundamental Research Funds for the Central Universities” (Project Code 2015B29314). It was also supported by the Jiangsu Provincial Department of Education (Project Code 2016B1203503).
The first author would like to acknowledge the financial support from the China Scholarship Council (CSC). We also acknowledge the support by the German Research Foundation and the Open Access Publication Funds of the Göttingen University.
Conflicts of Interest
The authors declare no conflict of interest.
- Scudder, H.J. Introduction to Computer Aided Tomography. Proc. IEEE 1978, 66, 628–637. [Google Scholar] [CrossRef]
- Nolet, G. A Breviary of Seismic Tomography; Cambridge University Press: Cambridge, UK, 2008. [Google Scholar]
- Tarantola, A. Inverse Problem Theory; Society of Industrial and Applied Mathematics: Philadelphia, PA, USA, 2005. [Google Scholar]
- Kaczmarz, S. Angenäherte Auflösung von Systemen linearer Gleichungen. Bull. Int. Acad. Pol. Sci. Lett. Cl. Sci. Math. Nat. 1937, 35, 355–357. [Google Scholar]
- Gilbert, P. Iterative Methods for the Three-Dimensional Reconstruction of An Object from Projections. J. Theor. Biol. 1972, 36, 105–117. [Google Scholar] [CrossRef]
- Gordon, R.; Bender, R.; Herman, G.T. Algebraic Reconstruction Techniques (ART) for Three-Dimensional Electron Microscopy and X-Ray Photography. J. Theor. Biol. 1970, 29, 471–481. [Google Scholar] [CrossRef]
- Qiao, L.; Li, L.; Chen, Z. Accelerated SIRT algorithm based on multigrid. CT Theory Appl. 2013, 22, 25–31. [Google Scholar]
- Berg, S.J.; Illman, W.A. Three-dimensional transient hydraulic tomography in a highly heterogeneous glaciofluvial aquifer-aquitard system. Water Resour. Res. 2011, 47. [Google Scholar] [CrossRef][Green Version]
- Berg, S.J.; Illman, W.A. Comparison of hydraulic tomography with traditional methods at a highly heterogeneous site. Ground Water 2015, 53, 71–89. [Google Scholar] [CrossRef] [PubMed]
- Brauchler, R.; Böhm, G.; Leven, C.; Dietrich, P.; Sauter, M. A laboratory study of tracer tomography. Hydrogeol. J. 2013, 21, 1265–1274. [Google Scholar] [CrossRef]
- Cardiff, M.; Barrash, W. 3-D transient hydraulic tomography in unconfined aquifers with fast drainage response. Water Resour. Res. 2011, 47. [Google Scholar] [CrossRef][Green Version]
- Hao, Y.; Yeh, T.C.; Han, B.; Xiang, J.; Zhu, F.; Ni, C. Imaging fracture connectivity hydraulic tomography. Hydrogeol. Eng. Geol. 2008, 6, 6–11. [Google Scholar]
- Hochstetler, D.L.; Barrash, W.; Leven, C.; Cardiff, M.; Chidichimo, F.; Kitanidis, P.K. Hydraulic Tomography: Continuity and Discontinuity of High-K and Low-K Zones. Ground Water 2016, 54, 171–185. [Google Scholar] [CrossRef] [PubMed]
- Hu, R.; Brauchler, R.; Herold, M.; Bayer, P. Hydraulic tomography analog outcrop study: Combining travel time and steady shape inversion. J. Hydrol. 2011, 409, 350–362. [Google Scholar] [CrossRef]
- Illman, W.A. Hydraulic Tomography Offers Improved Imaging of Heterogeneity in Fractured Rocks. Groundwater 2014, 52, 659–684. [Google Scholar] [CrossRef] [PubMed]
- Illman, W.A. Lessons Learned from Hydraulic and Pneumatic Tomography in Fractured Rocks. Procedia Environ. Sci. 2015, 25, 127–134. [Google Scholar] [CrossRef][Green Version]
- Illman, W.A.; Craig, A.J.; Liu, X. Practical issues in imaging hydraulic conductivity through hydraulic tomography. Ground Water 2008, 46, 120–132. [Google Scholar] [CrossRef] [PubMed]
- Illman, W.A.; Liu, X.; Craig, A. Steady-state hydraulic tomography in a laboratory aquifer with deterministic heterogeneity: Multi-method and multiscale validation of hydraulic conductivity tomograms. J. Hydrol. 2007, 341, 222–234. [Google Scholar] [CrossRef]
- Illman, W.A.; Liu, X.; Takeuchi, S.; Yeh, T.-C.J.; Ando, K.; Saegusa, H. Hydraulic tomography in fractured granite: Mizunami Underground Research site, Japan. Water Resour. Res. 2009, 45. [Google Scholar] [CrossRef][Green Version]
- Liu, X.; Illman, W.A.; Craig, A.J.; Zhu, J.; Yeh, T.C.J. Laboratory sandbox validation of transient hydraulic tomography. Water Resour. Res. 2007, 43. [Google Scholar] [CrossRef][Green Version]
- Sanchez-Leon, E.; Leven, C.; Haslauer, C.P.; Cirpka, O.A. Combining 3D Hydraulic Tomography with Tracer Tests for Improved Transport Characterization. Ground Water 2016, 54, 498–507. [Google Scholar] [CrossRef]
- Sun, R.; Yeh, T.-C.J.; Mao, D.; Jin, M.; Lu, W.; Hao, Y. A temporal sampling strategy for hydraulic tomography analysis. Water Resour. Res. 2013, 49, 3881–3896. [Google Scholar] [CrossRef][Green Version]
- Xiang, J.; Yeh, T.-C.J.; Lee, C.-H.; Hsu, K.-C.; Wen, J.-C. A simultaneous successive linear estimator and a guide for hydraulic tomography analysis. Water Resour. Res. 2009, 45. [Google Scholar] [CrossRef][Green Version]
- Yeh, T.C.; Mao, D.; Zha, Y.; Hsu, K.C.; Lee, C.H.; Wen, J.C.; Lu, W.; Yang, J. Why hydraulic tomography works? Ground Water 2014, 52, 168–172. [Google Scholar] [CrossRef] [PubMed]
- Yeh, T.C.J.; Liu, S. Hydraulic tomography: Development of a new aquifer test method. Water Resour. Res. 2000, 36, 2095–2105. [Google Scholar] [CrossRef][Green Version]
- Zha, Y.; Yeh, T.C.J.; Illman, W.A.; Zeng, W.; Zhang, Y.; Sun, F.; Shi, L. A Reduced-Order Successive Linear Estimator for Geostatistical Inversion and its Application in Hydraulic Tomography. Water Resour. Res. 2018, 54, 1616–1632. [Google Scholar] [CrossRef]
- Zha, Y.; Yeh, T.-C.J.; Illman, W.A.; Onoe, H.; Mok, C.M.W.; Wen, J.-C.; Huang, S.-Y.; Wang, W. Incorporating geologic information into hydraulic tomography: A general framework based on geostatistical approach. Water Resour. Res. 2017, 53, 2850–2876. [Google Scholar] [CrossRef][Green Version]
- Zhu, J.; Yeh, T.-C.J. Characterization of aquifer heterogeneity using transient hydraulic tomography. Water Resour. Res. 2005, 41. [Google Scholar] [CrossRef][Green Version]
- Hu, L.; Bayer, P.; Alt-Epping, P.; Tatomir, A.; Sauter, M.; Brauchler, R. Time-lapse pressure tomography for characterizing CO2 plume evolution in a deep saline aquifer. Int. J. Greenh. Gas Control 2015, 39, 91–106. [Google Scholar] [CrossRef]
- Hu, R.; Zhao, W.; Brauchler, R. An Aquifer Analogue Study of High Resolution Aquifer Characterization Based on Hydraulic Tomography. In Proceedings of the Geoshanghai 2010 International Conference, Shanghai, China, 3–5 June 2010. [Google Scholar]
- Fienen, M.N.; Clemo, T.; Kitanidis, P.K. An interactive Bayesian geostatistical inverse protocol for hydraulic tomography. Water Resour. Res. 2008, 44. [Google Scholar] [CrossRef][Green Version]
- Lee, J.; Kitanidis, P.K. Large-scale hydraulic tomography and joint inversion of head and tracer data using the Principal Component Geostatistical Approach (PCGA). Water Resour. Res. 2014, 50, 5410–5427. [Google Scholar] [CrossRef][Green Version]
- Liu, X.; Kitanidis, P.K. Large-scale inverse modeling with an application in hydraulic tomography. Water Resour. Res. 2011, 47. [Google Scholar] [CrossRef][Green Version]
- Hu, R.; Liu, Q.; Xing, Y. Case Study of Heat Transfer during Artificial Ground Freezing with Groundwater Flow. Water 2018, 10, 1322. [Google Scholar] [CrossRef]
- Brauchler, R.; Doetsch, J.; Dietrich, P.; Sauter, M. Derivation of site-specific relationships between hydraulic parameters and p-wave velocities based on hydraulic and seismic tomography. Water Resour. Res. 2012, 48. [Google Scholar] [CrossRef]
- Brauchler, R.; Hu, R.; Dietrich, P.; Sauter, M. A field assessment of high-resolution aquifer characterization based on hydraulic travel time and hydraulic attenuation tomography. Water Resour. Res. 2011, 47. [Google Scholar] [CrossRef][Green Version]
- Brauchler, R.; Liedl, R.; Dietrich, P. A travel time based hydraulic tomographic approach. Water Resour. Res. 2003, 39. [Google Scholar] [CrossRef][Green Version]
- Hu, R. Hydraulic Tomography: A New Approach Coupling Hydraulic Travel Time, Attenuation and Steady Shape Inversions for High-Spatial Resolution Aquifer Characterization. Ph.D. Thesis, University of Goettingen, Goettingen, Germany, 2011. [Google Scholar]
- He, Z.; Datta-Gupta, A.; Vasco, D.W. Rapid inverse modeling of pressure interference tests using trajectory-based traveltime and amplitude sensitivities. Water Resour. Res. 2006, 42. [Google Scholar] [CrossRef][Green Version]
- Schöniger, A.; Nowak, W.; Hendricks Franssen, H.J. Parameter estimation by ensemble Kalman filters with transformed data: Approach and application to hydraulic tomography. Water Resour. Res. 2012, 48. [Google Scholar] [CrossRef][Green Version]
- Vasco, D.W.; Keers, H.; Karasaki, K. Estimation of reservoir properties using transient pressure data: An asymptotic approach. Water Resour. Res. 2000, 36, 3447–3465. [Google Scholar] [CrossRef][Green Version]
- Lo, T.-W.; Inderwiesen, P.L. Fundamentals of Seismic Tomography. In Geophysical Monograph Series; Society of Exploration Geophysicists: Tulsa, OK, USA, 1994. [Google Scholar]
- Kulkarni, K.N.; Datta-Gupta, A.; Vasco, D.W. A Streamline Approach for Integrating Transient Pressure Data into High-Resolution Reservoir Models. In Proceedings of the 2000 SPE European Petroleum Conference, Dallas, TX, USA, 1–4 October 2000. [Google Scholar]
- Moser, T.J. Shortest Path Calculation of Seismic Rays. Geophysics 1991, 56, 59–67. [Google Scholar] [CrossRef]
- Elble, J.M.; Sahinidis, N.V.; Vouzis, P. GPU computing with Kaczmarz’s and other iterative algorithms for linear systems. Parallel Comput. 2010, 36, 215–231. [Google Scholar] [CrossRef][Green Version]
- Cimmino, G. Calcolo approssimato per le soluzioni dei sistemi di equazioni lineari. La Ricerca Scientifica XVI 1938, 9, 326–333. [Google Scholar]
- Elfving, T.; Nikazad, T.; Hansen, P.C. Semi-Convergence and Relaxation Parameters for A Class of SIRT Algorithms. Electron. Trans. Numer. Anal. 2010, 37, 321–336. [Google Scholar]
- Santos, L.T.D. A parallel subgradient projections method for the convex feasibility problem. J. Comput. Appl. Math. 1987, 18, 307–320. [Google Scholar] [CrossRef][Green Version]
- Jackson, M.J.; Tweeton, D.R. 3DTOM: Three-Dimensional Geophysical Tomography, Report of Investigations 9617; United States Department of the Interior: Washington, DC, USA, 1996.
- Dijkstra, E.W. A Note on Two Prblems in Connexion with Graphys. Numer. Math. 1959, 1, 269–271. [Google Scholar] [CrossRef]
- Nakanishi, I.; Yamaguchi, K. A numerical experiment on nonlinear image reconstruction from first-arrival times for two-dimensional island arc structure. J. Phys. Earth 1986, 34, 195–201. [Google Scholar] [CrossRef]
- Chai, T.; Draxler, R.R. Root mean square error (RMSE) or mean absolute error (MAE)? – Arguments against avoiding RMSE in the literature. Geosci. Model Dev. 2014, 7, 1247–1250. [Google Scholar] [CrossRef][Green Version]
- Wang, Z.; Bovik, A.C.; Sheikh, H.R.; Simoncelli, E.P. Image Quality Assessment: From Error Visibility to Structural Similarity. IEEE Trans. Image Process. 2004, 13, 600–612. [Google Scholar] [CrossRef][Green Version]
- Bayer, P.; Finkel, M. Evolutionary algorithms for the optimization of advective control of contaminated aquifer zones. Water Resour. Res. 2004, 40. [Google Scholar] [CrossRef][Green Version]
Figure 2. Signal travels through a discrete area.
Figure 3. Flowchart of SIRT (Simultaneous Iterative Reconstruction Technique) and SIRT-Cimmino algorithms.
Figure 4. Node distribution in a cell.
Figure 5. Two possible paths (orange and blue) from S to R in a network.
Figure 6. The geometry of the 2D axisymmetric model.
Figure 7. Predefined diffusivity distribution (a) Model A, and (b) Model B.
Figure 8. (a) Head drawdown recorded at R1–R8 while pumping at S1, (b) first derivative of drawdown recorded at R3, and the correspondent while pumping at S1.
Figure 9. Residual for 100 iteration steps by using SIRT under 8 x 8 resolution in different models, (a) Model A, and (b) Model B.
Figure 10. Diffusivity (m2/s) tomograms based on the inversion of and SIRT under 8 × 8 resolution with different numbers of iterations. (a) Predefined diffusivity (“truth”) distribution; and (b–d) inversion results after 10, 25, and 100 iterations, respectively.
Figure 11. Residual of travel time for 50 iteration steps by using and SIRT-Cimmino under 8 × 8 resolution in (a) Model A and (b) Model B.
Figure 12. Predefined diffusivity (“truth”) (m2/s) distribution of Model A.
Figure 13. Algorithm result comparison for Model A under 8 × 6 resolution of the (a) SIRT result and (b) SIRT-Cimmino result, shown in diffusivity (m2/s).
Figure 14. Algorithm result comparison for Model A under 8 × 8 resolution of the (a) SIRT result and (b) SIRT-Cimmino result, shown in diffusivity (m2/s).
Figure 15. Algorithm result comparison for Model A under 12 × 12 resolution of the (a) SIRT result and (b) SIRT-Cimmino result, shown in diffusivity (m2/s).
Figure 16. Predefined diffusivity distribution (m2/s) of Model B.
Figure 17. Algorithm result comparison for Model B under 8 × 6 resolution of the (a) SIRT result and (b) SIRT-Cimmino result, shown in diffusivity (m2/s).
Figure 18. Algorithm result comparison for Model B under 8 × 8 resolution of the (a) SIRT result and (b) SIRT-Cimmino result, shown in diffusivity (m2/s).
Figure 19. Algorithm result comparison for Model B under 12 × 12 resolution of the (a) SIRT result and (b) SIRT-Cimmino result, shown in diffusivity (m2/s).
Table 1. Optimal number of iteration steps for using SIRT under three different model resolutions.
|8 × 6||8 × 8||12 × 12|
|Model A ()||11||10||5|
|Model B ()||5||5||3|
Table 2. RMSE (Root Mean Square Errors) and correlation coefficient of Model A inversion using SIRT and SIRT-Cimmino.
|8 × 6||8 × 8||12 × 12||8 × 6||8 × 8||12 × 12|
Table 3. RMSE and correlation coefficient of Model B inversion using SIRT and SIRT-Cimmino.
|8 × 6||8 × 8||12 × 12||8 × 6||8 × 8||12 × 12|
© 2019 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).