|
| |
|
| |
|
|
Lelkova hypotéza
Bartošová, Dana ; Simon, Petr (vedoucí práce) ; Balcar, Bohuslav (oponent)
Lelkova hypotéza, která říká, že metrická kontinua se spanem nula jsou chainable, je jedním z nejvíce studovaných problémů v teorii kontinuí. V této práci formulujeme Lelkovu domněnku pro nemetrická kontinua a dokážeme, že pokud existuje nemetrický protipříklad na Lelkovu hypotézu, můžeme jej přeměnit na metrický. Každý spočetný elementární podsvaz L svazu 2X všech uzavřených podmnožin kontinua X lze reprezentovat metrickým kontinuem wL pomocí Wallmanovy reprezentace distributivních svazů. Použitím teorie množin získáme L takové, že X není chainable tehdy a jen tehdy, pokud wL není chainable a X má span nula právě tehdy když wL má span nula. V důkazu druhé části tvrzení používáme Shelahovu větu o izomorfních ultramocninách elementárně ekvivalentních modelů.
|
|
|
Relative topological properties
Chodounský, David ; Simon, Petr (oponent) ; Murtinová, Eva (vedoucí práce)
In this thesis we study the concepts of relative topological properties and present some basic facts and relations between them. Our main focus is on various versions of relative normality, relative regularity and relative compactness. We give examples which answer some open questions and contradict some conjectures in the literature. The theory of relative topological properties was introduced by A. V. Arhangel'skii and H. M. M. Genedi in 1989. Our main results are (1) an example which presents a way to modify any Dowker space to get a normal space X such that X × [0, 1] is not -normal (Example 4.2.12). (2) A theorem which implies the existence of a non-Tychonoff space that is internally compact in a larger regular space (Theorem 5.2.8), and (3) a theorem that characterizes couples of closed subsets of the Niemytzki plane which cannot be separated by open sets (Theorem 4.3.4).
|
|
|
Lebesgueova věta o hustotě pro Haarovu míru
Sterzik, Marek ; Zahradník, Miloš (oponent) ; Simon, Petr (vedoucí práce)
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.
|
|
| |
|
|
Obchodní modely IT startupů založené na sdílené ekonomice
Šimon, Petr ; Matuštík, Ondřej (vedoucí práce) ; Srpová, Jitka (oponent)
Cílem této diplomové práce je analyzovat aktuální stav sdílené ekonomiky a navrhnout model kritických faktorů úspěchu u IT startupů působících ve specifické oblasti přepravních služeb. Výstup je posléze validován na několika vybraných společnostech. Zvolený problém byl řešen modifikovanou kvalitativní metodou kritických faktorů úspěchu, jejíž autorem je John F. Rockart. Získané faktory byly následně zasazeny do kauzálního modelu využívajícího principů systémové dynamiky. Výsledky této práce umožňují pochopit zákonitosti, které se skrývají za úspěchem přepravních služeb působících ve sdílené ekonomice. Informace jsou přínosné nejen pro startupy samotné, ale i pro akademickou sféru a potenciální investory.
|
|
|
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.
|
|
|
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.
|
|
|
Podnikatelský plán pro zprostředkovatelský portál
Šimon, Petr ; Bruckner, Tomáš (vedoucí práce) ; Chlapek, Dušan (oponent)
Cílem této bakalářské práce je vytvořit podnikatelský plán a navrhnout internetový portál, který by netradiční formou zprostředkovával překlady. Výsledný dokument by měl sloužit jako podklad pro samotnou realizaci. Nejdříve jsou obsaženy informace o tvorbě podnikatelského plánu a také je prozkoumán princip crowdsourcingu, na kterém je služba postavena. Následuje samotný podnikatelský plán a návrh webového rozhraní, který zahrnuje i popis uživatelských rolí a databázové struktury. Mým přínosem v této práci je zejména rozšíření povědomí o obchodních modelech založených na crowdsourcingu a vytvoření praktického podnikatelského plánu. Ten může čtenářům spolu s informační základnou sloužit jako inspirace pro vlastní tvorbu.
|
host ::
RSS.