Abstract:
For measuring the filling level of a measuring medium, including detecting multiple medium layers and interfaces between them, a multi-sensor probe can be dipped into the measuring medium and longitudinally segmented into a plurality of segments, each segment comprising a sensor for measuring a predetermined physical parameter of the surrounding medium. To provide an accurate, reliable and robust measurement of multiple medium layers a measurement model is defined for modeling signals of the sensors as a function of positions of a number of interfaces between the medium layers and the physical parameters of the medium layers. Prior distributions of the number of the interfaces, the positions of the interfaces and the physical parameters of the medium layers are defined. Based on the measurement model and the prior distributions a joint posterior distribution of the number of the interfaces and the positions of the interfaces is determined. The joint posterior distribution of the number of the interfaces and the positions of the interfaces is evaluated based on Markov Chain Monte Carlo methods. 
     A clean copy of the Abstract that incorporates the above amendments is provided herewith on a separate page.

Description:
CROSS REFERENCE TO RELATED APPLICATIONS 
       [0001]    This application claims priority of European Patent Office application No. 07014224.5 EP filed Jul. 19, 2007, which is incorporated by reference herein in its entirety. 
       FIELD OF INVENTION 
       [0002]    The invention relates to a method for measuring medium layers and interfaces between them using a multi-sensor probe. 
         [0003]    It further relates to a corresponding apparatus. 
       BACKGROUND OF INVENTION 
       [0004]    For measuring the filling level of a measuring medium, such as a fluid or bulk material, in a vessel, tank, container and so on, including detecting multiple medium layers, such as water and oil, and interfaces between them, it is known to use an elongated, for example a rod-shaped, probe which extends vertically over the fillable vessel height and dips into the measuring medium. The probe is longitudinally segmented into a plurality of segments, each segment comprising a sensor for measuring a predetermined physical parameter of the surrounding medium, such as its dielectric constant, impedance, temperature, magnetic or optical properties and so on. To achieve a sufficiently high measuring resolution, the number of the segments is much higher than the expected number of medium layers or interfaces. If the sensors are comprised of individual electrodes, the parameter can be measured between each sensor electrode and a common reference electrode, e.g. the conductive vessel wall, or between the respective adjacent sensor electrodes. Furthermore, if the measurement principle does not require direct contact with the medium, such as in case of a capacitance measurement in connection with a non-metallic vessel, the probe can be located outside the medium, e.g. at the outer wall of the vessel. The individual measurings, which can be performed simultaneously or successively, are finally jointly evaluated by computing means to determine the filling level and the positions of the interfaces between the different medium layers. 
         [0005]    Level measuring devices as described above are known from U.S. Pat. No. 4,611,489, U.S. Pat. No. 6,101,873, U.S. Pat. No. 6,761,067 and WO 2007/006788. 
         [0006]    The measurement by each individual sensor is not only dependent on the physical parameter of the immediately surrounding layer medium but also more or less affected by the physical parameters and the properties of all other layers. In addition, neither the number nor the thickness nor the physical parameters of the medium layers are known a priori. This all makes it very difficult to properly detect multiple layers and the positions of the interfaces between them and to determine the physical parameter of each layer. 
       SUMMARY OF INVENTION 
       [0007]    It is therefore an object of the invention to provide an accurate, reliable and robust measurement of multiple medium layers. 
         [0008]    From, among others, 
         [0009]    C. Andrieu and A. Doucet: “Joint Bayesian Model Selection and Estimation of Noisy Sinusoids via Reversible Jump MCMC”, IEEE Transactions on Signal Processing, Vol. 47, No. 10, October 1999, p. 2667-2676, 
         [0010]    J. R. Larocque, W. Ng and J. P. Reilly: “Particle Filters for Tracking an Unknown Number of Sources”, IEEE Transactions on Signal Processing, Vol. 50, No. 12, December 2002, p. 2926-2937, and 
         [0011]    W. Ng, J. P. Reilly, T. Kirubarajan and J. R. Larocque: “Wideband Array Signal Processing Using MCMC Methods”, IEEE Transactions on Signal Processing, Vol. 53, No. 2, February 2005, p. 411-426, a method for array signal processing is known, where signals of an unknown number of sources in background noise impinge onto an array of antennas. To detect the number of sources and to estimate parameters, such as direction-of-arrival or time-of-arrival, a multi-dimensional signal model comprising the array of antennas, the signals received by the antennas, the sources and the noise is proposed. Following a Bayesian approach, the unknown parameters, the noise variance and the number of sources are regarded as random quantities with known prior distribution. Based on the model, a posterior probability distribution over the space of possible structures of the signal is defined. Since the number of sources is assumed random, the posterior distribution to be evaluated is defined on a finite disconnected union of subspaces of various dimensions. Each subspace corresponds to a model with a fixed number of sources. The posterior distribution is highly nonlinear in its parameters, thus precluding analytical calculations. Therefore, to evaluate the joint distribution of the number of sources and their parameters, a stochastic algorithm based on Markov Chain Monte Carlo (MCMC) methods is proposed. 
         [0012]    The present invention advantageously recognizes the value of this known method for detecting multiple medium layers using a multi-sensor probe dipping into the medium, and thus provides a method as defined in an independent claim and an apparatus as defined in a further independent claim. 
         [0013]    Preferred embodiments of the method and apparatus according to the invention are specified in the remaining claims. 
     
    
     
       BRIEF DESCRIPTION OF THE DRAWINGS 
         [0014]    The invention will be now described by way of example and with reference to the accompanying drawing, in which: 
           [0015]      FIG. 1  shows an embodiment of a level transmitter with a multi-sensor probe in an installed state; 
           [0016]      FIG. 2  shows the level transmitter in relation to a series of superimposed medium layers; 
           [0017]      FIG. 3  gives a simple example of a Markov Chain; and 
           [0018]      FIG. 4  exemplarily shows the result of the measuring method according to the invention. 
       
    
    
     DETAILED DESCRIPTION OF INVENTION 
       [0019]      FIG. 1  shows an oil/water separation tank  1  with inflow of waste water as a measuring medium  2 . In the tank  1 , the different components of the waste water  2  as well as gases above the waste water level  3  form different layers  4 , such as from bottom up sand, water, emulsion, oil, foam, and air, with different dielectric constants. A capacitive level transmitter  5  is mounted through the top wall of the tank  1  and comprises a rod-shaped probe  6  dipping into the measuring medium  2  and a head housing  7  positioned outside the tank  1  and containing a measuring circuit  80  and a transmitter controller  81 . The probe  6  is longitudinally segmented into a plurality of segments  9 , each segment  9  comprising a sensor  10  in the form of a preferably annular electrode. Each sensor electrode  10  forms an electrical capacitor to a common ground electrode, which can be the wall of the tank  1 , a separate electrode outside or inside the tank  1 , or can be formed by those of the sensor electrodes  10  which, at the moment, are not used for the measurement. The electrodes  10  can be inserted into a pipe to protect them from mechanical damage and from the surrounding medium  2 . 
         [0020]    The capacities between the sensor electrodes  10  and the common ground electrode are successively and separately measured by the measuring circuit  80 , thus obtaining a plurality of measuring signals in dependence on the capacities of the individual capacitors. These measuring signals are further processed by the transmitter controller  81  which operates under a control program stored in a read-only memory, utilizing parameters stored in a non-volatile random access memory, and provided with a working memory in the form of random access memory. The transmitter controller  81  executes an algorithm to determine the layers  4  and the positions of the interfaces between them. The thus obtained measuring results are displayed on site and/or are transmitted over a field bus or two-wire cable  11  to a process automation system from which the transmitter controller  81  further receives commands and parameters. 
         [0021]    The number of medium layers  4  is not known a priori. The algorithm performed by the transmitter controller  81  must therefore jointly detect the number of layers  4  and positions of the interfaces therebetween from the measured capacities of the individual capacitors, where each capacity is more or less affected by the dielectric parameters of all layers  4 . The algorithm must also estimate the dielectric parameters of the various layers  4 . 
         [0022]    For a more in-depth understanding of the following description, reference is made to the above cited publications of C. Andrieu, A. Doucet, W. Ng, J. P. Reilly, T. Kirubarajan and J. R. Larocque. 
         [0023]      FIG. 2  shows in a simplified manner the level transmitter  5  in relation to a series of superimposed medium layers  4   1 ,  4   2 , . . . ,  4   k+1 . The level transmitter  5  comprises a mounting flange  12  which defines a reference level  13 . The measuring zone of the probe  6  begins with the top most segment  9   1  or electrode  10   1  at a predetermined distance s 0  from said reference level  13  and extends to the distal end of the probe  6  with segment  9   n  or electrode  10   n , where n&gt;&gt;k. The position of the interface  3   1  between the uppermost layer  4   1  (air) and the subjacent layer  4   2 , i.e. the waste water level  3 , is given by a vector s 1  plus the known offset distance s 0 , wherein the size of the vector s 1  equals the number of the segments  9  or electrodes  10  of the probe  6  from the top to the interface  3   1 . The position of the subjacent interface  3   2  between the layers  4   2  and  4   3  is given by a vector s 2  plus the known offset distance s 0 , wherein the size of the vector s 2  equals the number of the segments  9  or electrodes  10  of the probe  6  from the top to the interface  3   2 . The same applies, correspondingly, to the other interfaces  3   3  to  3   k . 
         [0024]    A matrix M can now be defined as a function of the interface vectors s 1 , s 2 , . . . , s k ; 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       M 
                        
                       
                         ( 
                         s 
                         ) 
                       
                     
                     = 
                     
                       [ 
                       
                         
                           
                             
                               ones 
                                
                               
                                 ( 
                                 
                                   
                                     
                                       s 
                                       1 
                                     
                                     - 
                                     1 
                                   
                                   , 
                                   1 
                                 
                                 ) 
                               
                             
                           
                           
                             
                               zeros 
                                
                               
                                 ( 
                                 
                                   
                                     
                                       s 
                                       1 
                                     
                                     - 
                                     1 
                                   
                                   , 
                                   1 
                                 
                                 ) 
                               
                             
                           
                           
                             
                               zeros 
                                
                               
                                 ( 
                                 
                                   
                                     
                                       s 
                                       1 
                                     
                                     - 
                                     1 
                                   
                                   , 
                                   1 
                                 
                                 ) 
                               
                             
                           
                           
                             … 
                           
                           
                             
                               zeros 
                                
                               
                                 ( 
                                 
                                   
                                     
                                       s 
                                       1 
                                     
                                     - 
                                     1 
                                   
                                   , 
                                   1 
                                 
                                 ) 
                               
                             
                           
                         
                         
                           
                             
                               zeros 
                                
                               
                                 ( 
                                 
                                   
                                     
                                       s 
                                       2 
                                     
                                     - 
                                     
                                       s 
                                       1 
                                     
                                   
                                   , 
                                   1 
                                 
                                 ) 
                               
                             
                           
                           
                             
                               ones 
                                
                               
                                 ( 
                                 
                                   
                                     
                                       s 
                                       2 
                                     
                                     - 
                                     
                                       s 
                                       1 
                                     
                                   
                                   , 
                                   1 
                                 
                                 ) 
                               
                             
                           
                           
                             
                               zeros 
                                
                               
                                 ( 
                                 
                                   
                                     
                                       s 
                                       2 
                                     
                                     - 
                                     
                                       s 
                                       1 
                                     
                                   
                                   , 
                                   1 
                                 
                                 ) 
                               
                             
                           
                           
                             … 
                           
                           
                             
                               zeros 
                                
                               
                                 ( 
                                 
                                   
                                     
                                       s 
                                       2 
                                     
                                     - 
                                     
                                       s 
                                       1 
                                     
                                   
                                   , 
                                   1 
                                 
                                 ) 
                               
                             
                           
                         
                         
                           
                             
                               zeros 
                                
                               
                                 ( 
                                 
                                   
                                     
                                       s 
                                       3 
                                     
                                     - 
                                     
                                       s 
                                       2 
                                     
                                   
                                   , 
                                   1 
                                 
                                 ) 
                               
                             
                           
                           
                             
                               zeros 
                                
                               
                                 ( 
                                 
                                   
                                     
                                       s 
                                       3 
                                     
                                     - 
                                     
                                       s 
                                       2 
                                     
                                   
                                   , 
                                   1 
                                 
                                 ) 
                               
                             
                           
                           
                             
                               ones 
                                
                               
                                 ( 
                                 
                                   
                                     
                                       s 
                                       3 
                                     
                                     - 
                                     
                                       s 
                                       2 
                                     
                                   
                                   , 
                                   1 
                                 
                                 ) 
                               
                             
                           
                           
                             … 
                           
                           
                             
                               zeros 
                                
                               
                                 ( 
                                 
                                   
                                     
                                       s 
                                       3 
                                     
                                     - 
                                     
                                       s 
                                       2 
                                     
                                   
                                   , 
                                   1 
                                 
                                 ) 
                               
                             
                           
                         
                         
                           
                             ⋮ 
                           
                           
                             ⋮ 
                           
                           
                             ⋮ 
                           
                           
                             ⋰ 
                           
                           
                             ⋮ 
                           
                         
                         
                           
                             
                               zeros 
                                
                               
                                 ( 
                                 
                                   
                                     
                                       s 
                                       k 
                                     
                                     - 
                                     
                                       s 
                                       
                                         k 
                                         - 
                                         1 
                                       
                                     
                                   
                                   , 
                                   1 
                                 
                                 ) 
                               
                             
                           
                           
                             
                               zeros 
                                
                               
                                 ( 
                                 
                                   
                                     
                                       s 
                                       k 
                                     
                                     - 
                                     
                                       s 
                                       
                                         k 
                                         - 
                                         1 
                                       
                                     
                                   
                                   , 
                                   1 
                                 
                                 ) 
                               
                             
                           
                           
                             
                               zeros 
                                
                               
                                 ( 
                                 
                                   
                                     
                                       s 
                                       k 
                                     
                                     - 
                                     
                                       s 
                                       
                                         k 
                                         - 
                                         1 
                                       
                                     
                                   
                                   , 
                                   1 
                                 
                                 ) 
                               
                             
                           
                           
                             … 
                           
                           
                             
                               ones 
                                
                               
                                 ( 
                                 
                                   
                                     
                                       s 
                                       k 
                                     
                                     - 
                                     
                                       s 
                                       
                                         k 
                                         - 
                                         1 
                                       
                                     
                                   
                                   , 
                                   1 
                                 
                                 ) 
                               
                             
                           
                         
                       
                       ] 
                     
                   
                   , 
                 
               
               
                 
                   ( 
                   
                     Eq 
                     . 
                     
                         
                     
                      
                     1 
                   
                   ) 
                 
               
             
           
         
       
     
         [0000]    where ones(a,b) and zeros(a,b) are a-by-b matrices of ones and zeros, respectively, so that, for example, ones(s 2 −s 1 ,1) is a column vector of |s 2 −s 1 | ones and defines the thickness of medium layer  4   2  in terms of the number of segments  9  or electrodes  10  within this layer  4   2 . 
         [0025]    Then, the measurement of the level transmitter  5  at the nth of 1, . . . , N observations can be modeled as: 
         [0000]        y ( n )= M ( s ( n ))· h ( n )+ w ( n )   (Eq. 2), 
         [0000]    where h=(h 1 ,h 2 , . . . ,h k ) T  is a vector composed of the dielectric indices of the layers  4   1 ,  4   2 , . . . ,  4   k , and w represents the measurement noise which can be modeled as additive white Gaussian noise (AWGN) with unknown variance σ w   2 . The components of the measuring vector y are the measurements from each individual segment  9  or electrode  10 . 
         [0026]    The prior distributions of the parameters s 1 , s 2 , . . . , s k  and k are chosen to be non-informative as to not bias the optimization, but also in function of their analytical tractability. 
         [0027]    According to Bayes&#39; Theorem the prior probability distribution of the interface vectors s 1 , s 2 , . . . , s k , i.e. the joint probability of k interfaces  3   1 ,  3   2 , . . . ,  3   k  with the interface vectors s 1 , s 2 , . . . , s k  is given by: 
         [0000]        p ( s   1   ,s   2   ,s   3   , . . . , s   k )= p ( s   1 )· p ( s   2   |s   1 )· p ( s   3   |s   1   ,s   2 )· . . . · p ( s   k   |s   1   ,s   2   , . . . s   k−1 )   (Eq. 3), 
         [0000]    where p(a|b,c) is the conditional probability of a, given b and c. As the interfaces  3   1 ,  3   2 , . . . ,  3   i−1  always exist if interface  3   i  exists, i.e. as p(s i−1 |s i )=1 and
 
