|
Výkonový nízkofrekvenční zesilovač pro laboratorní výuku
Herceg, Erik ; Petržela, Jiří (oponent) ; Kratochvíl, Tomáš (vedoucí práce)
Tento dokument obsahuje návrh nízkofrekvenčného výkonového zosilňovača v triede AB, ktorý bude použitý pre meranie v laboratóriách. Návrh bol realizovaný pomocou polovodičových súčiastok a výkonová časť je tvorená bipolárnymi tranzistormi, jedným z hlavných bodov práce bol návrh meracieho protokolu. V teoretickej rovine bola funkčnosť zosilňovača overená a odsimulovaná a vyhovela požadovaným kritériám. Forma meracieho protokolu bola navrhnutá podľa pokynov pre vypracovanie a obsahuje všetky zadané základné merania parametrov zosilňovača. Výsledky tejto práce umožňujú pochopiť návrh zosilňovača a spôsoby merania jeho jednotlivých parametrov.
|
|
Mechanismy virtualizace běhu operačních systémů
Děcký, Martin ; Tůma, Petr (oponent) ; Yaghob, Jakub (vedoucí práce)
Přehled a taxonomie technologií, které se použvají pro virtualizaci běhu operačních systémů (spouštění více operačních systémů nebo více oddělených kontext u operačního systému současně na jednom počítači), jejich porovnání co se týče rychlosti, bezpečnosti, determinismu, míry izolace, accountingu, podporovaných platforem, emulace hardwaru apod. Inherentní problémy virtualizace (závislost na platformě, SMP, virtuální hardware). Emulace, simulace, virtuální stroje, paravirtualizace, partitioning. Přehled běžně dostupných virtualizačních produktů (Bochs, QEMU, Simics, VMware, Virtual PC, Virtual Server, OpenVZ, Denali, Mac on Linux, PearPC, Plex86, Xen, TRANGO, UML, Linux VServer, FreeBSD Jails, Solaris Zones) a jejich srovnání. Hardwarová podpora virtualizace (Power Hypervisor, V86, Vanderpool, Paciffica) a její využití. Praktická demonstrace soft-partitioningu (rozdělení operačního systému na samostatné kontexty na úrovni kernelu) na kernelu SPARTAN.
|
|
Servisní SW pro správu a nastavení zbraní
Fedor, Denis ; Macho, Tomáš (oponent) ; Petyovský, Petr (vedoucí práce)
Táto práca sa zaoberá virtuálnym zbraňovým simulátorom SAVIT pre výcvik ozbrojených zložiek. S využitím príkladu výcvikovej zbrane MP5 je opísaná elektrická stavba samotného zariadenia, nasledovaná popisom prenosového protokolu CANaerospace a USB. Práca obsahuje zoznam parametrov jednotlivých výcvikových zbraní, ktoré je vhodné sledovať v ich servisnom programe. Opisuje tiež grafické užívateľské rozhranie servisného programu a dôležité časti jeho implementácie. Táto práca nevynecháva opis realizácie komunikácie medzi servisným programom a výcvikovou zbraňou. V závere taktiež obsahuje opis testovania programu a zhodnotenie výsledkov tejto práce.
|
|
PIFA Antenna design for GSM band
Kollár, Marcel ; Čapek, Miloslav (oponent) ; Kadlec, Petr (vedoucí práce)
The main topic of this diploma thesis is a design of the PIFA antenna working in GSM bands. In the beginning there is a brief analysis of planar antennas. The thesis describes PIFA antenna and the techniques for minimization of dimensions of the antenna. Essential part of the thesis is dedicated to multicriterial optimalizaton of the antenna shape. The genetic algorithm programmed in the MATLAB enviroment cooperates with a full-wave solver CST to obrain desired impedance matching of the antenna its radiationt paterns. Also dimensions of the antenna can be minimized using the optimization procedure. Final part of the thesis compares measured data of the optimalized antenna with results obtained in CST Microwave Studio.
|
|
Návrh plně diferenčního operačního zesilovače ve třídě AB
Mácha, Petr ; Háze, Jiří (oponent) ; Kledrowetz, Vilém (vedoucí práce)
Tato bakalářská práce se zabývá návrhem plně diferenčního operačního zesilovače ve třídě AB v technologii I3T25 firmy ON Semiconductor. Práce obsahuje popis unipolárních tranzistorů, struktur a jednotlivých částí operačního zesilovače. Hlavní zaměření práce je v navržení obvodu, který bude schopen pracovat i na vysokých kmitočtech. Správná činnost navrženého obvodu je ověřena pomocí simulačního programu Cadence.
|
|
Verifikace ASIP založena na formálních tvrzeních
Šulek, Jakub ; Dolíhal, Luděk (oponent) ; Zachariášová, Marcela (vedoucí práce)
Tato práce představuje koncept pro ověřování správnosti procesorů s aplikačně-specifickou instrukční sadou (ASIP) pomocí verifi kace založené na formálních tvrzeních. Koncept je implementován v jazyku SystemVerilog Assertions jako součást verifi kačního prostředí vytvořeného v nástroji Codasip Framework. Implementovaný koncept je simulován nástrojem QuestaSim na procesoru Codix RISC. Hlavním výsledkem práce je koncept ověřování, který může být součástí systému automatizujícího návrh procesorů, a který je použitelný pro různé typy procesorů.
|
|
Modelování procesu spalování při využití vzduchu s obsahem kyslíku vyšším než 21 %
Naď, Martin ; Juřena, Tomáš (oponent) ; Bělohradský, Petr (vedoucí práce)
Hlavnou náplňou danej práce je matematické modelovanie procesu spaľovania, pri ktorom má spaľovací vzduch obsah kyslíka viac ako 21%, v anglickej terminológii označovaného ako „oxygen-enhanced combustion“(OEC) a jeho porovnanie s experimentálnymi meraniami. Práca sa venuje popisu procesu spaľovania ako aj charakterizácii OEC. Vzhľadom na to, že pri OEC sa pracuje s čistým kyslíkom, je časť práce venovaná aj nebezpečenstvám a nutnej bezpečnosti pri práci s ním. Práca obsahuje detailný popis spaľovacej komory, ako aj súčastí potrebných na prevádzku OEC. V práci sú dve sťažené časti, a to experiment a simulácia. Významnou časťou práce je teda počítačový model danej spaľovacej komory, ako aj simulácia procesu spaľovania s prídavným kyslíkom pomocou využitia CFD metód. Numerické výsledky boli porovnané s experimentálnymi dátami - konkrétne rozloženie tepelných tokov do stien spaľovacej komory a rozloženia teplôt v plameni v horizontálnej rovine symetrie spaľovacej komory.
|
|
Akvizice, modelování a analýza signálů v ultrazvukovém perfúzním zobrazování
Mézl, Martin ; Kozubek, Michal (oponent) ; Flusser,, Jan (oponent) ; Jiřík, Radovan (vedoucí práce)
Tato práce se zabývá možnostmi perfúzní analýzy pomocí ultrazvuku pro absolutní kvantifikaci perfúzních parametrů. Vteoretickém úvodu je provedena literární rešerše možností využití kontrastních látek v ultrasonografii a přístupů k perfúzní analýze. V praktické části práce byly navrženy a testovány metody, které modelují časový průběh koncentrace jako konvoluci arteriální vstupní funkce a zbytkové funkce tkáně. Ověření těchto metod pro absolutní kvantifikaci perfúzních parametrů je ukázáno na datech z fantomových studií, simulací, a také na preklinických a klinických datech. Pro klinická pracoviště byl dále vyvinut software pro jednotlivé kroky perfúzní analýzy.
|
|
Zhodnocení vývoje podílu daní na příjmech rozpočtů obcí a krajů v ČR.
Poláková, Tereza ; Peková, Jitka (vedoucí práce) ; Krbová, Jana (oponent)
Cílem diplomové práce je podrobná analýza daňových příjmů obcí a krajů se zaměřením v praktické části na čtyři konkrétní obce a kraj. Hodnocen je podíl daňových příjmů na celkových příjmech rozpočtů obcí a krajů a jejich vývoj během sledovaného období 2001 až 2015. Toto téma je velmi aktuální vzhledem k diskuzím o potenciálních dalších změnách RUD probíhajícím v současné době mezi zákonodárci. Právní úprava RUD se relativně často mění, a proto je přínosné znát dopad jednotlivých změn na konkrétní obce či kraje. Z tohoto základu se může dále vycházet při plánování nové úpravy RUD. V teoretické části práce jsou uvedeny názory odborníků na hospodaření obcí a krajů pramenící z jejich funkcí a postavení. Důraz je kladen na příjmy obcí a krajů, speciálně pak na příjmy daňové. Jsou zde také popsány jednotlivé změny zákona o RUD od roku 2001 a jejich dopad na obce a kraje jako celky. V praktické části jsou analyzovány příjmy a hospodaření vybraných obcí reprezentujících různé velikostní kategorie a Libereckého kraje. Je zde hodnocena také finanční soběstačnost, která je obecně vyšší u obcí než u krajů. Práce se dále zabývá jednotlivými daňovými příjmy a dopady změn RUD na jejich výši s využitím modelování teoretických příjmů při platnosti jiných právních úprav. Z analýzy vychází, že daňové příjmy obcí i krajů celkově rostou. Díky změnám RUD byla u obcí v průběhu sledovaného období patrná tendence snižování růstu příjmů velkých měst, zvyšování příjmů malých obcí a později dorovnávání příjmů středních obcí. Daňové příjmy krajů se díky změnám RUD celkově zvýšily i přes dílčí poklesy jednotlivých složek po roce 2012.
|
|
Testy normality
Kotlorz, Lukáš ; Anděl, Jiří (vedoucí práce) ; Sabolová, Radka (oponent)
Cílem práce zaměřené na testování normality je popsání nejen statistických testů, ale i grafických metod. V první kapitole práce jsou popsány grafické metody, které se používají při testování normality zejména histogram, boxplot, Q-Q plot. Ve druhé části jsou popsány testy např. Shapirův-Wilkův, Kolmogorovův-Smirnovův, Lillieforsův, Andersonův-Darlingův, chí-kvadrát používané na testování shody rozdělení náhodného výběru s normálním rozdělením. U každého testu je uvedena testová statistika, kritický obor, případně odkaz na literaturu, kde lze najít tabulku kritických hodnot. Ve třetí části je provedena simulační studie, zda náhodný výběr pochází z normálního rozdělení. Výběry z různých rozdělení byly generovány programem R.
|
host ::
