|
Transformation of Network Data Reporting Process
Tolar, Tomáš ; Matuštík, Ondřej (advisor) ; Malinová, Ludmila (referee)
This thesis deals with transformation of network data reporting process in a Telecom company. The current process is MS Excel based and is inadequate and inefficient. The goal is to find the right tools and to implement them. The thesis is divided into three parts. First part is focused on theoretical background of reporting, i.e. Business Intelligence and other approaches. Second part explains general Network reporting principles and trends. In contrast with these theoretical recommendations, the actual level of the company's process is depicted. The last part of this thesis covers a practical implementation of selected applications. First, a choice is made within a variety of tools based on department's needs then the architecture is proposed and applications are implemented. The final part of the thesis provides an assessment of the benefits attained by this project.
|
|
Diversity, phylogeny and phylogeography of free-living amoebae
TYML, Tomáš
This thesis consists of seven published papers on free-living amoebae (FLA), members of Amoebozoa, Excavata: Heterolobosea, and Cercozoa, and covers three main topics: (i) FLA as potential fish pathogens, (ii) diversity and phylogeography of FLA, and (iii) FLA as hosts of prokaryotic organisms. Diverse methodological approaches were used including culture-dependent techniques for isolation and identification of free-living amoebae, molecular phylogenetics, fluorescent in situ hybridization, and transmission electron microscopy.
|
|
Effect of snowpack on runoff generation during rain on snow event.
Juras, Roman ; Máca, Petr (advisor) ; Ladislav , Ladislav (referee)
During a winter season, when snow covers the watershed, the frequency of rain-on-snow (ROS) events is still raising. ROS can cause severe natural hazards like floods or wet avalanches. Prediction of ROS effects is linked to better understanding of snowpack runoff dynamics and its composition. Deploying rainfall simulation together with hydrological tracers was tested as a convenient tool for this purpose. Overall 18 sprinkling experiments were conducted on snow featuring different initial conditions in mountainous regions over middle and western Europe.
Dye tracer brilliant blue (FCF) was used for flow regime determination, because it enables to visualise preferential paths and layers interface. Snowpack runoff composition was assessed by hydrograph separation method, which provided appropriate results with acceptable uncertainty. It was not possible to use concurrently these two techniques because of technical reasons, however it would extend our gained knowledge. Snowmelt water amount in the snowpack runoff was estimated by energy balance (EB) equation, which is very efficient but quality inputs demanding. This was also the reason, why EB was deployed within only single experiment.
Timing of snowpack runoff onset decrease mainly with the rain intensity. Initial snowpack properties like bulk density or wetness are less important for time of runoff generation compared to the rain intensity. On the other het when same rain intensity was applied, non-ripe snowpack featuring less bulk density created runoff faster than the ripe snowpack featuring higher bulk density. Snowpack runoff magnitude mainly depends on the snowpack initial saturation. Ripe snowpack with higher saturation enabled to generate higher cumulative runoff where contributed by max 50 %. In contrary, rainwater travelled through the non-ripe snowpack relatively fast and contributed runoff by approx. 80 %.
Runoff prediction was tested by deploying Richards equation included in SNOWPACK model. The model was modified using a dual-domain approach to better simulate snowpack runoff under preferential flow conditions. Presented approach demonstrated an improvement in all simulated aspects compared to the more traditional method when only matrix flow is considered.
|
|
DCTOOL-A3
Bakule, Lubomír ; Papík, Martin ; Rehák, Branislav
DCTOOL-A3 is a documentation of Matlab routines developed for the design of decentralized control of large scale complex systems. The current beta version covers three areas as follows:\nReport 4.1 deals with the event-triggered control design for unstructured uncertain systems. Both non-quantized and quantized feedback is analyzed. The results are given in terms of linear matrix inequalities (LMIs). Logarithmic quantizer is used. Numerical example illustrates the effectiveness of the presented results.\nReport 4.2 presents a new decentralized overlapping wireless control design with a switched communication protocol. The method is applied by simulations on the 20-story building structure including the test of robustness of the methods against sensor failures and network node dropouts of a digital network.\nReport 4.3 presents the construction of a new decentralized wireless controller and a set of heuristic algorithms for evaluation of packet dropouts, sensor faults and actuator faults. The digital network operates at the standard frequency used in well-known widely-used industrial protocols. The results are tested at the Benchmark model decomposed into two disjoint substructures. The results are published. Thus, the details are omitted here.
|
|
Generic Reverse Compilation to Recognize Specific Behavior
Ďurfina, Lukáš ; Šaloun, Petr (referee) ; Zahradnický,, Tomáš (referee) ; Kolář, Dušan (advisor)
Práce je zaměřena na rozpoznávání specifického chování pomocí generického zpětného překladu. Generický zpětný překlad je proces, který transformuje spustitelné soubory z různých architektur a formátů objektových souborů na stejný jazyk na vysoké úrovni. Tento proces se vztahuje k nástroji Lissom Decompiler. Pro účely rozpoznání chování práce zavádí Language for Decompilation -- LfD. LfD představuje jednoduchý imperativní jazyk, který je vhodný pro srovnávaní. Konkrétní chování je dáno známým spustitelným souborem (např. malware) a rozpoznání se provádí jako najítí poměru podobnosti s jiným neznámým spustitelným souborem. Tento poměr podobnosti je vypočítán nástrojem LfDComparator, který zpracovává dva vstupy v LfD a rozhoduje o jejich podobnosti.
|
|
Security of Contactless Smart Card Protocols
Henzl, Martin ; Rosa, Tomáš (referee) ; Staudek, Jan (referee) ; Hanáček, Petr (advisor)
Tato práce analyzuje hrozby pro protokoly využívající bezkontaktní čipové karty a představuje metodu pro poloautomatické hledání zranitelností v takových protokolech pomocí model checkingu. Návrh a implementace bezpečných aplikací jsou obtížné úkoly, i když je použit bezpečný hardware. Specifikace na vysoké úrovni abstrakce může vést k různým implementacím. Je důležité používat čipovou kartu správně, nevhodná implementace protokolu může přinést zranitelnosti, i když je protokol sám o sobě bezpečný. Cílem této práce je poskytnout metodu, která může být využita vývojáři protokolů k vytvoření modelu libovolné čipové karty, se zaměřením na bezkontaktní čipové karty, k vytvoření modelu protokolu a k použití model checkingu pro nalezení útoků v tomto modelu. Útok může být následně proveden a pokud není úspěšný, model je upraven pro další běh model checkingu. Pro formální verifikaci byla použita platforma AVANTSSAR, modely jsou psány v jazyce ASLan++. Jsou poskytnuty příklady pro demonstraci použitelnosti navrhované metody. Tato metoda byla použita k nalezení slabiny bezkontaktní čipové karty Mifare DESFire. Tato práce se dále zabývá hrozbami, které není možné pokrýt navrhovanou metodou, jako jsou útoky relay.
|
|
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.
|
|
The actor and the character
Čelebič, Vuk ; HRBEK, Daniel (advisor) ; PAVLATA, Michal (referee)
This work is dedicated mainly to the findings about character and acting as well as about myself, which I have gained during the rehearsing of the character Neschastlivtsev in Alexander Nikolayevich Ostrovsky´s play The Forest. This work not only describes the rehearsals of this play from Neschastlivtsev´s view, but also presents other examples of a director´s work and an actor´s interpretation, both from rehearsing before the boarding of the alumni class and from the following outside-of-school acting experiences.I have tried to define the method of my work on this play and on this concrete character; this method may resemble other methods on many other characters in some way. However, Neschastlivtsev is a very unconventional character - maybe because he is an actor himself, which makes him more approachable to the performer. He is a timeless and rare character as well; that is also one of the themes that I have covered in my work
|
|
Remote sensing as support tool for agricultural drought assessment
Hlavinka, Petr ; Semerádová, Daniela ; Balek, Jan ; Žalud, Z. ; Tadesse, T. ; Hayes, M. ; Wardlow, B. ; Trnka, Miroslav
Very important information about vegetation condition within wide areas (through continents and states) or for local areas in resolution from hundreds to tens of meters could be obtained from satellites within remote sensing. The temporal and spatial continuity is big advantage of this method. Namely so-called vegetation indices are often used for vegetation cover condition assessment. The aim of submitted study is to present possibility of using EVI2 (Enhanced Vegetation Index) for assessment of drought impact within vegetation. The results for selected years of the period 2000-2015 achieved using MODIS (Moderate Resolution Imaging Spectroradiometer) aboard Terra satellite are included. The data in weekly time step and for the whole Czech Republic are presented.
|
|
Single cell expression analysis of genes with potential mrna gradient in mouse oocytes
Dorosh, Andriy ; Margaryan, Hasmik ; Vodička, Martin ; Ergang, Peter ; Šídová, Monika ; Dvořáková-Hortová, Kateřina
In frogs, there are clearly visible differently pigmented animal and vegetal poles of the egg determined before fertilization and leading to asymmetrical divisions. Mammalian egg does not show any comparable differentiation and it has been generally accepted that even the individual blastomeres in 2-cell and 4-cell embryos are homogenous. However, recent findings suggest that those blastomeres display different gene expression patterns and might already possess some inclinations to specific cell lineages. We therefore raised a question, whether there could be any mRNA or protein gradients in pre-fertilization oocytes similar to a previously described amphibian egg one. In mammalian eggs, there is a membrane region that is poor in microvilli, cortical granules are absent beneath plasma membrane and sperm cells generally do not bind to this location. This microvilli free region also covers the egg nucleus, and cytoskeleton localization differs markedly to the rest of the cortical space, forming actin –myosin II cortical cap/ring and is considered as animal pole. The purpose of this study was to determine gene products that can be detected at single cell level using qPCR and display gradient like distribution in mature oocytes. We checked expression of 12 selected genes in a pool of 10 oocytes and single mature oocytes. Then, we analysed gene expression in fixed intact oocytes and those undergoing laser capture microdissection procedure (LCMD). Eventually, we have determined six candidate genes for the study of intracellular spatial gene expression in mature mammalian oocytes by subcellular qPCR and in situ hybridization.
|
guest ::
