Abstract

Based on the Biot model, we performed the inversion of reservoir parameters with improved niche ant colony algorithms (INACA). In order to overcome the premature problem of inverse process, the improved niche ant colony algorithms are constructed by combining the fitness-sharing principle which is one of the niche methods with the ant colony algorithm. The numerical results indicate that the relative error of single parameter inversion can be maintained at less than 0.4 percent; particulary, the relative error of porosity is less than 0.02 percent. However, the inversion effect of two-parameter inversion was found to be slightly weak, but the relative error can still be maintained at less than 7.5 percent. Moreover, the antinoise property of the method was also verified. The results of numerical simulation demonstrate that the method is an effective convergent optimization method.

1. Introduction

The fluid-saturated porous medium is viewed herein as a two-phase system consisting of a solid and a fluid phase, each of which is regarded as a continuum, and each is following its own motion. Biot [1, 2] first formulated linear governing equations for the interaction of two such phases in the 1950s. Compared with the classical single-phase elastic medium theory, the fluid-saturated porous medium wave equation is more complicated and in the model there are many coefficients which represent rock and flow properties. Therefore, the fluid-saturated porous medium theory describes the actual earth stratum more precisely and has much more trouble in parameter estimation process.

According to the fact that the computed response should fit with the measured one, the parameter estimation can be reduced to solve an optimum problem. The traditional local optimum methods and iterative linear methods such as gradient method, perturbation method, and time convolution regularization iterative method are based on Newton iterative method; it is with local convergence. On the contrary, the global optimal methods, such as genetic algorithm, simulated annealing method, and ant colony algorithm, do not require more for the objective function in the general function optimization problems. Thus, global optimal methods have recently attracted the interest of numerous scholars. Meanwhile, as a newly developed global optimal method, the ant colony algorithm has also captured the interest of many scholars. The original ant colony algorithm was proposed by Colorni et al. [3] in 1991. This algorithm was an optimization methodology based on the foraging behavior of Argentine ants. In 1995, Bilchev and Parmee [4] proposed the continuous ant colony algorithm for the first time; however, what they investigated actually was the genetic algorithm based on the ant colony algorithm. Li and Wu [5] proposed an adaptive ant colony system algorithm for continuous-space optimization problems. Chen et al. [6] presented a continual domain ant colony algorithm based on overlapping mutation operations. Dréo and Siarry [7, 8] proposed a continuously interacting ant colony algorithm based on an intensive nonhierarchical process. Chen [9] proposed a method that approximates the variance of continuous functions with discrete points. Zhang and Huang [10] proposed a continual domain ant colony algorithm for solving multiobjective function optimizations with constraints. In general ant colony algorithms, however, the information difference is achieved through genetic manipulation, which easily causes premature events. To address the premature defect, various niching approaches, usually called niching techniques, were recently developed. Among these niching methods (including crowding [11], fitness-sharing [12], clearing [13], and clustering-based niching methods [14]), fitness sharing is a well-known niching technique that offers a variety of modified schemes [1517]. Niching, as an evolutionary computation concept, was first formally applied to the genetic algorithms (GAs). However, niching has also been applied to other algorithms, such as the ant colony algorithm, and promising results were obtained [18, 19]. Although niche ant colony algorithms (NACA) were adopted to deal with a number of optimization problems, no relevant report is yet available in the field of parameter inversion. In this paper, NACA based on the fitness-sharing principle was applied in the inversion of the parameters of the Biot model and provided improved results.

The layout of this work is as follows. The mathematical model of Biot theory is presented in Section 2 and the improved niche ant colony algorithm is introduced in detail in Section 3. Section 4 shows a computer animation of parameters inversion of the Biot model. Finally, the conclusion is presented in the last section.

2. Mathematics Model

One-dimensional two-phase medium kinetic equations can be expressed as where , are the Lame coefficients, is the compressibility of pore fluid, and is the effective stress parameter; , are the coefficients introduced by Biot model, and , where is permeability and is viscosity coefficient; is the displacement of solid skeleton, is fluid displacement relative to solid skeleton, which can be written as , in which represents fluid displacement in pores, and is the bulk density of the solid-fluid mixture.

