|
|
Schematron Schema Inference
Kozák, Michal ; Holubová, Irena (vedoucí práce) ; Svoboda, Martin (oponent)
XML je populární jazyk pro výměnu dat. Mnoho dokumentů však nemá svůj popis schématu nebo je tento popis neaktuální. Tato práce navazuje na práce o automatickém odvozování schémat XML dokumentů a zaměřuje se na odvozování schémat pro Schematron. Schematron je jazyk, který validuje XML dokumentu pouze pomocí pravidel, ne jako celou gramatiku, jako je typické pro DTD nebo XML Schema. Jelikož oblast generování schémat Schematronu není příliš prozkoumaná, tato práce analyzuje základní problémy, navrhuje několik postupů a popisuje jejich výhody a nevýhody.
|
|
|
Spojité modely v biologii
Kozák, Michal ; Stará, Jana (vedoucí práce) ; Kučera, Milan (oponent)
Tato bakalářská práce se zabývá hledáním podmínek, za kterých je biologický systém ekologicky stabilní. Po představení některých konceptů ekologické stability vybereme pojem permanence, který zavedeme na modelech postavených na se- midynamických systémech. Hlavní částí práce jsou tvrzení, ve kterých dokážeme, za kterých podmínek je či není model permanentní. V poslední kapitole ilustruje- me tuto teorii na modelu vodní populace interagující se znečištěným prostředím. Tato práce si dává za cíl shrnout danou problematiku a ukázat ji na konkrétním příkladě. Přínosem je důkaz tvrzení, za kterých podmínek systém není permanent- ní a příklad, jak složitý model dostatečně zjednodušit, aby byl řešitelný a zároveň biologicky zajímavý. 33
|
|
|
Bifurkace v matematických modelech v biologii
Kozák, Michal ; Stará, Jana (oponent)
V této diplomové práci jsou zkoumána stacionární, prostorově nehomogen- ní řešení systémů reakce-difuze figurující v biologických modelech, založených na Turingově myšlence nestability způsobené difuzí (diffusion driven instabili- ty). V souvislosti s tím je zkoumáno globální chování bifurkačních větví takových stacionárních řešení. Práce se opírá o teorii diferenciálních rovnic a o (zejména to- pologické) metody nelineární analýzy. Je dokázána existence, v jedné prostorové dimenzi i nekompaktnost, bifurkační větve pro obecný systém reakce-difuze vyka- zující Turingův efekt. Dále jsou odvozeny apriorní odhady pro Thomasův model. Tyto výsledky vedou k tvrzení, které pro všechny difuzní koeficienty z předem zavedené množiny zaručuje existenci alespoň jednoho stacionárního, prostorově nenulového řešení Thomasova modelu.
|
|
|
Bifurkace v matematických modelech v biologii
Kozák, Michal ; Stará, Jana (oponent)
V této diplomové práci jsou zkoumána stacionární, prostorově nehomogen- ní řešení systémů reakce-difuze figurující v biologických modelech, založených na Turingově myšlence nestability způsobené difuzí (diffusion driven instabili- ty). V souvislosti s tím je zkoumáno globální chování bifurkačních větví takových stacionárních řešení. Práce se opírá o teorii diferenciálních rovnic a o (zejména to- pologické) metody nelineární analýzy. Je dokázána existence, v jedné prostorové dimenzi i nekompaktnost, bifurkační větve pro obecný systém reakce-difuze vyka- zující Turingův efekt. Dále jsou odvozeny apriorní odhady pro Thomasův model. Tyto výsledky vedou k tvrzení, které pro všechny difuzní koeficienty z předem zavedené množiny zaručuje existenci alespoň jednoho stacionárního, prostorově nenulového řešení Thomasova modelu.
|
|
|
Bifurkace v matematických modelech v biologii
Kozák, Michal ; Kučera, Milan (vedoucí práce) ; Stará, Jana (oponent)
V této diplomové práci jsou zkoumána stacionární, prostorově nehomogen- ní řešení systémů reakce-difuze figurující v biologických modelech, založených na Turingově myšlence nestability způsobené difuzí (diffusion driven instabili- ty). V souvislosti s tím je zkoumáno globální chování bifurkačních větví takových stacionárních řešení. Práce se opírá o teorii diferenciálních rovnic a o (zejména to- pologické) metody nelineární analýzy. Je dokázána existence, v jedné prostorové dimenzi i nekompaktnost, bifurkační větve pro obecný systém reakce-difuze vyka- zující Turingův efekt. Dále jsou odvozeny apriorní odhady pro Thomasův model. Tyto výsledky vedou k tvrzení, které pro všechny difuzní koeficienty z předem zavedené množiny zaručuje existenci alespoň jednoho stacionárního, prostorově nenulového řešení Thomasova modelu.
|
|
|
Schematron Schema Inference
Kozák, Michal ; Holubová, Irena (vedoucí práce) ; Svoboda, Martin (oponent)
XML je populární jazyk pro výměnu dat. Mnoho dokumentů však nemá svůj popis schématu nebo je tento popis neaktuální. Tato práce navazuje na práce o automatickém odvozování schémat XML dokumentů a zaměřuje se na odvozování schémat pro Schematron. Schematron je jazyk, který validuje XML dokumentu pouze pomocí pravidel, ne jako celou gramatiku, jako je typické pro DTD nebo XML Schema. Jelikož oblast generování schémat Schematronu není příliš prozkoumaná, tato práce analyzuje základní problémy, navrhuje několik postupů a popisuje jejich výhody a nevýhody.
|
|
|
Spojité modely v biologii
Kozák, Michal ; Stará, Jana (vedoucí práce) ; Kučera, Milan (oponent)
Tato bakalářská práce se zabývá hledáním podmínek, za kterých je biologický systém ekologicky stabilní. Po představení některých konceptů ekologické stability vybereme pojem permanence, který zavedeme na modelech postavených na se- midynamických systémech. Hlavní částí práce jsou tvrzení, ve kterých dokážeme, za kterých podmínek je či není model permanentní. V poslední kapitole ilustruje- me tuto teorii na modelu vodní populace interagující se znečištěným prostředím. Tato práce si dává za cíl shrnout danou problematiku a ukázat ji na konkrétním příkladě. Přínosem je důkaz tvrzení, za kterých podmínek systém není permanent- ní a příklad, jak složitý model dostatečně zjednodušit, aby byl řešitelný a zároveň biologicky zajímavý. 33
|
|
|
Petriho sítě
Kozák, Michal ; Richta, Karel (oponent) ; Kryl, Rudolf (vedoucí práce)
Cílem této práce je vytvořit grafický nástroj pro návrh a simulaci Petriho sítě. Pro praktické využití sítě si uživatel nadefinuje vlastní vzory, které umožní snazší návrh sítě. Tyto vzory lze opětovně použít při návrhu dalších sítí. Průběh simulace sítě lze sledovat a ladit pomocí podmíněných breakpointů. Pro řízení běhu simulace se využívá skriptovacího jazyka. Aplikace do skriptovacího jazyka zavádí rozhraní pro ovládání sítě. Uživatel si vytvoří procedury, na něž se dá v průběhu simulace odkazovat. Program je určen pro operační systém MS Windows.
|
host ::
RSS.