|
Deformační, napjatostní a bezpečnostní analýza rámu lehokola.
Verner, Jan ; Majer, Zdeněk (oponent) ; Vrbka, Jan (vedoucí práce)
Práce obsahuje deformační, napjatostní a bezpečnostní analýzu rámu lehokola firmy AZUB. Po seznámení s historií, definicí prutu, prutovými předpoklady a vytvoření výpočtového modelu rámu, se přešlo k samotnému řešení problému. Byly kontrolovány 3 zátěžné stavy - klid / rovnoměrná jízda, brzdění a šlapání. Třetí stav byl podroben hlubší analýze. Řešen byl i průhyb rámu v jednom zvoleném místě pro všechny stavy. Spočteny byly VVÚ, redukované napětí a bezpečnost. Pro první stav proběhlo srovnání s MKP. Byl také vytvořen program v jazyce MATLAB, zvládající výpočet uživatelem zvolené geometri e rámu a zatížení.
|
| |
|
Metriky procesů vývoje softwaru
Verner, Jan ; Bartík, Vladimír (oponent) ; Kreslíková, Jitka (vedoucí práce)
Pojem proces pronikl v posledních letech do všech oblastí lidské činnost, kde pomáhá systematizovat dříve neorganizovanou práci. Tato práce se zaměřuje na analýzu procesů pomocí statistických metod (Statistical process control). V úvodu přináší základní teoretické poznatky z oblasti managementu procesů. Hlavní část je pak věnována samotným technikám, které se uplatňují při analýze dat. Jsou zde shrnuty postupy, jak jednoduše a efektivně posuzovat chování procesu pomocí grafů a statistických metod a jak následně z výsledků analýz vyvodit příslušné kroky vedoucí ke zlepšení procesů. Poslední část této práce je věnována praktické ukázce analýzy reálných dat pomocí vytvořené aplikace a rozboru dosažených výsledků, které prokazují obecnou vhodnost a použitelnost statistických metod analýzy dat.
|
| |
| |
|
The continuum function on singular cardinals
Stejskalová, Šárka ; Honzík, Radek (vedoucí práce) ; Verner, Jonathan (oponent)
Bakalářská práce se zabývá chováním funkce kontinua na singulárních kardinálech v teorii ZFC. Práce je rozdělena na dvě části. První část se soustředí na Silverovu větu a rozebírá dva různé důkazy této věty, původní Silverův a čistě kombinatorický důkaz dle Baumgartnera a Přikrého. Druhá část je věnována hypotéze singulárních kardinálů, která ovlivňuje chování funkce kontinua. V práci je ukázáno, za předpokladu velkých kardinálů, že hypotéza singulárních kardinálů je nedokazatelná nad teorií ZFC. Pomocí Eastonova a Přikrého forcingu je nalezen model ZFC, ve kterém hypotéza singulárních kardinálů neplatí.
|
|
The continuum function on regular cardinals in the presence of large cardinals
Blicha, Martin ; Honzík, Radek (vedoucí práce) ; Verner, Jonathan (oponent)
V této práci zkoumáme, jak na sebe vzájemně působí velké kardinály a funkce kontinua. Z Eastonova výsledku víme, že funkce kontinua na regulárních kardinálech má v ZFC velkou volnost. Avšak velké kardinály kladou na chování funkce kontinua další omezující podmínky. Vzájemné ovlivňování velkých kardinálů a funkce kontinua se liší pro jednotlivé typy velkých kardinálů. Abychom poukázali na tyto rozdíly, soustředíme se na slabě kompaktní a měřitelný kardinál. Pro srovná- ní také přezkoumáme nepopsatelné kardinály, na kterých ukážeme, že není snadné přesně určit důvod těchto rozdílů. 1
|
|
Bezestrojová charakterizace polynomiálně počitatelných funkcí
Profeld, Michal ; Švejdar, Vítězslav (vedoucí práce) ; Verner, Jonathan (oponent)
Tato bakalářská práce se zabývá sestavením Matematického systému. Tento systém je pečlivě vypracovaný, tak aby byl uzavřený na funkce, které v něm figurují. Je vytvořen tak, aby pokryl funkce určitého růstu. Konkrétně funkce, o kterých můžeme říct, že operují v polynomiálním čase na Turingové stroji. Platí tedy, že náš systém obsahuje všechny funkce, které na Turingových strojích běží v polynomálním čase, nebo v čase rychlejším a žádné jiné funkce neobsahuje. Tvorba tohoto mate- matického systému byla ovlivněna především prací Samuela R. Busse [1] 1
|
|
Koza and Prolog
Frauknecht, Jan ; Švarný, Petr (vedoucí práce) ; Verner, Jonathan (oponent)
Tato práce uvádí vztah umělé inteligence ke genetickému pro- gramování a některé vlastnisti logického programování. Hlavním cílem práce ovšem je naprogramovat algoritmus genetrického programování. Tento program operuje s logickými programy. Algoritmus je imple- mentován v SWI-Prologu. Práce obsahuje popis zdrojového kódu této implementace a výsledky jejího testování. Testování implementace nabízí několik možností budoucího rozšíření práce. 1
|
| |