|
Optimization of Gaussian Mixture Subspace Models and Related Scoring Algorithms in Speaker Verification
Glembek, Ondřej ; Brummer, Niko (oponent) ; Campbell,, William (oponent) ; Burget, Lukáš (vedoucí práce)
This thesis deals with Gaussian Mixture Subspace Modeling in automatic speaker recognition. The thesis consists of three parts. In the first part, Joint Factor Analysis (JFA) scoring methods are studied. The methods differ mainly in how they deal with the channel of the tested utterance. The general JFA likelihood function is investigated and the methods are compared both in terms of accuracy and speed. It was found that linear approximation of the log-likelihood function gives comparable results to the full log-likelihood evaluation while simplyfing the formula and dramatically reducing the computation speed. In the second part, i-vector extraction is studied and two simplification methods are proposed. The motivation for this part was to allow for using the state-of-the-art technique on small scale devices and to setup a simple discriminative-training system. It is shown that, for long utterances, while sacrificing the accuracy, we can get very fast and compact i-vector systems. On a short-utterance(5-second) task, the results of the simplified systems are comparable to the full i-vector extraction. The third part deals with discriminative training in automatic speaker recognition. Previous work in the field is summarized and---based on the knowledge from the earlier chapters of this work---discriminative training of the i-vector extractor parameters is proposed. It is shown that discriminative re-training of the i-vector extractor can improve the system if the initial estimation is computed using the generative approach.
|
|
Network-wide Security Analysis
de Silva, Hidda Marakkala Gayan Ruchika ; Šafařík,, Jiří (oponent) ; Šlapal, Josef (oponent) ; Švéda, Miroslav (vedoucí práce)
The objective of the research is to model and analyze the effects of dynamic routing protocols. The thesis addresses the analysis of service reachability, configurations, routing and security filters on dynamic networks in the event of device or link failures. The research contains two main sections, namely, modeling and analysis. First section consists of modeling of network topology, protocol behaviors, device configurations and filters. In the modeling, graph algorithms, routing redistribution theory, relational algebra and temporal logics were used. For the analysis of reachability, a modified topology table was introduced. This is a unique centralized table for a given network and invariant for network states. For the analysis of configurations, a constraint-based analysis was developed by using XSD Prolog. Routing and redistribution were analyzed by using routing information bases and for analyzing the filtering rules, a SAT-based decision procedure was incorporated. A part of the analysis was integrated to a simulation tool at OMNeT++ environment. There are several innovations introduced in this thesis. Filtering network graph, modified topology table, general state to reduce the state space, modeling devices as filtering nodes and constraint-based analysis are the key innovations. Abstract network graph, forwarding device model and redistribution with routing information are extensions of the existing research. Finally, it can be concluded that this thesis discusses novel approaches, modeling methods and analysis techniques in the area of dynamic networks. Integration of these methods into a simulation tool will be a very demanding product for the network designers and the administrators.
|
|
Metodika aplikace testu obvodu založená na identifikaci testovatelných bloků
Herrman, Tomáš ; Plíva, Zdeněk (oponent) ; Racek, Stanislav (oponent) ; Kotásek, Zdeněk (vedoucí práce)
Dizertační práce se zabývá analýzou číslicových obvodů popsaných na úrovni meziregistrových přenosů. Je v ní zahrnuta pouze problematika související s testovatelností obvodových datových cest, řadičem ovládajícím tok dat těmito cestami se nezabývá. Stěžejní částí práce je návrh konceptu testovatelného bloku (TB), pomocí něhož se obvod rozdělí na části, jež jsou plně testovatelné přes jejich vstupy a výstupy, přes takzvané hraniční registry bloku nebo primární vstupy/výstupy. Přínosem nové metodiky je také redukce počtu registrů v řetězci scan, do něhož jsou zařazeny pouze hraniční registry. Segmentací obvodu dosáhneme také zjednodušení generování testu rozdělením tohoto problému na více menších částí. Navržená metodika pro identifikaci TB v číslicovém obvodu využívá dvou vybraných evolučních algoritmů operujících na formálním modelu obvodu na úrovni RT.
|
|
Extensions to Probabilistic Linear Discriminant Analysis for Speaker Recognition
Plchot, Oldřich ; Fousek, Petr (oponent) ; McCree,, Alan (oponent) ; Burget, Lukáš (vedoucí práce)
This thesis deals with probabilistic models for automatic speaker verification. In particular, the Probabilistic Linear Discriminant Analysis (PLDA) model, which models i--vector representation of speech utterances, is analyzed in detail. The thesis proposes extensions to the standard state-of-the-art PLDA model. The newly proposed Full Posterior Distribution PLDA models the uncertainty associated with the i--vector generation process. A new discriminative approach to training the speaker verification system based on the~PLDA model is also proposed. When comparing the original PLDA with the model extended by considering the i--vector uncertainty, results obtained with the extended model show up to 20% relative improvement on tests with short segments of speech. As the test segments get longer (more than one minute), the performance gain of the extended model is lower, but it is never worse than the baseline. Training data are, however, usually available in the form of segments which are sufficiently long and therefore, in such cases, there is no gain from using the extended model for training. Instead, the training can be performed with the original PLDA model and the extended model can be used if the task is to test on the short segments. The discriminative classifier is based on classifying pairs of i--vectors into two classes representing target and non-target trials. The functional form for obtaining the score for every i--vector pair is derived from the PLDA model and training is based on the logistic regression minimizing the cross-entropy error function between the correct labeling of all trials and the probabilistic labeling proposed by the system. The results obtained with discriminatively trained system are similar to those obtained with generative baseline, but the discriminative approach shows the ability to output better calibrated scores. This property leads to a better actual verification performance on an unseen evaluation set, which is an important feature for real use scenarios.
|
|
Měření fonologického povědomí – test skládání hlásek na počátku školní docházky: porovnání klasického přístupu a teorie odpovědi na položku
Gorčíková, M. ; Šafr, Jiří
Cílem příspěvku je ukázat výhody a limity dvou přístupů klasické teorie měření (CCT) a teorie odpovědi na položku (IRT) k posouzení úrovně diagnostického nástroje pro hodnocení fonologického povědomí (FP) mezi žáky prvních tříd. FP bylo měřeno testem skládání hlásek v rámci longitudinálního výzkumu 25 škol v Praze a Středočeském kraji (N=439). Výhodou přístupu IRT oproti klasické testové teorie je především pojetí nezávislosti položek v testu. Pravděpodobnost určité odpovědi je tak závislá na úrovni latentní schopnosti žáka a charakteristikách konkrétní položky. Pokud tedy známe parametry položek (obtížnost) lze na základě odpovědí žáka odhadnout úroveň měřené lingvistické schopnosti uplatnitelné v praktické diagnostice. Výsledky poukázaly na vhodnost úpravy testu skládání hlásek (zejména pro konec první třídy) tak, aby adekvátně měřil velkou dynamiku růstu úrovně schopnosti FP během první třídy.
|
|
Studie vlivu dobývání chodbicováním ve sloji 40 v OPJ Jan–Karel lokality ČSA, Důlní závod 1 na vtažné jámy Jan a č. 2 a na výdušnou jámu ČSA-3, povrch a povrchové objekty
Ptáček, Jiří ; Kajzar, Vlastimil ; Koníček, Petr ; Kukutsch, Radovan ; Waclawik, Petr ; Jiránková, E.
Předložená metoda chodbicování řeší možnost aplikace technologie dobývání uhelných slojí metodou chodbicování razicími kombajny, nově ve dvou variantách. V první budou chodbice i mezichodbice s určitým časovým zpožděním zaplaveny popílkovou směsí. Podle druhé varianty budou raženy pouze základní chodbice prvního systému o šířce 6,8 m. Ty nebudou zaplavovány. Účelem studie je rovněž doplnění výpočtů možného a očekávaného vlivu chodbicování na povrch a povrchové objekty a dále rovněž očekávaného vlivu na jámové stvoly jam v ochranném pilíři Jan-Karel.
|
| |
|
Identifikace příležitostí pro vybranou firmu
FEIKLOVÁ, Michaela
Diplomová práce má za cíl odkrýt příležitosti na trhu pro vybranou firmu a navrhnout firmě jejich možné využití. Práce sestává ze dvou hlavních částí - přehledu odborné literatury a praktické části. V rámci praktické části byla provedena marketingová situační analýza, která zanalyzovala vnější i vnitřní prostředí firmy. Zjištěné poznatky byly základem pro analýzu SWOT, která odkryla silné a slabé stránky podniku, jeho příležitosti a ohrožení. V závěru byl vypracován návrh na využití zjištěných informací.
|
|
Literární předloha jako cesta k tématu nesvobody
Machková, Tereza ; PROVAZNÍK, Jaroslav (vedoucí práce) ; ULRYCHOVÁ, Irina (oponent)
Bakalářská práce pojednává o tvorbě a realizaci baklalářského projektu v podobě dvoudenní dílny dramatické výchovy pro žáky druhého stupně základní školy. Tato dílna byla vytvořena na základě dvou knih Petra Síse Tibet: Tajemství červené krabičky a Zeď: jak jsem vyrůstal za železnou oponou, jejím tématem je okupace a nesvobodný život v totalitním režimu.
V úvodních kapitolách jsou popsány předlohy a jejich možnosti pro dramatickou výchovu. Následuje zpráva o dvou realizacích bakalářského projektu. V závěrečné kapitlole je pak uvedena struktura dvoudenní dílny, která byla vytvořena na základě popsaných realizací.
Do příloh jsou zařazeny materiály, s nimiž se během dílny pracuje. Dále pak struktury, podle nichž probíhaly popisované realizace a úryvky z písemných reflexí účastníků.
|
|
Oceňování bytové jednotky
DOBEŠOVÁ, Johana
Cílem bakalářské práce je charakteristika postupů a principů a jejich aplikace při oceňování nemovitého majetku na příkladu bytu. Práce je rozdělena do dvou částí. První, teoretická část se zabývá zejména právní úpravou oceňování v České republice, dále vymezením a charakteristikou základních pojmů a jednotlivých způsobů oceňování. Praktická část se zabývá charakteristikou trhu s nemovitostmi a oceněním reálného bytu v Jindřichově Hradci na základě administrativních a tržních metod. V závěru jsou jednotlivé metody porovnány.
|