Você está na página 1de 45

Derivada Topol

ogica de Primeira e Segunda Ordem


no Problema de Tomografia por Imped
ancia
El
etrica
Antonio Andr
e Novotny

Andrey Dione Ferreira

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

Problema Inverso de EIT

Andrey Dione Ferreira

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

Problema Inverso de EIT

Andrey Dione Ferreira

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

Andrey Dione Ferreira

Monitoramento respirat
orio neonatal.
-

andreydf@lncc.br

37

O problema de EIT

Considere um domnio que representa um dado corpo que possua a capacidade


de conduzir eletricidade em seu interior e cujo coeficiente de condutividade el
etrica seja
k (x), com x . Se assumirmos que este corpo
e submetido a uma corrente el
etrica
conhecida q (x) com x , onde representa a fronteira de . Ent
ao, o problema
de EIT consiste em:
Problema 2.1
Encontrar o coeficiente de condutividade el
etrica k tal que

div[q(u)] = 0
em ,

q(u) = k u,

q(u) n = q
sobre ,

u = u
sobre .

Problema Inverso de EIT

Andrey Dione Ferreira

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 .

Dividimos em duas classes de problemas inversos:


dada uma excita
ca
o de Neumann q sobre , reconstruir k a partir de observaco
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 .

Problema Inverso de EIT

Andrey Dione Ferreira

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.

Dividimos em duas classes de problemas inversos:


dada uma excita
ca
o de Neumann q sobre , reconstruir k a partir de ob-

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 .

Problema Inverso de EIT

Andrey Dione Ferreira

andreydf@lncc.br

37

Quest
ao: A partir dessas informac
oes, podemos determinar o coeficiente de condutividade k (x)?

Problema Inverso de EIT

Andrey Dione Ferreira

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 ?

(a) Eletrodos no peito

Figura 6

(b) Fios ligados

Exemplo real de EIT

Na pr
atica em geral n
ao
e possvel medir os dados sobre toda a fronteira de .

Problema Inverso de EIT

Andrey Dione Ferreira

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 ?

(a) Eletrodos no peito

Figura 6

(b) Fios ligados

Exemplo real de EIT

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.

Problema Inverso de EIT

Andrey Dione Ferreira

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 ?

(a) Eletrodos no peito

Figura 6

(b) Fios ligados

Exemplo real de EIT

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).

Problema Inverso de EIT

Andrey Dione Ferreira

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

Problema Inverso de EIT

Corpo com anomalias

Andrey Dione Ferreira

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

Considere um domnio aberto e limitado sujeito a uma perturbac


ao confinada a uma
regi
ao (
x) = x
+ . Sendo x
um ponto arbitr
ario de e um domnio fixo.
Consideremos uma func
ao, x 7 (
x; x), associada ao domnio topologicamente
perturbado.

Problema Inverso de EIT

Andrey Dione Ferreira

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 resduo o(f2 ())


e tal que lim

Problema Inverso de EIT

o(f2 ())
= 0.
f2 ()

Andrey Dione Ferreira

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 resduo o(f2 ())


e tal que lim

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

R+ e o contraste da propriedade material do meio.

Problema Inverso de EIT

Andrey Dione Ferreira

andreydf@lncc.br

37

Formula
c
ao do Problema

Consideremos o seguinte funcional de forma:


() = J (ui , u ) =

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 .

Problema Inverso de EIT

Andrey Dione Ferreira

andreydf@lncc.br

10

37

Seja k o coeficiente de condutividade que se deseja reconstruir.


Ao

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.

Problema Inverso de EIT

Andrey Dione Ferreira

andreydf@lncc.br

11

37

Seja k o coeficiente de condutividade que se deseja reconstruir.


Ao

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)

Problema Inverso de EIT

Andrey Dione Ferreira

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

();

RN e a derivada topologica de primeira ordem do funcional

RN N e a derivada topologica de segunda ordem do funcional

E o resduo o(f ())


e tal que lim

||0

Problema Inverso de EIT

kf ()k
= 0.
R+ e ||0
lim
||

ko(f ())k
= 0.
kf ()k

Andrey Dione Ferreira

andreydf@lncc.br

12

37

Consideremos ainda o funcional de forma associado ao domnio topologicamente perturbado


Z
( ) = J (u , u ) = (u u )2 .
(9)

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

Andrey Dione Ferreira

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

+ 3 4 u()n4 + Jq (w )K n+2 k(1 )n u


3!

+ 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+

Problema Inverso de EIT

Andrey Dione Ferreira

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.

Sendo k constante em , temos que a soluc


ao u
do problema (24)
e harm
onica em
, de classe C no interior de . Assim, se x B (
x)
u
(x) = u
(
x) +
u(
x) (x x
) +

