|
|
Formalization of Integrative Physiology
Mateják, Marek ; Kofránek, Jiří (vedoucí práce) ; Kasal, Pavel (oponent) ; Otáhal, Jakub (oponent)
Nové informační technologie přinášejí možnosti jak exaktně popsat a simulovat komplexní fyzikální systémy. Pokrok v tomto směru umožnila standardizace jazyka Modelica neziskovou celosvětovou asociací firem, univerzit a jednotlivců Modelica Association. Standard jazyka umožnil v této disertaci vytvořit chemické, hydraulické, tepelné a populační komponenty pro základní principy fyziologie člověka. Tyto nové Modelikové knihovny byly nazvány PHYSIOLIBRARY a CHEMICAL. Jejich základní komponenty je možné v Modelice graficky propojovat a tak vytvářet komplexnější komponenty fyziologických systémů, obdobně jako se v Modelice vytvářejí modely elektronických obvodů ze základních prvků elektronických komponent. Disertace ukazuje, jak lze obdobným způsobem vytvořit i tak komplexní modely jakým je model integrativní fyziologie člověka HumMod 1.6 který má více než 5000 proměnných. A nejen to, tyto modely je potom možné velmi intuitivně modifikovat a rozšiřovat. Disertační práce tak model amerických autorů HumMod 1.6 (www.hummod.org) nejen implementovala, ale i rozšířila o vlastnosti krve a hemoglobinu, které původní model neměl. Při reimplementaci modelu bylo odhaleno (a americkým autorům reportováno) 30 logických, matematických a fyziologických chyb, na které se při důkladné analýze modelu narazilo. Byl...
|
host ::
RSS.