D. Naujokaičio daktaro disertacijos „Hibridinių sistemų modeliavimas agregatiniu metodu ir jų verifikavimas“ gynimas

Autorius, institucija: Darius Naujokaitis, Kauno technologijos universitetas

Mokslo sritis, kryptis: fiziniai mokslai, informatika – 09P

Disertacija ginama eksternu.

Mokslinis konsultantas – prof. habil. dr. Rimantas Barauskas (Kauno technologijos universitetas, fiziniai mokslai, informatika – 09P).

Informatikos mokslo krypties disertacijos gynimo taryba:
prof. dr. Vacius Jusas (Kauno technologijos universitetas, fiziniai mokslai, informatika – 09P) – pirmininkas,
prof. habil. dr. Gintautas Dzemyda (Vilniaus universitetas, fiziniai mokslai, informatika – 09P),
prof. dr. Gintaras Palubeckis (Kauno technologijos universitetas, fiziniai mokslai, informatika – 09P),
doc. dr. Kristina Poškuvienė (Kauno technologijos universitetas, fiziniai informatika – 09P),
prof. dr. Juri Vain (Talino technologijos universitetas, Estija, fiziniai mokslai, informatika – 09P).

Su disertacija galima susipažinti Kauno technologijos universiteto (K. Donelaičio g. 20, 44239 Kaunas), Vytauto Didžiojo universiteto (K. Donelaičio g. 52, Kaunas) ir Vilniaus Gedimino technikos universiteto (Saulėtekio al. 14, 10223 Vilnius) bibliotekose.

Anotacija:

Hibridinėms sistemoms, sudarytoms iš diskrečių ir tolydžių komponentų ir aprašančioms atskiras žmogaus fiziologinės sistemos dalis modeliuoti, darbe pritaikytas agregatinis formalizavimo metodas, turintis priemones sukurtų modelių imitavimui ir testavimui.
Disertacijoje tiriami sukurti originalūs modeliai, formalizuoti agregatiniu metodu, nagrinėjantys žmogaus smegenų kolateralinės kraujotakos sistemą ir farmakokinetikos reiškinius. Pateikiami elektrinėmis grandinėmis paremti imitaciniai kolateralinės kraujotakos modeliai, imituojantys regioninio smegenų perfuzijos spaudimo (rCPP) poveikį regioninei smegenų kraujotakai (rCBF) insulto atveju, kai imituojamas kraujagyslės užspaudimas. Sukurtas farmakokinetikos modelis leidžia vertinti opioidų koncentracijos poveikį pacientui remiantis skausmo lygio ir galimo šalutinio opioidų poveikio vertinimu.
Disertacijoje pasiūlyta nauja agregatinių modelių verifikavimo metodika paremta agregatinių ir stochastinių hibridinių automatų modelių semantiniu ekvivalentumu laiko perėjimų sistemoje, bei leidžianti automatizuotai atlikti tokių modelių verifikavimą. Taikant šią metodiką atliktas farmakokinetinio modelio verifikavimas taikant modelių tikrinimo įrankį UPPAAL-SMC, papildytą statistine modelių tikrinimo technika.