|
Dmitrij Šostakovič: Klavírní trio č. 2 e-moll, op. 67
Škodová, Judita ; PETRÁŠ, Miroslav (vedoucí práce) ; ERICSSON, Mikael (oponent)
Diplomová práce se zabývá Triem pro housle, violoncello a klavír č. 2 e-moll ruského skladatele Dmitrije Šostakoviče. Kromě stručného životopisu samotného skladatele se věnuje také představení Ivana Ivanoviče Sollertinského, výjimečné osobnosti sovětského kulturního života a také Šostakovičova blízkého přítele, jemuž byla skladba věnována. Poté práce nastiňuje okolnosti vzniku i prvního uvedení skladby a dobové reálie, jež měly s největší pravděpodobností vliv na tehdejší Šostakovičovu hudební řeč a tím pádem i na výslednou podobu díla, uvádí také jeho nejvýznamnější interprety. Následuje podrobný rozbor všech čtyř vět tria a to jak z hlediska harmonického a funkčně-tektonického, tak i z čistě instrumentálního pohledu a výrazového působení skladby a jejích celků na posluchače.
|
|
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.
|
|
Relational Verification of Programs with Integer Data
Konečný, Filip ; Bouajjani, Ahmed (oponent) ; Jančar, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
This work presents novel methods for verification of reachability and termination properties of programs that manipulate unbounded integer data. Most of these methods are based on acceleration techniques which compute transitive closures of program loops. We first present an algorithm that accelerates several classes of integer relations and show that the new method performs up to four orders of magnitude better than the previous ones. On the theoretical side, our framework provides a common solution to the acceleration problem by proving that the considered classes of relations are periodic. Subsequently, we introduce a semi-algorithmic reachability analysis technique that tracks relations between variables of integer programs and applies the proposed acceleration algorithm to compute summaries of procedures in a modular way. Next, we present an alternative approach to reachability analysis that integrates predicate abstraction with our acceleration techniques to increase the likelihood of convergence of the algorithm. We evaluate these algorithms and show that they can handle a number of complex integer programs where previous approaches failed. Finally, we study the termination problem for several classes of program loops and show that it is decidable. Moreover, for some of these classes, we design a polynomial time algorithm that computes the exact set of program configurations from which nonterminating runs exist. We further integrate this algorithm into a semi-algorithmic method that analyzes termination of integer programs, and show that the resulting technique can verify termination properties of several non-trivial integer programs.
|
|
Grammars with Restricted Derivation Trees
Koutný, Jiří ; Janoušek, Jan (oponent) ; Vojnar, Tomáš (oponent) ; Meduna, Alexandr (vedoucí práce)
This doctoral thesis studies theoretical properties of grammars with restricted derivation trees. After presenting the state of the art concerning this investigation area, the research is focused on the three main kinds of the restrictions placed upon the derivation trees. First, it introduces completely new investigation area represented by cut-based restriction and examines the generative power of the grammars restricted in this way. Second, it investigates several new properties of path-based restriction placed upon the derivation trees. Specifically, it studies the impact of erasing productions on the generative power of grammars with restricted path and introduces two corresponding normal forms. Then, it describes a new relation between grammars with restricted path and some pseudoknots. Next, it presents a counterargument to the generative power of grammars with controlled path that has been considered as well-known so far. Finally, it introduces a generalization of path-based restriction to not just one but several paths. The model generalized in this way is studied, namely its pumping, closure, and parsing properties.
|
|
Obrazová analýza v tribotechnické diagnostice
Machalík, Stanislav ; Stodola,, Jiří (oponent) ; Tillová,, Eva (oponent) ; Zemčík, Pavel (vedoucí práce)
Obrazová analýza částic opotřebení je v práci využita ke klasifikaci jejich obrazů do tříd odpovídajících stanoveným typům opotřebení. Dává možnost získat informace nejen o základních parametrech otěrových částic, ale také údaje, které by při klasickém způsobu hodnocení bylo možné získat jen velmi obtížně. Na základě analýzy morfologických či obrazových charakteristik částic lze sledovat průběh opotřebení strojních součástí, a tím zabránit případné havárii motoru, případně stanovit optimální lhůty pro výměnu oleje. Cílem této práce je prozkoumat možnosti využití obrazové analýzy v kombinaci s metodou analytické ferrografie a na základě teoretických poznatků navrhnout nástroj pro automatickou klasifikaci částic. Současné metody analýzy částic opotřebení jsou založeny na vyhodnocení, které nedává přesnou představu o procesech probíhajících mezi třecími povrchy v motorové soustavě. Práce vychází z metody analytické ferrografie, která umožňuje zhodnotit stav sledovaného stroje z hlediska opotřebení. Přínosem klasifikátorů vytvořených v této práci je možnost automatického vyhodnocení výstupů analytické ferrografie; jejich použití odstraňuje zásadní nevýhodu ferrografické analýzy, kterou je její závislost na subjektivním hodnocení expertem provádějícím analýzu. Vytvořené klasifikátory jsou založeny na využití metod strojového učení. Na základě rozsáhlé databáze částic, která byla vytvořena v první fázi práce, byly klasifikátory natrénovány umožňují tak hodnotit ferrograficky separované otěrové částice, které pocházejí z olejů odebraných z mazaných soustav. Následně byly provedeny experimenty, z jejichž výsledků vyplynuly optimální nastavení klasifikátorů.
|
|
Povrchové úpravy skleněných vláken pro polymerní kompozity
Knob, Antonín ; Marek,, Aleš (oponent) ; Burša, Jiří (oponent) ; Čech, Vladimír (vedoucí práce)
Dizertační práce je zaměřena na přípravu polymerních kompozitů vyztužených skleněnými vlákny s řízenou mezifází tvořenou plazmově polymerovanými mezivrstvami na bázi tetravinylsilanu a směsí tetravinylsilanu s kyslíkem. Tenké polymerní vrstvy se specifickými fyzikálně-chemickými vlastnostmi a tloušťkou byly deponovány se záměrem zlepšení adheze na kompozitním rozhraní skleněné vlákno/polyesterová matrice. Povrchová modifikace skleněných vláken byla provedena s využitím plazmochemické depozice z plynné fáze (PECVD) využívající nízkoteplotního RF plazmatu. Proces byl kontrolován pomocí efektivního výkonu a depozičního času a výsledky vyhodnoceny ve vztahu k tloušťce mezivrstvy a různým depozičním podmínkám. Připravené mezivrstvy byly analyzovány z hlediska chemického složení fyzikálně-chemických vlastností za použití metod XPS, RBS, ERDA, FTIR a spektroskopické elipsometrie. Vybrané mechanické vlastnosti byly charakterizovány pomocí AFM. Mechanická odezva plazmových mezivrstev byla vyhodnocena pomocí testu krátkých trámečků a přímé metody testování smykové pevnosti na rozhraní využívající mikroindentaci. Smykové selhání mezifáze bylo kontrolováno dle experimentálních a modelových dat pomocí smykové pevnosti na rozhraní mezivrstva/vlákno.
|
|
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.
|
|
Pracují v českých knihovnách digitální kurátoři?
Římanová, Radka ; Melichar, Marek
K rozvoji českých digitálních repozitářů se váže i potřeba nové české terminologie. Jedním z nových termínů je název pracovní pozice, specializace, „digitální kurátor“. Tento termín označuje specialistu, který je odpovědný za sbírku digitálních objektů. V rámci dostupné literatury se v kompetenčním modelu digitálního kurátorství snoubí technické, organizační i komunikační/marketingové dovednosti a znalosti. Z hlediska odborné přípravy se předpokládají znalosti z informatiky, ale i informační vědy a knihovnictví. Průzkum mezi několika správci českých digitálních knihoven hledá odpověď na otázku, jak lze profesně označit tuto skupinu zaměstnanců knihoven vzhledem k tomu, jaké činnosti tito lidé reálně vykonávají – digitální kurátoři, správci digitálních knihoven nebo digitální knihovníci? Význam označení pracovní pozice má pevné vazby nejen do systému studijních programů, ale i do oblasti managementu institucí a koordinovaného systému odměňování zaměstnanců knihoven, akademických a výzkumných institucí.
Plný text: idr-1041_3 -  PDF; idr-1041_4 - PDF
Prezentace: idr-1041_1 - PDF; idr-1041_2 - PDF
Videozáznam: idr-1041_5 -  MP4
|
|
Hodnocení podnikatelských účtů
ŠUSTROVÁ, Lucie
Diplomová práce je zaměřena na využití metod více kritérií rozhodování, v tomto případě na podnikatelské účty. V teoretické části je popsán v bankovní systém České republiky, poté metody vícekriteriálního rozhodování. Základním cílem této práce bylo zhodnotit pořadí podnikatelských účtů z hlediska výhodnosti, které jsou nabízeny bankovními institucemi na bankovním trhu v České republice. Dílčím cílem této práce seznámit se s problematikou optimálního výběru podnikatelských účtů pro určitou skupinu spotřebitelů, což v tomto případě jsou drobní podnikatelé (živnostníci). Před výběrem nového podnikatelského účtu je třeba vždy pečlivě prozkoumat bankovní trh a jeho nabídky firemních účtů. Důležitou součástí této práce je, že klient musí zvážit své preference před použitím kvantitativních metod. V diplomové práci je také proveden průzkum zaměřený právě na hodnocení podnikatelských účtů. Následně jsou porovnávány výsledky za použití kvantitativních metod dotazníkového šetření a výsledků pro modelového klienta. V závěru obecně výsledky popisují a zdůvodňují jednotlivá pořadí bankovních produktů od nejlepšího k nejhoršímu.
|
|
Metody tvorby převodních cen u nadnárodních podniků z hlediska daňové správy
BÖHMOVÁ, Dana
Cílem diplomové práce je analýza a vyhodnocení aplikace transferových (převodních) cen, využívaných při transakcích nadnárodních podniků z hlediska daňové správy. Dále následuje obecný popis základních principů spojených osob, principu tržního odstupu, popis metod stanovení převodních cen a dokumentaci k převodním cenám v souladu s mezinárodními pravidly a standardy stanovenými Organizací pro hospodářskou spolupráci a rozvoj, v souladu se zákony a pokyny České republiky. Dále se diplomová práce snaží objasnit na konkrétních případových studiích, které vycházejí z praxe finanční správy a judikatury, dopady stanovení jednotlivých metod převodních cen, porovnání jejich výhod a nevýhod při stanovení převodních cen v České republice. V závěru diplomové práce jsou shrnuty výsledky a uvedena příslušná doporučení pro přijetí další vhodné legislativy v jednotlivých oblastech převodních cen v České republice.
|
host ::
