|
Formal Systems Based on Automata and Grammars
Čermák, Martin ; Rybička, Jiří (referee) ; Šaloun, Petr (referee) ; Meduna, Alexandr (advisor)
Tyto teze navazují na studium gramatických a automatových systémů. Na začátku, práce pojednává o regulárně řízených CD gramatických systémech využívající frázově strukturované gramatiky jako komponenty. Do systémů jsou zavedena tři nová omezení na derivacích a je studován jejich vliv na vyjadřovací sílu těchto systémů. Poté, tato práce definuje dva automatové protějšky ke kanonickým multi-generatiním nonterminálem a pravi\-dlově synchronizovyným gramatickým systemům, generujících vektory řetězců, a ukazuje, že všechny tyto vyšetřované systemy si jsou vzájemně ekvivalentní. Dále táto práce tyto systémy zobecňuje a zakládá fundamentalní hierarchii n-jazyků (množin n-tic řetězců). V~souvislosti se zavedenými systémy tyto teze zavádí automatově-gramatický převodník založený na konečném automatu a bezkontextové gramatice. Tento převodník je pak studovaný a použitý jako nástroj přímého překladu. V~poslední části jsou v této práci zavedené automatové systémy jádrem pársovací metody založené na stromově řízených gramatikách s n omezenými cestami.
|
|
Synchronous Formal Systems Based on Grammars and Transducers
Horáček, Petr ; Janoušek, Jan (referee) ; Yamamura,, Akihito (referee) ; Meduna, Alexandr (advisor)
Tato disertační práce studuje synchronní formální systémy založené na gramatikách a převodnících a zkoumá jak jejich teoretické vlastnosti, tak i perspektivy praktických aplikací. Práce představuje nové koncepty a definice vycházející ze známých principů řízeného přepisování a synchronizace. Navrhuje alternativní způsob synchronizace bezkontextových gramatik, založený na propojení pravidel. Tento princip rozšiřuje také na řízené gramatiky, konkrétně gramatiky s rozptýleným kontextem a maticové gramatiky. Dále je představen na podobném principu založený nový druh převodníku, tzv. pravidlově omezený převodník. Jedná se o systém složený z konečného automatu a bezkontextové gramatiky. Práce prezentuje nové teoretické výsledky ohledně generativní a přijímajicí síly. Poslední část práce zkoumá možnosti lingvisticky orientovaných aplikací se zameřením na překlad přirozeného jazyka. Diskutuje a srovnává hlavní výhody nových modelů s využitím vybraných případových studií z českého, anglického a japonského jazyka pro ilustraci.
|
|
Optimization of network flow monitoring
Žádník, Martin ; Lhotka,, Ladislav (referee) ; Matoušek, Radomil (referee) ; Sekanina, Lukáš (advisor)
The thesis deals with optimization of network flow monitoring. Flow-based network traffic processing, that is, processing packets based on some state information associated to the flows which the packets belong to, is a key enabler for a variety of network services and applications. The number of simultaneous flows increases with the growing number of new services and applications. It has become a challenge to keep a state per each flow in a network device processing high speed traffic. A flow table, a structure with flow states, must be stored in a memory hierarchy. The memory closest to the processing is known as a flow cache. Flow cache management plays an important role in terms of its effective utilization, which affects the performance of the whole system. This thesis focuses on an automated design of cache replacement policy optimized to a deployment on particular networks. A genetic algorithm is proposed to automate this process. The genetic algorithm generates and evaluates evolved replacement policies by a simulation on obtained traffic traces. The proposed algorithm is evaluated by designing replacement policies for two variations of the cache management problem. The first variation is an evolution of the replacement policy with an overall low number of state evictions from the flow cache. The second variation represents an evolution of the replacement policy with a low number of evictions belonging to large flows only. Optimized replacement policies for both variations are found while experimenting with various encoding of the replacement policy and genetic operators. The newly evolved replacement policies achieve better results than other tested policies. The evolved replacement policy lowers the overall amount of evictions by ten percent in comparison with the best compared policy. The evolved replacement policy focusing on large flows lowers the amount of their evictions two times. Moreover, no eviction occurs for most of the large flows (over 90%). The evolved replacement policy offers better resilience against flooding the flow cache with large amount of short flows which are typical side effects of scanning or distributed denial of service activities. An extension of the replacement policy is also proposed. The extension complements the replacement policy with an additional information extracted from packet headers. The results show further decrease in the number of evictions when the extension is used.
|
|
The Introduction of Contact Ecotoxicity Tests for the Assessment of Terrestrial Ecosystems
Modlitbová, Pavlína ; Kráčmar, Stanislav (referee) ; Beklová, Miroslava (referee) ; Demnerová, Kateřina (referee) ; Vávrová, Milada (advisor)
This dissertation thesis is focus on using toxicity tests with testing organism - terrestrial isopod Porcellio scaber. This organism is use for toxicity assessment of selected anorganic compunds which could contaminate terrestrial ecosystem. This organism was selected for several reasons - sophisticated test methodology; well known biology of these animals and their ecological relevance. Besides classical endpoints such as mortality, change in mass of test specimens and the effect of the presence and concentration of contaminants onto food consumption; we monitored changes in the morphometric characteristics at the level of tissues and cells, the cytotoxicity and possibly bioaccumulation in various parts of the body of the organism. Selected test substance in this thesis were nanoparticles and inorganic salts. Wherein for chosen gold nanoparticles was carried out a complete study presents several levels of organization of living matter (organism, tissue, cell). For selected salts compound, this study was carried out on the behavior of organisms and classical endpoints.
|
|
The Pump with a Diffuser with Stochastic Blades (Runner and Diffuser)
Dobšáková, Lenka ; Melichar, Jan (referee) ; Veselý, Jindřich (referee) ; Haluza, Miloslav (advisor)
This doctoral thesis studies the non-uniform blade cascade for centrifugal pumps. Influence of non-uniform blade cascade is investigated on the impeller and diffuser. A non-uniform blading impeller of pumps in this doctoral thesis was examined in terms of influence on efficiency characteristic. The idea of using non-uniform blading is to obtain a flat efficiency characteristic. Then the centrifugal pump could be used on larger scale of power with achieving a sufficiently high efficiency. The work is based on experimental measurements and numerical simulations of non-uniform hydraulic pump components. Non-uniform impeller and the diffuser were newly designed for this research. A new measuring track of small submersible pumps was needed to design and build for measurements. Different pump combinations with conventional hydraulics on one working point and hydraulics with non-uniform were measured. All measurements were evaluated and characteristics of efficiency, head and power were obtained for each measured combination. Some of pump combinations (which were measured in experiment) were numerically simulated by program Ansys Fluent. Data needed to evaluate the characteristic of efficiency and specific energy were collected from each numerical simulation. A theoretical consideration concerns the influence of non-uniform blade cascade applied on diffuser. The suggestion how to decrease hydraulic losses in canals was done. The theoretical consideration how to make a flat efficiency characteristic was made.
|
|
Právní a zdravotně sociální aspekty činnosti OSPOD jako ustanovených opatrovníků v zámu nezletilých dětí
BORSKÁ, Jana
The Czech Republic as a signatory of the Convention on the Rights of the Child has vested the practice of state administration in the field of care for minor children to municipalities with extended powers, where the protection of the rights and legitimate interests of minor children is safeguarded by state authorities of social and legal protection of children (ASLPC hereinafter). These authorities are incorporated to the extent laid down by the Act on Social and Legal Protection of Children (Act No 359/1999 Coll., as amended). The position and roles of ASLPC and their competence and jurisdiction are also regulated by the same act. The position of workers of these authorities and its legal embodiment is equally important. Regarding professionality, there are high demands on these workers. In the Czech Republic, significant changes in legislature have been made over the past three years. These amendments have led to the strengthening of the rights of minor children and to the establishing of new tools for their protection. In connection with the adoption of new substantive regulation of family law, which is now exhaustively dealt with by the Act No 89/2012 Coll., the Civil Code, new procedural rules have been established regarding protection of rights of minor children. Such procedural legislation includes (apart from the long-existent Act No. 99/1963, the Code of Civil Procedure) the Act No 292/2013 Coll., on Special Civil Proceedings. The decision-making regarding minor children has been vested mainly by the state into the competence of courts. The courts appoint the locally relevant ASLPC as a guardian who then represents the interests of minor children. The purpose, interwoven with and derived from the first one, was to explore the opinions of selected social workers of ASLPC and of district court judges regarding the defined problems occurring during the work of ASLPCs and courts while protecting the interests of minor children. These particularly include: the use of the tool of precautionary measure; problems of different territorial jurisdiction of courts and ASLPCs; processing of complaints regarding bias in various phases of the proceedings; professional training of workers of ASLPC It is evident from the proposals of both judges and ASLPC workers that it is necessary to unify territorial jurisdiction. The courts are suggesting the priority criterion of the address where the child mainly resides. ASLPC workers suggest the official permanent residence as the prime criterion. Bias causes problems in all phases of proceedings. It is obvious that courts take differing approaches towards the solution of this problem (some courts solve the problem of bias complaints filed by the parties while other courts do not) and for ASLPC workers it is difficult to assess how to act when such complaint is raised against them. The training of ASLPC workers - workers are obliged to educate themselves and their employer is obliged to finance such training. Not all ASLPCs are able to provide training in the required extent - due to financial reasons (the average costs of education of one employee pose from 9,169 to 13,400 CZK annually and they cover approximately 6 days of training). The heavy work-load caused by insufficient numbers of ASLPC employees prevents them from completing such compulsory training. As part of the examination of the "participation of a collision guardian in court proceedings" it has been found out that irregular participation of the worker in the proceedings (absence from participation in appeals proceedings); incomplete reports (directed to courts) from surveys in families. Based on comprehensive examination of the problems of territorial jurisdiction, it was recommended that requests are independently recorded and financial compensation is provided for ASLPCs who are requested to represent minors in front of courts, to draft proposals for precautionary measures.
|
|
Exchange Differences in Accountancy in an Enterprise
ŠPILAUEROVÁ, Hana
In connection with economy globalisation, international cooperation of companies and expansion of international trade, the issue of exchange rates, transfer of currencies and exchange differences concerns companies more and more. The aim of this thesis was to show in theory as well as in practice how a company transfers assets and liabilities expressed in a foreign currency into Czech crowns by means of exchange rates. In the theoretical part, methods are described how to realise this transfer and abide by legal regulations concerning this issue. Next, accounting operations are given where it comes to creation of exchange differences. Data for the practical part were provided by the enterprise ESSA Ltd. On these data, the influence of exchange differences on the company's economic results in the years 2009-2015 is shown. The method of accounting exchange differences is presented on individual cases of accounts receivable and accounts payable. For orientation in the issue, model examples of other accounting cases are given where exchange differences may arise.
|
|
Creating Calculation System of Indirect Cost in the Company and Evaluation According to Informative Ability of Financial Statements
KOHOUTOVÁ, Jana
The aim of this thesis is to create a calculation system of indirect costs in the commercial company. This calculation could be used in the accounting system of the company and thanks to that would be indirect cost divided automatically into individual items of goods. The calculation system is based on particular coefficients which are assigned in individual types of costs. New created system is tested on the specific sample of goods from the company. It is good to see weaknesses and deficiencies in suggested calculation. Conclusions from this analyse are specific values of profitability ratio Return on sales in every goods. The management of the company has to decide whether to revalue their goods or not. The decision is connected also with margin groups, in group A (which includes main goods) they could afford to move with selling prices. This prediction is based on outcome from competition analysis.
|
|
Monetary Policy and Macroprudential Policy: Rivals or Teammates?
Malovaná, Simona ; Frait, Jan
This paper sheds some light on situations in which monetary and macroprudential policies may interact (and potentially get into conflict) and contributes to the discussion about the coordination of those policies. Using data for the Czech Republic and five euro area countries we show that monetary tightening has a negative impact on the credit-to-GDP ratio and the non-risk-weighted bank capital ratio (i.e. a positive impact on bank leverage), while these effects have strengthened considerably since mid-2011. This supports the view that accommodative monetary policy contributes to a build-up of financial vulnerabilities, i.e. it boosts the credit cycle. On the other hand, the effect of the higher bank capital ratio is associated with some degree of uncertainty. For these and other reasons, coordination of the two policies is necessary to avoid an undesirable policy mix preventing effective achievement of the main objectives in the two policy areas.
Fulltext:  PDF
|
|
Effect of a graduate of field of study Special Education - tutorship in practice of providers of social care
SALABOVÁ, Jana
Theoretical part of the thesis is divided into 4 main chapters. First one deals with the helping professions generally, their definitions and definition of the Special education - Tutorship branch of study per se.It also briefly touches the subject of readiness of the future graduates to deal effectivelly with the challenges of a career in the field of social services. Chapter number two is called Special education and it defines the subject of special education itself, it's purpose and inner structure. Third chapter focuses on social services. It brings up it's definition and types and forms of social services.It also contains the examples of the institutions which fall into this category and it's providers. Chapter number four, which happens to be the last one in the theoretical part of the thesis, covers the role and purpose of graduates of the special education - tutorship studies. It brings up the definition of a social worker, necessary prerequisites as well as beneficial personality traits and feautures. In a subchapter of chapter four is a short description of a pedagogue tutor. Definition who he actually is, who are proper candidates for this position, what are desired personality traits we look for in tutors and the actual content and purpose of their work in institutions providing social services. The end of chapter four is dedicated to a position of a social worker. His activities, the position and definition of a personal assistant and again personality traits needed for a successful career in this field. The objective of the practical part of the thesis is to describe working of Special education - tutorship studies graduates in practice. Particularly their experiences "from the field", how do they evaluate the level of skill of fresh graduates during their first encounters with the reality, how satisfied are they with their choice of a career so far and what was their motivation to pursue such career. Practical part of the thesis includes qualitative research. To meet the above objectives, data collection technique had been chosen using a structured interview with the respondents, who were graduates of Special education tutorship studies. You can tell by the results of this thesis that graduates in the field of social services apply mostly to lower positions as a social service workers, even though they are qualified to perform as a social workers. The age of clients with whom the respondents work ranges from childhood to senior. The motivation that led those questioned respondents to the decision to choose the area of social services varies. Some reported that they were influenced by the actual practical experience during their studies at the university, when both the work itself and their enthusiasm for the target group played role. Others expressed they had previous experience working with people with disabilities or they just wanted to acquire new experiences. Also, involvement of a family member and their previous education was a motivation. Job satisfaction is evident from observed data, and it also contributes to work done accurately and responsibly. Personal benefits for the respondents according to findings are usually their usefulness at work, new experiences they are getting and last but not least advances of their clients. As the biggest advantage the respondents usually mention variability of their work, target group and the clients in itself and the fact, that their work is highly satisfying and they basically work in a very pleasant team of individuals. On the other hand, not exactly satisfying financial reward and challenging working hours are mentioned as disadvantages. Special education - tutorship studies - the branch they've studied, is by the majority of respondents considered to be beneficial for them and they especially highlight practical impact of practice they completed during their studies and which included visits to various relevant institutions.
|
guest ::
