|
|
MPS-based Domain-specific Language for Defining RTSJ Systems
Fechtner, Tomáš ; Malohlava, Michal (vedoucí práce) ; Pech, Václav (oponent)
Real-time Specification of Java (RTSJ) je rozšíření pro jazyk Java, které umožňuje využít tento jazyk pro tvorbu real-time systémů. Nicméně náročnost použití a složitý programovací model RTSJ s její manuální správou paměti vede často k chybám. Pro ulehčení vývoje RTSJ systému by proto bylo přínosné poskytnout rozšíření jazyka Java pomocí konceptu domain-specific language (DSL). Cílem tohoto DSL by bylo umožnit bezpečnější a intuitivnější vývoj. K tomu je však potřeba najít kompromis mezi všestranností tohoto řešení a jeho použitelností pro uživatele. Tyto požadavky však jdou často proti sobě. Jednou z možností pro vytvoření DSL je použít Meta-Programming System (MPS). Tento systém umožňuje vyvíjet nové doménově specifické jazyky a příslušné projekční editory poskytující rozdílné možnosti jak spravovat kód. Tato práce vytvoří DSL a příslušný generátor kódu umožňující vývoj RTSJ systémů, to vše pomocí MPS platformy. Dále pak provede zhodnocení takto vytvořeného DSL pomocí jednoduché studie. Nakonec tato práce posoudí vhodnost MPS jako platformy pro vytváření DSL.
|
|
|
Migrace a patogenita neurotropních helmintů
Pech, Václav ; Horák, Petr (vedoucí práce) ; Chanová, Marta (oponent)
Neurotropismus helmintů lze pozorovat v jejich mezihostitelích, paratenických a definitivních hostitelích. Tito helminti využívají nervovou soustavu k migraci tělem hostitele, mohou zde také dospívat a rozmnožovat se. Neurotropní helminty lze najít jak mezi motolicemi (Diplostomum baeri, D. phoxini, Ornithodiplostomum ptychocheilus, Trichobilharzia regenti) a tasemnicemi (Taenia multiceps, T. solium), tak hlísticemi (Angiostrongylus cantonensis, Elaphostrongylus cervi, Parelaphostronglus tenuis, Baylisascaris procyonis). Přítomnost těchto helmintů v NS způsobuje (často s podílem imunitního systému hostitele) neurologické či jiné patologické změny. Nakažení hostitelé pak často hynou. Někteří neurotropní helminti (A. cantonensis, B. procyonis, T. solium, T. multiceps) mohou nakazit i člověka.
|
|
|
Perorální infekce ptáků a savců neuropatogenní motolicí Trichobilharzia regenti
Pech, Václav ; Horák, Petr (vedoucí práce) ; Blažová, Kateřina (oponent)
Migrace tělem nakaženého hostitele je důležitou částí životních cyklů motolic, vč. schistosom. Migrace ptačích i savčích druhů viscerálních schistosom je poměrně studované téma (Haas a Haeberlein, 2009), které se stalo ještě atraktivnějším po objevu T. regenti, schistosomy migrující nervovou soustavou nejen ptáků, ale i savců (Horák a kol., 1999). Diplomová práce se zabývá migrací schistosomul T. regenti a T. szidati v alimentárně infikovaných definitivních (kachny) a náhodných (myši) hostitelích. Tato práce navazuje na předchozí výzkum K. Blažové (Přírodovědecká fakulta Univerzity Karlovy v Praze), která se zabývala migrací T. regenti v definitivních hostitelích nakažených alimentárně cerkáriemi nebo hepatopankreaty infikovaných mezihostitelských plžů Radix lagotis. Na rozdíl od K. Blažové (nepublikováno), která prokázala migraci schistosomul T. regenti míchou a mozkem do nazální sliznice nakažených ptáků, se tato práce zaměřuje zejména na časnou fázi migrace v alimentárně nakažených kachnách a myších. Invaze jícnu cerkáriemi T. regenti in vitro není podmíněna sekrecí žlázových produktů vč. katepsinu B2 (TrCB2) do okolí. Aktivita TrCB2 proti hlavním složkám slizničního hlenu, mucinům, byla v této práci studována na substrátových gelech: katepsin B2 nebyl schopen muciny typu I a III degradovat. V...
|
|
|
MPS-based Domain-specific Language for Defining RTSJ Systems
Fechtner, Tomáš ; Malohlava, Michal (vedoucí práce) ; Pech, Václav (oponent)
Real-time Specification of Java (RTSJ) je rozšíření pro jazyk Java, které umožňuje využít tento jazyk pro tvorbu real-time systémů. Nicméně náročnost použití a složitý programovací model RTSJ s její manuální správou paměti vede často k chybám. Pro ulehčení vývoje RTSJ systému by proto bylo přínosné poskytnout rozšíření jazyka Java pomocí konceptu domain-specific language (DSL). Cílem tohoto DSL by bylo umožnit bezpečnější a intuitivnější vývoj. K tomu je však potřeba najít kompromis mezi všestranností tohoto řešení a jeho použitelností pro uživatele. Tyto požadavky však jdou často proti sobě. Jednou z možností pro vytvoření DSL je použít Meta-Programming System (MPS). Tento systém umožňuje vyvíjet nové doménově specifické jazyky a příslušné projekční editory poskytující rozdílné možnosti jak spravovat kód. Tato práce vytvoří DSL a příslušný generátor kódu umožňující vývoj RTSJ systémů, to vše pomocí MPS platformy. Dále pak provede zhodnocení takto vytvořeného DSL pomocí jednoduché studie. Nakonec tato práce posoudí vhodnost MPS jako platformy pro vytváření DSL.
|
|
|
Migrace a patogenita neurotropních helmintů
Pech, Václav ; Chanová, Marta (oponent) ; Horák, Petr (vedoucí práce)
Neurotropismus helmintů lze pozorovat v jejich mezihostitelích, paratenických a definitivních hostitelích. Tito helminti využívají nervovou soustavu k migraci tělem hostitele, mohou zde také dospívat a rozmnožovat se. Neurotropní helminty lze najít jak mezi motolicemi (Diplostomum baeri, D. phoxini, Ornithodiplostomum ptychocheilus, Trichobilharzia regenti) a tasemnicemi (Taenia multiceps, T. solium), tak hlísticemi (Angiostrongylus cantonensis, Elaphostrongylus cervi, Parelaphostronglus tenuis, Baylisascaris procyonis). Přítomnost těchto helmintů v NS způsobuje (často s podílem imunitního systému hostitele) neurologické či jiné patologické změny. Nakažení hostitelé pak často hynou. Někteří neurotropní helminti (A. cantonensis, B. procyonis, T. solium, T. multiceps) mohou nakazit i člověka.
|
|
|
Investování v ekonomických cyklech
Mynář, Jan ; Brada, Jaroslav (vedoucí práce) ; Pech, Václav (oponent)
Tato práce se zabývá problematikou ekonomických cyklů. Autor agreguje historické poznatky a vývoj názorů na ekonomické cykly. Zároveň zhodnocuje způsoby měření cyklů pomocí různých indikátorů, včetně jejich analýzy, rozboru a pochopení jejich logiky. Cílem práce je nalézt způsob analýzy ekonomických cyklů pro potřeby co nejefektivnější alokace investičních aktiv v portfoliu.
|
|
|
Problematické okruhy účetní uzávěrky a závěrky v energetické společnosti
PECH, Václav
Téma diplomové práce je "Problematické okruhy účetní uzávěrky a závěrky v energetické společnosti." Cílem této diplomové práce je popsání procesu účetní uzávěrky a účetní závěrky v konkrétní společnosti a dále nastavení procesu změny dohadných položek aktivních. Práce je rozdělena na dvě části. První část definuje základní pojmy účetní uzávěrky a závěrky. Jsou sledovány přípravné práce účetní uzávěrky, například inventarizace, účtování aktiv, opravné položky, rezervy, časové rozlišení nákladů a výnosů, dohadné položky aktivní atd. Dále je popsána účetní závěrka, která je tvořena rozvahou, výkazem zisku a ztráty, přílohou, přehledem o peněžních tocích a přehledem o změnách vlastního kapitálu. Práce se zabývá i auditem účetnictní závěrky. Druhá část diplomové práce popisuje nastavení procesu změny dohadné položky aktivní - zejména nevyfakturované energie - a účetní uzávěrku a závěrku za rok 2008 v energetické společnosti E.ON Ditribuce, a.s.
|
host ::
RSS.