|
|
MPS-based Domain-specific Language for Defining RTSJ Systems
Fechtner, Tomáš ; Malohlava, Michal (advisor) ; Pech, Václav (referee)
The Real-time Specification of Java (RTSJ) is an intention to introduce Java as a language for developing real-time system. However, the complexity of their development and a non-trivial programming model of RTSJ with its manual memory management often lead to programming errors. To mitigate the development of RTSJ systems it would be beneficial to provide an internal domain-specific language (DSL) extending the Java language which would allow to develop the systems in more intuitive and safer way. However, it is needed to find compromise between solution's power and level of usability, because this two attributes go often against each other. One possible way of DSLs creation concerns the Meta-Programming System (MPS). It allows to develop new domain-specific languages and corresponding projectional editors enabling different views on code. This thesis proposes a design and implementation of the DSL on the top of the MPS platform and corresponding code generator enabling development of RTSJ systems. Furthermore, the thesis provides a simple case-study to evaluate a proposed DSL. Additionally, the thesis assesses the suitability of MPS as a DSL-development platform.
|
|
|
Migration and pathogenicity of neurotropic helminths
Pech, Václav ; Horák, Petr (advisor) ; Chanová, Marta (referee)
A neurotropism of helminths can be observed in their intermediate, paratenic and definitive hosts. Neurotropic helminths migrate through the nervous tissue, where maturation and reproduction can take place. The neurotropic helminths can be found in the family of trematodes (Diplostomum baeri, D. phoxini, Ornithodiplostomum ptychocheilus, Trichobilharzia regenti), cestodes (Taenia multiceps, T. solium) and nematodes (Angiostrongylus cantonensis, Elaphostrongylus cervi, Parelaphostronglus tenuis, Baylisascaris procyonis). Presence of these helminths in the nervous tissue can (usually with contribution of the immune system) lead to neurological or other pathological changes: the infected hosts can even die. Some of the neurotropic helminths (A. cantonensis, B. procyonis, T. solium, T. multiceps) can infect humans as well.
|
|
|
Peroral infections of birds and mammals with the neuropathogenic fluke Trichobilharzia regenti
Pech, Václav ; Horák, Petr (advisor) ; Blažová, Kateřina (referee)
Migration within the body of an infected host is one of the most important parts in the life cycle of flukes, including schistosomes. Migration of avian and mammalian visceral schistosomes has been a quite well studied topic (Haas a Haeberlein, 2009), which became more attractive after the discovery of T. regenti, an avian schistosome which is able to migrate through the nervous tissues of infected birds and mammals as well. Migration of T. regenti and T. szidati schistosomula within the definitive (duck) and the accidental (mouse) hosts is the main topic of the diploma thesis. This work continues with the research of K. Blažová (Faculty of Science, Charles University in Prague) who studied migration of T. regenti within the definitive hosts infected perorally with cercariae or hepatopancreases of the infected intermediate snail, Radix lagotis (unpblished). She proved that T. regenti schistosomula are able to use the central nervous system for migration to the nasal mucosa of infected birds. In our work, we focused on the early phase of migration within the perorally infected birds and mice. Invasion of esophagus by T. regenti cercariae in vitro is not conditioned by secretion of glandular products, including cathepsin B2 of T. regenti (TrCB2). Activity of TrCB2 against mucins, the main components...
|
|
|
MPS-based Domain-specific Language for Defining RTSJ Systems
Fechtner, Tomáš ; Malohlava, Michal (advisor) ; Pech, Václav (referee)
The Real-time Specification of Java (RTSJ) is an intention to introduce Java as a language for developing real-time system. However, the complexity of their development and a non-trivial programming model of RTSJ with its manual memory management often lead to programming errors. To mitigate the development of RTSJ systems it would be beneficial to provide an internal domain-specific language (DSL) extending the Java language which would allow to develop the systems in more intuitive and safer way. However, it is needed to find compromise between solution's power and level of usability, because this two attributes go often against each other. One possible way of DSLs creation concerns the Meta-Programming System (MPS). It allows to develop new domain-specific languages and corresponding projectional editors enabling different views on code. This thesis proposes a design and implementation of the DSL on the top of the MPS platform and corresponding code generator enabling development of RTSJ systems. Furthermore, the thesis provides a simple case-study to evaluate a proposed DSL. Additionally, the thesis assesses the suitability of MPS as a DSL-development platform.
|
|
|
Migration and pathogenicity of neurotropic helminths
Pech, Václav ; Chanová, Marta (referee) ; Horák, Petr (advisor)
A neurotropism of helminths can be observed in their intermediate, paratenic and definitive hosts. Neurotropic helminths migrate through the nervous tissue, where maturation and reproduction can take place. The neurotropic helminths can be found in the family of trematodes (Diplostomum baeri, D. phoxini, Ornithodiplostomum ptychocheilus, Trichobilharzia regenti), cestodes (Taenia multiceps, T. solium) and nematodes (Angiostrongylus cantonensis, Elaphostrongylus cervi, Parelaphostronglus tenuis, Baylisascaris procyonis). Presence of these helminths in the nervous tissue can (usually with contribution of the immune system) lead to neurological or other pathological changes: the infected hosts can even die. Some of the neurotropic helminths (A. cantonensis, B. procyonis, T. solium, T. multiceps) can infect humans as well.
|
|
|
Investing in Business Cycles
Mynář, Jan ; Brada, Jaroslav (advisor) ; Pech, Václav (referee)
This paper considers the problematic of business cycles. The author aggregates historical findings and development of opinions of business cycles. Author also evaluates methods of business cycle measurements with the use of economic indicators, including their analysis and understanding of their logic. Goal of the paper is to find a way to analyze economic cycles for use in asset allocation for portfolio management purposes.
|
|
|
The Questions of Final Accounts and Statement of Balances in an Energy Company
PECH, Václav
The topic of graduation thesis is {\clqq}The Questions of Final Accounts and Statement of Balances in an Energy Company``. The idea of this graduation thesis is a representation of process of the final accounts and statement of balances in concrete company and adjustment of process of the change of conjectural items of assets. The graduation thesis has two parts. First part defined the basic concepts which are included in the final accounts and in the statement of balances. I pursue an individual preparation work in the statement of balances for instance, a stock taking, accounting of resources, rectifying items, reserves, time resolution of cost and revenues, conjectural items of assets etc. Further there it is dealt with statement of balances which represent balance, profit and loss statement, supplement, eventually a statement about cash flows and an overview of changes in the shareholders´ capital and include audit of the statement of balances. The second part of graduation thesis describes a process of the change of conjectural items of assets - especially not invoiced energy - and 2008 final account and statement of balances in the Energy Company E.ON Ditribuce, a.s.
|
guest ::
RSS feed.