p(s 1 ,s 2 , . . . ,s i−1 |s i )=1, the joint probability p(s 1 ,s 2 , . . . ,s k ) can be rewritten as:
 
         [0000]        p ( s   1   ,s   2   ,s   3   , . . . ,s   k )= p ( s   1 )· p ( s   2   |s   1 )· p ( s   3   |s   2 )· . . . · p ( s   k   |s   k−1 )   (Eq. 4), 
         [0000]    where the conditional probabilities p(s i |s i−1 ) can be expressed by a Poisson distribution: 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       p 
                        
                       
                         ( 
                         
                           
                             s 
                             i 
                           
                            
                           
                             s 
                             
                               i 
                               - 
                               1 
                             
                           
                         
                         ) 
                       
                     
                     = 
                     
                       
                         
                           λ 
                           
                             ( 
                             
                               
                                 s 
                                 i 
                               
                               - 
                               
                                 s 
                                 
                                   i 
                                   - 
                                   1 
                                 
                               
                             
                             ) 
                           
                         
                          
                         
                           
                              
                             
                               - 
                               λ 
                             
                           
                           
                             
                               ( 
                               
                                 
                                   s 
                                   i 
                                 
                                 - 
                                 
                                   s 
                                   
                                     i 
                                     - 
                                     1 
                                   
                                 
                               
                               ) 
                             
                             ! 
                           
                         
                       
                       ∝ 
                       
                         
                           λ 
                           
                             ( 
                             
                               
                                 s 
                                 i 
                               
                               - 
                               
                                 s 
                                 
                                   i 
                                   - 
                                   1 
                                 
                               
                             
                             ) 
                           
                         
                         
                           
                             ( 
                             
                               
                                 s 
                                 i 
                               
                               - 
                               
                                 s 
                                 
                                   i 
                                   - 
                                   1 
                                 
                               
                             
                             ) 
                           
                           ! 
                         
                       
                     
                   
                   , 
                 
               
               
                 
                   ( 
                   
                     Eq 
                     . 
                     
                         
                     
                      
                     5 
                   
                   ) 
                 
               
             
           
         
       
     
         [0000]    with hyperparameter λ defined as the average thickness of the layers  4 . The Poisson distribution p(s i |s i−1 ) describes the probability of the occurrence of certain thicknesses s i −s i−1  of the layer  4   i  in dependence on the average thickness λ of the layers  4 . 
         [0028]    The prior distribution of the dielectric indices h=(h 1 ,h 2 , . . . ,h k ) T  is chosen as a normal distribution: 
         [0000]        p ( h|s   1   ,s   2   , . . . ,s   k   ,k,σ   w   2 )= N ( m,Σ   h )= N (0,σ w   2   I   h )= N (0,σ w   2   d   2   [M   H   M ] −1 )   (Eq. 6), 
         [0000]    with mean m=0, covariance matrix I h  and where the superscript H denotes the Hermitian transponse operation. The hyperparameter d 2  is defined as an a priori estimate of the signal-to-noise ratio of the measurement. 
         [0029]    The unknown number k of the medium layers  4  is modeled by a Poisson distribution: 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       p 
                        
                       
                         ( 
                         k 
                         ) 
                       
                     
                     = 
                     
                       
                         
                           Λ 
                           k 
                         
                          
                         
                           
                              
                             
                               - 
                               λ 
                             
                           
                           
                             k 
                             ! 
                           
                         
                       
                       ∝ 
                       
                         
                           Λ 
                           k 
                         
                         
                           k 
                           ! 
                         
                       
                     
                   
                   , 
                 
               
               
                 
                   ( 
                   
                     Eq 
                     . 
                     
                         
                     
                      
                     7 
                   
                   ) 
                 
               
             
           
         
       
     
         [0000]    with hyperparameter Λ defined as the expected or average number of layers  4 . 
         [0030]    The prior distribution of the variance σ w   2  of the measurement noise w is assumed to follow the inverse gamma distribution, which is the conjugate distribution for the normal distribution as follows: 
         [0000]        p (σ w   2 )= IG (α 0 ,γ 0 )   (Eq. 8), 
         [0000]    where α 0  and γ 0  are hyperparameters. 
         [0031]    Using Bayes&#39; Theorem and, derived therefrom, the relationship p(a,b|c)=[p(c|a,b)·p(a|b)·p(b)]/p(c), the joint posterior distribution of the unknown parameters s 1 , s 2 , . . . , s k  and k can be defined as: 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       p 
                        
                       
                         ( 
                         
                           
                             s 
                             1 
                           
                           , 
                           
                             s 
                             2 
                           
                           , 
                           … 
                            
                           
                               
                           
                           , 
                           
                             s 
                             k 
                           
                           , 
                           h 
                           , 
                           k 
                           , 
                           
                             
                               σ 
                               w 
                               2 
                             
                              
                             y 
                           
                         
                         ) 
                       
                     
                     ∝ 
                     
                       
                         p 
                          
                         
                           ( 
                           
                             
                               y 
                                
                               
                                 s 
                                 1 
                               
                             
                             , 
                             
                               s 
                               2 
                             
                             , 
                             … 
                              
                             
                                 
                             
                             , 
                             
                               s 
                               k 
                             
                             , 
                             h 
                             , 
                             k 
                             , 
                             
                               σ 
                               w 
                               2 
                             
                           
                           ) 
                         
                       
                       · 
                       
                         p 
                          
                         
                           ( 
                           
                             
                               s 
                               1 
                             
                             , 
                             
                               s 
                               2 
                             
                             , 
                             … 
                              
                             
                                 
                             
                             , 
                             
                               s 
                               k 
                             
                             , 
                             h 
                             , 
                             k 
                             , 
                             
                               σ 
                               w 
                               2 
                             
                           
                           ) 
                         
                       
                     
                     ∝ 
                     
                       
                         p 
                          
                         
                           ( 
                           
                             
                               y 
                                
                               
                                 s 
                                 1 
                               
                             
                             , 
                             
                               s 
                               2 
                             
                             , 
                             … 
                              
                             
                                 
                             
                             , 
                             
                               s 
                               k 
                             
                             , 
                             h 
                             , 
                             k 
                             , 
                             
                               σ 
                               w 
                               2 
                             
                           
                           ) 
                         
                       
                       · 
                       
                         p 
                          
                         
                           ( 
                           
                             
                               h 
                                
                               
                                 s 
                                 1 
                               
                             
                             , 
                             
                               s 
                               2 
                             
                             , 
                             … 
                              
                             
                                 
                             
                             , 
                             
                               s 
                               k 
                             
                             , 
                             k 
                             , 
                             
                               σ 
                               w 
                               2 
                             
                           
                           ) 
                         
                       
                       · 
                       
                         p 
                          
                         
                           ( 
                           
                             
                               s 
                               1 
                             
                             , 
                             
                               s 
                               2 
                             
                             , 
                             … 
                              
                             
                                 
                             
                             , 
                             
                               s 
                               k 
                             
                             , 
                             k 
                             , 
                             
                               σ 
                               w 
                               2 
                             
                           
                           ) 
                         
                       
                     
                     ∝ 
                     
                       
                         
                           p 
                            
                           
                             ( 
                             
                               
                                 y 
                                  
                                 
                                   s 
                                   1 
                                 
                               
                               , 
                               
                                 s 
                                 2 
                               
                               , 
                               … 
                                
                               
                                   
                               
                               , 
                               
                                 s 
                                 k 
                               
                               , 
                               h 
                               , 
                               k 
                               , 
                               
                                 σ 
                                 w 
                                 2 
                               
                             
                             ) 
                           
                         
                         · 
                         p 
                       
                        
                       
                         
                           ( 
                           
                             
                               h 
                                
                               
                                 s 
                                 1 
                               
                             
                             , 
                             
                               s 
                               2 
                             
                             , 
                             … 
                              
                             
                                 
                             
                             , 
                             
                               s 
                               k 
                             
                             , 
                             k 
                             , 
                             
                               σ 
                               w 
                               2 
                             
                           
                           ) 
                         
                         · 
                         
                           p 
                            
                           
                             ( 
                             
                               
                                 s 
                                 1 
                               
                               , 
                               
                                 s 
                                 2 
                               
                               , 
                               … 
                                
                               
                                   
                               
                               , 
                               
                                 
                                   s 
                                   k 
                                 
                                  
                                 k 
                               
                               , 
                               
                                 σ 
                                 w 
                                 2 
                               
                             
                             ) 
                           
                         
                         · 
                         
                           p 
                            
                           
                             ( 
                             
                               k 
                               , 
                               
                                 σ 
                                 w 
                                 2 
                               
                             
                             ) 
                           
                         
                       
                     
                     ∝ 
                     
                       
                         p 
                          
                         
                           ( 
                           
                             
                               y 
                                
                               
                                 s 
                                 1 
                               
                             
                             , 
                             
                               s 
                               2 
                             
                             , 
                             … 
                              
                             
                                 
                             
                             , 
                             
                               s 
                               k 
                             
                             , 
                             h 
                             , 
                             k 
                             , 
                             
                               σ 
                               w 
                               2 
                             
                           
                           ) 
                         
                       
                       · 
                       
                         p 
                          
                         
                           ( 
                           
                             
                               h 
                                
                               
                                 s 
                                 1 
                               
                             
                             , 
                             
                               s 
                               2 
                             
                             , 
                             … 
                              
                             
                                 
                             
                             , 
                             
                               s 
                               k 
                             
                             , 
                             k 
                             , 
                             
                               σ 
                               w 
                               2 
                             
                           
                           ) 
                         
                       
                       · 
                       
                         p 
                          
                         
                           ( 
                           
                             
                               s 
                               1 
                             
                             , 
                             
                               s 
                               2 
                             
                             , 
                             … 
                              
                             
                                 
                             
                             , 
                             
                               
                                 s 
                                 k 
                               
                                
                               k 
                             
                             , 
                             
                               σ 
                               w 
                               2 
                             
                           
                           ) 
                         
                       
                       · 
                       
                         p 
                          
                         
                           ( 
                           
                             k 
                              
                             
                               σ 
                               w 
                               2 
                             
                           
                           ) 
                         
                       
                       · 
                       
                         p 
                          
                         
                           ( 
                           
                             σ 
                             w 
                             2 
                           
                           ) 
                         
                       
                     
                   
                   , 
                 
               
               
                 
                   ( 
                   
                     Eq 
                     . 
                     
                         
                     
                      
                     9 
                   
                   ) 
                 
               
             
           
         
       
     
         [0000]    where p(y|s 1 ,s 2 , . . . ,s k ,k) is the likelihood term and the remaining terms define the above described individual prior distributions of the parameters s 1  to s k  h, k and σ w   2 . 
         [0032]    Considering h and σ w   2  to be nuisance parameters, the Bayesian model allows analytically integrating out these nuisance parameters. With P not  defined as a projector on the complementary space spanned by the vector s=(s 1 ,s 2 , . . . ,s k ) T  and by using the above Equations 1 to 9, the a posterior distribution of the unknown parameters s 1 , s 2 , . . . , s k  and k can be defined as: 
         [0000]    
       
         
           
             
               
                 
                   
                     p 
                      
                     
                       ( 
                       
                         
                           s 
                           1 
                         
                         , 
                         
                           s 
                           2 
                         
                         , 
                         … 
                          
                         
                             
                         
                         , 
                         
                           s 
                           k 
                         
                         , 
                         
                           k 
                            
                           y 
                         
                       
                       ) 
                     
                   
                   ∝ 
                   
                     
                       
                         
                           ( 
                           
                             
                               ∑ 
                               
                                 n 
                                 = 
                                 1 
                               
                               N 
                             
                              
                             
                               
                                 y 
                                 n 
                                 H 
                               
                                
                               
                                 P 
                                 not 
                               
                                
                               
                                 y 
                                 n 
                               
                             
                           
                           ) 
                         
                         
                           
                             - 
                             NL 
                           
                           / 
                           2 
                         
                       
                       
                         
                           ( 
                           
                             1 
                             + 
                             
                               d 
                               2 
                             
                           
                           ) 
                         
                         
                           kN 
                           / 
                           2 
                         
                       
                     
                     · 
                     
                       
                         ∏ 
                         
                           i 
                           = 
                           1 
                         
                         k 
                       
                        
                       
                           
                       
                        
                       
                         
                           
                             λ 
                             
                               ( 
                               
                                 
                                   s 
                                   i 
                                 
                                 - 
                                 
                                   s 
                                   
                                     i 
                                     - 
                                     1 
                                   
                                 
                               
                               ) 
                             
                           
                           
                             
                               ( 
                               
                                 
                                   s 
                                   i 
                                 
                                 - 
                                 
                                   s 
                                   
                                     i 
                                     - 
                                     1 
                                   
                                 
                               
                               ) 
                             
                             ! 
                           
                         
                         · 
                         
                           
                             
                               Λ 
                               k 
                             
                             
                               k 
                               ! 
                             
                           
                           . 
                         
                       
                     
                   
                 
               
               
                 
                   ( 
                   
                     Eq 
                     . 
                     
                         
                     
                      
                     10 
                   
                   ) 
                 
               
             
           
         
       
     
         [0033]    The estimate ŝ of (s 1 ,s 2 , . . . ,s k ) is defined as its value for which the posterior distribution p(s 1 ,s 2 , . . . ,s k ,k|y) attains its maximum value: 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       s 
                       ^ 
                     
                     = 
                     
                       
                         
                           arg 
                            
                           
                               
                           
                            
                           max 
                         
                         
                           
                             s 
                             1 
                           
                           , 
                           
                             s 
                             2 
                           
                           , 
                           
                               
                           
                            
                           … 
                            
                           
                               
                           
                           , 
                           
                             s 
                             k 
                           
                         
                       
                        
                       
                         
                           p 
                            
                           
                             ( 
                             
                               
                                 s 
                                 1 
                               
                               , 
                               
                                 s 
                                 2 
                               
                               , 
                               … 
                                
                               
                                   
                               
                               , 
                               
                                 s 
                                 k 
                               
                               , 
                               
                                 k 
                                  
                                 
                                   y 
                                   n 
                                 
                               
                             
                             ) 
                           
                         
                         . 
                       
                     
                   
                    
                   
                       
                   
                 
               
               
                 
                   ( 
                   
                     Eq 
                     . 
                     
                         
                     
                      
                     11 
                   
                   ) 
                 
               
             
           
         
       
     
         [0034]    Once the interfaces  3  of the medium layers  4  have been identified by Equation 11, the estimate ĥ of the dielectric constants (h 1 ,h 2 , . . . ,h k ) can be readily calculated as the least-square solution of Equation 2: 
         [0000]    
       
         
           
             
               
                 
                   
                     h 
                     ^ 
                   
                   = 
                   
                     
                       
                         ( 
                         
                           
                             
                               M 
                               H 
                             
                              
                             
                               ( 
                               
                                 s 
                                 ^ 
                               
                               ) 
                             
                           
                            
                           
                             M 
                              
                             
                               ( 
                               
                                 s 
                                 ^ 
                               
                               ) 
                             
                           
                         
                         ) 
                       
                       
                         - 
                         1 
                       
                     
                      
                     
                       
                         M 
                         H 
                       
                        
                       
                         ( 
                         
                           s 
                           ^ 
                         
                         ) 
                       
                     
                      
                     
                       
                         
                           y 
                           n 
                         
                         ( 
                         
                           
                             d 
                             2 
                           
                           
                             1 
                             + 
                             d 
                           
                         
                         ) 
                       
                       . 
                     
                   
                 
               
               
                 
                   ( 
                   
                     Eq 
                     . 
                     
                         
                     
                      
                     12 
                   
                   ) 
                 
               
             
           
         
       
     
         [0035]    The posterior distribution p(s 1 ,s 2 , . . . ,s k ,k|y) is highly nonlinear in its parameters s 1 , s 2 , . . . , s k  and k, thus precluding analytical calculations. Since the number k of medium layers  4  or interfaces  3  to be estimated not known a priori but assumed random, the posterior distribution to be evaluated is defined on a finite disconnected union of subspaces of various dimensions. Each subspace corresponds to a model with a fixed number of medium layers  4 . The main problem of the Bayesian approach is that it requires the evaluation of high-dimensional integrals that do not admit any closed-form analytical expression. It is therefore necessary to numerically approximate these integrals. To evaluate the joint distribution of the number of layers  4  and their parameters, a stochastic algorithm based on Markov Chain Monte Carlo (MCMC) methods is used. 
         [0036]    The concept behind MCMC optimization algorithms is to observe and collect samples that are distributed according to the posterior distribution p(s 1 ,s 2 , . . . ,s k ,k|y). With those samples, a histogram can be calculated, and the optimization is reduced to the search of the maximum of the histogram. 
         [0037]    The challenge is then shifted from optimizing a difficult cost function to finding a way to generate samples distributed according to a complex, non-linear, and multi-dimensional probability density function. This is where Markov Chains become useful. 
         [0038]    Markov Chains can model the behavior of a system that depends only on the previous experiment or state. That is, the next state of the system depends only on the current state where the state can change to another state with some probability, or remain the same with some other probability. The outcome of each experiment is one of a discrete set of states. 
         [0039]      FIG. 3  shows a simple 3-state Markov Chain, where p(j|i) equals the probability of going from state i to state j. A useful characteristic of Markov Chains is the limiting distribution which designates the probability p(j) of being in a given state j and is a function of only the various probabilities of movement p(j|i). 
         [0040]    Now, setting the posterior distribution p(s 1 ,s 2 , . . . ,s k ,k|y) as being the desired limiting distribution, the various probabilities of movement have to be defined that will give the limiting distribution of interest. Once this achieved, simply observing the states of the Markov Chain can generate the samples, which will be by design distributed according to the posterior distribution p(s 1 ,s 2 , . . . ,s k ,k|y). 
         [0041]    There exist a few methods to set up the desired Markov Chain such as accept/reject proposal, and a few variations of the Metropolis-Hasting algorithms. The Reversible Jump MCMC is a form of Metropolis-Hasting algorithm in which the samples come from an “easy-to-observe” distribution and are kept or rejected based on some probability. The ones that are kept are by design distributed according to the distribution of interest, namely the posterior distribution p(s 1 ,s 2 , . . . ,s k ,k|y) to optimize. 
         [0042]    The algorithm starts its exploration in a subspace of an arbitrary given initial dimension. The Markov Chain will evolve according to its functions of movement and will converge to the subspace of optimum dimension and to the optimum estimate of the medium layers  4  or interfaces  3 . 
         [0043]    For each iteration of the algorithm, the Markov Chain evolves by proposing a candidate for the new position. This candidate is accepted as next position (state) of the chain with some probability. Furthermore, the candidate for the new position may come from a subspace of higher dimension (attempting to estimate an additional medium layer  4 ), or from a subspace of lower dimension (attempting to remove a layer  4 ). This gives the algorithm the freedom to optimize over not only the position of the layers  4 , but also to jointly optimize over the number k of layers  4 . 
         [0044]    The probability of accepting the new position depends on the posterior function to optimize and the proposal functions that generated the candidate. This is the difference with an exhaustive search algorithm: even though the candidate would give a better solution to the function, it is not necessarily accepted, as the acceptance is probabilistic. This particularity of such MCMC methods allows the optimization to converge to the global optimum with probability one. 
         [0045]    Initial Estimate:
   k=2 (i.e. two medium layers  4   1 ,  4   2 , one interface  3   1 ) and interface vector s=s 1 =(probe length)/2.   
 
         [0047]    Iterations: 
         [0048]    Choose a Move at Random Among:
   Update move in the same subspace of size k:
       Propose a candidate s 1 *=random over the probe or   propose a candidate s 1 *around the current interface vector s 1 ;   
       Birth move toward the higher subspace of size k*=(k+1):
       Propose a candidate s*=[s 1 ,s 2 ], where s 2  is randomly distributed over the probe  6 ; and   
       Death move toward the lower subspace of size k*=(k−1):
       Propose a candidate s*=s 1 −, where s 1 − sees one element of s removed randomly.   
       
 
         [0056]    Calculate the acceptance probability of the candidate {k*, s*}
   U=uniformly distributed over [0,1]   If U&lt;acceptance probability, the chain takes the size k*, and the state s*, otherwise the chain remains at size k and at state s.   
 
         [0059]    The sizes k and positions s visited are accumulated in a buffer. At the end of the iterations, a histogram of the sizes visited reveals the maximum a posteriori (MAP) estimate of the number of layers. The histogram of the positions visited in that particular subspace reveals the MAP estimate of the position of the layers. It is typical that, at convergence, the chains remains in the same subspace and at the same position, which are thus the MAP estimates of interest. 
         [0060]      FIG. 4  exemplary shows the results of the processing of a typical batch of N=32 snapshots of the probe  6 , which comprises n=73 segments  9 . The algorithm finds six definite interfaces  3  and seven medium layers  4 . The upper part of  FIG. 4  shows a typical profile of the dielectric constant h vs. the number n of segments  9 . The lower part of  FIG. 4  shows the medium layers  4   1 , . . . ,  4   7  along the probe  6 .