1 2
u
() (x x
)2 ,
2

(18)

onde = (x)

e um ponto intermedi
ario entre x e x
.

Problema Inverso de EIT

Andrey Dione Ferreira

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.

Desta forma, escolhemos w


tal que

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

Problema Inverso de EIT

Andrey Dione Ferreira

(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

Problema Inverso de EIT

Andrey Dione Ferreira

andreydf@lncc.br

19

37

de forma a compensar os termos de mais alta ordem e tal


Por fim, construmos u

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!

Problema Inverso de EIT

Andrey Dione Ferreira

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 ).

Problema Inverso de EIT

Andrey Dione Ferreira

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)

Assim, temos que


Z

(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 ).

Problema Inverso de EIT

Andrey Dione Ferreira

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 ).

Problema Inverso de EIT

Andrey Dione Ferreira

andreydf@lncc.br

23

37

Logo, substituindo (35) e (36) em (34), obt


em-se
Z
Z
Z

( ) = () + 22 (u u )(g + u
) + 24 (u u )(h + g + u
) + 4 (g + u
)2

+ o(4 ).

Problema Inverso de EIT

Andrey Dione Ferreira

andreydf@lncc.br

24

(30)

37

Logo, substituindo (35) e (36) em (34), obt


em-se
Z
Z
Z

( ) = () + 22
(u u )(g + u
) + 24
(u u )(h + g + u
) + 4 (g + u
)2

+ o(4 ).

Problema Inverso de EIT

Andrey Dione Ferreira

andreydf@lncc.br

(37)

24

37

Logo, substituindo (35) e (36) em (34), obt


em-se
Z
Z
Z

( ) = () + 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)

Dessa forma podemos reescrever (37) como


( ) = () + 2 2
|{z}

(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)

Problema Inverso de EIT

Andrey Dione Ferreira

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

Problema Inverso de EIT

Andrey Dione Ferreira

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

Fluxos ao longo da fronteira

Os resultados foram obtidos com duas medidas, geradas pelos os fluxos impostos apresentados na figura 9.
Problema Inverso de EIT

Andrey Dione Ferreira

andreydf@lncc.br

27

37

Observa-se que a derivada topol


ogica de primeira ordem n
ao
e suficiente para detectarmos a anomalia, uma vez que ela atinge os valores mais crticos na fronteira (Figura
10).

(a) Target

(b) Derivada Topol


ogica

Figura 10 Do lado esquerdo apresenta-se o target do exemplo 1 e do lado direito a derivada


topol
ogica do mesmo.

Considerando a derivada topol


ogica de segunda ordem que consiste de termos n
ao
locais, as referidas discrep
ancias s
ao corrigidas, de forma que funcional associado ao
problema perturbado atinge seu mnimo exatamente no centro das inclus
oes. Al
em
disso, o erro nos raios obtidos
e bastante pequeno.

Problema Inverso de EIT

Andrey Dione Ferreira

andreydf@lncc.br

28

37

Experimentos Num
ericos

(a) Exemplo 1

(b) Exemplo 2

(c) Exemplo 3

(d) Exemplo 4

Figura 11 Do lado esquerdo, em cada exemplo, apresenta-se o target e do lado direito o


resultado num
erico.

Problema Inverso de EIT

Andrey Dione Ferreira

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)

Problema Inverso de EIT

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

Andrey Dione Ferreira

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

Figura 12 Do lado esquerdo, em cada exemplo, apresenta-se o target e do lado direito o


resultado num
erico.

Problema Inverso de EIT

Andrey Dione Ferreira

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

Problema Inverso de EIT

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

Andrey Dione Ferreira

andreydf@lncc.br

32

37

Considera
c
oes Finais

Expans
ao de forma sucinta e representac
ao mais simples do que se encontra na

literatura (ver, por exemplo, [3]).


O m
etodo
e n
ao iterativo, o que geralmente n
ao se encontra na literatura (ver [1, 3]).
M
etodo resultante dado por dois problemas triviais de otimizac
ao.

Problema Inverso de EIT

Andrey Dione Ferreira

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.

Problema Inverso de EIT

Andrey Dione Ferreira

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

Problema Inverso de EIT

Ilustra
c
ao de experimento.

Andrey Dione Ferreira

andreydf@lncc.br

35

37

N inclus
oes

O meio pode conter mais de uma anomalia:

( ) = ()+
"
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 ).

Problema Inverso de EIT

Andrey Dione Ferreira

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)

Experimentos com diferentes formas.

Vol. real
0.04
0.0628
0.04

Tabela 3

Problema Inverso de EIT

(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

Andrey Dione Ferreira

andreydf@lncc.br

37

37

Você também pode gostar