This application claims the priority benefit of China application serial no. 202210888762.4, filed on Jul. 27, 2022. The entirety of the above-mentioned patent application is hereby incorporated by reference herein and made a part of this specification.
The disclosure belongs to the technical field of geophysical methods, and more particularly, relates to a parallel inversion method and system for ground-based transient electromagnetic (TEM) method.
Electrical conductivity/resistivity is one of the physical properties inside the earth.
Obtaining the distribution information of subsurface resistivity can provide crucial support for solving geoscience and engineering problems. TEM, as the main branch of geophysical electromagnetic methods, is an important approach to obtain the subsurface resistivity distribution. TEM has the advantages of wide frequency band, strong anti-interference ability and flexible detection device, and has been commonly adopted in the fields of mineral, environmental engineering, and geological disaster monitoring. Therefore, accurate and reliable inversion of subsurface resistivity from TEM data is considered extremely important.
At present, apparent resistivity imaging and one-dimensional inversion method are widely adopted for TEM data interpretation. The former method may be used for qualitative interpretation, but the definition of apparent resistivity is vague and imprecise, and this method is only suitable for some areas with simple geological conditions. When the underground structure can be approximated by a layered model, the one-dimensional method can be applied to recover the layered conductivity. This method is commonly adopted in TEM data interpretation, but the pseudo-2D profile constructed from 1D inversion results often have abrupt changes in resistivity that make geological interpretation becomes challenging. By introducing lateral constraints and spatial constraints into one-dimensional inversion, the spatial continuity of one-dimensional inversion results can be enhanced to a certain extent. However, in complex geological conditions, the apparent resistivity imaging method and one-dimensional inversion cannot recover accurate subsurface structures.
Three-dimensional inversion is an effective method for accurate interpretation of TEM data. Forward modeling is the basis of inversion, the integral equation method and finite difference method are commonly applied to electromagnetic 3D forward modeling. Different methods have different advantages and disadvantages. The finite difference method is simple in principle and easy to implement, but it is difficult for this method to make accurate discretization of complex geometric structures, which is an insurmountable shortcoming. The modeling accuracy of the integral equation method depends largely on the condition of the coefficient matrix and the solution of the dyadic Green's function. The finite difference method uses the regular mesh to discretize the subsurface and it is challenging to approximate complex geological structures using this method. The finite element method is able to simulate complex terrain, geological bodies, and excitation electromagnetic sources of any shape by using flexible unstructured grid, and this method has very high calculation accuracy and is most suitable for fine detection, but the calculation efficiency still needs to be improved.
There are also a few study reports on the integral equation method, finite difference method, finite volume method and TEM 3D inversion based on regular grids. However, when the regular grid is adopted to discretize the model, it is difficult to take into account the influence of complex geological structures (such as terrain). In the meantime, the computational requirements for the TEM 3D inversion method are high, which limits the practical application of 3D inversion of TEM data to a large extent.
In brief, in order to achieve accurate interpretation of TEM data, it is necessary to solve the topography influence and computational efficiency of 3D TEM forward modeling and inversion, so as to make fine TEM detection possible.
In view of the defects of the related art, the purpose of the present disclosure is to provide a parallel inversion method and system for ground-based transient electromagnetic (TEM) method, aiming to solve the problem that there is a lack of consideration on terrain influence and calculation efficiency in the existing TEM three-dimensional forward and inversion modeling.
In order to achieve the above purpose, on the one hand, the present disclosure provides a parallel inversion method for ground TEM method, including the following steps:
More preferably, the method for obtaining theoretically observed TEM response data includes the following steps:
Applying the curl operator to the quasi-static time-domain Maxwell's equation, and obtaining the finite-element equations using the first order edge-based finite element method with unstructured tetrahedral discretization; using the element edges to simulate the TEM emission source by enforcing the wire or loops coincident with the element edges;
Discretizing the time derivatives in the finite element analysis equation by the second-order backward Euler method, and obtaining the time derivative of the electric field with non-uniform step size at each time moment using the Taylor series expansion, and re-arranging the equations for finite element analysis;
Using Dirichlet boundary conditions by assuming that the electric field vanishes on the boundary of the modeling domain, setting the zero initial condition for the electric field, and expanding the modeling domain, and refining the grid in the preset region of the measurement point and the emission source, and gradually increasing the size of the grid in other regions, completing the setting of boundary conditions and initial conditions, as well as the setting of the grid;
Based on the setting of boundary conditions and initial conditions and the setting of grid, using the direct solver to solve the finite element equation, and calculating the electric field at all time moments;
Calculating the theoretically observed TEM response data based on the electric field and a sparse interpolation matrix.
More preferably, the regularized objective function is:
In the equation, φd is a data fitting term; φm is a model stabilizer term; λ is a regularization parameter; m is the model parameter; m=log(σ); σ is the conductivity; Wd=diag (1/(dobs+ε); F(m) represents a forward response of the model parameter m, dobs is the observed TEM response at the measurement point, Wm is a model roughness matrix, mref is a reference model with a prior information; x is a random vector; J is the sensitivity of the observed TEM response with respect to the model parameters; L2 is a 2-norm; ε is a smaller preset value.
More preferably, Sn=∂En/∂m.
In the equation, Sn is the sensitivity of the electric field along all element edges with respect to the model parameters at the n-th time step; the size of Sn is Ned×Nm, where Ned is the number of element edges; Nm is the number of model parameters;
J
n
=QS
n
In the equation, Q is a sparse interpolation matrix with size Nd×Ned; Jn is the sensitivity of the observed TEM response at the n-th time step with respect to the model parameters; Na is the number of data; the number of data is the product of the number of time channels corresponding to the instrument used to measure the measurement point data and the number of measurement points.
More preferably, mk=mk−1+δmk.
In the equation, mk is the model parameter of the k-th inversion model; mk-1 is the model parameter of the k-1-th inversion model; δmk is the model update direction; l is the optimal model update step length.
On the other hand, the present disclosure provides a parallel inversion system for the ground-based TEM method, characteristic of that the system includes:
More preferably, the theoretical model 3D TEM forward modeling unit includes:
More preferably, the regularized objective function is:
In the equation, φd is a data fitting term; φm is a model stabilizer term; λ is a regularization parameter; m is an inversion model parameter; m=log(σ); σ is a conductivity; Wd=diag (1/(dobs+ε)); F(m) represents a forward response of the initial inversion model parameter m, dobs is the observed TEM response data at the measurement point, Wm is a model roughness matrix, mref is a reference model parameter with prior information; x is random vector; J is the sensitivity of the observed TEM response data to the model parameters; L2 is a 2-norm; ε is a smaller preset value.
More preferably, the sensitivity of the electric field relative to the model parameters along all element edges is:
S
n
=∂En/∂m;
In the equation, Sn is the sensitivity of the electric field along all element edges with respect to the model parameters at the n-th time step; the size of Sn is Ned×Nm, where Ned is the number of element edges; Nm is the number of model parameters;
J
n
=QS
n;
In the equation, Q is a sparse interpolation matrix with size Nd×Ned; Jn is the sensitivity of the observed TEM data at the n-th time step to the model parameters; Nd is the number of data; the number of data is the product of the number of time channels corresponding to the instrument used to measure the measurement point data and the number of measurement points.
More preferably, the model parameters of the k-th inversion model are:
m
k
=m
k-1
+lδm
k
In the equation, mk is the model parameter of the k-th inversion model; mk-1 is the model parameter of the k-1-th inversion model; δmk is the model update direction; l is the model update step length.
In general, compared with the related art, the above technical solutions conceived by the present disclosure have the following advantageous effects:
The disclosure provides a parallel inversion method for ground-based TEM method.
When acquiring the observed TEM response data, the curl on both sides of the quasi-static Maxwell equation system in the time domain is taken, and the first-order vector finite element method based on the unstructured tetrahedral grid is adopted to obtain the finite element analysis equation; Dirichlet boundary conditions are adopted to assume that the electric field vanishes on the boundary of the modeling region, and the initial condition of the electric field is set to zero, and the modeling region of the theoretical model is expanded. The grid is refined in the preset region of the measurement points and the emission sources, and the size of the grid is gradually increased in other regions, and the setting of boundary conditions and initial conditions as well as the setting of the grid are completed. In this manner, the TEM response of complex geological structures may be accurately simulated.
The disclosure adopts the adaptive time step technology in the forward modeling process, adopts the second-order backward Euler method to discretize the time in the finite element analysis, and adopts the adaptive time stepping method. After calculating the step size for a certain number of times with the time step Δtn-1, it is attempted to increase the step size to kn times Δtn-1. Moreover, through the Taylor series expansion, the time derivative of the electric field with non-uniform step size at various moments is obtained, and the finite element analysis equation is deformed. The present disclosure also takes into consideration that the iterative method is limited by the condition number of the equation, non-convergence may occur. After the boundary conditions and initial conditions are determined in the present disclosure, the electric field En at a certain moment may be obtained by solving the deformed finite element analysis equation by an iterative method or a direct method. During the solution process of the direct solver, when the time step is the same, and the stiffness matrix remains unchanged, the results of the matrix decomposition of finite element coefficient matrix An can be reused. Since the matrix decomposition of An for each Δtn has been stored, it is only necessary to perform the solution phase of the direct solver with backward substitution. During the inversion process, when the present disclosure uses the implicit method of backward time stepping to solve the matrix-vector multiplication between the sensitivity matrix and the vector, the matrix decomposition result of An is reused in the inversion process, and MPI and OpenMP are combined for parallel computing. To sum up, the present disclosure considerably improves the efficiency of the forward and inversion modeling methods.
Combined with the sensitivity of the observed TEM response data to the model parameters, the present disclosure uses the Gauss-Newton method with a quasi-quadratic convergence rate to convert the objective function into a least squares problem, has a quasi-quadratic convergence rate, obtains the model update direction, and uses line search to obtain the optimal model update step length, and therefore the method of the disclosure has good stability.
The disclosure calculates the product of the sensitivity matrix and the vector of the observed TEM response data to the model parameters by using the method provided with forward modeling, thus considerably reducing the large amount of calculation and memory requirements required for directly calculating the sensitivity matrix. Therefore, the inversion scheme formed by the present disclosure may efficiently solve the TEM three-dimensional inversion problem under complex geological conditions.
In order to make the purpose, technical solutions and advantages of the present disclosure clearer, the present disclosure will be further described in detail below with reference to the accompanying drawings and embodiments. It should be understood that the specific embodiments described herein are only used to explain the present disclosure, but not to limit the present disclosure. As shown in
S1: Acquiring observed TEM response data for inversion; collecting the observed TEM response data in actual measurement and using a theoretical model to obtain theoretically observed TEM response data through three-dimensional TEM forward modeling; it should be noted that the theoretical model herein refers to all existing simulation models capable of obtaining theoretically observed TEM data.
In the present disclosure, the TEM three-dimensional forward modeling adopts the vector finite element method of unstructured tetrahedral grid; and the method is specifically described as follows:
Starting from the quasi-static Maxwell equation in the time domain, by ignoring the displacement current term, it is possible to obtain the following:
∇×H=Je+Js; (1)
∇×E=−μ∂H/∂t; (2)
In the equation, H is a magnetic field strength; E is an electric field strength; p is a magnetic susceptibility; Je is a conduction current density; and Js is an external excitation field source current density.
In order to reduce the amount of calculation, by taking curl operator on both sides of Maxwell equation and eliminating the magnetic field term, the following diffusion equation may be obtained:
∇×∇×E+μσ∂Je(t)/∂t=−ρ∂Js(t)/∂t (3)
In the equation, σ is the conductivity.
In order to solve the equation (3), the present disclosure adopts the first-order vector finite element method based on the unstructured tetrahedral grid to obtain the finite element analysis equation:
KE(t)+μMσ∂E(t)/∂t=−μM∂Js(t)/∂t (4)
In the equation, K is a curl-curl operator, Mσ and M are stiffness matrices, respectively defined as:
K
ij=∫Ωe(∇×Ni)·(∇×Ni)dv (5)
M
ij=∫ΩeNi·Njdv (6)
M
σ
ij=∫ΩeNi·({circumflex over (σ)}Nj)dv (7)
In the equation, Ni and Nj are the basis functions of the domain Ωe of each computational unit; Kij is the discrete form of the curl-curl operator; Mij and Mσij are the associated mass matrices; dv is the computational unit volume; Ωe is the computational unit domain. The inner product in equations (5) and (6) is calculated in analytical form, and equation (7) is calculated by using the Gaussian product of 11 sampling points. In equation (4), it is crucial to load the source term on the right (−μM∂Js (t)/∂t). In the present disclosure, the edge of the grid unit is configured to discretize the TEM emission source, so that the wire or coil coincides with the edge of the grid unit, and the emission source is decomposed into a series of electrical dipole. The source term on the right side of equation (4) only contains the value on the edge of the TEM emission source, and its value is related to the edge length and waveform.
The disclosure adopts the second-order backward Euler method to discretize the time in the finite element analysis equation. In order to reduce the number of time steps required for simulation, the adaptive time stepping method is adopted. When the time step Δtn-1 is adopted to calculate a certain number of steps, it is attempted to increase the step size to kn times Δtn-1.
Δtn=knΔtn-1 (8)
Through the Taylor series expansion, the time derivative of the electric field with a non-uniform step size at time tn may be expressed as:
∂En/∂t≈((2kn+1)En−(kn+1)2En-1+kn2En-2)/((kn+1)Δtn) (9)
By substituting equation (9) into equation (4), it is possible to obtain the following:
Equation (10) may be organized into the following form:
A
n
E
n
=b
n (11)
In the equation, An finite element coefficient matrix is
bn is
Solving equation (11) requires appropriate boundary conditions to specify the electromagnetic field on the boundary of the modelling domain to obtain a unique solution. The present disclosure adopts the Dirichlet boundary condition to assume that the electric field vanishes on the boundary of the modeling domain of the theoretical model:
E(t)Ω=0 (12)
In the equation, Ω is the modeling domain boundary.
The modelling region is expanded to a boundary of several kilometers to hundreds of kilometers to match the use of Dirichlet boundary conditions. The range of the boundary depends on the size of the emitter electrode distance, the maximum time of the simulation required, and the model medium distribution. However, the grids are refined near the measurement points and emission sources to accurately simulate terrain and complex three-dimensional geological bodies and ensure calculation accuracy. By gradually increasing the size of the grids outside the core region, it is possible to reduce the number of grids and improve efficiency. By comparing with the analytical solution for the homogeneous half-space, it possible to determine whether the boundary range is appropriate.
Solving equation (11) also requires suitable initial conditions. The present disclosure adopts the initial condition of zero electric field, and realizes the loading of the emission source by substituting the discrete emission current density Js into equation (11), so that it is possible to simulate any emission waveforms.
After the boundary conditions and initial conditions are determined, the electric field En at a certain moment may be obtained by solving equation (11) through the iterative method or the direct method. Considering that the iterative method is strongly affected by the condition number of the system of equations, the situation of non-convergence might occur. In the present disclosure, a cluster parallel version of the Intel MKL PARDISO direct solver is adopted to solve equation (11). When the time step is the same, the stiffness matrix remains unchanged, and the results of the matrix decomposition of finite element matrix An may be reused. Since the matrix decomposition of An for each Δtn has been stored, it is only necessary to perform the back-substitution solution phase of the direct solver.
Furthermore, matrix-vector multiplication between the sensitivity matrix (or its transpose) and the vector involves forward and backward time stepping; direct solvers are still required to solve similar systems of equations in these processes.
Once the electric field is obtained by solving equation (11), the observed TEM data (∂H/∂t) at the measurement point may be obtained by the following interpolation matrix:
d
obs
=QE (13)
In the equation, Q is a sparse interpolation matrix with size Nd×Ned; Ndand Ned represent the number of data and the number of grid edges; dobs is ∂H/∂t; E is the electric field; the number of data is the product of the number of time channels corresponding to the instrument used to measure the data of the measurement points and the number of measurement points.
S2: Dividing the inversion domain by using unstructured tetrahedral grids; the inversion domain is an underground space corresponding to a measurement point and its nearby preset extension range.
The disclosure adopts the unstructured tetrahedral grid method to discretize the inversion domain, and by using the unstructured grid, the local refinement of key regions (such as the emission source and the measurement point) may be easily realized. The local refinement near the emission source makes the implementation of the full-field method easier, and the refinement around the measurement point makes it possible to obtain very accurate simulation results.
S3: Setting a conductivity value in the unstructured tetrahedral grid obtained in S2, constructing an initial inversion model.
In the 3D inversion, the selection of the initial inversion model will affect the inversion result and the convergence speed. If the selected initial inversion model is considerably different from the true model, the TEM inversion may not converge and could provide inaccurate inversion results. Therefore, constructing a suitable initial inversion model is of great significance to obtain high-quality inversion results. In general, a simple initial inversion model may be established with reference to the existing drilling, geological and geophysical a prior information. However, when there is a lack of a prior information of a region where the geological conditions are complex, one-dimensional inversion may be performed first, and the one-dimensional inversion result may be used as the initial model.
S4: Constructing objective function for TEM inversion.
The three-dimensional inversion of TEM data is an ill-posed problem, and the regularized objective function may be used to obtain a solution with geophysical significance; the regularized objective function is:
φ(m)=φd(m)+λφm(m) (14)
In the equation, φd is the data fitting term; φm is the model stabilizer term; λ is the regularization parameter; φd, φm and λ are used to balance data fitting and model constraints.
φd and φm are respectively defined as:
φd(m)=0.5∥Wd(F(m)−dobs)∥2L2 (15)
φm(m)=0.5∥Wm(m−mref)∥2L2 (16)
In the equation, m is the inversion model parameter. In order to ensure that m is a non-negative number during the inversion process so that the model parameters have physical meaning, the conductivity in the logarithmic domain is taken as the model parameter, m=log(σ), and Wd is the data weighting matrix. Since the TEM data spans multiple orders of magnitude, in order to balance the data weights of different time channels, the model is constructed by using the derivative of the observed TEM response data on the measurement point, where Wd=diag (1/(dobs+ε)). Since the TEM data may contain “change sign”, a smaller value ε is added to the denominator to avoid the infinite value in the data weight, and s may be taken from the average of the observed data of the last time channel. F(m) represents the forward response of the initial inversion model parameter m, dobs is the observed TEM response data on the measurement point, Wm is the model roughness matrix, and mref is the reference model parameter with a prior information.
The regularization parameter plays an important role in weighing the data fitting term and the model constraint term. The selection of the regularization parameter affects the stability and convergence speed of the algorithm. An approximate spectral analysis method is adopted to calculate the regularization parameter:
In the equation, x is a random vector; in inversion, equation (17) is adopted to calculate the regularization parameter in the initial iteration; in subsequent iterations, when convergence is slow, the value of λ is reduced by using a cooling method, or the equation (17) is adopted again to calculate the regularization parameter.
The roughness matrix is constructed according to the weight of the volume and distance of the N inversion units closest to the inversion unit, which is expressed as follows:
W
m(i,j)=Vi(√{square root over (Vij/Σk=1NVik)})rij (18)
In the equation, Vi is the volume of the i-th inversion unit; Vij represents the volume of the j-th nearest inversion unit corresponding to the i-th inversion unit; Vik represents the volume of the k-th nearest inversion unit corresponding to the i-th inversion unit; rij represents the distance from the center of the i-th inversion unit to the center of the j-th nearest unit, and is calculated by the following equation:
rij=(xi−xj)2+(yi−yj)2+(zi−Zj)2 (19)
In the equation, (xi, yi, zi) and (xj, yj, zj) are the center coordinates of the center of the i-th inversion unit and the j-th inversion unit; in the above method, the smoothness of the inversion result may be controlled through the parameter N, but the larger N is, the smoother the inversion result is.
S5: Calculating the product of the sensitivity matrix (or the transpose of the sensitivity matrix) and the vector by using the adjoint forward method.
The sensitivity matrix represents the variation of the electric field along all element edges relative to the variation of the model, which may be obtained by taking the derivative with respect to the model parameter m in equations (10) and (11).
Defining the sensitivity of the electric field along all element edges with respect to the model parameters as S, where S, represents the sensitivity at the n-th time step.
S
n
=∂En/∂m (21)
In the equation, the size of Sn is Ned×Nm, Ned is the number of edges; Nm is the number of model parameters.
For brevity, the following definitions are also provided:
By substituting equation (21), equation (22) and equation (23) into equation (20), it is possible to obtain:
In the equation: Sn-1 and Sn-2 represent the sensitivity of electric field at n-1-th and n-2-th time steps, respectively. The number of columns of the matrix Gn is subjected to the number of model parameters Nm, and Nm is normally very large (practical problems range from tens of thousands of to millions). Therefore, the computation for directly solving equation (24) is very expensive.
The sensitivity of the observed TEM response data to the model parameters is defined as J, Jn is the observed data sensitivity at the n-th time step, with a size of Nd×Nm, where Nd is the number of observed data, and Nm is the number of model parameters; the relationship between Sn and Jn is expressed by the following equation:
J
n
=QS
n (25)
The sensitivity of the data in all time channels may be written as all-in-one form.
Typically, the number of data is much smaller than the number of model parameters; therefore, by taking the transpose of equation (26), it is possible to obtain the transpose of the sensitivity matrix.
In the equation, T represents transpose.
It is costly to perform matrix factorization of the whole of equation (27); therefore, a general solution is to solve the transpose of the sensitivity matrix step by step. Contrary to the way the forward problem solves the forward step of equation (11), the backward stepping method is adopted to solve the sensitivity; the right-hand term of equation (27) depends on the QT with fewer columns. However, the explicit computation of the sensitivity matrix or its transpose is still very difficult for practical TEM inversion problems. When the present disclosure uses the implicit method of backward time stepping to solve the sensitivity matrix, the matrix-vector multiplication between the calculation sensitivity matrix (or its transpose) and the vector is adopted. In forward modeling, the adaptive time stepping method only needs to update the matrix An several times, and its matrix decomposition is stored. During inversion, these matrix decomposition results will be reused during inversion when calculating matrix-vector multiplications between J (or JT) and vectors. Each calculation of the product of the J matrix and the vector is equivalent to a forward calculation, and the parallel calculation using MPI and OpenMP may effectively speed up the inversion.
S6: Using the LSQR method to solve the least squares problem of the equivalent Gauss-Newton normal equation, obtaining the model update direction, obtaining the optimal model update step length by line search, and updating the prediction model.
The objective function is minimized by the Gauss-Newton method with a quasi-quadratic convergence rate, the Taylor expansion formula is applied to the objective function, and the higher-order terms are ignored to obtain the following normal equation:
[(WdJ)TWdJ+λWmTWm]δmk=−JTWdTWdrk-1λWmTWm(mk-1−mref) (28)
In the equation, δmk is the model update direction, data error rk-1=F (mk-1)−dobs, k is the number of iterations; and the normal equation is converted into the following least squares form:
The least squares (LSQR) algorithm is adopted to solve equation (29) to obtain the model update direction, and the line search method is adopted to find the optimized model update step length 1. The model update may be expressed as:
m
k
=m
k-1
+lδm
k (30)
S7: Performing 3D TEM forward modeling on the prediction model mk based on the vector finite element method, and obtaining the TEM response data of the prediction model; the adaptive time step technology, Intel MKL Pardiso direct solver, MPI and OpenMP parallel computing technology are combined in the forward modeling to improve computing efficiency.
S8: Using the normalized error evaluation model to evaluate the fitting between the observed data and the predicted data, determining whether the data misfit reaches a preset threshold, and determining whether the iteration number reaches the preset maximum number of iterations.
To determine whether the observed TEM response data and the predicted TEM response data are well fitted, the normalized misfit between the observed TEM response data and the predicted TEM response dpre may be expressed by the following equation:
When the data misfit reaches the set threshold or the convergence stops, the inversion algorithm is terminated and the inversion result is output. If the data misfit does not reach the set minimum data misfit, it is determined whether the number of current iteration reaches the maximum number of inversion iteration, if the number of current iteration is less than the set number of times, the next iteration will be performed in a loop; if the number of current iteration reaches the set number of times, the inversion iteration will be stopped and the inversion result will be output.
S9: Iteratively executing S5-S8 until the set termination condition is satisfied, thereby obtaining the conductivity model to realize the three-dimensional inversion of the TEM.
On the other hand, the present disclosure provides a parallel inversion system for ground-based TEM method, characterized in that the system includes:
More preferably, the acquisition module of the TEM data includes a field data acquisition unit and an observed TEM response data acquisition unit.
The 3D TEM forward modeling unit for theoretical model includes:
A finite element equation is configured to take the curl on both sides of the quasi-static Maxwell equation in the time domain, and use the first-order vector finite element method based on the unstructured tetrahedral grid to obtain the finite element analysis equation; the element edge is used to discretize the TEM emission source, so that the wire or coil is coincident with the edge of the grid unit;
A finite element analysis equation deformer is configured to discretize the time in the finite element analysis equation by using the second-order backward Euler method, and obtain the derivative of electric field using the non-uniform step size at various moments through the Taylor series expansion, and deform the finite element analysis equation;
A condition setter is configured to use Dirichlet boundary conditions to assume that the electric field vanishes on the boundary of the modeling region, set the initial condition of the electric field to zero, and expand the modeling region of the theoretical model, and refine the grid in the preset region of the measurement point and the emission source, and gradually increase the size of the grid in other regions, complete the setting of boundary conditions and initial conditions, as well as the setting of the grid;
An electric field calculator is configured to solve the finite element analysis equation after deformation with a direct solver based on the setting of boundary conditions and initial conditions and the setting of grid, and calculate the electric field at various moments;
A calculator of observed TEM response data is configured to calculate observed TEM response data according to an electric field and a sparse interpolation matrix.
More preferably, the regularized objective function is:
In the equation, φd is a data fitting term; φm is a model stabilizer term; λ is a regularization parameter; m is an inversion model parameter; m=log(σ); σ is a conductivity; Wd=diag (1/(dobs+ε)); F(m) represents a forward response of the initial inversion model parameter m, dobs is the observed TEM response data at the measurement point, Wm is a model roughness matrix, mref is a reference model parameter with prior information; x is a random vector; J is the sensitivity matrix; L2 is a 2-norm; E is a smaller preset value.
More preferably, the sensitivity of the electric field relative to the model parameters along all element edges is:
S
n
=∂En/∂m;
J
n
=QS
n;
In the equation, Q is a sparse interpolation matrix with size Nd×Ned; J is the sensitivity of the observed TEM response data to the model parameters; Nd is the number of data; the number of data is the product of the number of time channels corresponding to the instrument used to measure the measurement point data and the number of measurement points.
More preferably, the model parameters of the k-th inversion model are:
m
k
=m
k-1
+lδm
k
In the equation, mk is the model parameter of the k-th inversion model; mk-1 is the model parameter of the k-1-th inversion model; δmk is the model update direction; l is the optimal model update step length.
In order to verify the effectiveness of the TEM three-dimensional forward modeling provided by the present disclosure, the Example provides a uniform half-space model as shown in
In this example, the analytical solution is obtained by the analytical method, which is completed on a high-performance computing cluster. Each node contains 2 Inter(R) Xeon(R) 2.5 GHz CPUs, each CPU contains 20 cores, and the memory of a single node is 384 GB. One node is used for calculation. When the adaptive time stepping method is used for forward modeling, the slope step waveform is discretized into 10 segments, and the initial time step is 5×10−7 s. After calculating the equal step size Δtn every 20 times, it is attempted to change the time step size to 2 times the current step size. The calculation is completed after 241 steps, there are 12 different step lengths in total, and the calculation time is 154 s. When using uniform step length calculation, a total of 63246 steps need to be calculated, which takes about 4 hours and 50 minutes.
In comparison with analytical solution obtained by the analytical method, the theoretical model uses the theoretically observed TEM response data obtained by the forward modeling method provided by the present disclosure; as shown in
According to the ground transient electrical observation device in
The inversion domain shown in
Through S4˜S9, after 25 inversion iterations of the theoretical model results in
The inversion convergence curve is shown in
For each Gauss-Newton iteration of the model, 10 LSQR iterations are used to update the model.
The relative error between the predicted data and the observed data is shown in
The data fitting of the TEM sounding curves of some measurement points is shown in
To sum up, compared with the related art, the present disclosure has the following advantageous effects:
The disclosure adopts the adaptive time step technology in the forward modeling process, adopts the second-order backward Euler method to discretize the time in the finite element analysis equation, and adopts the adaptive time stepping method. After calculating the step size for a certain number of times with the time step Δtn0.1, it is attempted to increase the step size to kn times Δtn-1.
Moreover, through the Taylor series expansion, the electric field time derivative expression of the non-uniform step size at various moments is obtained, and the finite element analysis equation is deformed. The present disclosure also takes into consideration that the iterative method is limited by the condition number of the equation, non-convergence may occur. After the boundary conditions and initial conditions are determined in the present disclosure, the electric field En at a certain moment may be obtained by solving the deformed finite element analysis equation by an iterative method or a direct method. During the solution process, when the time step is the same, and the stiffness matrix remains unchanged, the results of the matrix decomposition of finite element coefficient matrix An may be reused. Since the matrix decomposition of An for each Δtn has been stored, it is only necessary to perform the back-substitution solution phase of the direct solver. During the inversion process, when the present disclosure uses the implicit method of backward time stepping to solve the matrix-vector multiplication between the sensitivity matrix and the vector, the matrix decomposition result of An is reused in the inversion process, and MPI and OpenMP are combined for parallel computing. To sum up, the present disclosure considerably improves the efficiency of the forward and inversion modeling methods.
Combined with the sensitivity of the observed TEM response data to the model parameters, the present disclosure uses the Gauss-Newton method with a quasi-quadratic convergence rate to convert the objective function into a least squares problem. The disclosure has a quasi-quadratic convergence rate, obtains the model update direction, and uses line search to obtain the optimal model update step length, so the disclosure has good stability.
The disclosure calculates the product of the sensitivity matrix and the vector of the observed TEM response data to the model parameters by using the adjoint forward method. This approach greatly reduces the large amount of computation and memory requirements required to directly compute the sensitivity matrix. Therefore, the inversion scheme formed by the present disclosure is able to efficiently solve the three-dimensional TEM inversion problem under complex geological conditions.
Those skilled in the art can easily understand that the above are only preferred embodiments of the present disclosure, and are not intended to limit the present disclosure. Any modifications, equivalent replacements and improvements made within the spirit and principles of the present disclosure, etc. should all be included within the scope to be protected by the present 128343usf disclosure.
Number | Date | Country | Kind |
---|---|---|---|
202210888762.4 | Jul 2022 | CN | national |