|
|
Aplikace pro zpracování dat z oblasti evoluční biologie
Vogel, Ivan ; Burgetová, Ivana (oponent) ; Očenášek, Pavel (vedoucí práce)
Tvorba fylogenetických stromů je v současnosti běžnou vizualizační metodou na vyjádření evolučních vztahů druhů. Tato práce se soustředí na vysvětlení matematické teorie popisující molekulární fylogenetiku a na návrh modifikovaného algoritmu na odvozování evolučního stromu založeného na vnitroskupinové analýze nukleotidových a aminokyselinových sekvencí. Dále popisuje objektový návrh a implementaci těchto metod v jazyce Python a integraci nástroje do velkého bioinformatického portálu. Navžená řešení dávají lepší výsledky oproti konvenčním metodám při zhlukování předdefinovaných shluků a jsou co do vstupních dat široce použitelné. Práce také závěrem diskutuje možné jiné aplikace navrhnutých metod a ich rozšíření na iné obory informačních technologií.
|
|
|
Podpora rozhodování v CRM systému
Filus, Michal ; Očenášek, Pavel (oponent) ; Jirák, Ota (vedoucí práce)
Práce se zabývá problematikou podpory rozhodování v CRM systémech. Cílem práce bylo navrhnout modul pro podporu rozhodování v CRM systému použítím analytických nástrojů od skupiny Pentaho. Teoretická část práce obsahuje popis datových skladů a získávání znalostí z databází se zaměřením na analytické operace a podporu rozhodování. Dále obsahuje stručný popis CRM systémů a možné aplikace podpory rozhodování v těchto systémech. Praktická část práce se zabývá architekturou CRM systému CRMminer a popisuje modul pro podporu rozhodování v tomto systému.
|
|
|
Podpora tabule v Kopete
Pohl, Lukáš ; Očenášek, Pavel (oponent) ; Mlích, Jozef (vedoucí práce)
Cílem diplomové práce je navrhnout aplikaci, sdílenou tabuli, která umožňuje společné kreslení a sdílení multimediálního obsahu v~reálném čase v~síťovém prostředí pomocí protokolu XMPP mezi dvěma účastníky. Aplikace je součástí open source IM klienta Kopete v~prostředí KDE operačního systému Linux.
|
|
|
Evoluční knihovna pro podporu návrhu komunikačních protokolů
Sameš, Martin ; Trchalík, Roman (oponent) ; Očenášek, Pavel (vedoucí práce)
Potreba vyvíjať nové a nové bezpečnostné protokoly, ktoré zodpovedajú stanoveným požiadavkám vedie k automatizácií ich návrhu a následne lepšiu možnosť verifikácie. Táto práca sa zaoberá možnosťou automatizovaného návrhu protokolov s využitím genetických algoritmov. Porovnaním jednotlivých prístupov a následným vytvorením evolučnej knižnice pre podporu návrhu bezpečnostných protokolov.
|
|
|
Webový informační systém a principy jeho zabezpečení
Nehasil, Filip ; Rychlý, Marek (oponent) ; Očenášek, Pavel (vedoucí práce)
Hlavním tématem práce je problematika zabezpečení webové aplikace. Jsou rozebrána potenciální zranitelná místa a navrženy způsoby ochrany aplikace v oblastech řízení přístupu, přenosu dat, uživatelského vstupu, výstupu a uchování stavu. S ohledem na bezpečnost jsou dále popsána možná řešení auditu a zálohování, zabezpečení webového serveru, návrhu databáze a obrany proti internetovým robotům. Projekt se rovněž zabývá analýzou požadavků, detailním návrhem a implementací klubového informačního systému, na němž jsou uvedená bezpečnostní řešení demonstrována. V rámci tohoto IS je mimo jiné implementován systém evidence členů klubu, evidence chovných jedinců a jejich rodokmenů, systém zveřejňování klubových akcí a jejich výsledků a systém pro správu dalšího obsahu webové prezentace. Veškerá implementační řešení jsou postavena na technologiích HTML, CSS, JavaScript, PHP a MySQL.
|
|
|
Knihovna pro zpracování dokumentů OpenXML
Belica, Peter ; Očenášek, Pavel (oponent) ; Burget, Radek (vedoucí práce)
Práce popisuje typ dokumentů Office Open XML, pro které se rovněž používá označení OpenXML. Jsou vysvětleny základní vlastnosti těchto dokumentů a jejich struktura. Dále jsou přiblíženy i další technologie DOM a XHTML nezbytné pro realizaci. Je navržena knihovna, konzument, která čte tyto dokumenty, vytvoří pro ně DOM strukturu a následně ji vyexportuje do souboru XHTML.
|
|
|
Modulární CMS pro správu webové prezentace
Dušek, David ; Očenášek, Pavel (oponent) ; Trchalík, Roman (vedoucí práce)
Náplní této práce je návrh a implementace systémů pro správu webové prezentace. Na začátku práce je definován pojem systému pro správu obsahu a jsou rozebrány stávající volně dostupné systémy tohoto typu. Následně jsou určeny požadavky na navrhovaný systém a to včetně aplikace, která umožní hromadnou centralizovanou správu verzí systému, provozovaného na různých doménách. V další části je vypracován návrh, podle kterého je systém naimplementován s použitím aplikačního rámce Nette a databázové vrstvy Doctrine.
|
|
|
Injekce poruch pro webové služby
Žouželka, Martin ; Očenášek, Pavel (oponent) ; Rychlý, Marek (vedoucí práce)
Dokument se zaměřuje především na technologie webových služeb a jejich testování pomocí metod pro injekci poruch. Práce se z části zaobírá i servisně orientovanou architekturou, jakožto používaným standardem pro implementaci webových služeb, a také testováním softwaru obecně. Praktická část projektu zahrnuje návrh a realizaci nástroje, který podle zadaných kritérií dokáže testovat nejpoužívanější typy webových služeb. Pro demonstraci jeho funkčnosti byly ve výsledku provedeny testy několika ukázkových a veřejně dostupných webových služeb.
|
|
|
Prostředí pro tvorbu interaktivních webových stránek
Moravec, Jaroslav ; Očenášek, Pavel (oponent) ; Burget, Radek (vedoucí práce)
Tato diplomová práce popisuje prostředí pro tvorbu a správu interaktivních webových stránek. Zabývá se jak návrhem struktury, tak visuální stránkou. Základní myšlenkou je, že se stránka skládá z jednotlivých prvků a tyto prvky lze na stánku libovolně poskládat. Těchto prvků je několik druhů: interaktivní, obsahové, databázové a informativní. Dále toto prostředí obsahuje nástroje pro správu účtů, řízení přístupu, správu databáze, audit, podporu více jazyků a některé další.
|
|
|
Databáze specifikací bezpečnostních protokolů
Ondráček, David ; Trchalík, Roman (oponent) ; Očenášek, Pavel (vedoucí práce)
Původní protokoly, které vznikaly v počátcích vývoje počítačových sítí, již nejsou pro zajištění potřebné bezpečnosti dostačující. Proto se stále vyvíjejí a implementují protokoly nové. Důležitou součástí tohoto procesu je formální verifikace. Jde o analýzu protokolu po formální stránce, kdy se zjišťuje, zda lze protokol úspěšně napadnout. Diplomová práce se zabývá analýzou vybraných bezpečnostních protokolů a nástrojů pro jejich formální verifikaci. Výstupem praktické části je databáze specifikací protokolů v LySa kalkulu a výsledky jejich verifikace nástrojem LySatool.
|
host ::
RSS.