HAL Id: hal-02373628
https://hal-upec-upem.archives-ouvertes.fr/hal-02373628
Submitted on 21 Nov 2019
HAL is a multi-disciplinary open access
archive for the deposit and dissemination of
sci-entific research documents, whether they are
pub-lished or not. The documents may come from
teaching and research institutions in France or
abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est
destinée au dépôt et à la diffusion de documents
scientifiques de niveau recherche, publiés ou non,
émanant des établissements d’enseignement et de
recherche français ou étrangers, des laboratoires
publics ou privés.
statistical properties of random fields in a Bayesian
framework
Guillaume Perrin, Christian Soize
To cite this version:
Guillaume Perrin, Christian Soize. Adaptive method for indirect identification of the statistical
prop-erties of random fields in a Bayesian framework. Computational Statistics, Springer Verlag, 2020, 35,
pp.111-133. �10.1007/s00180-019-00936-5�. �hal-02373628�
Adaptive method for indire t identi ation of the
statisti al properties of random elds in a Bayesian
framework
GuillaumePerrin
·
ChristianSoizeRe eived:date/A epted:date
Abstra t Thiswork onsidersthe hallengingproblemofidentifyingthe
sta-tisti al properties of random elds from indire t observations. To this end,
aBayesianapproa his introdu ed, whose keystep isthe nonparametri
ap-proximation of the likelihood fun tion from limited information. When the
likelihoodfun tionisbasedontheevaluation ofanexpensive omputer ode,
thisworkalsoproposesamethodtosele titerativelynewdesignpointsto
re-du etheun ertaintiesontheresultsthatareduetotheapproximationofthe
likelihood.Twoappli ationsarenallypresentedtoillustratethee ien yof
theproposed pro edure:arstonebasedonanalyti data, andase ond one
dealing with the identi ation of the random elasti ity eld of an
heteroge-neousmi rostru ture.
Keywords Bayesian framework
·
un ertainty quanti ation·
statisti al inferen e·
sto hasti pro ess·
kerneldensityestimation1Introdu tion
Randomeldanalysishasbe omeamajortoolinmanys ienti elds,su h
asun ertaintyquanti ation, materials ien e, biology,medi ine, signal
pro- essing,quantitativenan e,et . However,inmostofthese appli ations,the
knowledge of these random elds, whi h we write
X
, is limited. Numeri al methods are therefore needed to identify the probability distribution ofX
fromtheavailableinformation.G.Perrin
CEA/DAM/DIF,F-91297,Arpajon,Fran e
E-mail:guillaume.perrin2 ea.fr
C.Soize
UniversitéParis-Est,MSMEUMR8208CNRS,Marne-la-Vallée,Fran e
Whenthe information is onstituted of dire t measurementsof the eld
to model, several te hniqueshave been proposed to perform su h an
identi- ation. For instan e, the AutoRegressive-Moving-Average (ARMA) models
[Whittle, 1951,Whittle,1983,BoxandJenkins,1970℄,allowthedes riptionof
Gaussian stationary random elds as a parameterized integral of a
Gaus-sian white noise. When onsidering a priori non-Gaussian and
nonstation-ary random elds, the identi ation is generally basedon a two-step
pro e-dure.Therststepistheapproximationoftherandomeldbyitsproje tion
on a redu ed number of deterministi fun tions [GhanemandSpanos,2003,
LeMaîtreand Knio,2010℄,usingforinstan etheproperorthogonal
de ompo-sition[AtwellandKing,2001℄,thepropergeneralizedde omposition[Nouy, 2010℄,
ortheKarhunen-Loèveexpansion[Williams,2011,Perrinet al.,2014,Perrinetal.,2013℄.
These ondstepistheidenti ationofgeneralsto hasti representationsofthe
proje tion oe ients in high sto hasti dimension [Soize,2010,Soize,2011,
Perrinetal.,2012,NouyandSoize, 2014,SoizeandGhanem,2016,Perrinet al.,2018℄.
The main spe i ity of this work omes from the fa t that only
indi-re t observations are available for the identi ation, in the sense that the
experimental data is made of the transformations of a limited number of
independent realizations of
X
through a bla k-box time- onsuming nonlin-ear mapping, denoted byg
. To make this identi ation tra table, we as-sume that therandom eld to identifybelongs to aknown parametri lass.Thus, identifying the distributionof
X
amountsto identifying the valuesof these parameters,whi haregatheredin theve torz
.A Bayesianframework isthen onsidered [MarzoukandNajm,2009,Stuart,2010,Arnstetal.,2010,Matthiesetal.,2016,Emeryetal.,2016℄:parameter
z
issupposed tobe ran-dom,andwesear hitsposteriordistributiongiventheavailabledata.MarkovChainMonteCarlo(MCMC)[RubinsteinandKroese,2008,Tianet al.,2016℄
isgenerally onsideredasapowerfultooltoexploretheposteriordistribution
for these parameters. However it an be omputationally prohibitive when
ea hposteriorevaluationrequires evaluationsofa omputationallyexpensive
ode,asitthe asehere.To ir umventthisproblem,astandardapproa histo
repla ethe odebyasurrogatemodel,andtodire tlysamplefromthe
approxi-matedposteriordistributionasso iatedwiththemodiedlikelihoodusing
las-si alMCMCpro edures.Thesurrogatemodel anbebasedonpolynomial
rep-resentations[MarzoukandNajm,2009,MarzoukandXiu,2009,WanandZabaras,2011,
LiandMarzouk,2014,Tsilisetal.,2017℄,Gaussianpro essregression[KennedyandO'Hagan,2001,
Santneret al.,2003,Higdonetal.,2008,BilionisandZabaras,2015,Sinsbe kandNowak,2017,
Damblinetal.,2013℄,orrunsofthe odeatdierentresolutionlevels[Higdonetal.,2003,
ChenandS hwab,2015℄. Alternatively, the surrogate model an be used to
adapt theproposal distribution. Inthat ase, the numberof expensive
pos-terior evaluations perMCMC step an be strongly redu ed, while sampling
asymptoti ally from the exa t posterior distribution (see [Rasmussen,2003,
Fieldingetal.,2011,Conradetal.,2016,Conradetal.,2018℄forfurtherdetails
aboutthisapproa h).
This work an be seen as an extension of these methods to the ase of
is also a random quantity. But if the distribution of
X(z)
is known on ez
is xed, the distribution ofg(X(z))
is unknown, and its identi ation is omputationally demanding. Therefore, instead of onstru ting a surrogatemodel of the ode, wefo us ontheapproximationof the probabilitydensity
fun tion(PDF)of
g(X(z))
.Torun a MCMCpro edure basedon theasso iated approximated
likeli-hood in areasonable omputational time, this approximationof thePDF of
g(X(z))
inanyz
hastobe onstru tedfromaxednumberofalreadyom-puted odeevaluations.Tothisend, werst proposeto dire tlyworkonthe
jointPDFof
(g(X(z)), z)
.Then,wefo usontheGaussiankerneldensity esti-mation(G-KDE)[WandandJones,1995,S ottandSain,2004,Perrinet al.,2018℄for the PDF approximation. Indeed, this method is parti ularly interesting
forits abilityto model non-Gaussiandistributions with omplexdependen e
stru tures, but also be ause it allows an expli it derivation of the PDF of
g(X(z))|z
on e the joint PDF is known. To onstru t relevant PDFap-proximations of this potentially high-dimensional random ve tor from a
re-du ed number of ode evaluations, we nally introdu e two adaptations of
the lassi al G-KDE formalism. First, an optimal partitioning of the
om-ponents of
g(X(z))
is introdu ed, whi h onsists in de omposing the ran-dom ve tor to model in well- hosengroups of omponents that anreason-ablybe onsideredasindependent.Se ondly,asequentialstrategyisproposed
to hoose the evaluations points on whi h the G-KDE relies. Starting from
a spa e-lling design, the obje tive is to sequentially add new ode ev
alu-ations in the regions where the posterior distribution of the parameters is
high. We refer to [M Kayetal.,1979,Fangand Lin,2003,Fang etal.,2006,
Dragulji¢etal.,2012,Josephet al.,2015℄ for the onstru tion of the initial
spa e-llingdesignswhentheinputspa esisanhyperre tangle,andto[Stinstraet al.,2003,
Stinstraetal.,2010,Aurayet al.,2012,Dragulji¢et al.,2012,LekivetzandJones,2015,
MakandJoseph,2016,Perrinand Cannamela,2017℄forthegeneral ase.
The outline of this work is as follows. Se tion 2 presents the theoreti al
framework of the proposed method. Se tion 3 rst illustrates the e ien y
of the method on an analyti al example, and then shows its potential for
theidenti ation of theme hani alproperties of anunknown heterogeneous
medium.
2Indire tidenti ation ofthe statisti al properties ofrandom
elds
Theobje tiveofthisse tionistodes ribetheadaptivepro edurewepropose
for the identi ation of the statisti al properties of random elds when the
availableinformationis asetofindire tobservations.
2.1Denitions andnotations
P(X, R
d
x
)
denotesthespa eofallthese ond-orderrandomelds dened
on
(Ω, A, P)
,withvaluesinR
d
x
,indexedbya ompa tand onne tedspa e
X
;
L
2
(X, R
d
x
)
isthespa eofallthesquare-integrablefun tionsdened on
X
withvaluesinR
d
x
;
g
is a nonlinear measurable mapping whose omputational ost an behigh:
g
:
(
L
2
(X, R
d
x
) → R
d
y
h
7→ g(h)
;
(1)X (R
d
z
, R
d
x
)
referstoaparti ular lassofrandomeldsin
P(X, R
d
x
)
,whose
statisti al propertiesareparameterizedbyadeterministi ve tor
z
∈ R
d
z
.
Forinstan e,
X (R
d
z
, R
d
x
)
an orrespondto the set ofGaussian random
elds,whosemeanand ovarian efun tionsareparameterizedbythesame
d
z
oe ients. Forallz
inR
d
z
,X
(z)
isanelementofX (R
d
z
, R
d
x
)
. LetX
⋆
beaparti ularelementofP(X, R
d
x
)
,whi h anbelongornotto
X (R
d
z
, R
d
x
)
, and
Y
⋆
be its transformation by
g
. By onstru tion,Y
⋆
is a
d
y
-dimensional random ve tor.For ea h realization ofX
⋆
, whi h we denote byX
⋆
(θ)
withθ
∈ Ω
,Y
⋆
(θ) := g(X
⋆
(θ))
denesa parti ularrealization ofY
⋆
.Given
N
independentrealizationsofY
⋆
,gatheredin theset
S(N ) := {Y
⋆
(θ
n
)}
1≤n≤N
, θ
n
∈ Ω,
thepurposeof this work is toproposea Bayesianformalismfor the
identi- ationof
z
⋆
,su hthat theprobabilitydistribution of
X(z
⋆
)
isthe losestto theoneofX
⋆
. RemarksAs mentionedin Introdu tion,itis importanttonoti e thatforea h
z
∈
R
d
z
,
g(X(z))
is random. This stronglylimits thepossibilityof repla ingmapping
z
7→ g(X(z))
byasurrogatemodel,asitis lassi allydonewhen solvinginverseproblemsthat invoke omputationallyexpensivemodels.Inthefollowing,forthesakeofsimpli ity,weassumethat
X
⋆
∈ X (R
d
z
, R
d
x
)
.
Ifitwasnotthe ase,it ouldbene essarytointrodu eanerrortermto
modelthedieren ebetween
X
⋆
and
X(z)
[KennedyandO'Hagan,2001℄.2.2Bayesianformulationoftheproblem
In this work,
z
⋆
is modeled by the random ve tor
Z
, to take into a ount thefa tthatitsvalueisunknown.Letf
Z
betheprobabilitydensityfun tion(PDF)of
Z
,whi hissupposedtobeknownasapriormodel.Hen e, identify-ingz
⋆
amountstosear hingtheposteriorPDFof
Z
| S(N )
,whi hwedenote byf
Z
|S(N )
.UsingtheBayestheorem,it omes:f
Z
|S(N )
(z) =
L
S(N )
(z)f
Z
(z)
E
L
S(N )
(Z)
, z ∈ R
d
z
.
(2)
There,
E [·]
is the mathemati al expe tation andL
S(N )
is the likelihood fun tion.TheelementsofS(N )
beingstatisti allyindependent,itfollows:L
S(N )
(z) =
N
Y
n=1
f
Y
(z)
(Y
⋆
(θ
n
)), z ∈ R
d
z
,
(3)inwhi h
f
Y
(z)
isthePDFofY
(z) := g(X(z))
forgivenz
inR
d
z
,andis
un-known.Toapproximate
f
Y
(z)
,arstpossibilityistogenerateM
independent realizations ofY
(z)
. Thus, based onthis set, the valuef
Y
(z)
(y)
off
Y
(z)
in anypointy
inR
d
y
anbeapproximatedusinganyparametri or
nonparamet-ri statisti allearningte hnique.However,this meansthatfun tion
g
hasto beevaluatedM
× Q
timesto evaluatefun tionL
S(N )
inQ
pointsforz
.This qui klybe omesburdensomewhenthe omputational ostforea hevaluationof
g
isrelativelyhigh(betweenseveralminutestoseveralhoursCPUforthe onsideredappli ations).Onepossibleapproa hto ir umventthisproblemisto dire tly approximate the jointPDF of the
(d
y
+ d
z
)
-dimensional random ve tor(Y (Z), Z)
[SoizeandGhanem,2017℄.Indeed,M
independent realiza-tionsof(Y (Z), Z)
anbeobtainedfromthefollowingtwo-steppro edure:werstdrawatrandom
M
independentrealizationsofZ
a ordingtothe distributionf
Z
,whi hwedenotebyZ(ω
1
)
,. . .
,Z(ω
M
)
,whereω
1
, . . . , ω
M
areinΩ
;forea hvalueof
z
in{Z(ω
1
), . . . , Z(ω
M
)}
,wedraw,atrandomand inde-pendentlytheones fromtheothers, aparti ularrealizationofX(z)
,and wededu earealizationofY
(z)
byevaluatingg
inthisrealizationofX(z)
.Forthesakeofsimpli ity,wedenotetheserealizationsby
Y
(ω
m
)
,1 ≤ m ≤
M
.Basedontheserealizations,thekernelestimatoroff
Y
,Z
is:b
f
Y
,Z
(y, z; H) :=
det(H)
−1/2
M
M
X
m=1
K
H
−1/2
((y, z) − (Y (ω
m
), Z(ω
m
)))
.
(4)Here, det
(·)
is the determinant operator,K
is any positive fun tion whose integraloverR
d
y
+d
z
is one, and
H
is a((d
y
+ d
z
) × (d
y
+ d
z
))
-dimensionalpositive-denitesymmetri matrix, whi h is generallyreferredasthe
"band-widthmatrix".Inthefollowing,wefo usonthe asewhere
K
istheGaussian multidimensionaldensity, andwhereH
is proportionaltothe empiri al esti-mationofthe ovarian ematrixof(Y (Z), Z)
,denoted byC
b
:Themain interestofthis hypothesis omes from thefa t that itstrongly
redu esthenumberofparametersthatneedtobeidentiedforthe
onstru -tionof
H
,whilegenerallyleadingtoveryinterestingresultsforthemodeling of multivariatePDFs(see [Perrinetal.,2018℄for moredetails). Otherparsi-moniousparameterizations ouldbeproposed for
H
,su hasdiagonal repre-sentations,butforsu ientlyhighvaluesofM
,theinuen eofthis hoi eon theidenti ationresultsisexpe tedtobesmall.Hen e,thePDFof
(Y (Z), Z)
isapproximatedbyamixtureofM
Gaussian PDFs,forwhi hthemeansaretheavailablerealizationsof(Y (Z), Z)
andthe ovarian ematri esareallparameterizedbyauniques alarh
:b
f
Y
,Z
(y, z; h) =
1
M
M
X
m=1
φ
(y, z); (Y (ω
m
), Z(ω
m
)), h
2
C
b
.
(6)There,forany
R
d
-dimensionalve tor
µ
andforany(R
d
× R
d
)
-dimensional
symmetri positive-denitematrix
C
,φ(·; µ, C)
isthePDFofanyR
d
-dimensional
Gaussianrandomve torwithmean
µ
and ovarian ematrixC
:φ
(x; µ, C) :=
exp
−
1
2
(x − µ)
T
C
−1
(x − µ)
(2π)
d/2
p
det(C)
,
x
∈ R
d
.
(7)Inaddition,theblo kde ompositionof
C
b
iswrittenas:b
C
=
"
b
C
Y Y
C
b
Y Z
b
C
T
Y Z
C
b
ZZ
#
.
(8) Forall(y, z) ∈ R
d
y
× R
d
z
,thekernelapproximationof
f
Y
(z)
(y)
,whi hwe denote byf
b
Y
(z)
(y; h)
, antherefore bewritten asfollows(see Appendix for moredetails aboutthisexpression):b
f
Y
(z)
(y; h) =
b
f
Y
,Z
(y, z; h)
R
R
dy
f
b
Y
,Z
(v, z; h)dv
=
M
X
m=1
γ
m
(z; h)
P
M
m
′
=1
γ
m
′
(z; h)
φ
(y; µ
m
(z), C
m
(h)) ,
(9)γ
m
(z; h) := exp
−
1
2h
2
(z − Z(ω
m
))
T
b
C
−1
ZZ
(z − Z(ω
m
))
,
(10)µ
m
(z) := Y (ω
m
) + b
C
Y Z
C
b
−1
ZZ
(z − Z(ω
m
)),
(11)C
m
(h) := h
2
b
C
Y Y
− b
C
Y Z
C
b
−1
ZZ
C
b
T
Y Z
.
(12)ItfollowsthattheposteriorPDFof
Z
isestimated forea hz
inR
d
z
f
Z
|S(N )
(z) ≈
b
L
S(N )
(z; h)f
Z
(z)
E
h
L
b
S(N )
(Z)
i ,
L
b
S(N )
(z; h) :=
N
Y
n=1
b
f
Y
(z)
(Y
⋆
(θ
n
); h).
(13) RemarksOnekeystepofthesemethodsistheexplorationofthewholespa eofthe
inputvariables.Tomaximizethis overing,it isgenerallyworth hoosing
{Z(ω
1
), . . . , Z(ω
M
)}
asaspa ellingdesignofexperimentsthatpreservesgoodproje tionpropertiesforea h s alarinput(see[FangandLin,2003,
Fanget al.,2006,PerrinandCannamela,2017℄forthe onstru tionofsu h
designswhenpriordensity
f
Z
isuniformornot).Another ru ialaspe toftheseBayesianapproa hesisthe hoi eofprior
distribution
f
Z
.Indeed,themoreinformativeitis,thelessmeasurements weneedtogetausefulposteriordistributionforZ
.Butifitis over on-dentaroundvaluesthat arepotentiallybiased,theun ertainty arriedbytheposteriordistributionmaynotbelargeenoughtoadequately apture
thetruevalueof
Z
(see[Marinand Robert,2007℄formoredetails onthe onstru tionofthispriordistribution).In the standard ase, the
M
ode evaluations are generallyused to on-stru t a surrogate model of a omputationally expensive butdetermin-isti ode. Hen e, depending on the dimension of the input spa e and
the regularity of the ode output with respe t to the inputs,
interest-ing approximations an be obtained using relatively small values of
M
[Perrinetal.,2017℄. On the ontrary, in our ase, asz
7→ g(X(z))
is a sto hasti simulator,thevalueofM
islikelytobehigher,aswewantthe odeevaluationstoallowapre iseapproximationofthedependen estru -turebetween
Y
(Z)
andZ
inthe onstru tionoftheirjointPDF.Andthe higherd
y
+ d
z
is,thehighervalueofM
wemayneed.However,when on-frontedto expensivesimulators,the maximalnumberof odeevaluationsisgenerallylimited(
M
mustbelessthan1000
forinstan e).Inthat ase, itisparti ularlyimportanttoworkonmethodsthatallowthemostpre iseidenti ationoftheparametersattheminimal ost.Thisistheobje tiveof
thefollowingse tions.InSe tion2.3,werstproposetode ompose
Y
(Z)
inseveralgroupstoimprovetherelevan eofthenonparametrirepresen-tation of PDF
f
Y
,Z
for a xed value ofM
. Then, sele tion riteria are proposedinSe tion2.5tosequentially on entratethe odeevaluationsinthemostlikelyregionsfor
Z
,andthereforeredu etheun ertaintiesonits posteriorPDFf
Z
|S(N )
.2.3Optimalpartitioning
As it is explained in [Perrinet al.,2018℄, when
d
y
be omeshigh, separating indierentgroupsthe omponentsofY
(Z)|Z
that ouldreasonablybenumber of ode evaluations. Let
b
= (b
1
, . . . , b
d
y
)
be aparti ular group de- omposition ofY
(Z)|Z
in thesensethat:if
b
i
= b
j
,Y
i
(Z)|Z
andY
j
(Z)|Z
aresupposedto bedependentandthere-forebelong tothesameblo k,
if
b
i
6= b
j
,Y
i
(Z)|Z
andY
j
(Z)|Z
aresupposedtobeindependentandtheyanbelongtotwodierentblo ks.
Toavoidredundan ies inthis blo k by blo krepresentation,ve tor
b
an be hosenin theset:B(d
y
) :=
b
∈ {1, . . . , d
y
}
d
y
| b
1
= 1, 1 ≤ b
j
≤ 1 + max
1≤i≤j−1
b
i
,
2 ≤ j ≤ d
y
.
(14)Hen e,forany
b
inB(d
y
)
,we andene Max(b)
asthemaximalvalueofb
,
Y
(ℓ)
(z, b)
astherandomve torthatgathersallthe omponentsof
Y
(Z)|Z =
z
withablo kindex equaltoℓ
,
y
(ℓ)
(y, b)
as theve torthat gathersallthe omponentsof
y
withablo k index equaltoℓ
. For allb
inB(d
y
)
,z
inR
d
z
andh
:= (h
1
, . . . , h
Max(b)
)
inR
Max(b)
, ifb
f
Y
(ℓ)
(z,b)
(y
(ℓ)
(y, b); h
ℓ
)
is the kernel estimator of the PDF ofY
(ℓ)
(z, b)
, it omes:f
Y
(z)
(y) ≈ e
f
Y
(z)
(y; h, b) :=
Max(b)
Y
ℓ=1
b
f
Y
(ℓ)
(z,b)
(y
(ℓ)
(y, b); h
ℓ
), y ∈ R
d
y
,
(15)leadingto anotherapproximationof
f
Z
|S(N )
(z)
forea hz
inR
d
z
:f
Z
|S(N )
(z) ≈ e
f
Z
|S(N )
(z) :=
e
L
S(N )
(z; h, b)f
Z
(z)
E
h
e
L
S(N )
(Z)
i
,
(16)e
L
S(N )
(z; h, b) :=
N
Y
n=1
e
f
Y
(z)
(Y
⋆
(θ
n
); h, b).
(17)2.4Estimationofthekernelparameters
Toevaluate
L
e
S(N )
, the valuesofh
andb
haveto beidentied. This anbe donebysolvingthefollowingoptimization problem:(h
AIC, b
AIC) ≈ arg
min
h
∈]0,+∞[
Max(b)
, b∈B(d
y
)
AIC LOO(h, b),
(18)AIC LOO
(h, b) := 2
Max(b)−2 log
M
Y
m=1
Max(b)
Y
ℓ=1
b
f
Y
(−m)
(ℓ)
(Z(ω
m
),b)
(Y
(ℓ)
(Y (ω
m
), b); h
ℓ
)
,
(19) wheref
b
(−m)
Y
(ℓ)
(Z(ω
m
),b)
isthekernelestimatorofthePDFof
Y
(ℓ)
(Z(ω
m
), b)
thatisbasedonalltheevaluationsof
g
butthem
thone.Indeed,givenEq.(9),this
amountstominimizing a"Leave-One-Out"versionoftheAkaikeinformation
riterion(AIC)[Akaike,1974℄asso iatedwiththePDFof
Y
(Z)|Z
(very lose results would beobtained by onsidering another information riterionsu hastheBayesianinformation riterion(BIC)). Wereferto[Perrinetal.,2018℄
formoredetails aboutthesolvingofthis optimizationproblem.
2.5Adaptivestrategy
By onstru tion, the pre isionof the estimation of
z
⋆
depends on the
num-berof experimental measurements,
N
, and the number of ode evaluations,M
. Classi ally, thevalue ofN
is xed, whereas it should bepossibleto im-prove the a ura y off
e
Y
(z)
, whi h is dened by Eq. (15), by adding new odeevaluations inthelearningset.For instan e,M
new
newpoints ouldbe
addedtothelearningsetbyevaluatingthe odein
M
newindependent
realiza-tionsof
Z|S(N )
(weremindthat no odeevaluationsare requiredto hoose these new points). However,as the kernel density estimator is based onthepost-pro essingof independentand identi allydistributed realizations ofthe
randomve torto model, non onsistentresults ould beobtainedby mixing
realizationsof
Z|S(N )
withrealizationsofZ
.Ifsu hasele tion riterionwas hosen,thiswouldmeanthattheM
odeevaluationsattheinitialstepshould notbeusedfortherening.Asanalternative,weproposeto evaluatethefun tion
z
7→ e
f
(z) := e
L
S(N )
(z; h
AIC
, b
AIC)f
Z
(z)
in ea h value of
{Z(ω
1
), . . . , Z(ω
M
)}
. For ea h1 ≤ m ≤ M
, letπ
m
be the followingweights:0 ≤ π
m
:=
e
f
(Z(ω
m
))
P
M
m
′
=1
f
e
(Z(ω
m
′
))
≤ 1.
(20)Withoutlossof generality, theseweightsare assumed to besorted in
de- reasingorder,
π
1
≥ π
2
≥ . . . ≥ π
M
.Hen e,for0 < α < 1
,ifwedenotebyQ
α
thesmallestintegersu hthat:Q
X
α
−1
m=1
thedomain
Z
α
:= {z ∈ R
d
z
| e
f
(z) ≥ e
f
(Z(ω
Q
α
)}
anbeseenasa onservativeα
- redible set forZ|S(N )
, in the sense that the probability forZ|S(N )
to beinZ
α
islikely tobehigherthanα
. Therefore, addingnewrealizations ofZ|Z ∈ Z
α
seemsagoodmeantoenri hthesetofpointsonwhi hthekerneldensityestimator isbased. Indeed,the mostlikelyvaluesof
z
at theformer steparekeptintheadaptivepro edure,whileagoodexplorationoftheinputdomainisexpe tedifthevalueof
α
is hosensu ientlyhigh. Finally, hoosingf
Z
|Z∈Z
α
insteadoff
Z
for the prior distribution ofZ
, andrepeatingseveraltimesthispro edure,itispossibleto iterativelyredu etheun ertaintiesabout
z
⋆
.
Remarks
Byaddingnew odeevaluations,theobje tiveistomake
f
e
Y
(z)
beas lose tof
Y
(z)
aspossible,su hthattheapproximateposteriorf
e
Z
|S(N )
isas lose tothetrue(butunknown)posteriorf
Z
|S(N )
aspossible.Choosingavalue ofα
thatisstri tlyinferiortooneonlyaimsatlimitingthenumberofnew odeevaluationsthat willbein theregionwheretrueposteriorf
Z
|S(N )
is almostzero.However,thisvaluehasnottobe hosentoosmall,asitwouldarti iallyredu etheun ertaintyasso iatedwiththeestimationof
z
⋆
by
uttingtoomu hthetailsofthetrueposterior.Hen e,in theappli ations
thatwillbepresentedin Se tion3,
α
is hosenequalto0.99
.A ording to Eq. (21), we deliberatelyadd oneto the valueof
Q
α
to be onservativefor the estimation of theα
- redible set. This is parti ularly important for aseswhen after therst iteration,π
1
≈ 1
.Indeed, evenif onevalueofz
appearsto be mu h morerelevant thanthe others, wedo notwantto fo ustoomu haroundasinglemode.3Appli ations
Thepurpose ofthisse tion isto illustratethe methodproposedin Se tion 2
ontwoappli ations.
3.1Analyti alappli ation
In this rst appli ation,
X
(z)
refers to the Gaussian random elds whose meanisequaltot
7→ sin(2πz
3
t
+ z
4
)
,and whose ovarian efun tionis equalto
(t, t
′
) 7→ z
2
1
exp
−
(t−t
2z
2
′
)
2
2
.This lass of random elds is thereforeparameterizedby four quantities:
twoparametersforthemeanvalue,denotedby
z
3
andz
4
,andtwoparameters forthe ovarian efun tion,denotedbyz
1
andz
2
.Wethenintrodu eU
(X(z))
astheimageofX
(z)
bythefollowingnonlinearmapping:0
0.2
0.4
0.6
0.8
1
0
0.5
1
1.5
PSfragrepla ementst
U(t, ω
1
)
U(t, ω
2
)
U(t, ω
3
)
(a)Realizationsof
U(X(Z))
0
0.2
0.4
0.6
0.8
1
0
0.5
1
1.5
PSfragrepla ementst
U
⋆
(t, θ
1
)
U
⋆
(t, θ
2
)
U
⋆
(t, θ
3
)
(b)RealizationsofU(X(Z))|Z = z
⋆
Fig.1 Comparisonofindependentrealizations
U(X(Z))
andU(X(Z))|Z = z
⋆
.
U
(X(z)) := {X(t; z) sin(X(t; z)), t ∈ [0, 1]} .
(22)Thevalueof
z
⋆
is hosenequalto
(0.3, 0.2, 2, 1)
,anditisapriori modeled byauniformlydistributedover[0.1, 1] × [0.05, 1] × [1, 3] × [0, 2]
randomve tor, denoted byZ
. Toidentifyz
⋆
, theavailable information is made of
N
= 10
independentrealizationsofU
(X(Z))|Z = z
⋆
,denotedby
U
⋆
(θ
1
), . . . , U
⋆
(θ
N
)
. Tosolvetheinferen e problem,M
= 500
independentrealizationsofZ
have beendrawn, whi hwewrite{Z(ω
1
), . . . , Z(ω
M
)}
. Forea h1 ≤ m ≤ M
, we then draw at random onerealization ofU
(X(Z(ω
m
)))
, and wedenote it byU
(ω
m
)
for the sake of simpli ity. As an illustration, several realizations ofU
(X(Z))
andU
(X(Z))|Z = z
⋆
are omparedinFigure 1.
Inprin iple,theBayesianformulation anbeappliedtoanymulti-variate
output ode. But in pra ti e, it is generally very onvenient to ondense (if
itis possible)the statisti al ontentofthe ode outputin alow-dimensional
ve tor[Perrin,ress℄.Inour ontext,itisevenmoreimportant,asakeystepof
theproposedmethodistheidenti ationofthejointdistributionbetweenthe
parameterstobeidentiedandtheasso iated odeoutput,whose omplexity
stronglyin reaseswiththedimensionofthe odeoutput.Inthatprospe t,we
introdu e
ψ
p
,p
≥ 1
asthesolutionsofthefollowingeigenvalueproblem:Z
1
0
M
X
m=1
U
(t, ω
m
)U (t
′
, ω
m
)ψ
p
(t
′
)dt
′
= λ
p
ψ
p
(t),
(23)λ
1
≥ λ
2
≥ · · · → 0,
Z
1
0
ψ
p
(t
′
)ψ
q
(t
′
)dt
′
= δ
pq
,
(24)where
δ
pq
istheKrone kersymbolthatisequalto1ifp=qand0otherwise.To solvetheinferen eproblem,wenallyintrodu eY
(z)
astheve torgathering theproje tion oe ientsofU(X(Z))
ontheformereigenfun tionsasso iated withthed
y
highesteigenvalues:Y
(Z) :=
Z
1
0
U
(t; X(Z))ψ
1
(t)dt, . . . ,
Z
1
0
U
(t; X(Z))ψ
d
y
(t)dt
.
(25)Thevalueof
d
y
anthenbe hosentoguaranteearelevantrepresentation oftheobservations.Tothisend, weintrodu eε
2
asthefollowingquantity:
ε
2
(d
y
) :=
P
N
n=1
R
1
0
U
⋆
(t, θ
n
) − b
U
⋆
(t, θ
n
; d
y
)
2
dt
P
N
n=1
R
1
0
(U
⋆
(t, θ
n
))
2
dt
,
(26)b
U
⋆
(t, θ
n
; d
y
) :=
d
y
X
p=1
ψ
p
(t)
Z
1
0
U
⋆
(t
′
, θ
n
)ψ
p
(t
′
)dt
′
.
(27)Asanillustration,Figure 2showstheevolutionof
ε
2
(d
y
)
withrespe t tod
y
,aswellasthedieren ebetweenU
⋆
(t, θ
1
)
andU
b
⋆
(t, θ
1
; d
y
)
forthreevalues ofd
y
.Forthisappli ation,d
y
was hosenequalto12
,whi h orrespondstoa valueofε
2
that islessthan
1%
.Basedonthese
M
realizationsof(Y (Z), Z)
,andontheseN
realizationsofY
(z
⋆
) := Y (Z)|Z = z
⋆
,theadaptiveBayesianformalismpresentedinSe tion
2isnowapplied. Forthisappli ation,theparameter
α
,whi hwasintrodu ed in Se tion 2.5, is hosen equal to0.99
. At ea h iteration, new samples are thereforeaddedintheregionwheref
Z
|S(N )
isnottoosmallusingareje tion approa h untilwegetatotalofM
points(in ludingthepoints omputedat theformeriterations)in theα
- rediblesetZ
α
,whose denitionis alsogiven in Se tion 2.5. After 5 iterations, the total number of alls to the ode isequalto
2300
,whi hmeans that around450newpoints havebeenadded at ea h iteration. The results are summarized in Table 3.1 and Figures 3 and4. As arst omment, we verify that the identi ation of
z
⋆
after only one
iterationisnotverypre ise, inthesense thatthepredi tionun ertaintiesare
veryhigh. This is notsurprising, as weare trying to approximate the PDF
of a16-dimensionalrandomve tor(
d
y
= 12
,d
z
= 4
)onits whole denitiondomain from only 500 realizations. Moving from
M
= 500
toM
= 2300
,that istosayspending thetotalbudgetat therstiteration,doesnotreally
help. Indeed, the results we get in terms of mean and varian e of
Z|S(N )
are approximativelythe same.This is explained bythe fa t that even ifthe0
10
20
30
40
50
60
70
80
−12
−11
−10
−9
−8
−7
−6
−5
−4
−3
−2
−1
0
PSfragrepla ementslo
g
1
0
(ε
2
)
(%
)d
y
(a)Error onvergen e
0
0.5
1
−0.5
0
0.5
1
PSfragrepla ementst
U
⋆
(t, θ
1
)
b
U
⋆
(t, θ
1
; d
y
= 15)
b
U
⋆
(t, θ
1
; d
y
= 5)
b
U
⋆
(t, θ
1
; d
y
= 10)
(b)Redu edbasisrepresentation
Fig.2 Evolutionoftheproje tionerrorwithrespe tto
d
y
.Z
1
Z
2
Z
3
Z
4
Referen e 0.3 0.2 2 1E [Z|S(N )]
,M
= 2300
,i
= 1
0.25 0.57 2.00 1.02E [Z|S(N )]
,M
= 500
,i
= 1
0.24 0.59 2.00 1.02E [Z|S(N )]
,M
= 500
,i
= 2
0.35 0.31 2.00 1.04E [Z|S(N )]
,M
= 500
,i
= 3
0.34 0.23 2.00 1.04E [Z|S(N )]
,M
= 500
,i
= 4
0.34 0.24 2.00 1.04E [Z|S(N )]
,M
= 500
,i
= 5
0.29 0.19 2.00 1.04 Table1 Evolutionoftheposteriormeanwithrespe ttotheiterationnumber.domainstaysverysparse.Onthe ontrary,addingiterativelyaround
450
new odeevaluationsinthemostlikelyregion,whosevolumeismu hsmallerthantheinitialvolume,allows
E [Z|S(N )]
totendtoz
⋆
, andstronglyredu esthe
redibleintervals.This onvergen e is qui kerforthe meanparametersthan
forthe ovarian eparameters,whi hwasalsoexpe ted,asthemeanfun tion
isgenerallyeasiertoidentify thanthe ovarian e.Fo using onFigure 4, itis
also interestingtonoti e that thereferen e valuedoesnotneed tobein the
99
%
- redibleellipseasso iatedwithZ|S(N )
attherstiterationtobeinthe 99%
- redibleellipsesatthenextiterations.1
2
3
4
5
0
1
2
3
PSfragrepla ements V alues ofZ
1
,
Z
2
,
Z
3
,
Z
4
Iteration99%
- redibleintervalofZ
1
|S(N )
MeanvalueofZ
1
|S(N )
99%
- redibleintervalofZ
2
|S(N )
MeanvalueofZ
2
|S(N )
99%
- redibleintervalofZ
3
|S(N )
MeanvalueofZ
3
|S(N )
99%
- redibleintervalofZ
4
|S(N )
MeanvalueofZ
4
|S(N )
z
⋆
1
z
⋆
2
z
⋆
3
z
⋆
4
Fig.3 Evolutionofthe
99%
- redibleintervalsandofthe meanvaluesofthe omponents ofZ|S(N )
withrespe ttotheiterationnumber.0
0.2
0.4
0.6
0.8
0
0.2
0.4
0.6
0.8
1
PSfragrepla ementsz
2
z
1
i
= 1
i
= 2
i
= 3
i
= 4
i
= 5
Referen epointFig. 4 Evolution of the
99%
- redible ellipses of the two rst elements ofZ|S(N )
with respe ttotheiterationnumber.3.2Appli ationtotheidenti ationoftheme hani alpropertiesofan
unknownanisotropi material
These ondappli ationdealswiththeidenti ationoftheme hani al
proper-tiesofanheterogeneousmi ro-stru ture,whi hismodeledbyarandomelasti
medium. Tothis end, severalexperimental testsare performed onaseriesof
spe imensmadeof thesamematerial.Tobe oherentwiththe notations
Champ nu
> 2.87E−01
< 3.15E−01
0.29
0.29
0.29
0.29
0.29
0.29
0.30
0.30
0.30
0.30
0.30
0.30
0.30
0.31
0.31
0.31
0.31
0.31
0.31
0.31
0.32
(a)EvolutionofthePoissonratio
Champ young
SCAL
> 2.04E+02
< 2.17E+02
2.05E+02
2.05E+02
2.06E+02
2.07E+02
2.07E+02
2.08E+02
2.08E+02
2.09E+02
2.10E+02
2.10E+02
2.11E+02
2.11E+02
2.12E+02
2.13E+02
2.13E+02
2.14E+02
2.14E+02
2.15E+02
2.16E+02
2.16E+02
2.17E+02
(b)EvolutionoftheYoungmodulus
Fig.5 OnepotentialspatialvariationoftheYoungmodulusandthePoissonratio
asso i-atedwiththesto hasti model
X(z
⋆
)
.
me hani alpropertiesof thematerial that onstitutesthespe imens.Several
sto hasti modelshavebeenproposedin theframeworkoftheheterogeneous
anisotropi linearelasti ity[Soize,2006,Soize, 2008,Clouteauetal.,2013,GuilleminotandSoize,2013℄.
Itshouldbenotedthattheelasti ityeldisnotareal-valuedrandomeld,but
atensor-valued randomeld, andthat thedierent omponents of this
ran-domeld annotbeidentiedseparatelyduetoalgebrai onstraints.Forthis
appli ation,thesto hasti modelfortheelasti ityeldisbasedonthemodel
proposedin[Soize,2006℄and[Guilleminot andSoize,2013℄in2Dplanstresses
forthe sakeofsimpli ity. Hen e,thedistribution of
X
isnon-Gaussian,and it is parameterizedby a5-dimensionaldeterministi ve torz
= (z
1
, . . . , z
5
)
, where:
z
1
isapositivedispersion oe ientthat ontrolsthelevelofu tuations,z
2
, z
3
aretwospatial orrelationlengths,
z
4
isthemeanvalueoftheYoungModulus(×10
9
Pa);
z
5
isthemeanvalueofthePoissonratio.Wethen assume that
N
= 100
ubi spe imens are available,whose re-spe tiveme hani alpropertiesare hara terizedbyoneparti ularrealizationof
X(z
⋆
)
, with
z
⋆
= (2000, 0.1, 0.15, 210, 0.3)
. As an illustration, Figure 5
shows, foroneparti ularspe imen, theevolutionof theYoungmodulusand
thePoissonratioin ea hpointof
[0, 1]
2
.Thesamepressureeld
f
S
= −f
S
e
2
isthen imposedonthetopofea hspe imen,andweonlyhavea ess totheindu eddispla ement eld onthe boundariesof these spe imens(see Figure
6foranillustrationoftheexperimentalproto ol).Let
U
⋆
(θ
1
), . . . , U
⋆
(θ
N
)
bethesemeasureddispla ements.
Basedonthissetofmeasurements,themethoddes ribedinSe tion2 ould
dire tlybeappliedtotheidenti ationof
z
⋆
.Tospeedupthisidenti ation,
followingtheworksa hievedin [Nguyenet al.,2015℄, weproposean
alterna-tive method, whi h is based on a two-step pro edure. First,
z
⋆
4
andz
⋆
5
will beidentiedby onfrontingthemeasureddispla ementsto thehomogeneousase.On e
z
⋆
4
andz
⋆
5
havebeenfound,aBayesianformalismwillbeproposed fortheidenti ationofthethree remaining omponentsofz
⋆
.Indeed, if the spe imens were made of a homogeneousmaterial,
hara -terized by its young modulus
E
and its Poisson ratioν
, it is well known [Laiet al.,2010℄thattheindu eddispla ementinea hpoints
∈ [0, 1]
2
would beequaltou
homo(s) = (as
1
, bs
2
)
,witha
b
=
λ
λ
+ 2µ
λ
+ 2µ
λ
−1
0
−f
S
, µ
=
E
2(1 + ν)
, λ
=
2µν
(1 − 2ν)
.
(28)Hen e,asweare onsidering a lass of stationary random pro esses,the
valuesof
z
⋆
4
andz
⋆
5
anbe identiedastheargumentsthat minimizetheL2 distan ebetweentheN
measureddispla ementsandtheasso iatedhomoge-nolonger arriedoutindimension5,butindimension3.Thisstronglyredu es
thenumberof odeevaluationsthatwillbeneededfora orre tidenti ation
of
(z
⋆
1
, z
2
⋆
, z
3
⋆
)
.Thus, in the following, only
z
⋆
1
, z
⋆
2
andz
⋆
3
are modeled byrandomquan-tities. They are gathered in the ve tor
Z
, whose omponents are assumed independentanddistributeda ordingto thefollowingdistributions:log(Z
1
) ∼ U(4.6, 11.5), Z
2
∼ U(0.01, 0.3), Z
3
∼ U(0.01, 0.3),
(29)where forall
a < b
,U(a, b)
istheuniform distributionover[a, b]
.Foragiven valueofZ
, it is possible to simulate independent realizations ofX
(Z)
, and toapproximate(usingtheFiniteElementMethod)thedispla ementsindu edbytheexperimentalfor eeld,whi hwewrite
U
(X(Z))
.Thus, forthis se -ondappli ation,werst hoseatrandomM
= 1000
valuesofZ
a ordingto itspriordistribution.Forea h ofthese values,aparti ularrealization oftheelasti ity tensorwas thengenerated over
[0, 1]
2
,and theme hani alproblem
that orrespondstotheexperimentalproto olwassolved(usingthesoftware
Cast3M) to getthe displa ementsat the boundary ofthe ube. Inthe same
manner than in Se tion 3.1, we nally introdu e
Y
(Z)
as the proje tionofU
(X(Z))
onthed
y
rsteigenfun tionsasso iatedwiththeempiri alestima-tionof the ovarian eof
U(X(Z))
basedon theM
ode evaluations. Inthe samemanner,wegatherinS(N )
theproje tion oe ientsofea hmeasureddispla ement
U
⋆
(θ
n
)
on this redu ed basis. To hoose the value ofd
y
, the normalizederrordened byEq.(26)ison eagain onsidered.Forthisappli- ation,
d
y
is hosenequalto23inorderto orre tlyrepresentmostofthelo al os illationsofthedispla ements.A ordingtoFigure7,this orrespondstoaproje tionerrorthatislessthan
0.1%
.Following the framework proposed in Se tion 2, the PDF of
Z|S(N )
is dedu ed from the kernel estimator of the PDF of(Y (Z), Z)
. An adaptive pro edure (withα
= 0.99
) is moreoverintrodu ed to better on entratethe distributionofZ|S(N )
onthetruevalueofz
⋆
.Tobemorepre ise,
900
new odeevaluationswereaddedbetweenthetworstiterations,and620
between thetwolastiterations,leadingtoatotalbudgetof2520
odeevaluations.The relevan e of this approa h is shown in Figure 8, where the blue ontinuouslines orrespondto the
95%
- redibleellipsesasso iated withthe distributionof
Z|S(N )
.Afterthreeiterations,thevaluesofz
⋆
1
, z
2
⋆
andz
⋆
3
areindeed iden-tiedwithahighpre ision.Toemphasizetheinterestofthepartitioningpre-sentedinSe tion3.2,theseresultsare omparedtothe asewherethereisno
optimizationoftheblo kstru ture(theellipsesinreddottedlines).Although
thesetwoapproa hesarebasedonthesameinformation,there isnodenying
thatsear hinggroupsofindependent omponentsof
Y
(Z)|Z
isreallyhelpful. This isespe ially truefortherstiteration,where 23groupsofindependentin-0
20
40
60
80
100
−5
−4
−3
−2
−1
0
PSfragrepla ementslo
g
1
0
(ε
2
)
d
y
(a)Error onvergen e
0
0.2
0.4
0.6
0.8
1
−1.5
−1
−0.5
0
0.5
1
1.5
x 10
−4
PSfragrepla ementsU
⋆
1
s
2
Measureddata Proje tionwithd
y
= 10
Proje tionwithd
y
= 20
Proje tionwithd
y
= 30
(b)Redu edbasisrepresentationof
U
⋆
1
(1, s
2
; θ
1
) − u
homo(1, s
2
)
0
0.2
0.4
0.6
0.8
1
−5
0
5
x 10
−5
PSfragrepla ementsU
⋆
2
s
1
Measureddata Proje tionwithd
y
= 10
Proje tionwithd
y
= 20
Proje tionwithd
y
= 30
( )Redu edbasisrepresentationof
U
⋆
2
(s
1
,
1; θ
1
) − u
homo(0, 1)
6
8
10
0.05
0.1
0.15
0.2
0.25
0.3
PSfragrepla ementsz
1
z
2
,blo kstru ture ,noblo kstru ture ,noblo kstru ture Referen epoint (a)(z
1
, z
2
)
,i
= 1
6
8
10
0.05
0.1
0.15
0.2
0.25
0.3
PSfragrepla ementsz
1
z
2
,blo kstru ture ,noblo kstru ture ,noblo kstru ture Referen epoint (b)(z
1
, z
2
)
,i
= 2
6
8
10
0.05
0.1
0.15
0.2
0.25
0.3
PSfragrepla ementsz
1
z
2
,blo kstru ture ,noblo kstru ture ,noblo kstru ture Referen epoint ( )(z
1
, z
2
)
,i
= 3
6
8
10
0.05
0.1
0.15
0.2
0.25
0.3
PSfragrepla ementsz
1
z
3
,blo kstru ture ,noblo kstru ture ,noblo kstru ture Referen epoint (d)(z
1
, z
3
)
,i
= 1
6
8
10
0.05
0.1
0.15
0.2
0.25
0.3
PSfragrepla ementsz
1
z
3
,blo kstru ture ,noblo kstru ture ,noblo kstru ture Referen epoint (e)(z
1
, z
3
)
,i
= 2
6
8
10
0.05
0.1
0.15
0.2
0.25
0.3
PSfragrepla ementsz
1
z
3
,blo kstru ture ,noblo kstru ture ,noblo kstru ture Referen epoint (f)(z
1
, z
3
)
,i
= 3
0.1
0.2
0.3
0.05
0.1
0.15
0.2
0.25
0.3
PSfragrepla ementsz
2
z
3
,blo kstru ture ,noblo kstru ture ,noblo kstru ture Referen epoint (g)(z
2
, z
3
)
,i
= 1
0.1
0.2
0.3
0.05
0.1
0.15
0.2
0.25
0.3
PSfragrepla ementsz
2
z
3
,blo kstru ture ,noblo kstru ture ,noblo kstru ture Referen epoint (h)(z
2
, z
3
)
,i
= 2
0.1
0.2
0.3
0.05
0.1
0.15
0.2
0.25
0.3
PSfragrepla ementsz
2
z
3
,blo kstru ture ,noblo kstru ture ,noblo kstru ture Referen epoint (i)(z
2
, z
3
)
,i
= 3
Fig. 8 Evolutionof the
95%
- redible ellipseswithrespe tto the iterationnumber.Blue ontinuousline:d
y
= 23
withoptimizationoftheblo kstru ture.Reddottedline:d
y
= 23
withoutoptimizationoftheblo kstru ture.Greendashedline:d
y
= 5
withoutoptimizationwere hosen,introdu ing thepartitioning doesnot makea bigdieren e for
thePDF identi ation, whi h explainsthe similaritiesbetween theblue and
thered urves.
This set of guresalso emphasizes the importan e of onsidering a high
valueof
d
y
,evenifit ompli atesthePDFidenti ation.Forinstan e, hoosingd
y
= 5
leadstotheresultsingreendashedlines,whi hare learlylessrelevant thantheresultsinbluethat orrespondtod
y
= 23
.Intermediateresultswere obtainedforvaluesofd
y
between5and23,whereasstillin reasingd
y
didnot really hange theresults.In order to emphasize the e ien y of the proposed method to re over
the true underlying sto hasti ity, three additional bat hes of
Q
= 10
4
sim-ulationsare laun hed. These simulationsare asso iated withthe same ubi
system thanin Figure 6, but with dierent boundary onditions (by
hang-ing the boundary onditions, we want to verify that the identied valuesof
Z
are not dependent of a xed onguration). While the boundaryondi-tionson the inferior sideof the ubedo not hange, theleft and rightsides
are now free of onstraints, and the displa ements on the superior side are
hosen equal to
0.002e
1
− 0.01e
2
. We then denote byn
X
(1,q)
,
1 ≤ q ≤ Q
o
,n
X
(2,q)
,
1 ≤ q ≤ Q
o
andn
X
(3,q)
,
1 ≤ q ≤ Q
o
theelasti ityelds hara teriz-ingthematerialpropertiesofthedierent ubesofthethreesetsrespe tively.Forall
1 ≤ q ≤ Q
,
X
(1,q)
isanindependentrealizationofthetrueelasti ityeld,
X(z
⋆
)
;X
(2,q)
isan independent realization ofX((z
q,
prior, z
⋆
4
, z
5
⋆
))
, wherez
q,
prior isarealizationofZ
,whosedistributionisgivenbyEq.(29),
X
(3,q)
isanindependentrealizationofX((z
q,
post, z
⋆
4
, z
5
⋆
))
,wherez
q,
post isarealizationof
Z|S(N )
afterthethreeformerlypresentediterations.Forea h simulation, we denote by
U
(X
(i,q)
)
,1 ≤ i ≤ 3
, theon atena-tionoftheverti alandhorizontal displa ementsthat areindu edontheleft
and right sides ofthe ube. To omparethe statisti al information gathered
in these displa ements, we then ompute,for ea h
1 ≤ i ≤ 3
, theeigenval-ues
n
v
j
(i)
, j
≥ 0
o
asso iated with the empiri al estimate of their ovarian e
matri es.Inaddition,wedenoteby
σ
VM(X
(i,q)
)
themaximumvalueoverthe ubi domain of theVonMises stress.This VonMises riterionis ommonlyusedto hara terizetheresistan eofthesystem(see[Laietal.,2010℄formore
details). The de rease of these eigenvalues and the PDF of these Von Mises
riteriaarenally omparedinFigure9.Lookingatthesegures,weseethat
theresultsasso iatedwiththeposteriordistributionof
Z
arevery losetothe onesasso iatedwiththetrueelasti ityeld,whi h isnottruefortheresults0
50
100
150
200
250
300
10
−4
10
−3
10
−2
10
−1
10
0
10
1
PSfragrepla ementsj
v
(1)
j
v
(2)
j
v
(3)
j
(a)Eigenvalues0
5
10
15
20
25
30
35
40
0
0.02
0.04
0.06
0.08
0.1
0.12
0.14
PSfragrepla ementsσ
VMP DF
σ
VM(X
(1,q)
)
σ
VM(X
(2,q)
)
σ
VM(X
(3,q)
)
(b)VonMises riterionFig.9 Representation oftheeigenvaluesde reases(a)andofthePDFsofthe VonMises
riteria(b)forthethree ompared ongurations.Inea hgure,theblue ontinuouslinesare
asso iatedwiththereferen e ase,thereddashedline orrespondtotheresultsasso iated
withthepriordistributionof
Z
,whenthebla ktwo-dashedlines orrespondtotheresults asso iatedwiththeposteriordistributionofZ
.4Con lusion
The in reasing of the omputational resour esand the generalizationof the
monitoring of me hani al systems have en ouraged many s ienti elds to
takeintoa ountrandomeldsin theirmodeling.Inthat prospe t,thiswork
proposesanadaptiveBayesianframeworktoe ientlyidentifythestatisti al
propertiesofthese randomeldswhentheavailable informationisaredu ed
setofindire tobservations.Twoexamplesbasedonsimulateddataarenally
presentedtoshowthepotentialofthisapproa h.
Extending thisapproa hto the aseswhere thenumberofparametersto
identifyandthenumberofobservationsareveryhighwouldbeinterestingfor
futurework.
Appendix
A.1.Proofoftheequalityof Eq.9
Let
A, B, D
betheblo kde ompositionmatri esofC
b
−1
:b
C
−1
=
A B
B
T
D
.
(30)UsingtheS hur omplement,iffollowsthat:
b
C
−1
ZZ
= D − B
T
A
−1
B,
( b
C
Y Y
− b
C
Y Z
C
b
−1
ZZ
C
b
T
Y Z
)
−1
= A,
− b
C
Y Z
C
b
−1
ZZ
= A
−1
B.
(31) It omes((y, z) − (Y (ω
m
), Z(ω
m
)))
T
(h
2
C)
b
−1
((y, z) − (Y (ω
m
), Z(ω
m
)))
=
1
h
2
(y − Y (ω
m
))
T
A(y − Y (ω
m
)) + 2(y − Y (ω
m
))
T
AA
−1
B
(z − Z(ω
m
))
+ (z − Z(ω
m
))
T
D(z − Z(ω
m
))
!
=
1
h
2
(y − Y (ω
m
) + A
−1
B
(z − Z(ω
m
)))
T
A(y − Y (ω
m
) + A
−1
B
(z − Z(ω
m
)))
+ (z − Z(ω
m
))
T
D
− B
T
A
−1
B
(z − Z(ω
m
))
= (y − µ
n
(z))
T
C
−1
n
(y − µ
n
(z)) +
1
h
2
(z − Z(ω
m
))
T
C
−1
ZZ
(z − Z(ω
m
))
(32)Referen es
Akaike,1974. Akaike,H.(1974). Anewlookatthestatisti almodelidenti ation. IEEE
Transa tionsonAutomati Control,19(6):716723.
Arnstetal.,2010. Arnst,M.,Ghanem,R.,andSoize,C.(2010).Identi ationofbayesian
posteriors for oe ients of haos expansions. Journal of Computational Physi s, 229
(9):31343154.
AtwellandKing,2001. Atwell,J.andKing, B.(2001). Properorthogonal de omposition
forredu edbasisfeedba k ontrollersforparaboli equations.Math.Comput.Modell.,33
(1-3):119.
Aurayetal.,2012. Auray,Y.,Barbillon,P.,andMarin,J.M.(2012).Maximindesignon
non hyper ubedomainsandkernelinterpolation. Statisti sand Computing,22(3):703
712.
BilionisandZabaras,2015. Bilionis,I.andZabaras,N.(2015).Bayesianun ertainty
prop-agationusinggaussianpro esses. In:GhanemR.,HigdonD.,OwhadiH.(eds)Handbook
ofUn ertaintyQuanti ation.Springer.
BoxandJenkins,1970. Box,G.andJenkins,G.(1970).TimeSeriesAnalysis:Fore asting
andControl. Holden-Day,SanFran is o.
ChenandS hwab,2015. Chen, P. and S hwab, C. (2015). Sparse-grid, redu ed basis
bayesianinversion. ComputerMethodsinApplied Me hani s andEngineering,297:84
115.
Clouteauetal.,2013. Clouteau,D.,Cottereau,R.,andLombaert,G.(2013).Dynami sof
stru tures oupledwithelasti media -a review of numeri al modelsand methods. J.
SoundVibr.,332:24152436.
Conradetal.,2018. Conrad,P.R.,Davis,A.,Marzouk, Y.M.,Pillai,N.S., andSmith,
A. (2018). Parallello al approximation MCMCfor expensive models. SIAM/ASAJ.
Un ertaintyQuanti ation,6(1):39373.
Conradetal.,2016. Conrad,P.R.,Marzouk, Y.M.,Pillai,N.S.,and Smith,A.(2016).
A eleratingasymptoti allyexa tMCMCfor omputationallyintensivemodelsvialo al
approximations. JournaloftheAmeri anStatisti alAsso iation,111:15911607.
Damblinetal.,2013. Damblin,G.,Barbillonz,P.,Keller,M.,Pasanisi,A.,andParent,E.
(2013).AdaptiveNumeri alDesignsfortheCalibrationofComputerCodes.SIAM/ASA
J.Un ertaintyQuanti ation,6(1):151179.
Dragulji¢etal.,2012. Dragulji¢,D.,Santner,T.J.,andDean,A.M.(2012).Non ollapsing
Spa e-FillingDesigns forBounded Nonre tangular Regions. Te hnometri s,54(2):169
178.
Emeryetal.,2016. Emery,J.,Grigoriu, M.,and Jr.,R.F.(2016). Bayesianmethodsfor
hara terizingunknownparametersofmaterialmodels.AppliedMathemati alModelling,
13-14:63956411.
Fangetal.,2006. Fang, K., Li, R.,and Sudjianto, A. (2006). Design and modeling for
omputer experiments. Chapman
&
Hall,ComputerS ien eand Data AnalysisSeries, London.FangandLin,2003. Fang,K.andLin,D.(2003).Uniformexperimentaldesignsandtheir
appli ationsinindustry. HandbookofStatisti s,22:131178.
Fieldingetal.,2011. Fielding,M.,Nott,D. J.,andLiong,S.Y.(2011). E ientMCMC
s hemesforComputationallyExpensivePosteriorDistributions.Te hnometri s,53(1):16
28.
GhanemandSpanos,2003. Ghanem,R.andSpanos,P.D.(2003). Sto hasti Finite
Ele-ments:ASpe tralApproa h,rev.ed. DoverPubli ations,NewYork.
GuilleminotandSoize,2013. Guilleminot,J. andSoize,C.(2013). Onthe statisti al
de-penden e forthe omponentsofrandom elasti itytensorsexhibitingmaterialsymmetry
properties. JournalofElasti ity,111:109130.
Higdonetal.,2008. Higdon,D.,Gattiker,J.,Williams,B.,andRightley,M.(2008).
Com-putermodel alibrationusinghigh-dimensionaloutput. Journalof theAmeri an
Statis-ti alAsso iation,103(482):570583.
Higdonetal.,2003. Higdon, D.,Lee,H.,andHolloman,C.(2003). Markov hainmonte
Josephetal.,2015. Joseph,V.R.,Gul,E.,andBa,S.(2015).Maximumproje tiondesigns
for omputerexperiments.Biometrika,102(2):371380.
KennedyandO'Hagan,2001. Kennedy,M.andO'Hagan,A.(2001). Bayesian alibration
of omputermodels. Journaloftheroyalstatisti also iety,63:425464.
Laietal.,2010. Lai,W.M.,Rubin,D.,andKrempl,E.(2010).Introdu tiontoContinuum
Me hani s.Elsevier,In .
LeMaîtreandKnio,2010. LeMaître,O.and Knio,O.(2010). Spe tralMethodsfor
Un- ertaintyQuanti ation.Springer.
LekivetzandJones,2015. Lekivetz,R. andJones, B.(2015). Fast FlexibleSpa e-Filling
DesignsforNonre tangular Regions. QualityandReliabilityEngineeringInternational,
31(5):829837.
LiandMarzouk,2014. Li,J.andMarzouk,Y.M.(2014). Adaptive onstru tionof
surro-gatesforthebayesiansolutionofinverseproblems.SIAMJournalonS ienti
Comput-ing,36:A1163A1186.
MakandJoseph,2016. Mak,S.andJoseph,V.R.(2016).Minimaxdesignsusing lustering.
pages124.
MarinandRobert,2007. Marin,J.M..andRobert,C.P.(2007).Bayesian ore.
Springer-Verlag,NewYork.
MarzoukandNajm,2009. Marzouk,Y.M.andNajm,H.N.(2009).Dimensionality
redu -tionandpolynomial haosa elerationofbayesianinferen eininverseproblems.Journal
ofComputationalPhysi s,228(6):18621902.
MarzoukandXiu,2009. Marzouk,Y.M.andXiu,D.(2009). Asto hasti ollo ation
ap-proa h to bayesian inferen e ininverse problems. Communi ations in Computational
Physi s,6:826847.
Matthiesetal.,2016. Matthies,H.,Zander, E.,Rosi,B., andLitvinenko,A.(2016).
Pa-rameterestimation via onditional expe tation:a Bayesianinversion. Adv. Model. and
Simul.inEng.S i.,3(24).
M Kayetal.,1979. M Kay,M., Be kman, R.,and Conover, W.(1979). A omparison
ofthreemethodsforsele tingvaluesofinputvariables intheanalysisofoutputfroma
omputer ode. Te hnometri s,21:239245.
Nguyenetal.,2015. Nguyen, M.T., Des eliers, C.,Soize, C.,Allain, J.,and Gharbi, H.
(2015). Multis ale identi ation of random elasti ityeld at mesos ale of a
heteroge-neousmi rostru tureusingmultis aleexperimentalobservations. JournalforMultis ale
ComputationalEngineering,13(4):281295.
Nouy,2010. Nouy,A. (2010). Proper generalized de ompositionand separated
represen-tationsfor thenumeri alsolutionof highdimensionalsto hasti problems. Ar hives of
omputationalmethodsinengineering,17:403434.
NouyandSoize,2014. Nouy,A. andSoize,C.(2014). Randomelds representations for
sto hasti ellipti boundaryvalueproblemsandstatisti alinverseproblems.Eur.J.Appl.
Math.,25:339373.
Perrin,ress. Perrin,G.(inpress).Adaptive alibrationofa omputer odewithtime-series
output. ReliabilityEngineeringandSystemSafety.
PerrinandCannamela,2017. Perrin, G. and Cannamela, C. (2017). A repulsion-based
methodforthedenitionandthe enri hmentofopotimizedspa ellingdesignsin
on-strainedinputspa es. JournaldelaSo iétéFrançaisedeStatistique,158(1):3767.
Perrinetal.,2012. Perrin,G.,Soize,C.,Duhamel,D.,andFunfs hilling,C.(2012).
Identi- ationofpolynomial haosrepresentationsinhighdimensionfromasetofrealizations.
SIAMJ.S i.Comput.,34(6):29172945.
Perrinetal.,2013. Perrin, G., Soize, C., Duhamel, D., and Funfs hilling, C. (2013).
Karhunenloèveexpansionrevisitedforve tor-valuedrandomelds:S aling,errorsand
optimalbasis.JournalofComputationalPhysi s,242:607622.
Perrinetal.,2014. Perrin, G., Soize, C., Duhamel, D., and Funfs hilling, C. (2014). A
posteriorierror andoptimalredu edbasisforsto hasti pro essesdenedbyaniteset
ofrealizations. SIAM/ASAJ.Un ertaintyQuanti ation,2:745762.
Perrinetal.,2017. Perrin,G.,Soize,C.,Marque-Pu heu,S.,andGarnier,J.(2017).Nested