The relations of these parameters can be expressed as follows: where , , represent the bulk change modulus of solid skeleton, fluid, solid, respectively; , are the fluid and solid densities, respectively. Equations (1) describe the elastic wave propagation in the two-phase medium and form the forward problem with some appropriate boundary conditions and initial conditions. Knowing the corresponding parameters, the wave field and the seismograms can be obtained from the forward problem by some methods. The seismograms can be regarded as the additional conditions, and the inversion problem is to estimate some parameters from (1) with specific boundary conditions, initial conditions, and additional conditions.

In 1984, Simon et al. [20] presented a one-dimensional analytical solution for the situation, where the solid and fluid materials satisfy Biot’s dynamic compatibility condition under step load and impulsive loading. It is assumed that flow occurs freely (full drainage) through the surface of the medium. The boundary conditions can be expressed as where denotes the stress, is an arbitrary function of time describing the prescribed surface traction, and is the pore fluid pressure.

The initial conditions are

Simon obtained the analytic solution of previous initial-boundary value problem using Laplace transformation and numerical inversion for some material properties. The solutions are where , , , , , where   is the modified Bessel function of zero order and is unit step function.

3. Niche Ant Colony Algorithm (NACA)

The concept of the niche was first introduced in [21], although the definition was slightly altered since its introduction. In [22], each species was believed to occupy its own unique niche within the environment. The analogy in nature is that, within the environment, different subspaces (niches) exist, which can support different types of life (species or organisms). The number of organisms contained within a niche is determined both by the fertility of the niche (or carrying capacity) and by the efficiency of each organism in exploiting niche fertility. If an excessive number of organisms exist for a given niche, food will be inadequate, and the least efficient organisms will die. Conversely, if few organisms exist in a very fertile niche, these organisms will quickly reproduce to exploit fully the capability of the niche to support life.

In a computational sense, niching may permit a more effective use of available resources through a search algorithm by either implicitly or explicitly dividing and searching different areas of the search space in parallel. Such an automatic resource reallocation is useful in preserving population diversity for an extended search time. Niching techniques have been proven particularly useful in problems that require multiple solutions to be found for a search algorithm, such as multimodal and multiobjective optimization problems.

3.1. Niche Ant Colony Algorithm Based on the Fitness Sharing

Niche formation, specifically relative to fitness sharing, was explained by Goldberg and Richardson [12] by using a variation of the k-armed bandit problem. The niching algorithm was applied to find and preserve multiple solutions in GAs. With the fitness-sharing approach, the search landscape is modified by reducing the payoff in densely populated regions. This approach reduces the fitness of an individual by an amount that is proportional to the number of similar individuals in the population. On the basis of the same theory, we applied the fitness-sharing algorithm to NACA and proposed an improved NACA based on fitness sharing called INACA.

Similarly, in this paper, a sharing function is defined to calculate the niche counts, which are further used immediately prior to the selection operation to derate the fitness of individuals in densely populated subspaces as follows: where is the niche radius that is given by the formula where is the number of niches, is the dimension of the feasible region, denotes the upper and lower bounds of the kth dimension of the feasible region, is the distance between individuals and , and . The sharing function describes the similarity among different individuals: indicates that and are the same individuals or , whereas suggests that and belong to different niches. In formula (7), controls the shape of the sharing function, and the triangular sharing function is obtained with . The similarity among individuals for real coded evolutionary algorithms is computed through the Euclidean distance in real-valued space.

For each individual , some individuals are measured to be similar by . The raw fitness is to be shared with such individuals. The niche count is given by where denotes the population size. The value of is equivalent to the number of individuals around the th individual. A large value indicates that more individuals surround the th individual. The shared fitness of individual , with raw fitness , is given by Through fitness sharing, the replicas and the offspring of an individual are produced inversely proportional to the similar ones in the same niche. Even elitists could not take over the population, which means that the fitness-sharing scheme is capable of counterbalancing the genetic drift. Thus, the fitness-sharing technique allows the exploration and exploitation of fitness landscape by favoring the formation of stable subpopulations. With properly parameterized fitness sharing (population size and niche radius ), the niching equilibrium is eventually reached, where all individuals are distributed among niches according to their fitness, and all species of the identified niches are maintained to the final population.

