|
|
Simulace architektury mikroprocesoru 8051
Šimon, Petr ; Křoustek, Jakub (oponent) ; Hruška, Tomáš (vedoucí práce)
V dnešní době je více jak 90% procesorů používáno ve vestavěných systémech. Návrh procesorů pro vestavěná zařízení se stává čím dál složitější, a proto je nutné tuto práci co nejvíce automatizovat. Tato bakalářská práce se věnuje návrhu mikrokontroléru 8051. Návrh je proveden podle dostupné dokumentace a k popisu procesoru je použit jazyk ISAC. Výsledný model je ověřen řadou simulací, které jsou na konci práce analyzovány.
|
|
|
Emulátor malého domácího počítače ZX Spectrum
Šimon, Petr ; Šimek, Václav (oponent) ; Růžička, Richard (vedoucí práce)
Osmibitový počítač ZX Spectrum vznikl před 30 lety. Ve své době zažil obrovský úspěch a dodnes má početnou základnu příznivců, kteří stále vytvářejí nové aplikace a hry. Vznikají však i nová hardwarová rozšíření pro připojení moderních periferií, jako jsou IDE HDD, paměťové karty apod. Tato práce si dává za cíl navrhnout a postavit emulátor počítače ZX Spectrum, který bude založen na moderní technologii FPGA a bude používat moderní periferie jako VGA monitor, SD/MMC paměťové karty apod.
|
|
|
Lebesgueova věta o hustotě pro Haarovu míru
Sterzik, Marek ; Simon, Petr (vedoucí práce) ; Zahradník, Miloš (oponent)
Práce se zabývá analogií Lebesgueovy věty v prostoru 2k s Haarovou mírou a souvisejícím tématem -k-linkovanosti algebry řešitelných množin tohoto prostoru. Celý text je rozdělen do tří kapitol. První kapitola je věnována vysvětlení nezbytných pojmů a seznamuje čtenáře se základními vlastnostmi tohoto prostoru. Druhá kapitola se potom zabývá vlastní Lebesgueovou větou. Po nezbytném zavedení pojmu bodu hustoty je prakticky celý zbytek kapitoly věnován důkazu této věty. Ta říká, že symetrická diference libovolné měřitelné množiny a množiny jejích bodů hustoty má míru nula. Třetí kapitola je potom věnována větě o -k-linkovanosti, která říká, že algebra měřitelných množin prostoru 2k je -k-linkovaná, pokud je 2 . Klíčová slova: Lebesgueova věta o hustotě, Haarova míra, -k-linkovanost.
|
|
|
Test Rabina-Millera a volba báze
Franců, Martin ; Simon, Petr (vedoucí práce) ; Čunát, Vladimír (oponent)
Práce se zabývá různými způsoby volby báze v Rabinově-Millerově testu. V teoretické části je učiněn krátký přehled prvočíselných testů podobných Rabinovu-Millerovu testu a je dokázáno několik tvrzení o struktuře množiny sil- ných lhářů v multiplikativní grupě. Vybrané netradiční volby báze jsou otestovány na množině lichých složených čísel od 100 do 200 000 000 a výsledky jsou porov- nány s výsledky při obvyklé volbě báze. Je vyslovena domněnka o vylepšení testu prostřednictvím používání bází určitého tvaru vzhledem k testovanému číslu. Sou- částí práce je také program, který implementuje posuzované způsoby volby báze. Tento program umožňuje uživateli pohodlné srovnávání výsledků testů s různými způsoby volby báze. V druhé části práce je dokumentace programu. 1 Seznam tabulek 2.1 Výsledky testů s různými volbami báze na testovací množině. . . . 19 2.2 Výsledky testů s různými volbami báze na spsp(2,3,5) < 101 2 z článku [7]. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 3.1 Typy zpráv. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 4.1 Třídy hledačů bází. . . . . . . . . . . . . . . . . . . . . . . . . . . 32 4.2 Názvy a funkce reportérů. . . . . . . . . . . . . . . . . . . . . . . 33 2 Seznam obrázků 2.1 Hustota lhářů v závislosti na poměru lháře ku testovanému...
|
|
|
Souvislé kompaktifikace
Vaváčková, Martina ; Simon, Petr (vedoucí práce) ; Vejnar, Benjamin (oponent)
Název práce: Souvislé kompaktifikace Autor: Martina Vaváčková Katedra: Katedra teoretické informatiky a matematické logiky Vedoucí bakalářské práce: prof. RNDr. Petr Simon, DrSc., Katedra teoretické informatiky a matematické logiky Abstrakt: Tato práce se věnuje studiu souvislých kompaktifikací vybraných Ticho- novových prostorů. Předmětem zájmu jsou především maximální prvky v relaci částečného uspořádání, definované na množině všech souvislých kompaktifikací daného prostoru. Nejprve charakterizujeme maximální souvislé kompaktifikace prostorů s konečně mnoha komponentami a zmiňujeme některé, zejména zobec- něné uspořádané prostory, které nemají žádnou souvislou kompaktifikaci. Dále se zabýváme souvislými kompaktifikacemi prostoru racionálních čísel. Popisujeme konstrukci kompaktifikace tohoto prostoru analogickou ke konstrukci Čechovy- Stoneovy kompaktifikace a ukazujeme nutnou a postačující podmínku souvislosti a maximality takové kompaktifikace. Klíčová slova: souvislý prostor, kompaktní prostor, konektifikace, kompaktifikace
|
|
| |
|
| |
|
|
Aplikace Baireovy věty
Peprníková, Ľubica ; Simon, Petr (vedoucí práce) ; Pyrih, Pavel (oponent)
Cielom tejto práce je v troch roznych prípadoch dokázat', že množina prvkov s danou vlastnost'ou je množina typických prvkov. Najskor dokážeme, že typická spojitá funkcia, definovaná na intervale [0; 1], nemá deriváciu v žiadnom bode. Potom dokážeme, že typická kompaktná podmnožina R2 je diskontinuum. A napokon ukážeme, že typické rovinné kontinuum je nerozložitel'né. Doležitým nástrojom bude Baireova veta, ktorej použitie nám okrem hustosti zaistí zároveň aj to, že daná množina je spočetným prienikom otvorených množín.
|
|
|
Complete Boolean Algebras and Extremally Disconnected Compact Spaces
Starý, Jan ; Simon, Petr (vedoucí práce) ; Bukovský, Lev (oponent) ; Thümmel, Egbert (oponent)
Zkoumáme existenci specielních bod v nekonečných extremálně nesouvislých kompaktních topologických prostorech, které dosvědčují jejich nehomogenitu. S použitím Stoneovy duality ekvivalentně hledáme ultrafil- try na úplných Booleových algebrách s jistými kombinatorickými vlastnostmi. Zavádíme pojem koherentního ultrafiltru (koherentního P-bodu, koherentně selektivního ultrafiltru). Ukazujeme, že generická existence těchto ultrafiltr; na úplných Booleových ccc algebrách s váhou nepřesahující kontinuum je konzistentní s teorií množin, a že tyto utrafiltry slouží jako svědci nehomogenity duálních Stoneových prostor. Studujeme vlastnosti sekvenciální topologie na σ-úplných Booleových algebrách a její vztah k otázkám spojeným s měřitelností a subměřitelností těchto algeber. Ptáme se, zda sekvenciální topologie Booleovy algebry mže být kompaktní a tuto otázku částečně zodpovídáme pro speciální případ Suslinovy algebry.
|
|
| |
host ::
RSS.