|
Time lapse tomography of fracture progress in silicate-based composite subjected to the loading a combination with acoustic emission scanning
Kumpová, Ivana ; Kytýř, Daniel ; Fíla, Tomáš ; Veselý, V. ; Trčka, T. ; Vopálenský, Michal ; Vavřík, Daniel
The initiation and propagation of a fracture in quasi-brittle materials (such as silicatebased composite) is an increasingly discussed topic for which various methods of research have been developed/applied. As the quasi-brittle silicate-based composite compounds are very non-homogenous, the mechanism of the crack initiation and propagation can be very different even for samples with the\nidentical geometry. One possible approach to study the fracture mechanism in quasi-brittle materials is to use several different experimental techniques in a single experiment and perform detail analysis to identify generally valid fracture process phenomena. In this work, a simultaneous monitoring of fracture\nprocess zone formation and propagation by three different methods is presented and discussed. A three point bending test was performed on a notched silicate composite specimen. During the loading process, a highly accurate force displacement dependence was recorded accompanied with X-ray radiography,\nX-ray computed tomogra-phy and acoustic emission scanning.
|
|
Relational Verification of Programs with Integer Data
Konečný, Filip ; Bouajjani, Ahmed (referee) ; Jančar, Petr (referee) ; Vojnar, Tomáš (advisor)
Tato práce představuje nové metody pro verifikaci programů pracujících s neomezenými celočíslenými proměnnými, konkrétně metody pro analýzu dosažitelnosti a~konečnosti. Většina těchto metod je založena na akceleračních technikách, které počítají tranzitivní uzávěry cyklů programu. V práci je nejprve představen algoritmus pro akceleraci několika tříd celočíselných relací. Tento algoritmus je až o čtyři řády rychlejší než existující techniky. Z teoretického hlediska práce dokazuje, že uvažované třídy relací jsou periodické a~poskytuje tudíž jednotné řešení prolému akcelerace. Práce dále představuje semi-algoritmus pro analýzu dosažitelnosti celočíselných programů, který sleduje relace mezi proměnnými programu a~aplikuje akcelerační techniky za účelem modulárního výpočtu souhrnů procedur. Dále je v práci navržen alternativní algoritmus pro analýzu dosažitelnosti, který integruje predikátovou abstrakci s accelerací s cílem zvýšit pravděpodobnost konvergence výpočtu. Provedené experimenty ukazují, že oba algoritmy lze úspěšně aplikovat k verifikaci programů, na kterých předchozí metody selhávaly. Práce se rovněž zabývá problémem konečnosti běhu programů a~dokazuje, že tento problém je rozhodnutelný pro několik tříd celočíselných relací. Pro některé z těchto tříd relací je v práci navržen algoritmus, který v polynomiálním čase vypočítá množinu všech konfigurací programu, z nichž existuje nekonečný běh. Tento algoritmus je integrován do metody, která analyzuje konečnost běhů celočíselných programů. Efektivnost této metody je demonstrována na několika netriviálních celočíselných programech.
|
|
Stability and convergence of numerical computations
Sehnalová, Pavla ; Dalík, Josef (referee) ; Horová, Ivana (referee) ; Kunovský, Jiří (advisor)
Tato disertační práce se zabývá analýzou stability a konvergence klasických numerických metod pro řešení obyčejných diferenciálních rovnic. Jsou představeny klasické jednokrokové metody, jako je Eulerova metoda, Runge-Kuttovy metody a nepříliš známá, ale rychlá a přesná metoda Taylorovy řady. V práci uvažujeme zobecnění jednokrokových metod do vícekrokových metod, jako jsou Adamsovy metody, a jejich implementaci ve dvojicích prediktor-korektor. Dále uvádíme generalizaci do vícekrokových metod vyšších derivací, jako jsou např. Obreshkovovy metody. Dvojice prediktor-korektor jsou často implementovány v kombinacích modů, v práci uvažujeme tzv. módy PEC a PECE. Hlavním cílem a přínosem této práce je nová metoda čtvrtého řádu, která se skládá z dvoukrokového prediktoru a jednokrokového korektoru, jejichž formule využívají druhých derivací. V práci je diskutována Nordsieckova reprezentace, algoritmus pro výběr proměnlivého integračního kroku nebo odhad lokálních a globálních chyb. Navržený přístup je vhodně upraven pro použití proměnlivého integračního kroku s přístupe vyšších derivací. Uvádíme srovnání s klasickými metodami a provedené experimenty pro lineární a nelineární problémy.
|
|
Extensions to Probabilistic Linear Discriminant Analysis for Speaker Recognition
Plchot, Oldřich ; Fousek, Petr (referee) ; McCree,, Alan (referee) ; Burget, Lukáš (advisor)
Tato práce se zabývá pravděpodobnostními modely pro automatické rozpoznávání řečníka. Podrobně analyzuje zejména pravděpodobnostní lineární diskriminační analýzu (PLDA), která modeluje nízkodimenzionální reprezentace promluv ve formě \acronym{i--vektorů}. Práce navrhuje dvě rozšíření v současnosti požívaného PLDA modelu. Nově navržený PLDA model s plným posteriorním rozložením modeluje neurčitost při generování i--vektorů. Práce také navrhuje nový diskriminativní přístup k trénování systému pro verifikaci řečníka, který je založený na PLDA. Pokud srovnáváme původní PLDA s modelem rozšířeným o modelování neurčitosti i--vektorů, výsledky dosažené s rozšířeným modelem dosahují až 20% relativního zlepšení při testech s krátkými nahrávkami. Pro delší testovací segmenty (více než jedna minuta) je zisk v přesnosti menší, nicméně přesnost nového modelu není nikdy menší než přesnost výchozího systému. Trénovací data jsou ale obvykle dostupná ve formě dostatečně dlouhých segmentů, proto v těchto případech použití nového modelu neposkytuje žádné výhody při trénování. Při trénování může být použit původní PLDA model a jeho rozšířená verze může být využita pro získání skóre v případě, kdy se bude provádět testování na krátkých segmentech řeči. Diskriminativní model je založen na klasifikaci dvojic i--vektorů do dvou tříd představujících oprávněný a neoprávněný soud (target a non-target trial). Funkcionální forma pro získání skóre pro každý pár je odvozena z PLDA a trénování je založeno na logistické regresi, která minimalizuje vzájemnou entropii mezi správným označením všech soudů a pravděpodobnostním označením soudů, které navrhuje systém. Výsledky dosažené s diskriminativně trénovaným klasifikátorem jsou podobné výsledkům generativního PLDA, ale diskriminativní systém prokazuje schopnost produkovat lépe kalibrované skóre. Tato schopnost vede k lepší skutečné přesnosti na neviděné evaluační sadě, což je důležitá vlastnost pro reálné použití.
|
|
Sharing Local Information for Faster Scanning-Window Object Detection
Hradiš, Michal ; Kälviäinen, Heikki (referee) ; Matas, Jiří (referee) ; Zemčík, Pavel (advisor)
Cílem této dizertační prace je vylepšit existující detektory objektů pomocí sdílení informace a výpočtů mezi blízkými pozicemi v obraze. Navrhuje dvě metody, které jsou založené na Waldově sekvenčním testu poměrem pravděpodobností a algoritmu WaldBoost. První z nich, Early non-Maxima Suppression , přesunuje rozhodování o potlačení nemaximálních pozic ze závěrečné fáze do fáze vyhodnocování detektoru, čímž zamezuje zbytečným výpočtům detektoru v nemaximálních pozicích. Metoda neighborhood suppression doplňuje existující detektory o schopnost zavrhnout okolní pozice v obraze. Navržené metody je možné aplikovat na širokou škálu detektorů. Vyhodnocení obou metod dokazují jejich výrazně vyšší efektivitu v porovnání s detektory, které vyhodnocují jednotlivé pozice obrazu zvlášť. Dizertace navíc prezentuje výsledky rozsáhlých experimentů, jejichž cílem bylo vyhodnotit vlastnosti běžných obrazových příznaků v několika detekčních úlohách a situacích.
|
|
Query-by-Example Spoken Term Detection
Fapšo, Michal ; Matoušek, Jindřich (referee) ; Metze, Florian (referee) ; Černocký, Jan (advisor)
Tato práce se zabývá vyhledáváním výrazů v řeči pomocí mluvených příkladů (QbE STD). Výrazy jsou zadávány v mluvené podobě a jsou vyhledány v množině řečových nahrávek, výstupem vyhledávání je seznam detekcí s jejich skóre a časováním. V práci popisujeme, analyzujeme a srovnáváme tři různé přístupy ke QbE STD v jazykově závislých a jazykově nezávislých podmínkách, s jedním a pěti příklady na dotaz. Pro naše experimenty jsme použili česká, maďarská, anglická a arabská (levantská) data, a pro každý z těchto jazyků jsme natrénovali 3-stavový fonémový rozpoznávač. To nám dalo 16 možných kombinací jazyka pro vyhodnocení a jazyka na kterém byl natrénovaný rozpoznávač. Čtyři kombinace byly tedy závislé na jazyce (language-dependent) a 12 bylo jazykově nezávislých (language-independent). Všechny QbE systémy byly vyhodnoceny na stejných datech a stejných fonémových posteriorních příznacích, pomocí metrik: nesdružené Figure-of-Merit (non pooled FOM) a námi navrhnuté nesdružené Figure-of-Merit se simulací normalizace přes promluvy (utterrance-normalized non-pooled Figure-of-Merit). Ty nám poskytly relevantní údaje pro porovnání těchto QbE přístupů a pro získání lepšího vhledu do jejich chování. QbE přístupy použité v této práci jsou: sekvenční statistické modelování (GMM/HMM), srovnávání vzorů v příznacích (DTW) a srovnávání grafů hypotéz (WFST). Abychom porovnali výsledky QbE přístupů s běžnými STD systémy vyhledávajícími textové výrazy, vyhodnotili jsme jazykově závislé konfigurace také s akustickým detektorem klíčových slov (AKWS) a systémem pro vyhledávání fonémových řetězců v grafech hypotéz (WFSTlat). Jádrem této práce je vývoj, analýza a zlepšení systému WFST QbE STD, který po zlepšení dosahuje podobných výsledků jako DTW systém v jazykově závislých podmínkách.
|
|
Intrusion Detection in Network Traffic
Homoliak, Ivan ; Čeleda, Pavel (referee) ; Ochoa,, Martín (referee) ; Hanáček, Petr (advisor)
Tato práce se zabývá problematikou anomální detekce síťových útoků s využitím technik strojového učení. Nejdříve jsou prezentovány state-of-the-art datové kolekce určené pro ověření funkčnosti systémů detekce útoků a také práce, které používají statistickou analýzu a techniky strojového učení pro nalezení síťových útoků. V další části práce je prezentován návrh vlastní kolekce metrik nazývaných Advanced Security Network Metrics (ASNM), který je součástí konceptuálního automatického systému pro detekci průniků (AIPS). Dále jsou navrženy a diskutovány dva různé přístupy k obfuskaci - tunelování a modifikace síťových charakteristik - sloužících pro úpravu provádění útoků. Experimenty ukazují, že použité obfuskace jsou schopny předejít odhalení útoků pomocí klasifikátoru využívajícího metriky ASNM. Na druhé straně zahrnutí těchto obfuskací do trénovacího procesu klasifikátoru může zlepšit jeho detekční schopnosti. Práce také prezentuje alternativní pohled na obfuskační techniky modifikující síťové charakteristiky a demonstruje jejich použití jako aproximaci síťového normalizéru založenou na vhodných trénovacích datech.
|
|
Do Consumers Really Follow a Rule of Thumb? Three Thousand Estimates from 130 Studies Say “Probably Not”
Havránek, Tomáš ; Sokolova, Anna
We show that three factors combine to explain the mean excess sensitivity reported in studies estimating consumption Euler equations: the use of macro data, publication bias, and liquidity constraints. When micro data are used, publication bias is corrected for, and the households under examination do not face liquidity constraints, the literature implies no evidence for the excess sensitivity of consumption to income. Hence little remains for pure rule-of-thumb behavior. The results hold when we control for 45 additional variables reflecting the methods employed by researchers and use Bayesian model averaging to account for model uncertainty. The estimates of excess sensitivity are also systematically affected by the order of approximation of the Euler equation, the treatment of non-separability between consumption and leisure, and the choice of proxy for consumption.
Fulltext:  PDF
|
|
THE DRAMATICAL SCRIPT AS A NECESSARY BASIS FOR SPACIAL REALIZATOIN
Tretiag, Štěpán ; KORČÁK, Jakub (advisor) ; HRBEK, Daniel (referee)
Using the concrete examples of my practical bachelor work my intent is to retrospectively describe and reflect on our scenic realization of the play Missing by south-African author Reza de Wet. The essence of a modern dramatic direction is to perceive the script of a play as a model which becomes a basis for its interpretation and the subsequent staging of the play. It is the process from the initial interpretation to final scenic realization I wish to focus on in my work.In the first part I will be dealing with creation of a physical space, that being stage design. I will try to capture what lead us to its final shape and how the basis for that can be found in the script of the play as well as the potential capability of the physical space to become a dramatic space. Its ability to create a platform for the actors to proceed from and how can it provoke them into acting, in particular. In the second part I will be dealing with the dramatic space, ergo the spacial expression of relationships and themes. I will proceed again retrospectively, focusing on how we managed to achieve the stage image which is functioning as a materialized metaphor. I will focus mostly on non-verbal actions, but with regard to the fact, that dramatical script is the basis for our realization of the play.
|
|
The role of a nurse in a prevention and a treatment of intestinal parasites of children
JANDOVÁ, Anna
The best-known intestinal parasites are Pinworms, Roundworms, Tapeworms and the disease called Toxocarosis. The oftenest parasite is, according to sources, the Pinworm. Intestinal parasites affect mostly young children of pre-school age, sometimes even older. The first goal of the thesis was to investigate parents' awareness of the prevention of parasitic diseases in children. There is a hypothesis set to this goal: Parents of children who suffered from parasitic disease are more informed than parents of children who have not had this disease. The second goal was to map the specifics of nursing care for children with parasitic diseases at GPCHA practice. A research question was chosen for this aim: What are the specifics of nursing care at GPCHA in parasitic diseases? In methodology, the empirical part was chosen and it was a qualitative - quantitative research survey. For the quantitative part, the interrogation method and technique of non-standardized questionnaire was used. The research sample of quantitative survey consisted of 223 respondents, it means parents whose child is aged from 0 to 6 years. The questionnaires were distributed on social networking and others in a nursery school in Týn nad Vltavou. At the very beginning, respondents were acquainted with the topic of the thesis. The results of a quantitative survey were processed with the help of a data matrix and were further processed within twenty-arranged bar charts. To verify the hypothesis, we used the Chi- Quadrat test, which in this case is not satisfactory, therefore, there had to be chosen to merge the responses. An interrogation method, technique-depth interview was used in the qualitative part. The research group consisted of five nurses; three nurses working at GPCHA in Týn nad Vltavou and two working at GPCHA in České Budějovice. While processing the interviews, there open coding was used and an analysis of interviews was conducted by using the method of Pencil and Paper Interview. The results of this bachelor thesis will be published in the journal Paediatrics practice.
|
guest ::