A general pseudocode representation is provided as Algorithm 1.

procedure Initialization
  (i) Parameters Initialization:: such as population size , the global transition
probability , the evaporation coefficient of pheromone , the proportional factor
, the feasible region , and the radius of niche (Obtained from the
Formula (8));
  (ii) Population Initialization
    for    to do
       ; (The initial position of ants)
       FitnessValue ; (The fitness value before sharing, where is
the optimization function)
     end
end procedure
while stopping criterion not met do
   De-rate quality;
   Calculate transition probability;
   Update positions of ants (in the feasible region);
   Update pheromones;
end while
procedure De-rate quality
    for to do
    
    for to do
      
       if  then
      
       else
      
       endif
       
       end for
       (The fitness value after
sharing)
   end for
end procedure
procedure Calculate transition probability
   ; (The initial pheromone)
   ;
  For   to   do
   
  end do
  For   to   do
    If
     
    else
     
   endif
   if  
          ;
      elseif  
       ;
   endif
   end do
end procedure
procedure Update positions of ants and pheromones
  For   to   do
   if  
    
     ;
      ; (Update pheromones)
     endif
      end do
end procedure

4. Inversion Example

In this section, we perform the inversion of porosity and permeability based on the previous Biot model with the improved niche ant colony algorithm. The true values of two-phase medium materials [23] are , , , , , and . We choose the displacement responses and at the surface as the measurements at receiver locations on the boundary, that is, the additional conditions, which can be obtained from formula (5) based on the previous true values. The normal stress is at the surface, where is taken to be a step function as follows where is Heaviside function and . We choose to inverse the parameters at the time . In fact, the inverse problem can be formulated as an optimization problem. The objective function is defined as:

Setting the number of niches to 2, the number of individuals is 10, the transition probability is 0.97, the pheromone evaporation factor is 0.2, and the radius is still calculated according to formula (9). We initially performed the inversion of a single parameter. Table 1 shows the results. The table shows that the inversion precision of these parameters is very high and that the relative error of the single parameter inversion can be maintained at less than 0.4%; particularly the relative error of porosity can achieve less than 0.02%. These results illustrate that INACA is valid for single parameter inversion in the Biot model.

The foregoing results demonstrate that the INACA has a high precision in single parameter inversion, but in actual exploration of stratum we maybe need to predict two or more parameters. We then conducted an inversion of double parameters based on the Biot model; the inversion results are listed in Table 2. For double parameters inversion, the inversion result of the permeability is slightly weak, but the relative error can still be maintained at less than 7.5%.

In order to verify the noise resistance of the improved ant colony algorithm, we added 5% noise on the seismograms by the following ways: where . In this process, the parameter values are the same as the foregoing examples. Tables 3 and 4 show the inversion results with 5% noise for a single parameter and two parameters, respectively. The tables show that the inversion results are satisfactory.

5. Conclusion

We numerically studied the use of INACA for parameter estimation based on the Biot model in a fluid-saturated porous medium. As seen in the examples, the method proposed in this paper was successful at inverting porosity and permeability. The relative errors of single parameter inversion can be maintained at less than 0.4%, and the relative errors of two-parameter (porosity and permeability) inversion were slightly weak; the relative error can still be maintained at less than 7.5%. These results demonstrate that the improved niche ant colony algorithm is well suited for solving this ill-posed problem. Also shown in this paper is the result that the improved niche ant colony algorithm has a better antinoise property for the two-parameter estimation. With 5% noise, the results obtained with the improved niche ant colony algorithm are satisfactory.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This work was supported by the National Science Foundation of China, under Grant no. 41004052, and the Specialized Research Fund for the Doctoral Program of Higher Education of China, under Grant no. 20102302120072.