Univerza v Ljubljani Fakulteta za elektrotehniko Blaž Valič Problem velikih geometrijskih razmerij pri modeliranju bioloških tkiv z metodo končnih elementov Magistrska naloga Mentor: prof. dr. Damijan Miklavčič Ljubljana, junij 2004 Zahvala Gotovo ima veliko zaslug za nastanek te naloge prof. dr. Damijan Miklavčič, moj mentor tako pri podiplomskem študiju kot tudi pri pripravi magistrske naloge. Vedno me je znal spodbujati in mi svetovati, predvsem takrat, ko se je zataknilo, ko nisem imel več energije oziroma ideje, kako naprej. Pri gradnji modelov, ki si bili osnova naloge, sem veliko časa presedel za računalnikom in se jezil nad muhami FEMLABA. Pri tem mi je v nekaj mesecih, ki jih je preživel v našem laboratoriju, delal družbo mag. Igor Lacković. Skupaj je bilo lažje, še posebej zato, ker sva hkrati odkrivala lepote in tegobe modelov in algoritmov in takšnih sporočil: "Out of memory", "Step size too smal", … A nisva bila sama, takšna sporočila pozna tudi dr. Davorka Šel. Verjamem, da se je tudi ona pri gradnji modelov srečevala s podobnimi težavami, ki mi jih je delno prihranila, saj sem lahko uporabil njeno geometrijo modela glave s tumorjem in elektrodami. Hvala tudi za vse odgovore na moje maile. V prijetnem okolju je prijetno delati, k temu pa so veliko prispevali sodelavci v Laboratoriju za biokibernetiko. Vsem najlepša hvala za prijetne pogovore, nasvete, ideje, čas in dobro voljo. Hvala doc. dr. Alenki Maček Lebar za nasvete pri pisanju ter za pregled naloge. Nalogo je lektorirala prijateljica Sanja Leban. Hvala! »Last, but not least«, hvala Andreji, Nejcu, Aljažu in Niki, predvsem za potrpljenje in podporo pri mojem delu. i Kazalo KAZALO I POVZETEK III ABSTRACT V 1 UVOD 1 1.1 Zakaj modeliranje in numeriČne metode v biomedicini? 1.2 Osnove modeliranja in izraČuna z numeriČnimi metodami 1.2.1 Posebnosti modeliranja v biomedicini 1.3 Problem velikih geometrijskih razmerij 1.4 Možnosti za reševanje problema velikih geometrijskih razmerij 1.5 Cilji naloge 6 2 TEORIJA 7 2.1 Elektromagnetno polje 2.1.1 Tokovno polje 10 2.2 Modeliranje in izraČun z numeriČnimi metodami 11 2.2.1 Metoda konČnih diferenc 12 2.2.2 Metoda konČnih elementov 14 3 REŠEVANJE PROBLEMA VELIKIH GEOMETRIJSKIH RAZMERIJ 18 3.1 Uporaba skaliranih elektrod 18 3.2 Uporaba nelokalnega sklapljanja v FEMLAB-u 20 3.2.1 Model možganov s tumorjem 22 3.2.2 Model možganov s tumorjem in nelokalnim sklapljanjem 24 3.2.3 Model celice z nelokalnim sklapljanjem 26 ii 4 REZULTATI 30 4.1 Uporaba skaliranih elektrod 30 4.2 Model možganov s tumorjem 35 4.3 Model celice 39 5 RAZPRAVA 42 5.1 Uporaba skaliranih elektrod 42 5.2 Model možganov s tumorjem in model celice 44 6 ZAKLJUČEK 47 7 LITERATURA 48 iii Povzetek Dandanes se modeliranje in izračun z numeričnimi metodami pogosto uporablja v biomedicini in biomedicinski tehniki. Omogoča nam, da lahko na primer preizkušamo občutljivosti sistemov na posamezne parametre, kar je ponavadi veliko dražje, težje ali celo nemogoče eksperimentalno ali analitično, prav tako se lahko pri načrtovanju sistema ali naprave opiramo na podatke, pridobljene iz odzivov modela, in podobno. V Laboratoriju za biokibernetiko z modeliranjem in izračun z numeričnimi metodami določamo predvsem gostoto električnega toka in porazdelitev električne poljske jakosti v tkivih in računamo transmembransko napetost na celicah. V obeh primerih se v geometriji modela srečujemo z zelo velikimi geometrijskimi razmerji (razmerje med najmanjšo in največjo dimenzijo v geometriji). To predstavlja programskim paketom za modeliranje in izračun z numeričnimi metodami veliko težavo, saj algoritmi, ki so namenjeni razdelitvi prostora računanja v manjša območja, elemente (delitev prostora imenujemo mrežo), ne uspejo zgraditi mreže v takšni geometriji. Problem smo do sedaj reševali z uporabo nadomestnih prevodnosti za celično suspenzijo, z uporabo simetrij in antisimetrij v modelu ter z omejitvijo področja računanja. Vsak način je imel svoje slabosti ali je bil omejen s področjem uporabe. V nalogi smo preučili dve novi možnosti za reševanje problema velikih geometrijskih razmerij, skaliranje elektrod in nelokalno sklapljanje, ki omogoča sklopitev dveh točk, ki geometrijsko nista povezani. V problemih, ki rešujemo v Laboratoriju za biokibernetiko, velikokrat kot vir elektromagnetnega polja nastopajo elektrode, ki imajo relativno majhen premer. Z modeli smo ocenili, kolikokrat lahko povečamo premer elektrod ter temu ustrezno znižamo električni potencial na njih, da bo rezultat še dovolj dober. Z nelokalnim sklapljanjem smo zgradili model možganov s tumorjem in vzporednimi osemigelnimi elektrodami ter model celice z membrano. V obeh modelih smo izrezali tisti del celotne geometrije, ki predstavlja največ težav za gradnjo mreže oziroma smo v njem želeli rešitev z večjo prostorsko ločljivostjo in ga vstavili v drugo, manjšo geometrijo. Robne pogoje na mestu rezanja smo določili tako, da so se preslikali iz večje geometrije na manjšo in obratno. iv Ugotovili smo, da je skaliranje elektrod uporabna metoda, ki v primeru dveh igelnih elektrod omogoča povečanje premera elektrod za 2 do 5 krat brez večjih napak v porazdelitvi absolutne vrednosti električne poljske jakosti. V primeru drugačne geometrije elektrod je potrebno tako obliko nadomestnih elektrod kakor tudi znižanje električnega potenciala na nadomestnih elektrodah določiti s pomočjo modelov. Z nelokalnim sklapljanjem smo uspešno zgradili model možganov s tumorjem in vzporednimi osem igelnimi elektrodami. Sicer je bila rešitev modela mogoča tudi brez uporabe nelokalnega sklapljanja, a je bila gradnja mreže v primeru nelokalnega sklapljanja enostavnejša, kljub temu da nismo iz modela izrezali elektrod, kakor je bilo potrebno v modelu brez nelokalnega sklapljanja, rezultat pa je bil bolj podroben. Z modelom celice z membrano je bilo kljub uporabi nelokalnega sklapljanja več težav, predvsem je slabo konvergiral numerični izračun. Izkazalo se je, da je nelokalno sklapljanje zelo uporabno v nekaterih geometrijah ter omogoča izračune takšnih geometrij, ki bi se jih brez uporabe te metode z nam dosegljivimi programskimi paketi ne dalo. v Abstract Nowadays numerical modeling is a common method in the field of biomedicine and biomedical engineering. It enables to analyze sensitivity of systems on different parameters, which can be harder or even impossible experimentally or analytically; it enables to use data acquired from the model in the design of a system or device. In the Laboratory of Biocybernetics at the University of Ljubljana, Faculty of Electrical Engineering, we use numerical modeling mainly for calculation of electric current and electric field intensity distribution in tissue, and for calculation of the transmembrane voltage on cells. In both cases there are very large geometric ratios in the geometry of the model (ratio between the smallest and the largest dimension in geometry). Numerical modeling programs often have problems with large geometric ratios, because algorithms for partitioning of the calculating space into smaller areas, elements, are unable to perform partitioning in such geometries. We already used some techniques to avoid such problems. For example, we used effective conductivity for cell suspension, symmetries and anti-symmetries in the models to reduce the size of the models and we also reduced the size of the models by defining isolating boundary conditions in the models. Each of the above technique however has some disadvantages or is limited by the application area. In this work we analyzed two new techniques, which may help overcoming the problem of large geometric ratio: electrode scaling and non-local coupling, which enables us to connect points, which are not geometrically connected. In the Laboratory of Biocibernetics we often model problems, where electrodes with relatively small diameter are used as electromagnetic field sources. Using electrode scaling we estimated, how many times we can increase the diameter of the electrodes and correspondingly decrease the potential on them, keeping the results good enough. With non-local coupling we build model of brain with parallel eight needles electrodes and model of a cell with the membrane. In both models we cut out a part of the whole geometry, which was most problematic for partitioning or where we wanted better spatial resolution, and inserted it in the second, small geometry in the same model. We vi defined coupled boundary conditions on the cut planes between big and small geometry and vice versa. Our results show that electrode scaling is a useful technique enabling us to increase the diameter of the electrodes by a factor between two and five without major error in the distribution of absolute value of electric field intensity in the case of two needle electrodes. In the case of different electrode geometry it is necessary to determine the shape of scaled electrodes as well as the factor of corresponding decrease of electric potential on the electrodes by new models. With non-local coupling we successfully built model of brain with parallel eight needles electrodes. It was also possible to build the model without non-local coupling. However partitioning of the space of calculation was much easier if we used non-local coupling as well as we increased the spatial resolution. Despite non-local coupling we had more problems with model of the cell with membrane; mostly the convergence of the numerical calculation was slow. Nevertheless, non-local coupling is very useful in numerous geometries. It enables numerical modeling of geometries, which otherwise can not be solved with available program packages for numerical modeling. 1 Uvod 1 1 Uvod 1.1 Zakaj modeliranje in numerične metode v biomedicini? Želja po poznavanju procesov v naravi in vplivanju nanje je bila in bo pomembna gonilna sila raziskav in razvoja. Človek se je že v preteklosti in se še danes srečuje s številnimi različnimi procesi v naravi, ki so tako ali drugače pomembni zanj. Tri področja, ki se ukvarjajo s takšnimi procesi in pridobivajo na pomenu v sodobni človeški družbi, so biomedicina, biotehnologija in biomedicinska tehnika. »Področje biomedicina združuje znanja biokemije, molekularne in celične biologije, farmacije, medicine, veterinarske medicine in drugih znanj« [Univerza v Ljubljani, 2003] z namenom izboljševanja kvalitete življenja. »Biotehnologijo v splošnem pomenu opredeljujemo kot integrirano uporabo molekularno-bioloških in inženirskih znanj za komercialne aplikacije organizmov« [Biotehniška fakulteta, Univerza v Ljubljani, 2004]. Biomedicinska tehnika je tehnično področje, ki vključuje znanja biomedicine in klinične prakse. Vključuje: »1. odkrivanje novih znanj in razumevanja živih organizmov s pomočjo inovativnih in samostojnih aplikacij eksperimentalnih in analitičnih tehnik, temelječih na inženirskih znanjih, 2. razvoj novih naprav, algoritmov, procesov in sistemov, ki podpirajo biologijo in medicino ter izboljšujejo medicinsko prakso ter skrb za zdravje« [The Whitaker Foundation, 2004]. Vsa področja so izrazito interdisciplinarna ter poleg znanj iz področja biologije, medicine, farmacije in veterine vključujejo tudi znanje s področja elektrotehnike. Uporabna so predvsem naslednja elektrotehniška znanja: • elektronika, kamor spada predvsem razvijanje različnih elektronskih naprav, potrebnih na tem področju; naprave so med seboj zelo različne, zahteve zanje so izrazito specifične, nekatere se proizvajajo serijsko, veliko pa je maloserijskih ali unikatnih; • meritve, tako elektromagnetnih in električnih signalov kakor tudi neelketričnih: tlaka, oksigenacije, stopnje glukoze … v bioloških organizmih za potrebe laboratorijskih meritev ali za implementacijo tehnologije in znanja meritev v različne naprave, npr. srčne spodbujevalnike; 1 Uvod 2 • regulacije, saj se v bioloških organizmih srečamo s številnimi kompleksnimi regulacijskimi zankami, prav tako je znanje regulacij potrebno pri načrtovanju različnih medicinskih naprav; • elektromagnetika, kjer je mišljeno predvsem znanje o širjenju elektromagnetnega valovanja; zajema različne probleme, tako recimo: prevajanje električnih signalov v živčnem sistemu človeka, določanje izpostavljenosti elektromagnetnemu sevanju; • modeliranje, ki kot pomoč služi pri prepoznavanju in razumevanju različnih procesov, kot pripomoček ali korak pri načrtovanju naprav, posameznih sklopov in regulacijskih zank. Cilj modeliranja je določiti obnašanje sistema. Pri tem realen sistem nadomestimo z matematičnim modelom, definiramo vhodne in izhodne spremenljivke ter izračunamo izhodne spremenljivke v odvisnosti od vhodnih spremenljivk. Matematični model, ki je v večini primerov diferencialna enačba, v primeru preprostih sistemov natančno opiše sistem, v primeru kompleksnih sistemov, kar je v biomedicini običajno, pa je matematični model poenostavljen zapis sistema. Kljub poenostavitvam dobljeni matematični model ponavadi ni analitično rešljiv, zato se je veja modeliranja izrazito razvila v zadnjem času, ko so postali dostopni računsko dovolj zmogljivi računalniki. Razvilo se je novo matematično področje, področje numeričnih metod, ki je omogočilo numerično reševanje sistema diferencialnih enačb. Področja, kjer se modeliranje in izračun z numeričnimi metodami v biomedicini uporablja, so številna. Mednje sodijo: • določanje stopnje specifične absorpcije (SAR); • farmakokinetika in farmakodinamika; • računanje obremenitev v kosteh, sklepih, mišicah; • modeliranje delovanja organov, sistemov ali regulacijskih zank v organizmih: o kardiovaskularni sistem, o električno delovanje srca, o dihanje, o možgani, o mišice, o uravnavanje telesne temperature, 1 Uvod 3 o živčni sistem; • računanj e vsiljene transmembranske napetosti na celicah; • računanj e gostote električnega toka in porazdelitve električne poljske jakosti v tkivih; • populacijiski modeli; • modeliranje delovanja vsadljivih naprav; • načrtovanje terapije (npr. obsevanja v onkologiji). 1.2 Osnove modeliranja in izračuna z numeričnimi metodami Cilj modeliranja je čim bolj natančno izračunati vrednosti spremenljivk v sistemu. Poznamo različne postopke modeliranja in izračuna z numeričnimi metodami, med najbolj razširjenimi metodami sta metoda končnih elementov in metoda končnih diferenc. Bistvo obeh metod je razdelitev celotne geometrije (območje računanja) na manjše dele, elemente, ki so v primeru končnih diferenc na premici daljice, v ravnini pravokotniki ter v prostoru kvadri, v primeru metode končnih elementov daljice na premici, v ravnini običajno trikotniki, lahko poljubni mnogokotniki ali celo liki z ukrivljenimi stranicami ter v prostoru običajno tetraedri (tristranične piramide), lahko pa poljubna geometrijska telesa, podobno kot v ravnini tudi z ukrivljenimi ploskvami. Takšni delitvi območja pravimo mreža. Vsakemu elementu v mreži nato določimo fizikalne lastnosti snovi. Na podlagi diferencialne enačbe sledi pri metodi končnih diferenc zapis enačb iskane spremenljivke za vsako vozlišče. Nastali sistem enačb pretvorimo v matrični zapis: M-V = P, (1.1) kjer je M matrika koeficientov enačb, V vektor vrednosti iskane spremenljivke, P pa vektor robnih pogojev in virov v modelu. Dobljeni sistem enačb rešimo z eno od numeričnih metod, npr. Gaussovo eliminacijsko metodo in izračunamo vrednost iskane spremenljivke v vozliščih [Sinigoj, 1996]. Pri metodi končnih elementov je pristop k zapisu končne matrične enačbe drugačen. Kot izhodišče služi iskani spremenljivki u prirejen funkcional, iščemo pa njegov minimum. Končna matrična enačba ima enako obliko kot enačba za metodo končnih diferenc (1.1), razlikujejo se le koeficienti v matriki M in vektor robnih pogojev P. 1 Uvod 4 1.2.1 Posebnosti modeliranja v biomedicini Modeliranje in izračun z numeričnimi metodami v biomedicini je v veliko primerih zahtevno opravilo. Kakor je napisano v prejšnjem poglavju, je potrebno za vsak element določiti lastnosti snovi v njem. Modeliranje in izračun z numeričnimi metodami uporabljamo največ na področju tehnike, kjer so lastnosti materialov znane in večinoma linearne ter izotropne, medtem ko so lastnosti tkiv v bioloških organizmih velikokrat nelinearne, anizotropne in v primeru elektromagnetnih lastnosti izrazito frekvenčno odvisne (Pavšelj, 2002). Geometrija je v tehniki večinoma sestavljena iz različnih osnovnih likov in teles, medtem ko so oblike v primeru bioloških modelov nepravilne, posledično je geometrija nesimetrična. Poleg tega je v bioloških modelih velikokrat zelo veliko razmerje med najmanjšo ter največjo dimenzijo v geometriji. Kakor bomo videli v naslednjem poglavju, predstavlja ravno veliko geometrijsko razmerje pri modeliranju zahteven problem. 1.3 Problem velikih geometrijskih razmerij Modeliranje in izračun z numeričnimi metodami temelji na razdelitvi geometrije v elemente. Takšno delitev imenujemo mreža. V programskih paketih, namenjenih takšnemu modeliranju, se za gradnjo mreže uporabljajo posebni algoritmi za gradnjo mreže, ki morajo zagotoviti, da mreža čim bolje sledi tako robovom modela kakor tudi mejam med različnimi snovmi v modelu ter istočasno zagotoviti, da so elementi v mreži čim manj deformirani. Na primer, če mrežo sestavljajo tetraedri, bi bila mreža idealno sestavljena samo iz enakostraničnih tetraedrov, ker pa na takšen način ni mogoče slediti robovom in mejam modela, algoritem ustrezno deformira elemente, da lahko sledi meji. Od stopnje deformiranosti elementov je odvisna kvaliteta izračuna; bolj kot je element deformiran, večja je napaka izračuna. Dodatno težavo pri gradnji mreže predstavlja veliko geometrijsko razmerje (razmerje med najmanjšo in največjo dimenzijo v geometriji). Če imamo veliko geometrijo, v kateri so tudi majhna telesa, algoritem prične z gradnjo mreže v tem delu. Z oddaljevanjem mreže od začetnega mesta se velikost elementov veča. Velikokrat se dogaja, da algoritem ne more slediti takšnemu naraščanju velikosti elementov, kar privede do prekinitve gradnje mreže. Primeri, kjer so takšna velika geometrijska razmerja v biomedicini, so številni: • celica in celična membrana; kjer znaša debelina membrane 5 nm, premer celice pa 5 do 10 µm, razmerje je 1:1000 ali več; 1 Uvod • celična suspenzija in celica; kjer je razmerje odvisno predvsem od območja suspenzije, ki jo želimo opazovati; • človeško telo in posamezen manjši organ; človeško telo je dolgo skoraj 200 cm, velikost posameznega organa je lahko le 1 cm ali manj, razmerje je 1:200 ali več; • človeško telo in elektrode; elektrode imajo premer običajno manjši kot 1 mm; • človeško telo in vsadki; ponavadi celotni vsadki niso večji od 5 cm, veliko pa jih ima tudi majhne elektrode: srčni spodbujevalniki, defibrilatorji, kohlearni implant … • človeško telo in osteosintetski material. 1.4 Možnosti za reševanje problema velikih geometrijskih razmerij Z modeli, kjer je prisoten problem velikih geometrijskih razmerij, smo se v okviru raziskovalnega dela v Laboratoriju za biokibernetiko že srečevali. Uporabili smo različne pristope, tako smo denimo za celično suspenzijo njeno prevodnost v vektorski obliki določili na osnovi nadomestne prevodnosti celice [Pavlin in Miklavčič, 2003]. Drugi način, kako reševati problem velikih geometrijskih razmerij v modelih, je bila uporaba simetrij in antisimetrij v modelu [Susil et al., 1998]. Zaradi simetričnosti in anstisimetričnosti modela smo v primerih, ki so to omogočali, namesto izračuna v celotnem modelu izračunali le polovico, četrtino ali celo osmino osnovnega modela in nato rezultat preslikali še na ostali del geometrije. Tretji način, ki smo ga uporabljali, je bil omejitev področja računanja. V primeru lokalnega vira smo s postavitvijo izolativne meje (homogen Neumannov robni pogoj) okrog tega vira zmanjšali velik model na manjši brez prevelike napake [Šel, 2003]. Poleg številnih prednost imajo omenjeni trije načini tudi določene slabosti. Prvi, ki zahteva določanje nadomestnih prevodnosti, velja za celične suspenzije in tkivo, v primeru celične suspenzije je potrebno upoštevati še gostoto celične suspenzije. Prav tako ne omogoča opazovanja pojavov na nivoju same celice. Drugi način, kjer izkoristimo simetrije in antisimetrije modela, je mogoč samo v primeru geometrij s simetrijami. Tretji način žal ne omogoča opazovanja dogajanja večje geometrije v celoti. 1 Uvod 6 1.5 Cilji naloge Na podlagi dosedanjih izkušenj, predstavljenih problemov teh spoznanj bomo v okviru naloge preučili možnost uporabe dveh načinov, s katerima bi lahko rešili problem velikih geometrijskih razmerij pri modeliranju in izračunu z numeričnimi metodami in jih do sedaj v Laboratoriju za biokibernetiko še nismo uporabljali. Prva metoda je skaliranje elektrod. V Laboratoriju za biokibernetiko velikokrat rešujemo probleme, kjer kot izvor električnega polja uporabljamo elektrode, nameščene v tkivu oz. na tkivu. Elektrode so ponavadi zelo majhne (premer manj kot 1 mm [Šel et al., 2003], zato je gradnja mreže v večjem modelu zelo zahtevna. V nalogi bomo z modelom ocenili, za koliko lahko v modelu povečamo elektrode ter temu ustrezno znižamo napetost na njih, da bo rezultat še dovolj dober. Drugi način je uporaba nelokalnega sklapljanja (non-local coupling). Pri metodi končnih elementov ali končnih diferenc na podlagi zgrajene mreže sestavimo matrično enačbo (1.1), ki jo je potrebno rešiti. Namesto da bi imeli samo eno geometrijo, bomo iz celotne geometrije izrezali tisti del, ki predstavlja največ težav za gradnjo mreže oziroma bi v njem želeli rešitev z večjo prostorsko ločljivostjo drugo, in ta del vstavili v drugo, manjšo, geometrijo. Robne pogoje na mestu rezanja bomo določili tako, da se bodo preslikali iz večje geometrije na manjšo in obratno. V vsaki geometriji bomo zgradili svojo mrežo, ki bo ločena od mreže v drugi geometriji, prav tako bodo lahko parametri pri gradnji mreže različni, matrična enačba pa bo zaradi preslikovanja robnih pogojev ena sama. Predstavljena načina reševanja problema velikih geometrijskih razmerij pri modeliranju bioloških tkiv z metodo končnih elementov bomo v okviru naloge preizkusili na različnih modelih. Skaliranje elektrod bomo preverili na modelu dveh igelnih elektrod v homogenem ter nehomogenem tkivu, nelokalno sklapljanje pa na modelu možganov s tumorjem in vzporednimi osemigelnimi elektrodami ter na modelu celice z membrano. 2 Teorija 7 2 Teorija 2.1 Elektromagnetno polje Splošne Maxwellove enačbe: razširjen Amperov zakon, Faradayev zakon indukcije, Gaussov stavek za magnetno polje ter Gaussov stavek za električno polje se glasijo: riE VxB-jU0s0 — = definiramo funkcijo e öe za točke v elementu ç»l=\ (2.32) 0 drugje ter iz vsote takšnih aproksimacijskih funkcij določimo aproksimacijo celotnega območja računanja

0, (2.33) kjer je E število vseh elementov. Z indeksom i označimo vse vozle v mreži: i = 1, 2, …, n ter s \j/i vrednosti funkcije y/v vozlih in zapišimo q> kot dvojno vsoto: En n E n v=Ž Z viuie =L ^Z uie = Z ^iui , (2.34) e=1 i=1 i=1 e=1 i=1 kjer je 2 Teorija 16 e \1-