|
Cooperation with incomplete monitoring
Caisl, Jakub ; Bauer, Michal (vedoucí práce) ; Červinka, Michal (oponent)
V této práci se zabýváme se poskytováním veřejných statků. Tento problém studujeme na základě experimentální ekonomické hry "Public Goods Game". Jednotlivci v této hře mohou trestat ostatní jednotlivce za jejich chování, ale čelí při tom různým informačním omezením. Snažíme se přispět k současné literatuře zabývající se reciprocitou a zjistit, jestli jsou lidé ochotni trestat, i pokud jsou jejich informace o ostatních jen velmi kusé. Prospěšnost trestání za nejistoty je centrálním tématem této práce, které úzce souvisí s tím, nakolik jsou lidské společnosti schopné spontánně fungovat bez působení centrální autority. Z hlediska veřejné politiky se snažíme přispět k debatě o tom, kdy by lidské jednání (trestání) mělo být omezené centrální autoritou. Z hlediska pracovního týmu může být naše práce aplikována při vytváření strategie pro sledování zaměstnanců.
|
|
Poplatková politika bank v ČR
Burešová, Adéla ; Steininger, Michal (vedoucí práce) ; Eva, Eva (oponent)
Diplomová práce se zabývá poplatkovou politikou bank v ČR, což je ožehavé téma v posledních letech. Cílem práce je analyzovat a komparovat vybrané bankovní poplatky v ČR. Dílčím cílem je posoudit vybrané bankovní poplatky z hlediska důležitosti tvorby zisku banky a z hlediska klienta banky. V úvodu teoretické části je popsána základní charakteristika bankovnímu systému. Dále jsou charakterizovány bankovní produkty a služby, bankovní poplatky a politika bankovních poplatků. Součástí vlastní práce je dotazníkové šetření a analýza bankovního trhu z pohledu bankovních institucí v letech 2007 až 2014. Vlastní práce mimo jiné také obsahuje finanční analýzu v letech 2007 až 2015 a analýzu bankovního trhu z pohledu klienta, kde jsou srovnány vybrané bankovní instituce na základě poplatků a komparace vybraných bankovních produktů na základě poplatků. Jsou nadefinovány tři vzorové skupiny, kterým je doporučen nejvýhodnější bankovní produkt a bankovní instituce.
V závěru práce jsou formulovány výsledky a doporučení bankám a klientům. Pro daného klienta Student vyšel nejlépe běžný účet UniCredit Bank, U Konto pro mladé. Aktivnímu klientovi byla též doporučena UniCredit Bank s bankovním produktem UKonto.
Pro cílenou vzorovou skupinu Důchodce je nejvýhodnější bankou mBank, kde činí měsíční náklady 70 Kč. Klient správnou volbou banky může ušetřit až tisíce Kč/rok.
|
|
Dotační podpora trvale udržitelného odpadového hospodářství
BEDNÁŘOVÁ, Renata
Předmětem práce je problematika odpadového hospodářství se zvláštním zřetelem na oblast recyklace stavebních a demoličních odpadů a nakládání s nimi. Východiskem je rozbor klíčových nástrojů usměrňování činnosti a chování tržních subjektů v dané oblasti směrem k naplňování celospolečenských priorit a principů trvale udržitelného rozvoje, kdy zvláštní důraz je v textu kladen na oblast dotačních politik a programů. Cílem dizertační práce je u vybraného dotačního programu analyzovat a vyhodnotit nastavení systému dotační podpory v ČR z hlediska ekonomické a ekologické efektivnosti s akcentem na posouzení dopadu na příjemce. Předmětem zkoumání bude prioritní osa 4 "Zkvalitnění nakládání s odpady a odstraňování starých ekologických zátěží" v rámci Operačního programu Životní prostředí 2007 - 2013. V literární rešerši jsou definovány základní pojmy a důležité definice, načež následuje zevrubná a komplexní rešerše problematiky z různých úhlů pohledu. Nejprve je pojednáno o globálním hledisku ochrany životního prostřední, jsou zde shrnuty širší historické, legislativní, ekonomické i politické souvislosti, jež jsou nezbytným fundamentem pro pochopení aktuálních i budoucích problémů v celosvětovém měřítku i v jednotlivých regionech. V dalším textu následuje podrobnější deskripce situace Evropské unii, načež přehled je završen detailním náhledem na stav problematiky v České republice. Následné kapitoly jsou věnovány podrobnému rozboru oblasti odpadového hospodářství, a to opět z hlediska globálního, evropského i národního, kdy na závěr je pohled zaostřen na z hlediska zaměření práce klíčovou problematiku stavebních a demoličních odpadů. V aplikační části je prostřednictvím čtyř stanovených hypotéz řešeno naplnění stanoveného cíle dizertační práce. Hypotézy ověřují účinnost a vhodnost nastavení systému dotačních titulů v rámci sledovaného programu. Důraz je kladen na posouzení dopadu přidělených dotací soukromým subjektům na jejich ekonomickou a ekologickou efektivnost.
|
|
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ů.
|
|
Optimalizace sledování síťových toků
Žádník, Martin ; Lhotka,, Ladislav (oponent) ; Matoušek, Radomil (oponent) ; Sekanina, Lukáš (vedoucí práce)
Tato disertační práce se zabývá optimalizací sledování síťových toků. Sledování síťových toků spočívá ve sledování jejich stavu a je klíčovou úlohou pro řadu síťových aplikací. S každým příchodem paketu je nutné aktualizovat hodnoty stavu, což zahrnuje přístupy do paměti. Vzhledem k vysoké propustnosti linek a obrovskému množství souběžných toků hraje přístup do paměti kritickou roli ve výkonnosti stavového zpracování síťového provozu. Tento problém se řeší různými technikami. Tyto techniky ale ve výsledku vždy požadují, aby nejblíže zpracování provozu byla nasazena paměť s nízkou odezvou, cache toků, schopná vyřídit všechny přístupy. Cache toků má proto omezenou kapacitu a její efektivní správa má zásadní vliv na výkonnost a výsledky zpracování síťového provozu. Vzhledem ke specifikům síťového provozu nemusí být stávající správy vhodné pro správu cache toků. Disertační práce se proto zabývá automatizovaným vývojem správy cache na základě reálného provozu dané sítě. Automatizace vývoje správy cache toků je realizována pomocí genetického algoritmu. Genetický algoritmus vyvíjí nová řešení a hodnotí je simulací nad vzorkem provozu z různých sítí. Navržený postup je ověřen na vývoji správ pro dva problémy. Prvním problémem je vývoj správy, která bude vykazovat celkově nízký počet výpadků stavů z cache toků. Druhým problémem je vývoj správy, která bude vykazovat velmi nízký počet výpadků u velkých toků. Optimalizace zakódování správy a experimenty s parametry genetického algoritmu ukázují, že je možné nalézt správy cache toků, které jsou optimalizované pro specifika daného nasazení. Nově vyvinuté správy poskytují lepší výsledky než ostatní testované správy. Z hlediska snížení celkového počtu výpadků je vyvinuta správa, která snižuje počet výpadků na konkrétní datové sadě až o deset procent vůči nejlepší porovnávané správě. Z pohledu snížení počtu výpadků u velkých toků je dosaženo vyvinutou správou až dvojnásobného snížení výpadků. Většina velkých toků (více než 90%) nezaznamenala při použití vyvinuté správy dokonce ani jeden výpadek. Rovněž během záplav nových toků, které se v síťovém provozu vyskytují v souvislosti se skenováním sítí a útoky, se ukazují velmi dobré vlastnosti vyvinuté správy. V rámci práce je rovněž navrženo rozšíření správy o využití doplňkové informace ze záhlaví příchozích paketů. Výsledky ukazují, že kombinací této informace lze počet výpadků u správ dále snižovat.
|
|
Čerpadlo s difuzorem s použitím stochastických lopatek (oběžné kolo i difuzor)
Dobšáková, Lenka ; Melichar, Jan (oponent) ; Veselý, Jindřich (oponent) ; Haluza, Miloslav (vedoucí práce)
Tato dizertační práce se zabývá studiem nerovnoměrné lopatkové mříže u odstředivých čerpadel. Vliv nerovnoměrné lopatkové mříže je zkoumána u oběžného i rozváděcího kola. Nerovnoměrné lopatkování kol čerpadla je v této práci zkoumáno z hlediska vlivu na účinnostní charakteristiku. Myšlenkou použití nerovnoměrného lopatkování je získání ploché účinnostní charakteristiky. Odstředivé čerpadlo by pak mohlo být používáno na větším rozsahu výkonů při dosažení dostatečně velké účinnosti. Práce je založena na experimentální měření a numerické simulaci nerovnoměrných hydraulických prvků čerpadla. Nerovnoměrné oběžné kolo a rozvaděč byli pro tento výzkum nově navrženy. Pro měření bylo v rámci této práce potřeba navrhnout a sestavit novou měřící trať malých ponorných čerpadel. Měřeny byly různé sestavy čerpadla s kombinacemi běžných návrhů hydraulik na jeden pracovní bod a hydraulik s nerovnoměrnou lopatkovou mříží. Všechna měření byla vyhodnocena a byly získány charakteristiky účinnosti, dopravní výšky a příkonu pro každou měřenou kombinaci. Část sestav měřených experimentálně byla také numericky vypočtena pomocí programu Ansys Fluent. Z numerických výpočtů byla sbírána data potřebná pro vyhodnocení charakteristiky účinnosti a měrné energie pro každou řešenou sestavu. Teoretické úvahy se týkají vlivu nerovnoměrné mříže u rozvaděče a vzniká tak doporučení, jak by bylo možné významně snížit ztráty v kanálech. Bylo také provedeno teoretické odvození způsobu, jak získat plochou charakteristiku účinnosti oběžného kola.
|