|
|
Specifikační jazyky a nástroje pro analýzu a verifikaci bezpečnostních protokolů
Ptáček, Michal ; Trchalík, Roman (oponent) ; Očenášek, Pavel (vedoucí práce)
Tato diplomová práce se zabývá analýzou verifikačních nástrojů, které jsou používané pro automatickou verifikaci převážně bezpečnostních protokolů. Bezpečnostní protokoly se používají pro vytvoření privátních komunikačních kanálů v nezabezpečené síti. Bezpečnost nebude nikdy absolutní, a proto je nezbytné stále hledat chyby v bezpečnostních protokolech a podle nich pak tyto protokoly vylepšovat. V rámci této diplomové práce jsem se zaměřil na hledání různých verifikačních nástrojů na Internetu, následně jsem podle dostupných informací každý nalezený nástroj popsal v této práci tak, aby si čitatel mohl snadno vybrat, který nástroj se hodí zrovna pro ten jeho konkrétní problém. Na konci popisu jednotlivých nástrojů jsem hlavní klady a zápory shrnul do několika bodů.
|
|
|
Skladová evidence s napojením elektronického obchodu
Farník, Filip ; Očenášek, Pavel (oponent) ; Rychlý, Marek (vedoucí práce)
Tato Bakalářská práce se zabývá seznámením s problematikou skladové evidence, analyzováním evidovaných dat a probíhajících procesů ve firmě Knihy&Škola. Dále navrhnutím vhodného datového modelu a implementaci informačního systému, který je napojen na internetový obchod. V závěrečné časti diskuse nad možným dalším vývojem systému. Informační systém je postaven na webových technologií a je nasazen do zkušebního provozu firmy Knihy&Škola.
|
|
|
Správa projektů stavební firmy
Barjak, Maroš ; Očenášek, Pavel (oponent) ; Jirák, Ota (vedoucí práce)
Předmětem této práce je vytvoření informačního systému pro stavební firmu Hydroeco, s. r. o., umožňujícího zejména správu projektů, dokumentaci a vizualizaci projektových podkladů. V úvodu jsou popsané technické prostředky potřebné pro vytvoření a chod aplikace. Následuje popis zpracování požadavků zadavatele a vytvoření modelu systému. Ten je vystavěn na PHP Zend Frameworku, který využívá architekturu Model-View-Controller a objektově orientovaný přístup. Dále byly použity technologie jako HTML, CSS, JavaScript, jQuery, MySQL a pro vizualizaci knihovna JpGraph, Google Maps a nástroj Autodesk Freewheel. V druhé části je popsána samotná implementace, testování a návrh rozšíření systému.
|
|
|
Aplikace pro sledování polohy zařízení pro OS Windows Phone
Pupák, Juraj ; Trchalík, Roman (oponent) ; Očenášek, Pavel (vedoucí práce)
Aplikace implementována v rámci této práce se zabývá získavaním pozice o zařízení pomocí systému GPS. Aplikace je implementována pro platformu Windows Phone 7.5. Aplikace umožňuje vytvářet profily, které se pak vyhodnocují se získanými pozicemi. Vyhodnocování pozice probíhá na základě dvou bodů pomocí formuly Haversine. Teoretická část práce se zabýva technologiemi a systémem GPS, praktická část se zabýva stránkou návrhu a implementace.
|
|
|
NNTP server jako služba pro systémy založené na technologii Windows-NT
Loupanec, Josef ; Ráb, Jaroslav (oponent) ; Očenášek, Pavel (vedoucí práce)
Tato práce se zabývá analýzou požadavků, návrhem a implementací internetového diskusního serveru. Přesněji řečeno, jedná se o server spravující diskusní skupiny s příspěvky a zajišťující jejich dostupnost prostřednictvím protokolu NNTP a HTTP. Server podporuje autentizaci uživatele a disponuje volitelným proxy módem, kdy jsou všechny NNTP požadavky přeposílány na vzdálený NNTP diskusní server. Součástí programu je též mechanismus zajišťující stahování příspěvků ze vzdálených NNTP serverů a tím pádem plnící distribuční funkci. Aplikace je určena pro operační systémy MS Windows počínaje verzí NT a vyšší. Program poběží jako služba NT a je konfigurovatelný prostřednictvím grafického uživatelského rozhranní. V dokumentu jsou také obsaženy teoretické informace nutné pro praktické zvládnutí výše uvedených kroků.
|
|
|
Motivační výuková hra na platformě Android
Kučera, Martin ; Očenášek, Pavel (oponent) ; Kreslíková, Jitka (vedoucí práce)
Cílem této diplomové práce je vytvoření prototypu výukové hry, která by měla usnadnit rozhodování při výběru zaměření budoucího studia nebo záliby. Záměrem hry je poskytnout názorný a především velmi pozvolný úvod do problematiky logických systémů. Teoretická část práce se zabývá tématy potřebnými pro návrh hry. Vysvětluje logické systémy, hradla, klopné obvody, věnuje se žánrům počítačových her a zaměřuje se zejména na puzzle hry včetně jejich historie. Dále diplomová práce představuje problematiku multiplatformního vývoje pro mobilní zařízení i počítače, stručně popisuje několik známých multiplatformních knihoven. K závěru předvádí a srovnává několik vybraných aplikací, které slouží pro podporu výuky logických systémů.
|
|
|
Monitorování běhu OS Linux
Korček, Juraj ; Očenášek, Pavel (oponent) ; Trchalík, Roman (vedoucí práce)
Cieľom tejto bakalárskej práce je návrh a následná implementácia monitorovacieho nástroja pre operačné systémy GNU/Linux. Tento nástroj sleduje jednotlivé logy a taktiež vyťaženia zdrojov a pri zistení chyby, vysokého zaťaženia alebo abnormálneho správania systému notifikuje systémového administrátora o všetkých dôležitých incidentoch. Výsledný produkt je určený hlavne pre systémových administrátorov, ktorým zjednoduší prácu tým, že ich upozorňuje iba na dôležité zmeny v systéme. Nástroj je implementovaný v jazyku Python a je rozdelený do menších nezávislých skriptov z dôvodu ľahšej implementácie nových skriptov. Tento programovací jazyk bol zvolený kvôli bezproblémovej podpore medzi rôznymi distribúciami GNU/Linux.
|
|
|
Modelování HW designu v UGE
Varga, Ladislav ; Očenášek, Pavel (oponent) ; Smrčka, Aleš (vedoucí práce)
Predmetom tejto práce bolo navrhnúť zásuvný modul pre program Univerzálny grafický editor, ktorý uživateľom umožní vytvárať návrh hardware. Návrh HW architektúry začína spravidla kreslením blokových schém navrhovaného systému. Návrh je potom zapísaný v niektorom z jazykov, slúžiacich pre popis hardware. Keďže implementácia návrhu v týchto jazykoch má modulárnu štruktúru, tzn. podobnú štruktúre blokovej schémy HW návrhu, je možné uvažovať o preklade schémy, ktorú v programe nakreslí vývojár, do zdrojového kódu jazyka pre popis hardware. Táto myšlienka má za cieľ uľahčiť návrhárom HW prácu, ktorá môže byť zautomatizovaná. Navrhnutý modul poskytuje prostriedky pre vytváranie HW schém a komponent na rôznej úrovni abstrakcie a interaktívne týmito úrovňami prechádzať. Modul tiež implementuje preklad nakreslenej HW schémy do kódu jazyka VHDL.
|
|
|
Informační systémy založené na virtuálním souborovém systému
Jonáš, Martin ; Očenášek, Pavel (oponent) ; Burget, Radek (vedoucí práce)
Tato práce popisuje koncepci informačního systému založeného na virtuálním souborovém systému a příčiny, které vedly ke vzniku této koncepce. Rozebírá základní přístupy k řešení obvyklých částí funkcionality informačních systémů (jako je řízení přístupových práv, strukturování dat a řízení konfigurace systému) a snaží se najít koncepci, která by tyto požadavky na funkčnost řešila konzistentně a jednoduše. Hlavním cílem navrhované koncepce je vytvořit systém, který přináší jednoduchost a intuitivnost uživatelského rozhraní, sjednocení obecných částí funkčnosti a maximální flexibilitu a rozšiřitelnost. Celá koncepce je založena na reprezentaci systému v podobě stromové struktury virtuálních souborů se kterými uživatel provádí jednotlivé akce.
|
|
| |
host ::
RSS.