Escolar Documentos
Profissional Documentos
Cultura Documentos
Coordena
ca
o de Matem
atica Aplicada e Computacional, LNCC
25651-075, Petr
opolis, RJ.
E-mail: andreydf@lncc.br
novotny@lncc.br.
LNCC
3 de mar
co de 2015
andreydf@lncc.br
37
Sum
ario
1. Introdu
c
ao
2. O problema de EIT
3. An
alise de Sensibilidade Topol
ogica
4. Formula
c
ao do Problema
An
alise Assint
otica
Expans
ao Assint
otica Topol
ogica
M
etodo Proposto
5. Experimentos Num
ericos
6. Considera
co
es Finais
andreydf@lncc.br
37
Introdu
c
ao
Apresenta-se neste trabalho o problema de EIT (Electrical Impedance Tomography),
cujo objetivo
e determinar a condutividade el
etrica de um corpo a partir de medic
oes
eletromagn
eticas em sua superfcie. Esse problema tem diversas aplicaco
es, dentre as
quais podemos citar as aplicac
oes em ci
encias m
edicas com na detecca
o de tumores
[2, 4] e monitoramento de apneias, em geofsica e ci
encias ambientais com a localizaca
o
de dep
ositos de minerais e monitoramento de fludos e na engenharia com a detecc
ao de
corros
oes em estruturas.
Figura 1
Figura 2
Monitoramento de a
rvores velhas.
Detec
c
ao de pedras.
Figura 3
Problema Inverso de EIT
Monitoramento respirat
orio neonatal.
-
andreydf@lncc.br
37
O problema de EIT
div[q(u)] = 0
em ,
q(u) = k u,
q(u) n = q
sobre ,
u = u
sobre .
andreydf@lncc.br
(1)
37
Problema 2.1
Encontrar o coeficiente de condutividade el
etrica k
tal que
em ,
div[q(u)] = 0
q(u) = k u,
(2)
sobre ,
q(u) n = q
u = u
sobre .
do campo u sobre ;
dada uma excita
c
ao de Dirichlet u sobre , reconstruir k a partir de observac
oes
do fluxo q sobre .
andreydf@lncc.br
37
Problema 2.1
Encontrar o coeficiente de condutividade el
etrica k
tal que
em ,
div[q(u)] = 0
q(u) = k u,
(2)
sobre ,
q(u) n = q
u = u
sobre .
Figura 5 Ilustra
c
ao de experimento.
servaco
es do campo u sobre ;
dada uma excita
c
ao de Dirichlet u sobre , reconstruir k a partir de observac
oes
do fluxo q sobre .
andreydf@lncc.br
37
Quest
ao: A partir dessas informac
oes, podemos determinar o coeficiente de condutividade k (x)?
andreydf@lncc.br
37
Quest
ao: A partir dessas informac
oes, podemos determinar o coeficiente de condutividade k (x)?
Quest
ao: Quantos dados necessitamos conhecer, i.e., se o par
ametro k
e unicamente determinado pelo conhecimento de alguns pares de dados (q , u ) sobre a fronteira
de ?
Figura 6
Na pr
atica em geral n
ao
e possvel medir os dados sobre toda a fronteira de .
andreydf@lncc.br
37
Quest
ao: A partir dessas informac
oes, podemos determinar o coeficiente de condutividade k (x)?
Quest
ao: Quantos dados necessitamos conhecer, i.e., se o par
ametro k
e unicamente determinado pelo conhecimento de alguns pares de dados (q , u ) sobre a fronteira
de ?
Figura 6
Na pr
atica em geral n
ao
e possvel medir os dados sobre toda a fronteira de .
O problema de EIT
e um problema inverso mal-posto por sua natureza fsica.
andreydf@lncc.br
37
Quest
ao: A partir dessas informac
oes, podemos determinar o coeficiente de condutividade k (x)?
Quest
ao: Quantos dados necessitamos conhecer, i.e., se o par
ametro k
e unicamente determinado pelo conhecimento de alguns pares de dados (q , u ) sobre a fronteira
de ?
Figura 6
Na pr
atica em geral n
ao
e possvel medir os dados sobre toda a fronteira de .
O problema de EIT
e um problema inverso mal-posto por sua natureza fsica.
No corpo humano a condutividade de v
arias regi
oes s
ao constantes conhecidas. Por
exemplo a condutividade de m
usculos, pulm
oes, ossos e sangue s
ao respectivamente
8.0, 1.0, 0.06, e 6.7 mS/cm (miliSiemens por centmetro).
andreydf@lncc.br
37
Objetivo
O objetivo deste trabalho
e tratar a reconstruc
ao de k via an
alise de sensibilidade
topol
ogica. Para isto, sup
oe-se que existam anomalias em que torna a condutividade
el
etrica constante por partes.
Figura 7
andreydf@lncc.br
37
An
alise de Sensibilidade Topol
ogica
A An
alise de Sensibilidade Topol
ogica fornece um desenvolvimento assint
otico para
um funcional de forma (), cujo termo principal
e a derivada topol
ogica, que mede
a sensibilidade do funcional com respeito a uma pertubac
ao singular (furo, inclus
ao,
termo-fonte).
Figura 8
Conceito de An
alise de Sensibilidade Topol
ogica
andreydf@lncc.br
37
Assume-se ent
ao, que o funcional de forma associado ao domnio topologicamente
perturbado, adimite a seguinte expans
ao assint
otica:
00
(
x) = () + f ()D (
x) + f2 ()D
(
x) + o(f2 ()),
(3)
onde
f ()
e uma func
ao positiva tal que f () 0 quando 0;
f2 ()
e uma funca
o positiva de correca
o de segunda ordem tal que f2 () 0 quando
f2 ()
= 0;
f ()
A fun
c
ao x
7 D (
x)
e denominada derivada topol
ogica de primeira ordem de ;
0 e lim
00
A fun
c
ao x
7 D
(
x)
e denominada derivada topol
ogica de segunda ordem de ;
o(f2 ())
= 0.
f2 ()
andreydf@lncc.br
37
Assume-se ent
ao, que o funcional de forma associado ao domnio topologicamente
perturbado, adimite a seguinte expans
ao assint
otica:
00
(
x) = () + f ()D (
x) + f2 ()D
(
x) + o(f2 ()),
(3)
onde
f ()
e uma func
ao positiva tal que f () 0 quando 0;
f2 ()
e uma funca
o positiva de correca
o de segunda ordem tal que f2 () 0 quando
f2 ()
= 0;
f ()
A fun
c
ao x
7 D (
x)
e denominada derivada topol
ogica de primeira ordem de ;
0 e lim
00
A fun
c
ao x
7 D
(
x)
e denominada derivada topol
ogica de segunda ordem de ;
o(f2 ())
= 0.
f2 ()
Ao:
ObservaA
Para o caso do problema inverso de EIT, consideramos inclus
oes no
coeficiente de condutividade el
etrica
1, se x \ B (
x)
=
(4)
, se x B (
x),
onde
andreydf@lncc.br
37
Formula
c
ao do Problema
N Z
X
i=1
(ui ui )2 ,
(5)
onde
e a func
ao caracterstica de , N
e o n
umero de medidas tomadas para ui soluc
ao
do seguinte problema de Neumann:
div[q(ui )] = 0
em ,
q(ui ) = kui ,
q(u
sobre ,
Z i ) n = qi
(6)
qi = 0,
Z
Z
ui =
ui .
andreydf@lncc.br
10
37
ProposiA
4.1
Sejam ui as soluco
es dos problemas em (6), i = 1, , N . Ent
ao, se k = k , onde k
e uma soluc
ao do problema inverso da condutividade (2.1), tem-se que ui = ui sobre
, para todo i {1, , N }, e portanto o funcional (5) atinge um mnimo.
andreydf@lncc.br
11
37
ProposiA
4.1
Sejam ui as soluco
es dos problemas em (6), i = 1, , N . Ent
ao, se k = k , onde k
e uma soluc
ao do problema inverso da condutividade (2.1), tem-se que ui = ui sobre
, para todo i {1, , N }, e portanto o funcional (5) atinge um mnimo.
Ao:
ObservaA
() = J (u, u ) =
(u u )2 .
(7)
andreydf@lncc.br
11
37
An
alise de Sensibilidade Topol
ogica
Considere um domnio perturbado atrav
es da nucleac
ao simult
anea de N inclus
oes
Bi , i = 1, , N , onde Bi
e uma bola de centro em x
i e raio i que est
a associada
a uma condutividade ki , com Bi Bj = se i 6= j. Denotando por x
= (
x1 , , x
N )
e = (1 , , N ), admitimos que
00
(
x) = () + f () D (
x) + D
(
x)f () f () + o(f ()),
(8)
onde
f () = (f1 (),
, fN ()), com fi ()
A fun
c
ao D : N
() ;
00
A fun
c
ao D
: N
();
||0
kf ()k
= 0.
R+ e ||0
lim
||
ko(f ())k
= 0.
kf ()k
andreydf@lncc.br
12
37
Sendo u
e soluc
ao de
div[q (u )]
q (u )
q (uZ
) n
Ju K
Jq (u )K n
onde
=
=
=
=
0
ku
q
0
Z
em
sobre
(10)
=
=
0
0
sobre
sobre
N
[
i=1
N
[
Bi
Bi
i=1
1, se x \ Bi
, se x Bi , i = 1, , N.
(11)
Onde i
e o contraste da propriedade material do meio em cada inclus
ao Bi .
Problema Inverso de EIT
andreydf@lncc.br
13
37
An
alise Assint
otica
00
Afim de identificar f (), f2 (), calcular D (
xi ) e D
(
xi ) em (3)
e necess
ario conhecer
o comportamento de u com respeito ao par
ametro .
An
alise Assint
otica (cont.)
onde l = l (x)
e um ponto intermedi
ario entre x e x
l .
Sobre B (
x), temos que Jq (u )K n = 0.
Logo,
1
0 = k(1 )u(
x) n + k(1 )2 u(
x)n n 2 k(1 )3 u(
x)n3
2
1
+ Jq (w
)K n + 4 k(1 )n u
+ Jq u
K n.
Assim, escolhemos w (x/) soluc
ao de
div[q (w )] = 0
q (w ) = kw
w 0
Jw K = 0
Jq (w )K n = k(1 ) u(
x) n 2 u(
x)n n
Seja =
R
R
no 2
no 2
no
sobre B (
x)
sobre B (
x).
(14)
(15)
1
.
1+
andreydf@lncc.br
16
37
Em
R2 \ B , tem-se
w (x/)| = 2 g + 4 h,
onde
g=
1
1
u(
x) (x x
) e h =
2 u(
x)(x x
) (x x
).
kx x
k2
2kx x
k4
(16)
Portanto, tomamos u
satisfazendo
div[q(
u)]
q(
u)
q(
Zu) n
=
=
=
0
k
u
q(g)
Z n
em ,
em ,
sobre ,
(17)
g.
1 2
u
() (x x
)2 ,
2
(18)
onde = (x)
e um ponto intermedi
ario entre x e x
.
andreydf@lncc.br
17
37
1
1
x)n3 + 3 4 u()n4
0 = k(1 )u(
x) n + k(1 )2 u(
x)n n 2 k(1 )3 u(
2
3!
+ Jq (w )K n + 2 k(1 )
u(
x) n + 3 k(1 )2 u
()n n
+ Jq (w
)K n + 4 k(1 )n u
+ Jq u
K n.
div[q (w
)] = 0,
q (w
) = kw
w
0,
Jw
K = 0,
x)n3
)K n = 2 k(1 )
u(
xi ) n + 3 u(
Jq (w
2
(19)
R
R
no 2 ,
no 2 ,
no ,
sobre B (
x)
sobre B (
x),
andreydf@lncc.br
(20)
18
37
Se x
R2 \B (x), entao
onde
g =
w
(x/) = 4 g + 6 h,
(21)
1
1
=
u(
x) (x x
) e h
3 u(
x)(x x
)3 .
kx x
k2
2 kx x
k6
(22)
Agora, escolhemos u
afim de compensar as discrep
ancias da ordem de 4 geradas por
w e w
sobre a fronteira exterior , ou seja,
div[q(u
)] = 0
em ,
q
u
= ku
em ,
q(u
Z) n = q(h
sobre
(23)
Z + g) n,
=
u
h
+
g
andreydf@lncc.br
19
37
que a condic
ao de compatibilidade seja satisfeita, ou seja,
div[q (u
)] = 0
em ,
q
u
k
u
em ,
6
q u
Z n = q Z h n sobre
(24)
u
= 6
h
K = 0
Ju
sobre B ,
)K n = 3 g1 + 4 g2
Jq (u
sobre B ,
1
onde, g1 = k(1 ) 2 u
()n n + 4 u()n4 e g2 = k(1 )n u
.
3!
andreydf@lncc.br
20
37
Ao
ProposiA
4.2
Seja u
a soluc
ao de (31), ou equivalentemente a soluca
o do seguinte problema
variacional:
, tal que:
Encontrar u
U
Z
Z
Z
Z
(25)
n = 3
,
q (u
) + 6
q (h)
g1 + 4
g2 V
B
B
onde,
Z
Z
,
H 1 () : JK = 0 sobre B ,
h
= 6
V = H () : JK = 0 sobre B ,
=0 ,
1
g1 = k(1 ) 2 u
()n n + 4 u()n4 ,
3!
=
U
g2 = k(1 )u
n.
Ent
ao, ku
kH 1 () = O(5 ).
andreydf@lncc.br
21
37
Escrevendo u = u + , com
+u
| = 2 (g + u
) + 4 h + g + u
+ 6 h
,
(26)
tem-se
Z
(u + u )2 = () + 2
( ) =
(u u ) +
2 .
(27)
(u u ) = 2
(u u )(g + u
) + 4
(u u )(h + g + u
) +
E1 () = 6
Ei (),
(28)
i=1
sendo
2
X
= O(6 )
(u u )h
e
Z
E2 () =
(u u )u
6 ku u kH 1/2 () ku
kH 1/2 () 6 Cku
kH 1 () = O(5 ).
andreydf@lncc.br
22
37
E, tamb
em
Z
2 = 4
(g + u
)2 +
sendo
E3 () = 22
E4 () = 24
E5 () = 26
E6 () = 8
9
X
Ei (),
(29)
i=3
(g + u
)u
6 C2 ku
kH 1 () = O(7 )
(h + g + u
)u
6 C4 ku
kH 1 () = O(9 )
u
(g + u
)(h + g + u
) + h
= O(6 ),
Z
+ (h + g + u
2(g + u
)h
)2 = O(8 ),
Z
E7 () = 210
E8 () = 12
= O(10 ),
(h + g + u
)h
Z
2 = O(12 ),
h
e
Z
E9 =
u
2 6 Cku
k2H 1 () = O(10 ).
andreydf@lncc.br
23
37
( ) = () + 22 (u u )(g + u
) + 24 (u u )(h + g + u
) + 4 (g + u
)2
+ o(4 ).
andreydf@lncc.br
24
(30)
37
( ) = () + 22
(u u )(g + u
) + 24
(u u )(h + g + u
) + 4 (g + u
)2
+ o(4 ).
andreydf@lncc.br
(37)
24
37
( ) = () + 22
(u u )(g + u
) + 24
(u u )(h + g + u
) + 4 (g + u
)2
+ o(4 ).
(37)
Estado adjunto:
Temos que u
satisfaz
u
U
q(u
) +
q(h + g) n = 0, V,
(31)
com
=
U
H ();
Z
=
h + g e V = H ();
=0 .
tal que
Assim, considere v V
Z
Z
q(v) = 2
(u u )
(32)
cuja equac
ao de Euler-Lagrange
e
div[q(v)]
= 0
q(v)
= kv
q(v)Z n = 2(u u )
Problema Inverso de EIT
Andrey Dione Ferreira
em ,
sobre ,
-
andreydf@lncc.br
24
(33)
/
37
Ent
ao, escolhendo = v em (38) e = u
+ em (39) com | = h + g temos
Z
q(u
) v +
Z
2
Z
q(h + g) nv = 0
(34)
(u u )u
=
q(v) u
=
(41)
Z
q(h + g) nv.
(35)
(u u )(g + u
)
f ()
{z
D (
x)
Z
Z
4
q(h + g) nv + (g + u
) + o(4 ).
+ 2 (u u )(h + g)
|{z}
f2 ()
|
{z
}
(36)
00 (
D
x)
andreydf@lncc.br
25
37
M
etodo Proposto
O m
etodo de soluc
ao consiste em considerar a expans
ao (43) truncada, que pode ser
reescrita como
00
f () = f ()D (
x) + f 2 ()D
(
x),
(37)
desde que f2 () = f 2 ().
Note que f ()
e uma forma quadr
atica em f (), logo admite um mnimo global
absoluto em relac
ao a f (). Claramente, este mnimo
e dado por
f ? (
x) =
D
(
x).
00
2D
(38)
Em seguida substitui-se f ? (
x) em (44) e a soluc
ao
e dada pelo par (
x? , ? ), que trivialmente
e obtido da seguinte forma
p
x
? = arg min(f ? (
x)) e ? = f ? (
x ).
(39)
x
andreydf@lncc.br
26
37
Experimentos Num
ericos
Nos resultados a seguir, o domnio est
a submetido a um conjunto de fluxos q , impostos ao longo de , de acordo com a figura 9. O coeficiente de condutividade t
ermica
na matriz vale km = 1.0 e o da inclus
ao vale ki = 2.0.
(a) Fluxo 1
Figura 9
(b) Fluxo 2
Os resultados foram obtidos com duas medidas, geradas pelos os fluxos impostos apresentados na figura 9.
Problema Inverso de EIT
andreydf@lncc.br
27
37
(a) Target
andreydf@lncc.br
28
37
Experimentos Num
ericos
(a) Exemplo 1
(b) Exemplo 2
(c) Exemplo 3
(d) Exemplo 4
andreydf@lncc.br
29
37
Experimentos Num
ericos
Ex.
1
2
3
4
Centro da Inclus
ao
(0.7,0.6)
(0.7,0.6)
(0.7,0.6)
(0.7,0.6)
Real
0.1
0.13
0.17
0.2
Ponto de mnimo (
x )
(0.7,0.6)
(0.7,0.6)
(0.7,0.6)
(0.7,0.6)
Tabela 1
Resultados num
ericos
0.09947
0.12838
0.16592
0.19312
andreydf@lncc.br
Erro do Raio
0.53%
1.246%
2.4%
3.44%
30
37
Experimentos Num
ericos
(a) Exemplo 5
(b) Exemplo 6
(c) Exemplo 7
(d) Exemplo 8
andreydf@lncc.br
31
37
Experimentos Num
ericos
Ex.
5
6
7
8
Centro da Inclus
ao
(0.2,0.2)
(0.4,0.4)
(0.5,0.5)
(0.6,0.6)
Real
0.1
0.1
0.1
0.1
Tabela 2
Ponto de mnimo (
x )
(0.2,0.2)
(0.4,0.4)
(0.5,0.5)
(0.6,0.6)
0.097869
0.099657
0.099748
0.099657
Erro do Raio
2.131%
0.343%
0.252%
0.343%
Resultados num
ericos
andreydf@lncc.br
32
37
Considera
c
oes Finais
Expans
ao de forma sucinta e representac
ao mais simples do que se encontra na
andreydf@lncc.br
33
37
Refer
encias
[1] A. Leitao A. De Cezaro and X-C Tai. On piecewise constant level-set (pcls) methods
for the identification of discontinuous parameters in ill-posed problems. Inverse Problems, 29:23pp, 2013.
[2] M. Bertero and P. Boccacci. Introduction to inverse problems in imaging. Institute
of Physics Publishing, Bristol, 1998.
[3] M. Hinterm
uller, A. Laurain, and A. A. Novotny. Second-order topological expansion for electrical impedance tomography. Advances in Computational Mathematics,
36(2):235265, 2012.
[4] H. Grossauer M. Haltmeier O. Scherzer, M. Grasmair and F. Lenzen. Variational
methods in imaging. Applied Mathematical Sciences, Springer, New York, 2009.
andreydf@lncc.br
34
37
Leitura parcial
Nos experimentos reais a corrente el
etrica q
e aplicada atrav
es de um par de eletro-
dos, um de injeca
o e outro de drenagem, enquanto os eletrodos restantes s
ao para
medic
ao da tens
ao u , ver Figura 13.
Figura 13
Ilustra
c
ao de experimento.
andreydf@lncc.br
35
37
N inclus
oes
( ) = ()+
"
Z
N
X
i=1
22i
(uu
)(gi + u
i )+4i
N
X
j=1
j6=i
2i 2j
(uu )(hi + gi )
Z
2
(u u
)ij
q(hi + gi )nv +
!
q(ij )
nv
+2
N
X
j=i+1
2i 2j
(gi + u
i )
(gi + u
i )(gj + u
j )
+ O(5 ).
andreydf@lncc.br
36
(40)
37
Diferentes formas
(a) Exemplo 9
(b) Exemplo 10
Figura 14
Ex.
9
10
11
Baricentro da anomalia
(0.7,0.6)
(0.7,0.6)
(0.675,0.575)
Vol. real
0.04
0.0628
0.04
Tabela 3
(c) Exemplo 11
(0.7,0.6)
(0.7,0.6)
(0.68,0.58)
Vol. encontrado
0.0394
0.0618
0.0402
Erro de vol.
1.5%
1.56%
0.54%
Resultados num
ericos
andreydf@lncc.br
37
37