|
|
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...
|
|
|
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...
|
|
|
Lokalizácia robota v 3D mape
Mateják, Marek ; Winkler, Zbyněk (vedoucí práce) ; Obdržálek, David (oponent)
This thesis deals about possibilities of autonomous mobile robot localization by camera in the known environment. In detail the model is analyzed of scene representation by perspective projection including evaluation of the location according to paired points with the scene. This is done especially for the model of the robot with the fixed camera location that moves on the fiat floor. Localization is analyzed from two points of view. From the global view, where is the goal to evaluate position without previous knowledge of the position. And from the local view, where is the location of the robot tracked during its movement in the scene. In the first case is estimation of the position based mainly on the color separation of segments. The case of undistinguishable reference points is analyzed, where the position is estimated according to their field location. On the other hand, when the previous position is known, the two methods of reference points tracking are mentioned. First method is ICP algorithm, which makes the registration of points. The second is the Mean Shift algorithm for tracking image seg1nents. In the end is mentioned the application of Monte Carlo filtration, which assures robustness of segment tracking. Powered by TCPDF (www.tcpdf.org)
|
host ::
RSS.