1. Introduction
Eddy current sensors (probes) respond to changes in the material properties (electrical conductivity, magnetic permeability), geometry or position of the nearby electrically conductive, usually metallic, objects [
1,
2]. Their applications include nondestructive testing for defects and material changes in objects, such as heat exchangers in nuclear plants, oil well casings, pipelines or aircraft hulls [
3,
4,
5]; measurement of the distance to such objects or their dimensions [
6,
7]; and material characterization [
8,
9,
10]. Eddy current sensors offer detection of very small surface defects, measurement of dimensions or distances in the micrometer range, insensitivity to nonconductive dirt, such as oil, water or dust, and robustness to the environmental factors such as pressure, temperature or stress. However, absolute measurement using eddy current sensors can be hard to achieve leading to the need for calibration, and human or machine analysis and interpretation of the sensor signals [
11,
12,
13].
Traditionally, an eddy current sensor consists of a transmitter coil that generates a magnetic field and induces the eddy currents in the conductive material [
1]. Receiver coils pick up the resultant magnetic field due to the defect and changes in the dimensions and material properties. Receiver coils can be replaced by Hall, magnetoresistive or even super-conducting quantum interference devices (SQUID) sensors [
14]. However, the overall characteristics of the eddy current sensors are primarily determined by the excitation, geometry and construction of the transmitter coil.
Fast electromagnetic models of transmitter coils are required in model-based measurements, machine interpretation approach or in parametric and sensitivity analyses in the sensor design phase. When it comes to more complicated sensor geometries, analytical electromagnetic models are not as versatile as numerical ones, e.g., finite-element or boundary-element models. However, if a real sensor and object under test can be approximated by a geometry that is simple enough to be dealt with analytically, then one can expect less demanding numerical implementation and higher computational speed in comparison to fully numerical approaches. More complicated geometries can be treated using hybrid approaches in which the analytical models are used for calculation of the incidence fields and numerical methods for calculation of the fields scattered from the small changes in the tested object [
15].
Typically with eddy current sensors, the transmitter coil has a ferrite core to increase the inductance, sensitivity and signal-to-noise ratio or to achieve the desired magnetic field distribution. Since the seminal work by Dodd and Deeds [
16], who studied air-cored transmitter coils in planar and cylindrical geometries (layers, rods, tubes), a number of more complicated geometries have been analyzed using the truncated region eigenfunction expansion approach (TREE) [
17]. This includes ferrite-cored transmitter coils, which previously required numerical or empirical approaches. In a paper that laid out the modeling path followed by other authors, Theodoulidis analyzed the coil with the cylindrical finite-length ferrite core that was positioned above a half space made of two nonmagnetic and conductive layers [
18]. This analysis was extended to a half space made of multiple magnetic and conductive layers by Lu et al. in [
19]. Bayani et al., in [
20], developed the model of a cup-cored coil above a nonmagnetic conductive double layered half space. In all three studies, the models were verified experimentally and the relative error between the theoretical results and measurements were on average between
and
. Sakkaki and Bayani, in [
21], modeled an E-cored coil above a conductive double layer, and they numerically verified the model by comparing it to a finite element model using Comsol. Tytko and Dziczkowski, in [
22,
23,
24], modeled the I-cored and E-cored coils in the presence of the layered medium with a hole, and they verified their work using a Comsol-based finite element model. Zhu et al., in [
25], analyzed an I-cored coil screened with a thin sheet of material with infinite permeability.
In this paper, we studied a coil with a finitely long I core and screened with a finitely thick magnetic shield placed above a conductive and magnetic half-layer using the TREE approach.
Figure 1 and
Figure 2 depict the geometry in more detail. We made no assumptions regarding the shield thickness and the permeability of the shield and the core. The open upper side of the shield allows for the coil wires and connector towards a measurement instrument. This sensor geometry is typical and practically important, but to the best of our knowledge it was not modeled analytically before. The contributions of this paper are the analytical model of the sensor impedance above a plate made of conductive and magnetic material in
Section 2 and accompanied
Appendix A, analysis of numerical implementation issues in
Section 3, comparison with a finite element model in
Section 4, experimental verification in
Section 5 and sensitivity analysis with respect to the sensor dimension in
Section 6. The immediate application of these contributions could allow model-based measurement of material properties and lift-off (e.g., nonconductive coating thickness) with no or less calibration points (measurement above reference standards with known material and lift-off) compared to the existing measurement procedures [
26]. The model can also be used in the sensor design phase where it is often necessary to adjust the sensor properties to the specific application or account for sensor production tolerances. Furthermore, we believe that the modeling approach and discussion on the implementation issues can be useful in modeling other similar induction sensors with ferrites.
2. Analysis
The geometry of the problem is shown in
Figure 1 and
Figure 2. The coil with a rectangular cross section is wound around the ferrite core with relative magnetic permeability
. The coil and its core are screened with the ferrite shield with relative magnetic permeability
. The core and the shield are vertically aligned at the plane
. The core and the shield are assumed to be nonconductive. The sensor is located over the magnetic and conductive half space (plate) with electrical conductivity
and relative magnetic permeability
.
Before we derive the vector magnetic potential of the coil, we will first analyze a filamentary sinusoidal current , where is the Dirac delta function and is the azimuthal unit vector for the cylindrical coordinate system. The problem is axially symmetric, so there is only component of the vector magnetic potential, i.e., .
The problem domain is truncated at far enough boundary , where we will impose the Dirichlet boundary condition . The consequence of the truncation is that the final expressions for the potential are in series rather than integral form. The problem domain is divided into horizontal regions indicated generally by index n in the expressions, or specifically by a number or the letter C. If there are multiple materials or the coil in a region, the region is divided into subregions that are indicated generally by index m or specifically by a number following the region designation. For example, is the potential in region 1 (no subregions) and in region 2, subregion 3.
Following the separation of variables, the general form of the magnetic potential is
where
and
are first-order Bessel functions of the first and second kind, respectively,
are eigenvalues arising from the Dirichlet boundary condition at
for each region,
Section 2.2, and
If a region is homogeneous with relative permeability
and conductivity
, i.e., it has no multiple subregions, the form of the potential is given by (
1). For regions with multiple subregions, the general form of the potential in subregion
m of region
n with relative permeability
is given by (
2). It is important for further steps to note that there are no conductive materials in the regions with multiple subregions (only air or ferrites) and that, consequently, both
r-related and
z-related parts have the same eigenvalues
. This means that
z-related parts of the subregions in a given region are the same in case of (
2).
The homogeneous regions
have their corresponding coefficients
because of the divergence of
at
, so, consequently, one can freely set
. Coefficients
and
in (
2) for regions
are determined from the interface conditions along the radial boundaries between the subregions, as described in
Section 2.1. The interface conditions in this case are continuity of
and
, i.e., component of
in
direction, and component of
in
direction.
The unknown coefficients
and
in (
1) and (
2) are determined from the boundary and interface conditions along the horizontal boundaries between the regions,
Section 2.4. The potential must remain finite as
, so
and
. The interface conditions for the horizontal boundaries are continuity of
and
.
2.1. Continuity of and at Radial Boundaries between Subregions
This condition has to be satisfied for regions 2, 3 and 4. We will analyze a general case of a region
n with subregions
and radial interfaces between these subregions at
. In that case, the radial parts under the sum in (
2) for each subregion are
For the two neighboring subregions
m and
, the radial interface of continuity of
and
at
is equivalent to
Since all subregions in region
n have the same
z-related part, the radial interface conditions can be satisfied by adjusting the coefficients of the
r-related part only. The notation will be simpler if we define matrix
as
It can be shown using (
2)–(
10) that the coefficients in the
r-related part of subregion
are connected to the coefficients of subregion
m as
Using recurrence relation (
11), and since
and
can be freely set to 1, we can determine the
r-related coefficients for all subregions in a given region:
Because coefficients
and
do not depend on spatial coordinates
r and
z, the radial parts
given in (
4)–(
7) are linear combinations of Bessel functions
and
with respect to
r. This will be important later on when we make use of the orthogonality property of the Bessel functions. In order to facilitate this, we will add an index to
to indicate the order of the involved Bessel functions:
where coefficients
and
do not depend on
. It follows from (
8) and (
9) that
2.2. Eigenvalues
The radial parts of all regions and subregions are defined in the preceding section. The first step in their computation is to find the eigenvalues that satisfy the Dirichlet condition at the truncated boundary of the problem:
The eigenvalues
are the real and positive roots of (
18) and (
19). Homogeneous regions 1, 5 and 6 have identical radial parts and, hence, the same eigenvalues. Similarly, the regions 3, 4 and C, with multiple subregions, have the same radial parts and the same eigenvalues. Region 2 has its own eigenvalues. In order to simplify the notation, which was so far useful for the general case, we will designate the elements of the three sets of eigenvalues as
,
and
:
and for the
z-related part in region 6
2.3. Final Expressions for Potential in All Regions in Matrix Form
Infinite series in (
1) and (
2) have to be truncated to
N terms in the computation. The potential is
In the above expressions, we divided with the corresponding eigenvalues in order to make later expressions somewhat simpler, which is allowed because it will be canceled out by the final form of
and
[
17].
It is convenient to write (
24)–(
30) in the matrix form. To do that, we will assume that the functions
,
,
, as well as the integration and differentiation are applied element wise on a vector or matrix. We will use boldface type to represent matrices (e.g.,
or
), overlined italic type to represent row vectors (e.g.,
or
) and underlined italic type to represent column vectors (e.g.,
). The dimensions of the matrices are
, row vectors
and column vectors
. This notation eases implementation in a programming language such as Matlab or Julia. Using this notation, the matrix form of (
24)–(
30) is
In the above expressions, matrices , and are diagonal with elements of , and on their main diagonal, respectively.
2.4. Continuity of and for Horizontal Boundaries between Regions
The continuity of
and
have to be satisfied along the horizontal interface (
) between two regions. For two neighboring regions
n and
, the horizontal interface condition at
is equivalent to
Relative permeability
in (
38) is the piecewise constant function of
r for region
n if it has multiple subregions, i.e.,
for
,…,
for
.
The interface relations that have to be satisfied for all five horizontal boundaries (
,
,
,
and
) are given in
Appendix A for the sake of clarity. In order for these relations, e.g., (
A3), to be satisfied for the entire interval
, the procedure followed in
Appendix A is to expand the
r-dependent parts using a basis formed of continuous piecewise linear combinations of Bessel functions of the first and second kind. The choice of the basis is somewhat arbitrary but it is better, from the standpoint of numerical implementation, to choose these in such a way that as many of the resulting matrices are identical or diagonal. Term-by-term comparison results in a matrix equation for each interface relation involving corresponding vectors
and
. This procedure has to be repeated twice (continuity of
and
) for each of the 5 horizontal interfaces giving rise to 10 algebraic equations with matrix coefficients and 10 unknown vectors
and
.
2.5. Calculation of Coefficients and
Coefficient vectors
and
in (
31)–(
36) for each of the regions are calculated by solving
system of algebraic equations derived in
Appendix A, i.e., (
A5), (
A10), (
A13), (
A16), (
A18), (
A21), (
A25), (
A28), (
A30) and (
A31). First, we define some auxiliary expressions sorted in order of their computational dependencies:
For the filamentary coil at
:
For the coil with the rectangular cross section:
where
Finally, we can write the coefficients
and
sorted in order of their computational dependencies:
2.6. Coil with Rectangular Cross Section
The magnetic potential of a coil with rectangular cross section and
turns, carrying sinusoidal current of amplitude
, is calculated by the superposition of a number of filamentary coils. Let a coil with infinitesimal cross section
carrying current
approach a filamentary current
I at
, where the current density
is
In that case, the total magnetic potential for region
n is
where
is given by (
31)–(
36) depending on the region. Integration in (
66) comes down to integration of
and
in (
48)–(
50), and it results in (
51)–(
53). The total potential
is given then by the same expressions as
in (
31)–(
36), except one uses (
51)–(
53) instead of (
48)–(
50) in (
55), and (
60) and (
61) for
,
and
, respectively. One should note that superposition for region C (
), which is present only in the case of the rectangular cross section coil, requires integration of
for
and
for
, i.e.,
It can be shown that (
67) results in
where
is given by (
51). The impedance of the coil, which is the most important output of the model from the measurement point of view, is calculated by the integration of the voltage induced in a single loop over the coil cross section:
where
is the potential in region C, subregion 2. Finally, the impedance of the coil is
The voltage induced in a receiver coil can be calculated using an approach analogous to (
69) with the choice of the potential corresponding to the location of the receiver coil.
3. Numerical Implementation
The model can be implemented in a programming language suitable for numerical analysis, such as Matlab or Julia. We have chosen the former. The major functional parts of the implementation are:
Calculation of coefficients for the radial part
given in (
4)–(
7) using (
12)–(
14).
Root finding of (
18) and (
19) in order to obtain the required eigenvalues.
Integration of
in (
54).
Calculation of the matrices in
Appendix A (
,
,
,
,
,
,
and
) to form the set of 10 algebraic equations for 10 unknown coefficients
and
.
Calculation of the coefficients
and
using equations in
Section 2.5.
Calculation of the coil impedance
Z using (
70).
While steps 1, 4 and 6 were implemented straightforwardly following the relevant expressions in the paper, the remaining ones deserve some additional comments.
The functions on the left side of Equations (
18) and (
19) are real and oscillatory. We found their roots by sampling the functions so that intervals containing exactly one zero crossing can be selected and the roots bracketed. As a root finding algorithm, we used Anderson–Björck modification of the classic regula falsi method [
27].
In general, the form of the integral in (
54) involving linear combination of Bessel functions of the first and second kind,
and
, is more easily calculated using Struve functions or expansion in Chebyshev polynomials than by direct numerical integration [
18]. We used Struve functions
and
calculated via their expansion into the series of Bessel functions for which the relevant identities can be found in [
28]:
The expressions for
and
in
Section 2.5 require some matrices to be inverted. Increasing the length
N of the series representation increases the eigenvalues. The factors containing exponential functions with positively signed products of an eigenvalue and a spatial dimension can cause a loss of precision and a poor condition number of the matrices that need to be inverted. Thus, care should be taken to arrange the final expressions in such a way that as much as possible of the matrices are diagonal and that the exponential functions have arguments with negative sign.
4. Comparison with FEM
In order to verify the model of the sensor impedance, we compared the model predictions with the results of a finite elements model (FEM) study. In both numerical studies we used the sensor with properties as in
Table 1. For the FEM study we used free, simple and thoroughly verified 2D solver Finite Element Model Magnetics (FEMM) that was successfully used in a number of studies [
29]. The number of the series terms in the presented model of the sensor impedance was
and the domain boundary was set to
. The identical geometry in FEMM was meshed with approximately
million of triangular elements. The computation time for one realization of the problem (i.e., for the selected dimensions, frequency and properties of the core, shield and medium) was around 30 min for FEMM, and less than
for the calculation of the model, including the eigenvalues computation and without usage of precalculated values.
First, we calculated the impedance of the coil depending on the permeability of the core and shield for the plate with
and
at 60 kHz,
Figure 3. For the sake of simplicity, we assumed that
. There is practically no significant further change in the impedance of the sensor for the permeability above 500, which is a finding observed for other cored coils as well [
17]. The relative discrepancy between the model and FEM results are bellow
for the inductance and
for the resistance. These discrepancies can be further reduced by increasing the density of the FEM mesh.
Second, we calculated the impedance of the coil depending on the conductivity
of the plate for two values of its permeability
and
at 60 kHz,
Figure 4. The core permeability
and the shield permeability
. Typical dependency of the coil impedance on the plate conductivity can be observed, including the maximum point of the resistance [
17]. The relative discrepancy between the model and FEM results are bellow
for the inductance and
for the resistance.
Finally, we calculated the impedance of the coil depending on the lift-off
h of the sensor placed above either a nonmagnetic plate with
and
(properties similar to an aluminum alloy), and a magnetic plate
and
(properties similar to a carbon steel),
Figure 5. The core permeability was
and the shield permeability
. Again, the relative discrepancy between the model and FEM results are bellow
for the inductance and
for the resistance. As expected, the resistance decreases with the lift-off increase for both plates, whereas the inductance in the case of the nonmagnetic plate increases with the lift-off, and decreases in the case of the magnetic plate.
5. Comparison with Experimental Results
We manufactured the sensor according to the geometry in
Figure 1 and
Figure 2. The sensor properties are given in
Table 2. The impedance of the sensor in the air and above an aluminum plate was measured using the precision LCR meter HP 4284A in the frequency range from 5 kHz to 100 kHz and for lift-off values from 0
to 1000
in 100
steps. The plate was made of aluminium alloy EN AW-6082 with a conductivity of
or
/m. The impedance of the coil
Z is the sum of the coil impedance in air (without the plate)
, and the impedance change
due to the proximity of the plate:
where the resistance of the coil in air and the coil parasitic capacitance have been compensated for.
The inductance of the sensor in the air was calculated
, while the measured value was from
to
depending on the frequency. The impedance change obtained from the model and the experiment are shown in
Figure 6 and
Figure 7 for
and
, respectively. The model and experiment are in practically acceptable agreement with the relative error of
within
and
within
. These errors are comparable to the ones in other studies on eddy current sensor modeling. In practice, model-based measurements of conductivity and lift-off require calibration procedures with samples of known conductivity and lift-off if one wants to achieve measurement uncertainty better than the reported modeling errors would allow.
6. Sensitivity to Sensor Dimensions
The data in
Table 2 was obtained by averaging and rounding to
mm the values measured using a Mitutoyo micrometer with resolution of
mm and accuracy of
. We rounded the values because at a higher resolution, the measurement is affected by the applied pressure or measurement position along the measured object, e.g., the ferrite core was not a perfect cylinder at a resolution of
mm. We used purposefully overestimated measurement uncertainty of
mm to evaluate its effect on the sensor impedance. With that aim, we calculated the sensitivity of the sensor impedance to the sensor dimensions.
Table 3 shows the relative changes of the inductance in the air
and impedance change
and
(for plate with
and
and lift-off 0
) if each of the nine sensor dimensions is independently varied within the interval of
mm. The core radius and the shield inner radius uncertainties have the most significant contribution to the impedance uncertainty. This means that the gap between the core and the shield must be precisely controlled during the sensor production.