|
Transformace reportingu dat z provozu datových sítí
Tolar, Tomáš ; Matuštík, Ondřej (vedoucí práce) ; Malinová, Ludmila (oponent)
Předložená diplomová práce se zabývá úpravou reportingu dat získaných z provozu datových sítí v telekomunikační společnosti. Proces reportingu je dlouhodobě nevyhovující a neodpovídá dnešním požadavkům. Cílem práce je nalézt vhodné nástroje a implementovat je do praxe. Práce je členěna do tří logických částí, které sestávají z šesti kapitol. Úvodní část popisuje teoretická východiska jako Business Intelligence a další přístupy a trendy v této oblasti, na nichž lze reporting stavět. Druhá část je věnována popisu principů a trendů Network reportingu, jak autor nazývá reporting z datových sítí. Rovněž je charakterizován stav Network reportingu ve zmíněné organizaci. Obsahem závěrečné části je analýza dostupných nástrojů a na základě teoretických poznatků jsou zvolené nástroje implementovány a přínos tohoto projektu zhodnocen.
|
|
Diversity, phylogeny and phylogeography of free-living amoebae
TYML, Tomáš
V této práci je zahrnuto sedm publikovaných článku zabývajících se volně žijícími amébami ze skupin Amoebozoa, Excavata: Heterolobosea a Cercozoa a pokrývajících tři hlavní témata: I. volně žijící améby jako potenciální patogeni ryb, II. diverzita a fylogeografie volně žijících améb a III. volně žijící améby jako hostitelé prokaryotických organismů. Během řešení dílčích témat byly použity různé metody včetně kultivace volně žijících améb, molekulární fylogenetiky, fluorescenční in situ hybridizace a transmisní elektronové mikroskopie.
|
|
Vliv sněhové pokrývky na odtok během dešťových srážek.
Juras, Roman ; Máca, Petr (vedoucí práce) ; Ladislav , Ladislav (oponent)
V zimním období, kdy leží na povodí sněhová pokrývka, stále přibývá výskytu dešťových srážek. Déšť dopadající na sníh (ROS) má často za následek vznik povodní a mokrých lavin. Predikce vlivu ROS záleží především na lepším pochopení mechanismů vzniku a složení odtoku ze sněhové pokrývky. Spojení simulace deště na sněhovou pokrývku a využití stopovačů bylo testováno jako vhodný nástroj pro tento účel. Celkem bylo provedeno 18 experimentů na sněhovou pokrývku s různými počátečními vlastnostmi v horských podmínkách střední a západní Evropy.
Pro určení charakteru proudění bylo použito barvivo brilliant blue (FCF), pomocí kterého je možné vizualizovat preferenční cesty, ale i určit rozhraní dvou vrstev o různých hydraulických vlastnostech. Zastoupení jednotlivých složek odtékající vody na výtoku bylo stanoveno pomocí metody separace hydrogramu, která poskytuje dobré výsledky s přijatelnou nejistotou. Z technických důvodů nebylo možné obě metody použít současně během jednoho experimentu, i když by to ještě více rozšířilo znalosti o dynamice proudění dešťové vody ve sněhové pokrývce. Množství tavné vody bylo vypočteno pomocí rovnice energetické bilance. Použití této rovnice je poměrně přesné, ale zároveň náročné na vstupy. Z toho důvodu bylo tání vypočteno pouze u jednoho experimentu.
Rychlost vzniku odtoku roste v první řadě intenzitou srážky. Počáteční vlastnosti sněhové pokrývky, jako hustota a vlhkost, ovlivňují rychlost vzniku odtoku až druhotně. Na druhou stranu při stejné intenzitě srážky vykazovala nevyzrálá sněhová pokrývka s malou hustotou rychlejší hydrologickou odpověď, než vyzrálá pokrývka s větší hustotou. Velikost odtoku je závislá, především na počátečním nasycení. Vyzrálá sněhová pokrývka s vyšším počátečním nasycení generovala vyšší celkový odtok, kde dešťová voda přispívala maximálně z 50ti %. Proti tomu protekla dešťová voda nevyzrálou sněhovou pokrývkou poměrně rychle a do odtoku se propagovala přibližně z 80ti %.
Pro predikci odtoku během ROS byla použita Richardsova rovnice v rámci modelu SNOWPACK. Tento model byl upraven tak, že byla sněhová matrice rozdělena pro lepší simulaci preferenčního proudění. Tento přístup přinesl zlepšení výsledků oproti klasickému přístupu, kdy se uvažuje pouze matricové proudění.
|
|
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 (oponent) ; Zahradnický,, Tomáš (oponent) ; Kolář, Dušan (vedoucí práce)
Thesis is aimed on recognition of specific behavior by generic reverse compilation. The generic reverse compilation is a process that transforms executables from different architectures and object file formats to same high level language. This process is covered by a tool Lissom Decompiler. For purpose of behavior recognition the thesis introduces Language for Decompilation -- LfD. LfD represents a simple imperative language, which is suitable for a comparison. The specific behavior is given by the known executable (e.g. malware) and the recognition is performed as finding the ratio of similarity with other unknown executable. This ratio of similarity is calculated by a tool LfDComparator, which processes two sources in LfD to decide their similarity.
|
|
Security of Contactless Smart Card Protocols
Henzl, Martin ; Rosa, Tomáš (oponent) ; Staudek, Jan (oponent) ; Hanáček, Petr (vedoucí práce)
This thesis analyses contactless smart card protocol threats and presents a method of semi-automated vulnerability finding in such protocols using model checking. Designing and implementing secure applications is difficult even when secure hardware is used. High level application specifications may lead to different implementations. It is important to use the smart card correctly, inappropriate protocol implementation may introduce a vulnerability, even if the protocol is secure by itself. The goal of this thesis is to provide a method that can be used by protocol developers to create a model of arbitrary smart card, with focus on contactless smart cards, to create a model of the protocol, and to use model checking to find attacks in this model. The attack can be then executed and if not successful, the model is refined for another model checker run. The AVANTSSAR platform was used for the formal verification, models are written in the ASLan++ language. Examples are provided to demonstrate usability of the proposed method. This method was used to find a weakness of Mifare DESFire contactless smart card. This thesis also deals with threats not possible to cover by the proposed method, such as relay attacks.
|
|
Právní a zdravotně sociální aspekty činnosti OSPOD jako ustanovených opatrovníků v zámu nezletilých dětí
BORSKÁ, Jana
Česká republika, jako signatář Úmluvy o právech dítěte, svěřila výkon státní správy na úseku péče o nezletilé děti obecním úřadům obcí s rozšířenou působností, kde ochranu práv a oprávněných zájmů nezletilých dětí vykonávají orgány sociálně právní ochrany dětí (dále jen OSPOD), které jsou začleněny do systému výkonu státní správy v územním členění tak, aby byla zajištěna komplexní péče o nezletilé děti v rozsahu stanoveném zákonem o sociálně právní ochraně dětí. Postavení a úloha OSPOD, který je pověřen výkonem státní správy na úseku ochrany nezletilých dětí, jsou upraveny zák. č. 359/1999 Sb., o sociálně právní ochraně dětí, v platném znění. Stejně důležité je zakotvení postavení lidí pracujících na těchto úřadech. Z hlediska odbornosti jsou na ně kladeny vysoké nároky z hlediska znalostního profilu zejména z oboru práva. Jedná se o velice náročnou práci, která klade vysoké nároky na osobnostní profil zaměstnance. ČR provedla v posledních třech letech rozsáhlé zásahy do právní úpravy problematiky sociálně právní ochrany dětí, kde došlo k posílení ochrany práv nezletilých dětí a stanovení nových nástrojů k jejich ochraně. Přijetím nové právní úpravy rodinného práva, které je komplexně upraveno v zák. č. 89/2012 Sb., občanském zákoníku, následovala nová právní úprava procesních předpisů spojených s ochranou práv nezletilých dětí, kde vedle zák. č. 99/1963, občanský soudní řád platí také zák. č. 292/2013 Sb., o zvláštních řízeních soudních. Rozhodování o nezletilých dětech stát svěřil převážně do pravomoci soudů, které jmenují místně příslušný OSPOD opatrovníkem k zastupování zájmů nezletilých dětí. Na základě provedeného rozboru základních pojmů bylo cílem zjistit názory vybraných vedoucích pracovníků OSPOD a soudců okresních soudů na vydefinované problémy vyskytující se v postupech činnosti OSPOD a soudů při ochraně zájmu nezletilých dětí. Ve výzkumné části práce byly rozborem kazuistik vytipovány problémy v činnosti OSPOD. Z návrhů soudců i vedoucích pracovníků OSPOD vyplynula nezbytnost sjednocení místní příslušnosti. Soudy navrhují sjednocení dle místa, kde se nezletilé dítě zdržuje; OSPOD dle místa trvalého pobytu. Všech 10 oslovených vedoucích pracovníků OSPOD označilo za problém dožádání, kde tento institut není zahrnut do hodnocení výkonů, nelze jej odmítnout. Podjatost činí problémy v různých fázích řízení - je zde patrný rozdílný přístup soudů k řešení dané problematiky (některé vznesenou námitku podjatosti u soudu řeší a jiní nikoliv) a pro pracovníky OSPOD je obtížné odhadnout - jak se zachovat, je-li vůči nim námitka podjatosti vznesena (z tohoto důvodu bylo téma "podjatosti zpracováno komplexně včetně výkladu právního postupu pro pracovníky OSPOD). Vzdělávání pracovníků OSPOD je zákonem stanovenou povinností. Ne všem OSPOD se daří zajistit školení v požadovaném rozsahu - a to z finančních důvodů (průměrné náklady na školení na jednoho zaměstnance je od 9167,-- do 13400 Kč ročně - tyto náklady odpovídají cca 6 dnům školení). Pracovní vytíženost způsobená nedostatečným počtem zaměstnanců OSPOD neumožňuje absolvovat tato povinná školení. V rámci zkoumání "účasti kolizního opatrovníka při jednání u soudu" bylo zjištěno - nepravidelná účast kolizního opatrovníka u soudu (neúčast při odvolacím řízení); nedostatek zkušeností pracovníků OSPOD v této oblasti; neúplné zprávy z šetření v rodině, které jsou určené pro soud. Na základě vyhodnocení rozhovorů vyplynuly návrhy na zlepšení organizace školení OSPOD, na základě povedeného komplexního rozboru řešení problematiky místní příslušnosti bylo doporučeno řešení samostatné evidence dožádání a finanční kompenzace činnosti OSPOD při dožádání provedení zastupování nezletilých u soudu, vypracování návrhů předběžných opatření, návrh možného řešení začlenění OSPOD v jiné organizační struktuře.
|
|
Herec a postava
Čelebič, Vuk ; HRBEK, Daniel (vedoucí práce) ; PAVLATA, Michal (oponent)
Tato práce se věnuje především poznatkům o postavě, herectví a sobě samém, ke kterým jsem došel skrze zkoušení postavy Tragéda Nešťastlivce ve hře Les Alexandra Nikolajeviče Ostrovského. Práce popisuje primárně zkoušení této hry z pohledu postavy Nešťastlivce, uvádí ale i vybrané příklady režijní práce či hereckého zpracovaní, jak ze zkoušení před nastoupením do absolventského ročníku, tak z následné mimoškolní praxe.Pokoušel jsem se pojmenovat způsob své práce na tomto díle a na této konkrétní postavě, který se v určitém směru může podobat způsobu práce na jiných postavách. Jedná se však o velice specifickou, nekonvenční postavu, a to možná proto, že je sama hercem, takže je představiteli velice blízká. Jde také o velice nadčasový a vzácný charakter; to je další z témat, které jsem do své práce zahrnul.
|
|
Dálkový průzkum Země jako podpůrný nástroj při posuzování zemědělského sucha
Hlavinka, Petr ; Semerádová, Daniela ; Balek, Jan ; Žalud, Z. ; Tadesse, T. ; Hayes, M. ; Wardlow, B. ; Trnka, Miroslav
Díky satelitnímu snímání v rámci Dálkového průzkumu Země (DPZ) lze získávat velmi cenné údaje o podmínkách na rozsáhlých územích (napříč kontinenty i státy) i pro menší území v rozlišení stovek až desítek metrů. Mezi velké přednosti těchto přístupů patří časová a prostorová kontinuita získaných údajů. Pro hodnocení stavu vegetačního krytu na zemském povrchu jsou často využívány tzv. vegetační indexy. Předkládaný příspěvek si klade za cíl demonstrovat možnosti využití vegetačního indexu EVI2 (Enhanced Vegetation Index) v rámci sledování odezvy stavu vegetace na výskyt sucha. Výsledky jsou zaměřeny na popis situací ve vybraných letech za období 2000-2015 s využitím dat získaných pomocí zařízení MODIS (Moderate Resolution Imaging Spectroradiometer) neseného družicí Terra. Prezentována jsou data dostupná v týdenním kroku pro celé území České republiky.
|
|
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.
|
host ::
