International Journal of Thermal Sciences: Sciencedirect
International Journal of Thermal Sciences: Sciencedirect
Detection of contact failures with the Markov chain Monte Carlo method by T
using integral transformed measurements
Luiz A.S. Abreua,b, Helcio R.B. Orlandeb,∗, Marcelo J. Colaçob, Jari Kaipioc,d, Ville Kolehmainend,
César C. Pachecob, Renato M. Cottab
a
Department of Mechanical Engineering and Energy, Polytechnic Institute/IPRJ, Rio de Janeiro State University – UERJ, Rua Bonfim 25, Nova Friburgo, RJ, 28625-570,
Brazil
b
Department of Mechanical Engineering, Politecnica/COPPE, Federal University of Rio de Janeiro – UFRJ, Cid. Universitária, Cx. Postal: 68503, Rio de Janeiro, RJ,
21941-972, Brazil
c
Department of Mathematics, University of Auckland, Private Bag 92019, Auckland Mail Centre, Auckland, 1142, New Zealand
d
Department of Applied Physics, University of Eastern Finland, P.O. Box 1627, 70211, Kuopio, Finland
A B S T R A C T
This work deals with the solution of an inverse heat conduction problem aiming at the detection of contact
failures in layered composites through the estimation of the contact conductance between the layers. The spa-
tially varying contact conductance is estimated using a Bayesian formulation of the problem and a Markov chain
Monte Carlo method, with infrared camera measurements of the transient temperature field on the surface of the
body. The inverse analysis is formulated using a data compression scheme, where the temperature measurements
are integral transformed with respect to the spatial variable. The present approach is evaluated using synthetic
measurements and experimental data from controlled laboratory experiments. It is shown that only few trans-
formed modes of the data are required for solving the inverse problem, thus providing substantial reduction of
the computational time in the Markov chain Monte Carlo method, as well as regularization of the ill-posed
problem.
∗
Corresponding author.
E-mail address: helcio@mecanica.coppe.ufrj.br (H.R.B. Orlande).
https://doi.org/10.1016/j.ijthermalsci.2018.06.006
Received 2 July 2017; Received in revised form 27 March 2018; Accepted 4 June 2018
1290-0729/ © 2018 Elsevier Masson SAS. All rights reserved.
L.A.S. Abreu et al. International Journal of Thermal Sciences 132 (2018) 486–497
designed contact failures of different formats. ∂τ θ2 (X , Y , τ ) = α 2∗ ∇2 θ2 in 0 < X < A, 0 < Y < B, Z1 < Z < 1, for τ > 0
(2.b)
2. Physical problem and mathematical formulation ∂Z θ1 = 0 at Z = 0 in 0 < X < A, 0 < Y < B and τ > 0 (2.c)
The physical problem considered here involves heat conduction k1∗ ∂Z θ1 = k 2∗ ∂Z θ2 at Z = Z1 in 0 < X < A, 0 < Y < B and τ > 0 (2.d)
through a plate with two layers, heated through its top surface by a heat k1∗ ∂Z θ1 = Bic (X , Y )[θ2 − θ1] at Z = Z1 in 0 < X < A, 0 < Y < B and τ > 0 (2.e)
flux q (x,y,t), as illustrated by Fig. 1. The bottom surface of the plate is
thermally insulated and heat transfer is assumed negligible through its k 2∗ ∂Z θ2 = q∗ (X , Y , τ ) at Z = 1 in 0 < X < A, 0 < Y < B and τ > 0
lateral surfaces. The plate is initially at a uniform temperature, To, and (2.f)
the physical properties of each layer are assumed homogeneous and not
dependent on temperature. The length and width of the plate are a and ∂X θ1 = ∂X θ2 = 0 at X= 0, 0< Y < B , 0< Z < 1, and τ > 0 (2.g)
b, respectively, while its thickness is denoted by c. A spatially dis- ∂X θ1 = ∂X θ2 = 0 at X = A, 0 < Y < B, 0 < Z < 1, and τ > 0 (2.h)
tributed contact resistance between the two adjacent layers is modeled
by a contact conductance hc (x,y) [26]. For the inverse analysis, mea- ∂Y θ1 = ∂Y θ2 = 0 at Y = 0, 0 < X < A, 0 < Z < 1, and τ > 0 (2.i)
surements of the temperature at the top (heated) surface of the plate,
∂Y θ1 = ∂Y θ2 = 0 at Y = B, 0 < X < A, 0 < Z < 1, and τ >0 (2.j)
obtained with an infrared camera, are available.
The mathematical problem is written in dimensionless form by θ1 = θ2 = 0 at τ = 0 in 0 in 0 < X < A, 0 < Y < B, 0 < Z < 1 (2.k)
using the following variables:
where the contact interface is located at Z = Z1.
T (x , y, z , t ) − To c
θ (X , Y , Z , τ ) = q∗ (X , Y , τ ) = q (x , y, t )
To kref To 3. Forward problem
(1.a,b)
The forward (direct) problem associated with the formulation given
k α by equation (2.a-k) involves the determination of the temperature fields
k∗ = α∗ = θ1 (X , Y , Z , τ ) and θ2 (X , Y , Z , τ ) . The direct problem corresponding to
kref αref (1.c,d)
the transformed data is solved here by using a hybrid analytical-
x
X= c
y
Y= c
z
Z= c
c
Z1 = c1
a
A= c
b
B= c (1.e-j)
αref t hc (x , y ) c
τ= Bic (X , Y ) =
c2 kref (1.k,l)
and we obtain:
∂τ θ1 (X , Y , τ ) = α1∗ ∇2 θ1 in 0 < X < A, 0 < Y < B, 0 < Z < Z1, for τ > 0
(2.a)
Fig. 1. Physical problem.
487
L.A.S. Abreu et al. International Journal of Thermal Sciences 132 (2018) 486–497
numerical approach, based on the Generalized Integral Transform θ1 (X , Y , Z , τ ) and θ2 (X , Y , Z , τ ) were within a user prescribed error
Technique (GITT) [4,27–33] and finite differences [26,34]. tolerance. The double summations in equation (7.f) were rearranged in
Problem (2) is integral transformed along the X and Y directions by the form of a single summation, by using the two-dimensional eigen-
using the following transform – inversion formulae pair: values βi2 + γ j2 in increasing order [33].
A B The numerical accuracy of the solution of the direct problem was
Transform: θ͠ 1,2 (βi , γj, Z , τ ) = ∫ ∫ ϕi φj θ1,2 (X , Y , Z , τ ) dY dX verified in our previous works [3,4]. In this study, the inverse analysis
X =0 Y =0 (3.a) in carried out with compressed data using integral transformation. In
∞ ∞
the following section, the solution of the direct problem in the trans-
Inversion formula: θ1,2 (X , Y , Z , τ ) = ∑ ∑ ϕi φj θ͠ 1,2 (βi, γj, Z , τ ) formed domain will be used for the definition of the likelihood function
i=0 j=0 (3.b) required for the solution of the inverse problem.
488
L.A.S. Abreu et al. International Journal of Thermal Sciences 132 (2018) 486–497
the posterior distribution and inference on this distribution is obtained Markov chain Monte Carlo method for the solution of the inverse pro-
from inference on the samples {P(1), P(2), …, P(n)}. We note that values blem (acquiring an adequate number of samples with the MCMC chain)
of P(i) must be ignored while the chain has not converged to equilibrium might not be feasible for general purpose computers. The use of fast
(the burn-in period). reduced mathematical models for the solution of the direct problem in
In this work the dimensionless contact conductance Bic(X,Y) is the inverse analysis, instead of the complete model that accurately re-
modeled as piecewise constant in each pixel of a grid with center points presents the physics of the problem, can be formally treated within the
(XI,YJ), where XI = IΔX, YJ = JΔY, I = 1, …, If, J = 1, …, Jf, and with Bayesian framework by modeling the approximation errors as Gaussian
grid spacing given by ΔX = A/If and ΔY = B/Jf. The total number of random variables and modifying the likelihood, such as in the
estimated points, which cover the spatial domain 0 < X < A and Approximation Error Model [35,47–52]. Sampling techniques like the
0 < Y < B , is then M = If Jf. The applied heat flux is analogously Delayed Acceptance Metropolis-Hastings algorithm [53,54] have also
modeled as piecewise constant on a similar discretization of the top been developed in order to expedite the application of Markov chain
surface. Hence, the vector of unknown parameters for the inverse Monte Carlo methods with the use of reduced models. Besides the three-
analysis is given by: dimensional nature of the heat conduction problem in this work, the
large computational times for the solution of the present inverse pro-
PT = [Bic1, Bic 2, …,BicM , q1∗, q2∗, …,qM
∗
, α1∗ , α 2∗ , k1∗ , k 2∗ ] (11) blem result from the number of measurements made available by the
The priors used for the parameters will be discussed below. The infrared camera, which can provide experimental data with high spatial
vector containing the measured temperatures is written as: resolution and high frequency. Therefore, instead of applying model
⎯→
⎯ ⎯→
⎯ ⎯→
⎯ reduction and using either the Approximation Error Model or the De-
ΨT = ( ψ1 , ψ2 , ... , ψkmax ) (12.a) layed Acceptance Metropolis-Hastings algorithm, a data compression
⎯→
⎯ approach is applied here in order to reduce the computational work
where ψk contains the measured temperatures of each of the M grid needed for the calculation of the likelihood function. We note, however,
elements at time tk, k = 1, …, kmax, that is, that with a drastic model reduction, the estimates might turn out to be
⎯⎯⎯→ misleading (in the sense of predicted posterior covariance). In such a
ψk = (ψk1 , ψk 2 , ... , ψkM ) for k = 1,..., kmax (12.b) case, the Approximation Error Models might be called for.
so that we have D = M kmax measurements in total. Data compression in this work is performed by transforming the
Temperature measurements obtained with an infrared camera have experimental data (temperatures at each pixel recorded by the infrared
errors that can be modeled as Gaussian, with zero mean and constant camera) with the same integral transform that is used in the forward
standard deviation σ [18,44]. Therefore, the likelihood function can be model, equation (3.a), that is,
expressed as [3,4,35–46]: A B
∼
1 [Ψ−Θ (P)]T [Ψ−Θ (P)]
ψ (βi , γj, τ ) = ∫ ∫ ϕi φj ψ (X , Y , τ ) dY dX
π (Ψ P) = (2πσ 2)−D /2 exp ⎧ − ⎫ X =0 Y =0 (14.a)
⎨
⎩ 2 σ2 ⎬
⎭ (13)
Such as for θ͠ 1 (βi , γj, Z , τ ) and θ͠ 2 (βi , γj, Z , τ ) , the transformed measured
where Θ (P) is the solution of the direct (forward) problem, given by ∼
equation (2.a-k) with vector P given by equation (11). data, ψ (βi , γj, τ ) , were ordered with increasing eigenvalue βi2 + γ j2 . The
The solution of the direct problem, Θ (P) , needs to be computed for number of transformed modes was selected as the same used for the
all states of the Markov chain, at each position and time that a mea- solution of problem (7. a-g), by also taking into account that the in-
surement is available. Typically, the number of states required for the version of (14. a) with
Markov chain to generate samples that appropriately represent the ∞ ∞
∼
posterior distribution is very large. Therefore, if the computational time ψ (X , Y , τ ) = ∑ ∑ ϕi φj ψ (βi, γj, τ )
for the solution of the direct problem is large, the application of the i=0 j=0 (14.b)
Fig. 2. Experimental apparatus: (a) Infrared camera, (b) Camera holder, (c) Radiating heater, (d) Sample, (e) Sample holder, (f) Data acquisition system, (g)
Microcomputer for data acquisition, (h) Plexiglass dome.
489
L.A.S. Abreu et al. International Journal of Thermal Sciences 132 (2018) 486–497
5. Experiments
490
L.A.S. Abreu et al. International Journal of Thermal Sciences 132 (2018) 486–497
presented by Fig. 3. This figure also shows a sample made of one single actual measurements are used for the solution of the inverse problem.
plate, without any grooves, which was prepared for validation of the For this test-case, 96100 temperature measurements were available
method and for the estimation of the heat flux imposed by the radiating (experiment with duration of 10s, measurements with a frequency of
heater. The samples were all coated with a very thin graphite layer 10 Hz on a 31 × 31 grid). On the other hand, 50 modes were used for
(Graphit 33, Kontact Chemie). This coating served to increase and make the solution of the inverse problem with the likelihood function in the
more uniform the imposed heat flux over the sample surface, as well as transformed domain (see equation (16)), thus resulting on a data
to increase and control emissivity in the infrared range for accurate compression of 94.7%. Despite such large data compression through the
measurements with the infrared camera. integral transformation of the measurements, the spatial information
Temperatures measured with the infrared camera were recorded provided by the transformed modes was still sufficient to recover two
with the software FLIR ResearchIR™ at a rate of 9 frames per second. small contact failures, such as given by Fig. 4a,b.
Before the experiments were started, the equilibrium temperatures The reduction of the computation time required for the solution of
were recorded for 10 s in order to compute the standard deviation of the the inverse problem was substantial, when the likelihood function in
measurements, which was of 0.03 °C. the transformed domain was used. The solution of the inverse problem
using MCMC took 6.3 days with the regular likelihood given by equa-
6. Results and discussions tion (13), while the MCMC run using the likelihood in the transformed
domain took less than 2 h, resulting on a speedup of 79. For both cases,
Results obtained with simulated measurements, as well as with ac- the solutions were obtained with 30000 states in the Markov chains and
tual measurements in the experiment described above, are reported and by neglecting the first 10000 states (burn-in period). Computational
discussed in this section. For all cases, the prior for the dimensionless times refer to a FORTRAN code running on an Intel Core I7-2600 with
contact conductance was taken as a uniform improper distribution in 3.4 GHz clock and 16 Gb of RAM memory.
the form
6.2. Validation with actual measurements
1 , Bic (X , Y ) ≥ 0
π (Bic (X , Y )) = ⎧
⎨
⎩ 0 , Bic (X , Y ) < 0 (17) The thermophysical properties of the polymethyl methacrylate,
used for manufacturing the plates for the controlled experiments, as
where, the non-negativity constraint for the contact conductance was
described in the previous section, were measured by using the Flash
imposed. An upper bound for the prior of Bic (X , Y ) was not imposed
method (NETZSCH LFA-441). The measured thermal diffusivity and
because Bic (X , Y ) → ∞ in the perfect contact. On the other hand, from
the practical point of view, values of Bic(X,Y) larger than 10 already
characterize perfect contact for the cases examined below, because the
temperature difference across the interface becomes negligible, as given
by equation (2.e).
491
L.A.S. Abreu et al. International Journal of Thermal Sciences 132 (2018) 486–497
492
L.A.S. Abreu et al. International Journal of Thermal Sciences 132 (2018) 486–497
493
L.A.S. Abreu et al. International Journal of Thermal Sciences 132 (2018) 486–497
Fig. 12. (a) Markov chains of the estimated dimensionless contact conductance
for the plate with circular failure obtained with 50 modes, (b) Histogram for a
point of contact failure at x = y = 0.02 m, (c) Histogram for a point of perfect
contact at x = y = 0.005 m.
Fig. 11. Dimensionless contact conductance for the plate with circular failure: modes through the application of the inverse formula given by equation
(a) Estimated means obtained with 50 modes, (b) Estimated standard deviations (14.b). These temperatures are presented by Fig. 10a,b on a grid with
obtained with 50 modes (c) Estimated means obtained with 200 modes.
21 by 21 pixels, for the circular and longitudinal failures, respectively,
at t = 90 s. A comparison of Figs. 8 and 10 reveals that the actual
provided by the MCMC samples. measurements and the temperatures recovered by using 50 modes are
The first mode of the transformed measurements is presented by in excellent agreement, despite the fact that a reduced number of pixels
Fig. 9a, while other selected modes are presented by Fig. 9b, for the was used for the results presented in Fig. 10. In fact, the temperatures
plate with the circular contact failure. These figures show that the recovered with the integral transformation/inversion were smoother
magnitude of the first mode was significantly larger than of the other than the actual measurements; hence, the measurement errors of high
modes and that the 50th mode was practically zero. Although not pre- frequency in space and time were filtered out with the integral trans-
sented for the sake of brevity, such was also the case for the plate with a formation and inversion based on the most important modes.
longitudinal failure. As a verification of the transformation process, the The estimation of the contact conductance Bic(X,Y) in the plate with
measured temperatures were then recovered by using 50 transformed the circular failure, obtained with 50 modes, is presented by Fig. 11a,b.
494
L.A.S. Abreu et al. International Journal of Thermal Sciences 132 (2018) 486–497
495
L.A.S. Abreu et al. International Journal of Thermal Sciences 132 (2018) 486–497
496
L.A.S. Abreu et al. International Journal of Thermal Sciences 132 (2018) 486–497
Heat Transfer, second ed., CRC Press, Boca Raton, 2017. (2008) 677–692.
[35] J. Kaipio, E. Somersalo, Statistical and Computational Inverse Problems, Applied [46] J. Kaipio, C. Fox, The bayesian framework for inverse problems in heat transfer,
Mathematical Sciences 160, Springer-Verlag, 2004. Heat Tran. Eng. 32 (2011) 718–753.
[36] S. Tan, C. Fox, G. Nicholls, Inverse Problems, Course Notes for Physics 707, [47] A. Nissinen, L. Heikkinen, J. Kapio, The Bayesian approximation error approach for
University of Auckland, 2006. electrical impedance tomography – experimental results, Meas. Sci. Technol. 19
[37] H. Orlande, F. Fudym, D. Maillet, R. Cotta, Thermal Measurements and Inverse (2008), http://dx.doi.org/10.1088/0957-0233/19/1/015501.
Techniques, CRC Press, Boca Raton, 2011. [48] A. Nissinen, L. Heikkinen, V. Kolehmainen, J. Kapio, Compensation of errors due to
[38] D. Gamerman, H.F. Lopes, Markov Chain Monte Carlo: Stochastic Simulation for the discretization, domain truncation and unknown contact impedances in elec-
Bayesian Inference, second ed., Taylor & Francis, Boca Raton, 2006. trical impedance tomography, Meas. Sci. Technol. 20 (2009).
[39] H.R.B. Orlande, V. Kolehmainen, J.P. Kaipio, Reconstruction of thermal parameters [49] A. Nissinen, V. Kolehmainen, J. Kapio, Compensation of modeling errors due to the
using a tomographic approach, Int. J. Heat Mass Tran. 50 (2007) 5150–5160. unknown domain boundary in electrical impedance tomography, IEEE Trans. Med.
[40] A.F. Emery, Estimating deterministic parameters by bayesian inference with em- Imag. 30 (2011) 231–242.
phasis on estimating the uncertainty of the parameters, Proceedings of the Inverse [50] V. Kolehmainen, T. Tarvainen, S.R. Arridge, J.P. Kaipio, Marginalization of unin-
Problem, Design and Optimization Symposium, vol. I, 2007, pp. 266–272 (Miami teresting distributed parameters in inverse problems – application to diffuse optical
Beach, Florida). tomography, Int. J. Uncertain. Quantification 1 (2011) 1–17.
[41] C. Mota, H. Orlande, M. De Carvalho, V. Kolehmainen, J. Kaipio, Bayesian esti- [51] C.C. Pacheco, H.R.B. Orlande, M.J. Colaço, G.S. Dulikravich, Estimation of a loca-
mation of temperature-dependent thermophysical properties and transient tion- and time-dependent high-magnitude heat flux in a heat conduction problem
boundary heat flux, Heat Tran. Eng. 31 (2010) 570–580. using the kalman filter and the approximation error model, Numer. Heat Tran., Part
[42] C. Naveira-Cotta, H. Orlande, R. Cotta, Integral transforms and bayesian inference a: Applications 68 (2015) 1198–1219.
in the identification of variable thermal conductivity in two-phase dispersed sys- [52] C.C. Pacheco, H.R.B. Orlande, M.J. Colaço, G.S. Dulikravich, Real-time identifica-
tems, Numer. Heat Tran. Part B, Fundamentals 57 (2010) 173–202. tion of a high-magnitude boundary heat flux on a plate, Inv. Prob. Sci. Eng. 24 (9)
[43] C. Naveira-Cotta, R. Cotta, H. Orlande, Inverse analysis of forced convection in (2016) 1661–1679.
micro-channels with slip flow via integral transforms and Bayesian inference, Int. J. [53] J.A. Christen, C. Fox, Markov chain Monte Carlo using an approximation, J.
Therm. Sci. 49 (2010) 879–888. Comput. Graph Stat. 14 (2005) 795–810.
[44] H. Massard, O. Fudym, H.R.B. Orlande, F. Sepulveda, A statistical inversion ap- [54] T. Cui, C. Fox, M.J. O'Sullivan, Bayesian calibration of a large-scale geothermal
proach for local thermal diffusivity and heat flux simultaneous estimation, Quant. reservoir model by a new adaptive delayed acceptance Metropolis Hastings algo-
InfraRed Therm. J. 11 (2014) 170–189. rithm, Water Resour. Res. 47 (2011) W10521.
[45] H. Orlande, M. Colaço, G. Dulikravich, Approximation of the likelihood function in [55] W.D. Callister, D.G. Rethwisch, Materials Science and Engineering: an Introduction,
the Bayesian technique for the solution of inverse problems, Inv. Prob. Sci. Eng. 16 Wiley New York, 2007.
497