|
Evaluation of Unreliable Tax Payer Implementation in VAT Evasion
Lišková, Svatava ; Kukalová, Gabriela (advisor) ; Jiří, Jiří (referee)
The Financial Administration of the Czech Republic uses different instruments and procedures in struggle against VAT evasions. The most important instrument used today is the so-called Institute of Unreliable Tax Payer. The dissertation is focused on basic principles of the Institute of Unreliable Tax Payer, discovering its deficiencies and making suggestions for improvements. The main emphasis is placed on critical view of each standard of the Institute of Unreliable Tax Payer. Finally the dissertation evaluates the Unreliable Tax Payer implementation in VAT evasion.
|
|
Microbiota of the digestive tract of bees and related insect and the influencing facftors
Hroncová, Zuzana ; Havlík, Jaroslav (advisor) ; Kalous, Lukáš (referee)
This thesis consists of six research chapters, out of which, five have already been published in research journals, 1 is in the process of submission and the last chapter presents original unpublished confidential data in the process of manuscript preparation.
The research presented in this thesis concerns the complex mechanisms of bees and wasps immune system focused on microbiota as component of immunity. As shown in the introduction, highly social and managed species of bees like honey bees and bumble bees, play key roles in natural and agricultural ecosystems worldwide. Recent losses of bees have been attributed to pesticide exposure, poor nutrition, increased parasite loads and habitat degradation. Over the past several years, governments, beekeepers, and the general public worldwide have become concerned by increased losses of honey bee colonies, calling for more research on how to keep colonies healthy. Our main aim was to explore the complex mechanisms of bees and related species gut bacterial populations, their links to insect immunity and investigate the opportunities for an intervention. Part of our aim was to characterise the bumble bee and wasp gut microbiota using 16S RNA sequencing in a search for potentially novel bacterial species.
We have tried to explain how microbiome interacts with the host and showed that major members of these communities appear to benefit the host. The simple gut communities of social bees present ideal model systems to investigate the underlying evolutionary and genetic processes of such interactions. Information based on our results may help in the design of proper probiotic supplementation strategies with respect to physiological conditions in the honey bee gut.
|
|
Playing as a means of increasing motivation in teaching vocational subjects
Kolmanová, Linda ; Hanušová, Marie (advisor) ; Drahomíra, Drahomíra (referee)
Bachelor thesis called A play as a means of improving motivation in teaching vocational subjects, is used for the needs of their insight into the problems of motivation in school and its improvement through the activation methods specifically games. The theoretical part brings basic concepts that relate to the themes of the motivation in school and activation methods in education, which are the basis for the development of the practical part. In the practical part is through the observation and the final test in the learning block validated the proposed board game of economic, as the activation method for increasing the motivation of the economic sector. Last but not least, the results are presented and carried out.
|
|
Reader's diary and ICT - a traditional teaching method in the content of modern technologies
GRÚZ, Michael
The thesis Reader´s diary and ICT a traditional teaching method in the context of modern technologies is divided into two parts. The theoretical part deals with general principles of literature, literature reception and reader´s motivation. The attention is also paid to literary and reader´s education of children at school and in their free-time, including so-called pre-reading period as well. The main focus is on the impact of modern technologies on teaching literature and the method of a reader´s diary. The exploratory part includes outcomes of two questionnaire-based researches. The first one was designed for Czech language and literature teachers at secondary and lower level grammar schools, and its aim was to describe their attitude towards assigning, checking, evaluation and further use of readers´ diaries in literature lessons. The second questionnaire was focused on the pupils´ attitude towards assigned reading in relation to so-called online literature guide-books.
|
|
Laser cooling of the trapped ions for frequency and time metrology
Číp, Ondřej ; Pham, Minh Tuan ; Čížek, Martin ; Lešundák, Adam ; Hucl, Václav ; Hrabina, Jan ; Řeřucha, Šimon ; Jedlička, Petr ; Lazar, Josef
In the laser cooled trapped ions field current research is oriented to yield isolated ions in their basic state of the motion. The detection of the Doppler cooled iont excitation to its quadrupole transition of the electronic structure gives the opportuniny to stabilize highly coherent lasers of the optical frequency of the hundreds of THz. This way a new standart of the time or optical frequencies called „Optical atomic clock“ can be defined. Institute of the Scientific Instruments in Brno in the cooperation with the Department of the Optics of the Palacky University in Olomouc implemented a unique research infrastructure for laser cooling of 40Ca+ ions and subsequent experiments of the quantum mechanics and spectroscopy in a joint laboratory in Brno. Currently 40Ca+ ions are routinely generated and captured. The Doppler cooling of those ions is performed using dipole transition at a wavelength of the 397 nm. Also detection and spectroscopy of the electronic structure of the ion and the presence of his dark resonances is implemented.\n
|
|
The impact analysis of the technical devices used by the driver on the reaction time
Kubánek, Ondřej ; Bradáč, Albert (referee) ; Panáček, Vladimír (advisor)
This master‘s thesis analyzes the impact of the use of technical equipment for the driver reaction time. There are described the legal requirements for the use of technical devices by the driver in the vehicle. There are analyzed the types of technical devices used by drivers and mainly discussed the issue of drivers' reaction times. They assessed factors affecting reaction time, ways of measuring the reaction time and the type of reaction times. They discussed earlier research from the beginning of the measurement of reaction times to the latest research, dealing with the measurement of reaction times when using a mobile phone. The practical part is devoted to perform road tests on a sample of drivers and evaluate their reaction times during normal driving and during a call. The measured and evaluated data are commented with respect to the benefits of expert activities in the field of transport.
|
|
New Methods for Increasing Efficiency and Speed of Functional Verification
Zachariášová, Marcela ; Dohnal, Jan (referee) ; Steininger, Andreas (referee) ; Kotásek, Zdeněk (advisor)
Při vývoji současných číslicových systémů, např. vestavěných systému a počítačového hardware, je nutné hledat postupy, jak zvýšit jejich spolehlivost. Jednou z možností je zvyšování efektivity a rychlosti verifikačních procesů, které se provádějí v raných fázích návrhu. V této dizertační práci se pozornost věnuje verifikačnímu přístupu s názvem funkční verifikace. Je identifikováno několik výzev a problému týkajících se efektivity a rychlosti funkční verifikace a ty jsou následně řešeny v cílech dizertační práce. První cíl se zaměřuje na redukci simulačního času v průběhu verifikace komplexních systémů. Důvodem je, že simulace inherentně paralelního hardwarového systému trvá velmi dlouho v porovnání s během v skutečném hardware. Je proto navrhnuta optimalizační technika, která umisťuje verifikovaný systém do FPGA akcelerátoru, zatím co část verifikačního prostředí stále běží v simulaci. Tímto přemístěním je možné výrazně zredukovat simulační režii. Druhý cíl se zabývá ručně připravovanými verifikačními prostředími, která představují výrazné omezení ve verifikační produktivitě. Tato režie však není nutná, protože většina verifikačních prostředí má velice podobnou strukturu, jelikož využívají komponenty standardních verifikačních metodik. Tyto komponenty se jen upravují s ohledem na verifikovaný systém. Proto druhá optimalizační technika analyzuje popis systému na vyšší úrovni abstrakce a automatizuje tvorbu verifikačních prostředí tím, že je automaticky generuje z tohoto vysoko-úrovňového popisu. Třetí cíl zkoumá, jak je možné docílit úplnost verifikace pomocí inteligentní automatizace. Úplnost verifikace se typicky měří pomocí různých metrik pokrytí a verifikace je ukončena, když je dosažena právě vysoká úroveň pokrytí. Proto je navržena třetí optimalizační technika, která řídí generování vstupů pro verifikovaný systém tak, aby tyto vstupy aktivovali současně co nejvíc bodů pokrytí a aby byla rychlost konvergence k maximálnímu pokrytí co nejvyšší. Jako hlavní optimalizační prostředek se používá genetický algoritmus, který je přizpůsoben pro funkční verifikaci a jeho parametry jsou vyladěny pro tuto doménu. Běží na pozadí verifikačního procesu, analyzuje dosažené pokrytí a na základě toho dynamicky upravuje omezující podmínky pro generátor vstupů. Tyto podmínky jsou reprezentovány pravděpodobnostmi, které určují výběr vhodných hodnot ze vstupní domény. Čtvrtý cíl diskutuje, zda je možné znovu použít vstupy z funkční verifikace pro účely regresního testování a optimalizovat je tak, aby byla rychlost testování co nejvyšší. Ve funkční verifikaci je totiž běžné, že vstupy jsou značně redundantní, jelikož jsou produkovány generátorem. Pro regresní testy ale tato redundance není potřebná a proto může být eliminována. Zároveň je ale nutné dbát na to, aby úroveň pokrytí dosáhnutá optimalizovanou sadou byla stejná, jako u té původní. Čtvrtá optimalizační technika toto reflektuje a opět používá genetický algoritmus jako optimalizační prostředek. Tentokrát ale není integrován do procesu verifikace, ale je použit až po její ukončení. Velmi rychle odstraňuje redundanci z původní sady vstupů a výsledná doba simulace je tak značně optimalizována.
|
|
Subspace Modeling of Prosodic Features for Speaker Verification
Kockmann, Marcel ; Kenny, Patrick (referee) ; Nöth, Elmar (referee) ; Černocký, Jan (advisor)
Předložená disertační práce se zabývá ověřováním mluvčího pomocí prozodických příznaků zahrnujících hodnoty základního tónu, energie a délek řečových úseků. Studovali jsme dvě rozdílné techniky pro parametrizaci: první vede k dobře definované sadě menšího počtu příznaků, druhá k vysoko-dimenzionální sadě heterogenních prozodických příznaků. První část práce se věnuje vývoji příznaků reprezentujících prozodické kontury, zde jsme vyvinuli a ověřili několik modelovacích technik, s důrazem na modelování v reprezentativních podprostorech. Druhá část práce se zaměřuje na nové pod-prostorové modelovací techniky pro heterogenní prozodické parametry s velkou dimenzionalitou. Model je teoreticky odvozen a experimentálně ověřen na oficiálních datech z NIST evaluací ověřování mluvčího (NIST Speaker Recognition Evaluation). Ve srovnání s ostatními současnými prozodickými jsme dosáhli podstatně lepších výsledků. Na konci práce presentujeme také novou techniku pro elegantní kombinaci dvou prozodických systémů. Tato technika může být použita rovněž pro fúzi prozodického systému se standardním přesným cepstrálním systémem, což vede k dalšímu podstatnému zvýšení úspěšnosti verifikace.
|
|
Acceleration Methods for Evolutionary Design of Digital Circuits
Vašíček, Zdeněk ; Miller, Julian (referee) ; Zelinka,, Ivan (referee) ; Sekanina, Lukáš (advisor)
Ačkoliv můžeme v literatuře nalézt řadu příkladů prezentujících evoluční návrh jakožto zajímavou a slibnou alternativu k tradičním návrhovým technikám používaným v oblasti číslicových obvodů, praktické nasazení je často problematické zejména v důsledku tzv. problému škálovatelnosti, který se projevuje např. tak, že evoluční algoritmus je schopen poskytovat uspokojivé výsledky pouze pro malé instance řešeného problému. Vážný problém představuje tzv. problém škálovatelnosti evaluace fitness funkce, který je markantní zejména v oblasti syntézy kombinačních obvodů, kde doba potřebná pro ohodnocení kandidátního řešení typicky roste exponenciálně se zvyšujícím se počtem primárních vstupů. Tato disertační práce se zabývá návrhem několika metod umožňujících redukovat problem škálovatelnosti evaluace v oblasti evolučního návrhu a optimalizace číslicových systémů. Cílem je pomocí několika případových studií ukázat, že s využitím vhodných akceleračních technik jsou evoluční techniky schopny automaticky navrhovat inovativní/kompetitivní řešení praktických problémů. Aby bylo možné redukovat problém škálovatelnosti v oblasti evolučního návrhu číslicových filtrů, byl navržen doménově specifický akcelerátor na bázi FPGA. Tato problematika reprezentuje případ, kdy je nutné ohodnotit velké množství trénovacích dat a současně provést mnoho generací. Pomocí navrženého akcelerátoru se podařilo objevit efektivní implementace různých nelineárních obrazových filtrů. S využitím evolučně navržených filtrů byl vytvořen robustní nelineární filtr implusního šumu, který je chráněn užitným vzorem. Navržený filtr vykazuje v porovnání s konvenčními řešeními vysokou kvalitu filtrace a nízkou implementační cenu. Spojením evolučního návrhu a technik známých z oblasti formální verifikace se podařilo vytvořit systém umožňující výrazně redukovat problém škálovatelnosti evoluční syntézy kombinačních obvodů na úrovni hradel. Navržená metoda dovoluje produkovat komplexní a přesto kvalitní řešení, která jsou schopna konkurovat komerčním nástrojům pro logickou syntézu. Navržený algoritmus byl experimentálně ověřen na sadě několika benchmarkových obvodů včetně tzv. obtížně syntetizovatelných obvodů, kde dosahoval v průměru o 25% lepších výsledků než dostupné akademické i komerční nástroje. Poslední doménou, kterou se práce zabývá, je akcelerace evolučního návrhu lineárních systémů. Na příkladu evolučního návrhu násobiček s vícenásobnými konstantními koeficienty bylo ukázáno, že čas potřebný k evaluaci kandidátního řešení lze výrazně redukovat (defacto na ohodocení jediného testovacího vektoru), je-li brán v potaz charakter řešeného problému (v tomto případě linearita).
|
|
Simulace a protiřetězce pro efektivní práci s konečnými automaty
Holík, Lukáš ; Černá, Ivana (referee) ; Jančar, Petr (referee) ; Vojnar, Tomáš (advisor)
Cílem této práce je vývoj technik umožňujících praktické využití nedeterministických konečných automatů, zejména nedeterministických stromových automatů. Jde zvláště o techniky pro redukci velikosti a testování jazykové inkluze, jež hrají zásadní roli v mnoha oblastech aplikace konečných automatů. V oblasti redukce velikosti vycházíme z dobře známých metod pro slovní automaty které jsou založeny na relacích simulace. Navrhli jsme efektivní algoritmy pro výpočet stromových variant simulačních relací a identifikovali jsme nový typ relace založený na kombinaci takzvaných horních a dolních simulací nad stromovými automaty. Tyto kombinované relace jsou zvláště vhodné pro redukci velikosti automatů slučováním stavů. Navržený princip kombinace relací simulace je relevantní i pro slovní automaty. Náš přínos v oblasti testování jazykové inkluze je dvojí. Nejprve jsme zobecnili na stromové automaty takzvané protiřetězcové algoritmy, které byly původně navrženy pro slovními automaty. Dále se nám podařilo použitím simulačních relací výrazně zefektivnit protiřetězcové algoritmy pro testování jazykové inkluze jak pro slovní, tak pro stromové automaty. Relevanci našich technik pro praxi jsme demonstrovali jejich nasazením v rámci regulárního stromového model checkingu, což je verifikační metoda založená na stromových automatech. Použití našich algoritmů zde vedlo k výraznému zrychlení a zvětšení škálovatelnosti celé metody. Základní myšlenky našich algoritmů pro redukci velikosti automatů a testování jazykové inkluze jsou aplikovatelné i na jiné typy automatů. Příkladem jsou naše redukční techniky pro alternující Büchiho automaty prezentované v poslední části práce.
|
guest ::
