|
|
Koncový polyfunkční dům v Prostějově
Janeček, Jan ; Vlček, Karel (oponent) ; Vlček, Milan (vedoucí práce)
Diplomová práce je zaměřená na návrh a vypracování projektové dokumentace polyfunkčního domu v Prostějově. Jedná se o šestipodlažní, podsklepený objekt, kde poslední podlaží je podkroví. Konstrukční systém je podélný stěnový z systému Porotherm. Stropy jsou keramické panely Heluz. Střecha je navržena jako mansardová. Objekt je napojený na vedlejší budovu.
|
|
|
Řízení pohybů dvouramenného žonglovacího stroje
Janeček, Jan ; Marada, Tomáš (oponent) ; Němec, Zdeněk (vedoucí práce)
Tématem projektu, jehož součástí je tato diplomová práce, je vytvoření dvouramenného žonglovacího stroje. Projekt je rozdělen do dvou diplomových prací. Tato práce se zabývá řízením pohybů ramen žonglovacího stroje. V první části diplomové práce jsou informace o použitých hardwarových a softwarových prostředcích. V druhé části je vysvětlena činnost použitého regulačního obvodu, použitých komunikačních protokolů a samotná implementace celého řízení.
|
|
|
Stanovení rozdílu cen garáží v Prostějově
Janeček, Jan ; Nováková, Tereza (oponent) ; Pertl, Marek (vedoucí práce)
Diplomová práce srovnává vybrané způsoby ocenění věcí nemovitých typu garáž v lokalitě města Prostějov. Způsoby ocenění byly dle zadání práce zvoleny: nákladový, porovnávací dle vyhlášky a porovnávací dle databáze. Diplomová práce se skládá z teoretické části, kde je seznámení se základními pojmy, analýzou trhu a se způsoby oceňování věcí nemovitých. Poté následuje praktická část, kde je popis lokality a samotné ocenění vybraných garáží s jejich popisem a fotodokumentací. Na základě získaných dat jsou pak v závěru práce vyhodnoceny odlišnosti a jejich příčiny mezi danými způsoby ocenění.
|
|
| |
|
| |
|
|
Trust Management Systems in P2P Networks
Novotný, Miroslav ; Zavoral, Filip (vedoucí práce) ; Janeček, Jan (oponent) ; Fujita, Satoshi (oponent)
V dnešní době se architektura určitých typů služeb jako jsou distribuované výpočty, distribuovaná úložiště nebo sítě pro distribuci obsahu, posouvá od tradičního modelu klient-server k více škálovatelnému a robustnějšímu P2P modelu. V takto složitém, anonymním a otevřeném systému je ale velice komplikované zajistit alespoň základní míru zabezpečení. Největší hrozbu představují útočníci, kteří dokáží spolupracovat a s použitím sofistikovaných strategií se snaží obejít stávající bezpečnostní systémy. Jako obrana proti těmto uživatelům vznikly takzvané systémy na řízení důvěry v P2P sítích. Nicméně jejich účinnost právě proti sofistikovaným strategiím není dostatečně ověřena. V této práci jsme navrhli nový systém pro řízení důvěry s názvem BubbleTrust a vyvinuli simulační framework P2PTrustSim pro testování různých systémů na řízení důvěry a libovolné strategii používané útočníky. Navržený framework definuje několik kriterií, která pomohou vyhodnotit úspěšnost dané strategie oproti zkoumanému systému. V rámci simulací jsme testovali čtyři systémy jež reprezentují současné hlavní přístupy k řízení důvěry a BubbleTrust.
|
|
| |
|
|
Automated verification of software
Šerý, Ondřej ; Plášil, František (vedoucí práce) ; Janeček, Jan (oponent) ; Ghezzi, Carlo (oponent)
Přes výzkumné usilí věnované automatické veri kaci software, její pronikání do softwarového průmyslu je stále spíše pomalé. Toto váhání mělo několik důvodů 1) složitost posouzení jednotlivých nástrojů, 2) složitost použití nástrojů a jejich integrace do vvývojového procesu. Pro usnadnění výběru jednotlivých nástrojů je součástí práce přehled technik založených na model checkingu kódu s porovnáním technik na základě jednotných kritérií. Navíc práce obsahuje průmyslovou případovou studii používající model checker BLAST. K posouzení vhodnosti nástrojů je potřeba i odpovovídajícího vzdělání, přikládáme tedy i své zkušenosti s přípravou dvou magisterských přednášek o formálních metodách. Integrací snadno použitelného speci kačního jazyka do model checkeru BLAST, přispíváme k usnadnění použití tohoto nástroje. Mimo to představujeme koncept unit checkingu, tedy kombinace unit testingu a model checkingu kódu. Unit checking pomáhá s integrací model checkingu kódu do vývojového procesu.
|
|
|
Universality in Amorphous Computing
Petrů, Lukáš ; Wiedermann, Jiří (vedoucí práce) ; Janeček, Jan (oponent) ; Neruda, Roman (oponent)
Amorphous computer is a theoretical computing model consisting of randomly located tiny devices (called nodes) in some target area. The nodes of an amorphous computer can communicate using short-range radio. The communication radius is small compared to the size of the target area. The nodes are all identical, initially have no identi ers, work asynchronously and there is no standard communication protocol. An amorphous computer must work for any number of nodes under reasonable statistical assumptions concerning the spatial distribution of nodes. Moreover, the computation should use very limited amount of memory on each node. For the just described concept of amorphous computer we investigate the question whether a universal computation is possible at all in a corresponding theoretical model. To answer this question, several subsequent steps are performed. In the rst step, we design a formal minimalist model of a node and of the amorphous computer as a whole. In the second step, we develop communication protocol for the amorphous computer. In the last step, we show the universality by simulating a computation of a universal machine. The size of the amorphous computer will depend on the space complexity of the simulated machine. All the previously mentioned steps are described in detail in this work....
|
|
|
Bezpečnost bezdrátových sítí
Mlčochová, Ivana ; Janeček, Jan (vedoucí práce) ; Peterka, Jiří (oponent)
S rostoucí popularitou bezdrátových sítí roste také riziko napadení nebo zneužití sítě, ať už záměrně či nikoli. Tato bakalářská práce popisuje užívané bezpečnostní protokoly WEP, WPA a WPA2, analyzuje jejich slabiny a diskutuje možnosti útoku využitím nedostatků protokolů. Jelikož samotný protokol není pro zabezpečení žádné sítě dostačující, jsou v práci navrženy podpůrná bezpečnostní opatření minimalizující riziko úspěšného útoku. Jedním z cílů práce bylo experimentálně ověřit, že protokol WEP má s bezpečností skutečně málo společného a neměl by být vůbec používán ani v domácích sítích. V souvislosti s tím proběhl průzkum míry zabezpečení bezdrátových sítí na území Prahy, který prokázal alarmující skutečnost: většina bezdrátových sítí je stále zabezpečena pouze protokolem WEP nebo není zabezpečena vůbec.
|
host ::
RSS.