|
|
REDUKCE DYNAMIKY SIGNÁLU V SYSTÉMECH S ORTOGONÁLNÍM FREKVENČNÍM MULTIPLEXEM
Urban, Josef ; Lúč, Andrej (oponent) ; Galajda,, Pavol (oponent) ; Maršálek, Roman (vedoucí práce)
Předložená dizertační práce je zaměřená do oblasti radiových komunikačních systému s více nosnými. Tyto systémy jsou perspektivní pro současné i budoucí systémy v mobilních komunikacích a bezdrátových sítích. Výhody použití více nosných jako jsou například odolnost vůči mnohacestnému šíření jsou vykoupeny i některými nevýhodami. Mezi ty patří zejména velký poměr mezi špičkovým a středním výkonem přenášeného signálu, který je překážkou v provozu výkonových zesilovačů v pásmu vysoké účinnosti. Práce se zabývá metodami redukce poměru mezi špičkovým a středím výkonem pro systémy OFDM, které jsou jedněmi z nejvyužívanějších systémů s více nosnými. Jedním z hlavních cílů je modifikace stávajících metod vedoucí ke snížení výpočetní náročnosti. Předmětem zájmu je dále analýza možností vzájemných kombinací vhodných metod vedoucích k výraznějšímu snížení poměru mezi špičkovým a středním výkonem bez nežádoucího zvýšení chybovosti. Součástí je také studium vlivu těchto metod na OFDM signály s různými parametry.
|
|
|
GSM alarm pro motocykly
Beníček, Martin ; Fedra, Zbyněk (oponent) ; Urban, Josef (vedoucí práce)
Cílem této diplomové práce je navrhnout a realizovat spolehlivé zabezpečovací zařízení na motocykly za použití technologie GSM. V práci se budu věnovat jednotlivým oblastem, kterými jsem prošel během návrhu aplikace. V úvodní kapitole se čtenář seznámí s vyhodnocením předchozích semestrálních projektů a se stručným popisem realizovaného zařízení. Dále jsou popsány principy komunikace mezi mikropočítačem a mobilním telefonem. Hlavní část je věnována návrhu samotné aplikace motoalarmu. Poslední kapitola obsahuje popis služby Kde je…, která slouží k lokalizaci mobilního telefonu. V závěru je pak vyhodnocení práce a souhrnný popis realizovaného zařízení.
|
|
|
Redukce PAPR v OFDM a její simulace ve Scilabu
Maňák, David ; Maršálek, Roman (oponent) ; Urban, Josef (vedoucí práce)
Cílem této práce je prostudování modulace OFDM její princip a vlastnosti. Dále se seznámíme s vybranými základními metodami pro redukci dynamiky PAPR v OFDM, jako např. ořezávání signálu (Clipping) nebo prokládání vstupní posloupnosti bitů (Interleaving). Simulace metod redukce bude probíhat v prostředí Scilab, kde jsou vytvořeny základní funkce pro modulátor a demodulátor modulace OFDM. Dále jsou vytvořeny funkce pro metody redukce PAPR. Všechny vytvořené funkce jsou implementovány do GUI.
|
|
|
Modulátor a demodulátor s více nosnými pro softwarově definované rádio
Klučka, Jaroslav ; Urban, Josef (oponent) ; Maršálek, Roman (vedoucí práce)
Diplomová práce se zabývá počítačovou simulací komunikačního řetězce s použitím OFDM modulace. V úvodu práce je stručný popis digitálních modulací, zejména OFDM. V prostředí MATLAB je navržen a simulován model vysílače, rádiového kanálu a přijímače, včetně jednoduché časové a frekvenční synchronizace a ekvalizace. V prostředí Simulink je navržený komunikační systém implementován do vývojového kitu USRP. Nebylo možné, aby vývojový kit pracoval zároveň jako vysílač i jako přijímač. Funkce vysílače byla ověřena měřením na spektrálním analyzátoru. Pro ověření funkce přijímače byl vygenerován zkušební OFDM signál pomocí vzorkovací karty CompuGen 4302. Na vývojovém kitu pracujícím jako přijímač byl signál přijat a demodulován.
|
|
|
Implementace OFDM demodulátoru v obvodu FPGA
Solar, Pavel ; Urban, Josef (oponent) ; Maršálek, Roman (vedoucí práce)
Diplomová práce stručně rozebírá princip OFDM modulace, možnosti synchronizace a odhadu frekvenční charakteristiky kanálu v OFDM. Je vytvořen jednoduchý model OFDM systému v programu MATLAB. Kombinací schématického popisu a popisu v jazyce VHDL je vytvořen ve vývojovém prostředí ISE behaviorální popis OFDM demodulátoru pro implementaci do FPGA.
|
|
|
Vybrané geodetické činnosti při monitoringu a realizaci dálničních mostů
URBAN, Josef
Tato diplomová práce se zabývá monitoringem mostního objektu SO211 na dálnici D3 0310/II Hodějovice - Třebonín. Pozorovaná mostní konstrukce se měřila přesnou nivelací v etapách v rámci jednoho roku zhruba každé dva měsíce, přičemž se zjišťovalo, zda nedošlo k mezním odchylkám, tudíž ke změně polohy. Práce je rozdělena na teoretickou a praktickou část. V části teoretické jsou popsány základní informace o geodetických přístrojích a dále jsou vysvětleny metody měření. Praktická část obsahuje popis sledovaného objektu včetně toho, jak byla vytvořena jeho lokální měřičská síť. Hlavní částí je pak zpracování naměřených hodnot, které se vzájemně porovnají v programu Microsoft Excel, kde jsou vytvořeny grafy pro jednotlivé dříky. V závěru pak dojde k vyhodnocení všech měřených bodů a k jejich porovnání s ostatními a s normami pro mezní odchylky.
|
|
|
Historie fotbalového klubu v Kostelci nad Labem
Urban, Josef ; Pokorný, Ladislav (vedoucí práce) ; Dlouhý, Martin (oponent)
Cílem práce bylo popsat historii fotbalového klubu v Kostelci nad Labem. Okolnosti vzniku, jeho počátky a sportovní úsilí od počátku až do dnešních dnů. Práci jsem rozdělil do dvou tématických celků: teoretického a praktického. Prvních pět kapitol je zaměřeno teoreticky, šestá prakticky. V prvních dvou kapitolách jsou stanoveny cíle, úkoly a hypotézy práce. Třetí kapitola se zabývá charakteristikou fotbalu. Ve čtvrté kapitole se věnuji historickému vývoji kopané ve světe a u nás. Pátá kapitola je nejobsáhlejší a pojednává o vzniku a historii fotbalového klubu, ve výše uvedeném městě a o jeho současné podobě a činnosti . Šestá kapitola-rozhovor s fotbalovým pamětníkem a zároveň trenérem mládeže. Tuto část považuji za nejdůležitější a použité otázky směřují k ověření, či zamítnutí stanovených hypotéz. Práce má kompilační charakter a mohla by být přínosem jak pro lidi, kteří se zabývají fotbalem, tak i pro ty, kteří by se chtěli dozvědět něco o zakládání fotbalových klubů u nás a o jejich začátcích .
|
|
|
Systémy pro formální matematiku
Kunčar, Ondřej ; Urban, Josef (vedoucí práce) ; Štěpánek, Petr (oponent)
Typový systeé Mizaru je pomrěně sofistikovaný - obsahuje celou řadu vlastností, jako jsou závislé typy, atributy, přetěžování, konstrukci podtypů, struktury a další. Tyto vlastnosti nemalou měrou přispívají k tomu, že formalizace matematiky je v systému Mizar mnohem intuitivnější než v ostatních systé'mech. Zároveň vyvstává potřeba verifikovat matematické poznatky formalizované v Mizaru i v jiných systémech, aby se zvýšla jistota, že systém Mizar pracuje korektně. Je tedy přirozené pokusit se rekonstruovat tento typový systém v jiných systémech pro formalizaci matematiky. Tato práce navrhuje takovou rekonstrukci do systému HOL Light. Idea rekonstrukce je reprezentovat typy Mizaru jako predikáty v tomto systému (HOL Light). Součástí této práce je i pokus o co nejpřesnější zachycení relevantní části typového systému Mizaru. V závěru jsou pak uvedeny postřehy, které byly učiněny při návrhu a částecné implementaci navržené rekonstrukce.
|
|
|
Formalizace relace odvoditelnosti pro výrokové fuzzy logiky
Révay, Petr ; Běhounek, Libor (vedoucí práce) ; Urban, Josef (oponent)
Tato bakalářská práce předkládá formalizaci relace odvoditelnosti fuzzy logiky BL v prostředí matematického asistenta Isabelle/HOL a počítačově ověřené důkazy některých teorémů a meta-teorémů této logiky. Zároveň poskytuje popis procesu formalizace a použité prostředky Isabelle/HOL předvádí na jednodušších příkladech. Samostatná kapitola je pak věnována úvodu do logiky BL. Po nastudování dokumentace a volbě vhodných nástrojů Isabelle/HOL byla implementována formalizace, díky níž lze v programu ověřovat důkazy jak v axiomatizaci BL, tak i důkazy vlastností relace dokazatelnosti. Z těch byl formalizován především důkaz věty o lokální dedukci. Dále byly formalizovány důkazy řady teorémů BL, a to včetně odvození redundantních axiomů BL2 a BL3. Přínosem této práce je prozkoumání možností verifikátoru Isabelle/HOL z hlediska použití pro fuzzy logiku BL. Vzhledem k uvedeným poznatkům je možné práci použít jako základ širšího projektu formalizace fuzzy logik, které z logiky BL vycházejí. Powered by TCPDF (www.tcpdf.org)
|
|
|
Systémy pro formální matematiku
Kunčar, Ondřej ; Urban, Josef (vedoucí práce) ; Štěpánek, Petr (oponent)
Na'zev pra'ce: Syste'my pro forma'lnı' matematiku Autor: Ondrěj Kuncˇar Katedra (u'stav): Katedra teoreticke' informatiky a matematicke' logiky Vedoucı' diplomove' pra'ce: Mgr. Josef Urban, Ph.D. e-mail vedoucı'ho: josef.urban@gmail.com Abstrakt: Typovy' syste'm Mizaru je pomeřneˇ sofistikovany' - obsahuje celou rˇadu vlastnostı', jako jsou za'visle' typy, atributy, prětežˇova'nı', konstrukci podtypu˚, struktury a dalsˇı'. Tyto vlastnosti nemalou meřou prˇispı'vajı' k tomu, zě forma- lizace matematiky je v syste'mu Mizar mnohem intuitivneˇjsˇı' nezˇ v ostatnı'ch syste'mech. Za'rovenˇ vyvsta'va' potrěba verifikovat matematicke' poznatky forma- lizovane' v Mizaru i v jiny'ch syste'mech, aby se zvy'sˇila jistota, zě syste'm Mizar pracuje korektneˇ. Je tedy prˇirozene' pokusit se rekonstruovat tento typovy' syste'm v jiny'ch syste'mech pro formalizaci matematiky. Tato pra'ce navrhuje takovou rekonstrukci do syste'mu HOL Light. Idea rekon- strukce je reprezentovat typy Mizaru jako predika'ty v tomto syste'mu (HOL Light). Soucˇa'stı' te'to pra'ce je i pokus o co nejprěsneˇjsˇı' zachycenı' relevantnı' cˇa'sti typove'ho syste'mu Mizaru. V za'veřu jsou pak uvedeny postrěhy, ktere' byly ucˇi- neňy prˇi na'vrhu a cˇa'stecňe' implementaci navrzěne' rekonstrukce. Klı'cˇova' slova: typovy' syste'm, Mizar, HOL...
|
host ::
RSS.