Závěrečné práce vypsané v rámci klíčových aktivit projektu výzkumné a vzdělávací spolupráce

Bakalářské

• Zabezpečení dat založené na využití hesel (Password-based data security)
  • Zapojený partner: Cepia Technologies
  • Vedoucí práce: Mgr. et Mgr. Jan Krhovják, Ph.D.
  • Jméno diplomanta:
  • Stručně téma: Cílem této bakalářské práce je prostudování a analýza bezpečnosti aplikací využívajících k ochraně dat hesel. V úvodní části práce student prostuduje základní kryptografické metody využívající k zabezpečení dat hesel. Hlavní náplní práce pak bude podrobná analýza (zejména) open-source aplikací (komprimační programy, prohlížeče formátu .pdf, šifrátory disků, tzv. trezory na hesla atp.). Výstupem teoretické části práce bude podrobný popis jednotlivých použitých metod (až na úrovni pseudokódu). Praktickou částí práce bude jednoduchý program umožňující u vybraného komprimačního programu (např. 7-Zip) lámání hesel hrubou silou (klasickým a také slovníkovým útokem).
• Podobnostní vyhledávání pomocí Bregmanovy divergence
  • Zapojený partner: Techniserv
  • Vedoucí práce: RNDr. Jan Sedmidubský
  • Jméno diplomanta: Lukáš Holecy
  • Stručně téma:Hlavním cílem této práce je posouzení použitelnosti Bregmanovy divergence pro účely podobnostního vyhledávání. Prvním úkolem je implementace funkce Bregmanovy divergence v jazyce Java. Druhým úkolem je vytvoření algoritmu, který bude modifikovat vstupní data tak, aby bylo možné na ně aplikovat Bregmanovu divergenci. Třetím úkolem je indexování vstupních dat pomocí struktury R-Tree a vyhodnocení rychlosti a kvality výsledků. Práce je vypisována v rámci projektu OP Vpk s názvem Platforma výzkumné a vzdělávací spolupráce FI MU v oblasti zpracování dat, reg. číslo CZ.1.07/2.4.00/12.0049.
• Sémantická klasifikace předložkových frází
  • Zapojený partner: Lexical Computing
  • Vedoucí práce: Mgr. Vojtěch Kovář
  • Jméno diplomanta: Josef Bušta
  • Stručně téma: Předložkové fráze v češtině nejčastěji vyjadřují příslovečná určení. Není však snadné rozpoznat, který druh příslovečného určení daná fráze vyjadřuje, tzn. zda se jedná o čas, místo, způsob apod. Nástroj provádějící takovouto klasifikaci by mohl být potenciálně velkým přínosem pro extrakci informací z běžného textu. Cílem práce je implementace nástroje pro klasifikaci českých předložkových frází do základních sémantických kategorií. Řešitel navrhne množinu sémantických kategorií, seznámí se se strukturou českého WordNetu a implementuje klasifikaci na základě typu předložky a dat dostupných v hypero-hyponymické hierarchii WordNetu. Práce je vypisována v rámci projektu OP Vpk s názvem Platforma výzkumné a vzdělávací spolupráce FI MU v oblasti zpracování dat, reg. číslo CZ.1.07/2.4.00/12.0049.
• Převod české věty na sktrukturu predikát-argument
  • Zapojený partner: Partner
  • Vedoucí práce: RNDr. Aleš Horák, Ph.D.
  • Konzultant: Mgr. Miloš Jakubíček
  • Jméno diplomanta: Karel Vaculík
  • Stručně téma: Pro logickou analýzu věty se často využívá struktura označovaná jako predikát-argument (predicate-argument structure). Jedná se o zjednodušený zápis věty v podobě sloveso(argument1, argument2, ...), např. věta Petr snědl kyselá jablka se zapíše jako sníst(Petr, kyselé jablko). Taková struktura se pak dá snadno využívat v nejrůznějších aplikacích pro extrakci informací a inteligentní vyhledávání v textech. V Laboratoři zpracování přirozeného jazyka je vyvíjen automatický syntaktický analyzátor bežných textů s názvem synt. Tento nástroj umí rychle poskytnout nejednoznačnou strukturu o stromové reprezentaci vstupní věty zvanou chart. Z této struktury není v současnosti možné jednoduše vybrat jeden správný strom analýzy, ale je možné zjišťovat označení podstruktur vstupní věty, jako jsou slovesná skupina, jmenné skupiny, vedlejší věty apod. Úkolem práce je implementovat automatický systém, který na základě výsledků syntaktické analýzy vstupní věty (v podobě struktury chart) přeloží vstupní větu na strukturu predikát-argument. Implementovaný systém se musí vypořádat s tím, že chart obsahuje víceznačné analýzy.
• Lokální služba zpracovávající data nad databází Oracle
  • Zapojený partner: TNS
  • Vedoucí práce: Mgr. Pavel Tuček
  • Jméno diplomanta: Marek Poborský
  • Stručně téma:Úkolem studenta bude naprogramovat webovou službu a webové rozhraní běžící na serveru IIS 7.5 na operačním systému Windows Server 2008 R2. Webová služba bude zpřístupňovat data z databáze Oracle, která se týkají stavu zabezpečení stanic v doméně počítačů UCN, a dodávat je webovému rozhraní, které obsluhují uživatelé. Tito budou moci pomocí webového rozhraní definovat omezující podmínky dotazů do databáze.
• Dokumentace k iproute
  • Zapojený partner: RedHat
  • Vedoucí práce: Mgr. Marek Grác
  • Jméno diplomanta: Marek Adreánský
  • Stručně téma: Študent preskúma aktuálny stav anglickej dokumentácie programu iproute. Cieľom práce je rozšíriť dokumentáciu vo zvolenom jazyku. Vzhľadom na neúplnú a neaktuálnu originálnu dokumentáciu bude potrebné naštudovať zdrojový kód programu. Dokumentácia bude určená pre pokročilých používateľov a administrátorov, ktorí sú navyknutí používať podobné nástroje. Cieľom je prezentovať im základné použitie tejto sady programov, čím bude prezentovaná všestrannosť a jednoduché využitie v praxi.
• Vyhledávání podobných obrázků tetování
  • Zapojený partner: Techniserv
  • Vedoucí práce:RNDr. Jan Sedmidubský
  • Jméno diplomanta:Petr Hájek
  • Stručně téma:Hlavním cílem této práce je vytvořit databázi obrázků s tetováním. Těchto obrázků je třeba nalézt alespoň 500. Druhou částí práce je aplikovat dostupné techniky systému MUFIN pro vyhledávání podobných obrázků. Pro několik zvolených obrázků tetování je třeba ručně nalézt nejpodobnější obrázky tetování a tento výsledek porovnat s výsledkem, který vrací systém MUFIN.
• Lokální služba monitorující stav operačních systémů Microsoft Windows
  • Zapojený partner: TNS
  • Vedoucí práce: Mgr. Pavel Tuček
  • Jméno diplomanta:Petr Smělý
  • Stručně téma: Úkolem studenta bude naprogramovat službu pro operační systémy Windows XP, Vista, Windows 7, Windows Server 2003, 2008 a 2008 R2, která bude monitorovat aktuální stav operačního systému. Služba bude monitorovat především stav následujících komponent systému: * antivirový systém, * lokální firewall, * existující lokální účty a skupiny, * instalace bezpečnostních záplat společnosti Microsoft, * vybrané informace o operačním systému. Výstupem služby budou zprávy ve formátu XML, který je definován na základě XML schématu využívaném již existující distribuční aplikací. Služba bude při svém spuštění načítat konfigurační soubor, který bude definovat intervaly generování výstupních zpráv.
• Paměť a její efektivní využití
  • Zapojený partner: RedHat
  • Vedoucí práce: Mgr. Marek Grác
  • Jméno diplomanta: Igor Ludha
  • Stručně téma:Študent sa vo svojej práci bude venovať zásadám pre návrh aplikácií, ktoré majú veľké pamäťové nároky. Po naštudovaní problematiky algoritmov na alokáciu používaných v OS Linux, navrhne v praktickej časti aplikáciu, ktorá porovná záťaž systému pri rozličnej práci so získanou pamäťou (napr. realokácia, alokácia väčšieho množstva malých blokov). Dátové štruktúry použité v praktickej časti musia byť navrhnuté tak, aby bolo možné merať chovanie procesu v závislosti od veľkosti požadovaného bloku. Jednotlivé alokačné algoritmy vyhodnotí podľa celkových nárokov na pamäť a náročnosti na strojový čas procesoru.
• Využití slovníku slovesných valencí pro syntaktickou analýzu češtiny
  • Zapojený partner: Lexical Computing
  • Vedoucí práce: Mgr. Vojtěch Kovář
  • Jméno diplomanta: Josef Bednář
  • Stručně téma:Slovesné valence patří mezi základní prvky syntaxe přirozených jazyků a jejich využití v automatické syntaktické analýze by potenciálně mohlo přinést výrazné zlepšení výsledků analýzy. V současnosti je téměř dokončen český lexikon slovesných valencí VerbaLex. Cílem práce je prakticky ověřit možnosti využití slovníku VerbaLex při automatické syntaktické analýze češtiny. Student se seznámí s teorií slovesných valencí, daty dostupnými ve slovníku VerbaLex a technikami syntaktické analýzy přirozených jazyků, zejména češtiny. Na základě těchto znalostí implementuje rozhraní pro vyhledávání povrchových valencí slovníku VerbaLex, které bude dále využito v některém z existujících syntaktických analyzátorů.
• Detekce spamů s využitím geolokace
  • Zapojený partner: TNS
  • Vedoucí práce: RNDr. Andriy Stetsko
  • Jméno diplomanta: Tomáš Plevko
  • Stručně téma:Hlavním cílem práce je zjistit úspěšnost SpamAssassin v detekci spamů s využitím geolokace. K standardním detekčním pravidlům budou přidána další pravidla, která penalizují email pokud: - znaková sada emailu neodpovídá státu odesilatele, který bude zjištěn pomoci RelayCountry – pluginu pro SpamAssassin; - doména nejvyššího řádu (anglický TLD) emailové adresy odesilatele neodpovídá státu odesilatele; - TLD pro email relay (pokud je daná) neodpovídá státu tohoto email relay. Součástí práce bude také nalezení optimálních* hraničních hodnot pro tato pravidla.
• Server masivně multiplayerové hry založený na databázi
  • Zapojený partner: Hammerware, s.r.o.
  • Vedoucí práce: Mgr. Jiří Filipovič
  • Jméno diplomanta: Daniel Mikula
  • Stručně téma: Masivně multiplayerové počítačové hry implementované s využitím modelu klient-server kladou vysoké nároky na serverovou část. Server musí být schopen obsloužit velké množství hráčů a zároveň musí být schopen zajistit dostatečnou odezvu pro všechny hráče, aby nedocházelo k degradaci kvality či spravedlivosti hry. Má-li existovat pouze jedna instance herního světa sdílená všemi hráči, musí být serverová část hry schopna škálovat přes více procesorů či více výpočetních uzlů. Server by měl být také odolný vůči výpadkům -- ať už udržením dostatečně aktuální a konzistentní podoby herního světa při totálním výpadku, nebo i možností přežít výpadek menšího množství výpočetních uzlů. V rámci průzkumu možných technologií použitelých pro vývoj vysoce škálujícího serveru umožňujícího masivní multiplayer bude implementováno jádro jednoduché hry. Ta bude umožňovat hráčům pohybovat se po prostorové mapě (dané trojrozměrnou pravidelnou mřížkou), kdy každý hráč obarvuje svou barvou ta políčka, která navštíví. Hráči také mohou vzájemně políčka obchodovat. Jádro hry tak demonstruje dva stěžejní problémy masivně multiplayerových her: aktualizaci jedné velké datové struktury všemi hráči (aktualizace políček mapy) a provádění atomických operací (výměna vlastněných políček). Úkolem studenta je navrhnout a implementovat herní server s využitím existujícího databázového systému. Student nejprve prozkoumá existující přístupy a jejich možný přínos s hlediska výkonu, škálovatelnosti a tolerance výpadků (jedná se především o možné zapojení NoSQL databází), následně implementuje jádro hry využívající tuto databázi. S pomocí simulátoru klientské části hry (vzniká v rámci jiné práce) vyhodnotí výkon, škálovatelnost a odolnost na výpadky své implementace.
• Simulátor klientské části masivně multiplayerové hry
  • Zapojený partner: Hammerware, s.r.o.
  • Vedoucí práce: Mgr. Jiří Filipovič
  • Jméno diplomanta: Vít Svoboda
  • Stručně téma: V rámci průzkumu možných technologií použitelých pro vývoj vysoce škálujícího serveru umožňujícího masivní multiplayer bude implementováno jádro jednoduché hry. Ta bude umožňovat hráčům pohybovat se po prostorové mapě (dané trojrozměrnou pravidelnou mřížkou), kdy každý hráč obarvuje svou barvou ta políčka, která navštíví. Hráči také mohou vzájemně políčka obchodovat. Jádro hry tak demonstruje dva stěžejní problémy masivně multiplayerových her: aktualizaci jedné velké datové struktury všemi hráči (aktualizace políček mapy) a provádění atomických operací (výměna vlastněných políček). Úkolem studenta je navrhnout a implementovat simulátor klientské části hry. Tento simulátor slouží k testování zátěže serveru a jeho konzistence při výpadcích. Nejedná se přímo o implementaci hry -- simulátor nemá žádnou grafiku ani uživatelský vstup, pouze simuluje chování hráčů (jak pohyb, tak prodeje políček jsou generovány náhodně). Simulátor bude schopen se připojit ke hře a simulovat definovaný počet hráčů. Na základě odezvy serveru vytváří statistiku jeho výkonnosti (doba odezvy, rozptyl, odchylky pro jednotlivé hráče aj.), je schopen alespoň částečně simulovat samostatně hru a na základě své představy o podobě herního světa odhadnout rozsah poškození v důsledku výpadku serveru. Pro zajištění škálovatelnosti může simulátor běžet ve více instancích -- v takovém případě dokáže shromáždit statistiky ze všech instancí.
• Pokročilá autentizace v Java aplikacích na bázi protokolu Kerberos
  • Zapojený partner: Y Soft, s. r. o.
  • Vedoucí práce: Mgr. Pavel Tuček
  • Jméno diplomanta: Adam Navrátil
  • Stručně téma: Úkolem studenta je popsat nasazení softwaru Apache Tomcat v prostředí Microsoft Active Directory (MS AD) a v jazyce Java naprogramovat s využitím protokolu Kerberos autentizaci proti MS AD. Bakalářská práce bude mít dvě části: První popíše změny, které je nutné udělat v serverové aplikaci a konfiguraci Tomcatu, aby se dala využít autentizace pomocí MS AD. Klient bude v tomto případě IE7/IE8 na Windows XP/Vista/7 a aplikace Tomcat poběží buď na Windows Serveru 2008 Druhá část práce bude založena na naprogramování klientské a serverové aplikace. Klientská část aplikace se spustí pouze po úspěšné autentizaci uživatele, přičemž za úspěšnou autentizaci je považováno obdržení schválení od serverové části aplikace. Serverová část aplikace má na starost komunikaci s Kerberos KDC (Key Distribution Center) v Microsoft Active Directory. Očekává obdržení přihlašovacích údajů od klientské části a předává je KDC. Pokud autentizace proběhne úspěšně, předá klientské aplikaci schválení ke spuštění.
• Detekce spamů s využitím geolokace
  • Zapojený partner: TNS
  • Vedoucí práce: RNDr. Andriy Stetsko
  • Jméno diplomanta: Martin Mareš
  • Stručně téma: Hlavním cílem práce je naimplementovat plugin pro SpamAssassin, který umožní sepisování a vyhodnocování (nadstandardních) detekčních pravidel s použitím dostupné informace o geolokaci odesilatele a email relayů. Součásti práce bude také: - navrhnout detekční pravidla a otestovat je na vedoucím poskytnuté databázi emailů; - nalezení optimálních* hraničních hodnot pro tato pravidla.
• Procesní řízení ve vzdělávacích procesech - MEDUSY project
  • Zapojený partner: RedHat
  • Vedoucí práce: Mgr. Jiří Kolář
  • Jméno diplomanta:
  • Stručně téma: http://www.medusy.sf.net MEDUSY je projekt pro využití business procesů (ve smyslu BPM) pro modelování, spouštění a monitorování vzdělávacích procesů. Úkolem je pokračovat ve vývoji nástroje vyvýjeného v rámci projektu. Práce je součástí projektu řešeného v rámci spolupráce mezi laboratoří LaSArIS a společností RedHat, průmyslovým partnerem FI. Při dobrých výsledcích možná další spolupráce na tomto projektu.
• Semínko generátoru náhodných čísel OS Linux při bootu
  • Zapojený partner: RedHat
  • Vedoucí práce: Ing. Mgr. Zdeněk Říha, Ph.D.
  • Jméno diplomanta:
  • Stručně téma: Kvantitativní analýza entropie dat sloužících jako semínko generátor pseudonáhodných čísel Linuxového jádra během bootu OS. Zajímalo by nas kolik bitů entropie je skutečně obsaženo v datech vkladaných do generátoru náhodných čísel v Linuxovém jádru během bootu - ideálně zjistit tyto hodnoty v různé fázi bootu a v různých podmínách - HW i VM. Práce předpokládá upravu linuxového jádra tak, aby někam ukládalo průběžně data určená pro generátor náhodných čísel a následnou analýzu dat.
• Běhová knihovna pro ANTLR3 v jazyce C++
  • Zapojený partner: Lexical Computing
  • Vedoucí práce: Mgr. Miloš Jakubíček
  • Jméno diplomanta:
  • Stručně téma:ANTLR je vysoce expresivní systém (podobný standardním unixovým nástrojům jako jsou flex a bison) pro generování parserů na základě zadané bezkontextové LL(*) gramatiky. Součástí systému jsou kromě generátoru kódu i podpůrné běhové knihovny potřebné při použití vygenerovaného parseru. Cílem práce je (s pomocí dostupných řešení pro Javu a C) vytvoření efektivní implementace běhové knihovny pro ANTLR (verze 3) v jazyce C++ a její ukázková integrace v aplikaci využívající parser vygenerovaný pomocí ANTLR3 (konkrétně v korpusovém manažeru). Předpokládá se snaha o začlenění knihovny do hlavní distribuce ANTLR pod licencí BSD a případná komunikace s vývojáři ANTLR.
• Plugin pro projekt FreeIPA
  • Zapojený partner: RedHat
  • Vedoucí práce: Mgr. Jiří Kolář
  • Jméno diplomanta:
  • Stručně téma: Student prostuduje problematiku centralizované správy identity (uživatele, stroje, služby atd.). Porovná produkty řešící tuto problematiku (MS Active Directory, FreeIPA, NIS+, LDAP a podobné) a vytvoří dokumentaci k plugin management frameworku FreeIPA. Dále vytvoří plugin FreeIPA pro správu (libovolně zvoleného) nového typu objektu. Plugin musí mít CLI rozhraní, web rozhraní je bonus. Technologie: FreeIPA, Python Práce je řešena v rámci spolupráce mezi laboratoří LaSArIS a společností RedHat, průmyslovým partnerem FI. Při dobrých výsledcích možná další spolupráce.
• Integrace nástroje Stanse do IDE (plugin)
  • Zapojený partner: ANF DATA spol. s r.o.,
  • Vedoucí práce: Mgr. Jan Obdržálek, Ph.D.
  • Jméno diplomanta: Miroslav Cupák
  • Stručně téma: Open-source nástroj Stanse, vyvíjený na FI, je určen pro automatickou detekci chyb v programech napsaných v jazyce C. Jde o plně funkční nástroj, který odhalil netriviální chyby např. v posledním jádře Linuxu (2.6.28 - vybrané chyby jsou k dispozici na stránkách nástroje). Cílem bakalářské práce je implemetovat plugin pro integraci nástroje Stanse do některého z široce používaných vývojových prostředí - Eclipse, NetBeans, KDevelop, MS Visual Studio ...
• Podpora preprocesoru CPP v nástroji Stanse
  • Zapojený partner: ANF DATA spol. s r.o.,
  • Vedoucí práce: Mgr. Jan Obdržálek, Ph.D.
  • Jméno diplomanta: Michal Krajňanský
  • Stručně téma: Open-source nástroj Stanse, vyvíjený na FI, je určen pro automatickou detekci chyb v programech napsaných v jazyce C. Nástroj interně pracuje nad preprocesovaným kódem, ovšem vrácené chyby by bylo vhodné zobrazovat v neexpandovaném zdrojovém kódu. Cílem práce je upravit preprocesor CPP tak, aby poskytoval mapování mezi původním a preprocesovaným kódem. Zejména bude nutné ošetřit expanzi maker, vkládání souborů atp. Součástí práce je i navržení formátu pro ukládání dat a nabídnutí vhodného API pro ostatní komponenty nástroje Stanse.
• Převádění záznamů testů do podoby Message Sequence Chart popisů
  • Zapojený partner: ANF DATA spol. s r.o.
  • Vedoucí práce: RNDr. Vojtěch Řehák, Ph.D.
  • Jméno diplomanta: Martin Vodila
  • Stručně téma: Témata bakalářské práce spadá do oblasti testování distribuovaných síťových systémů. V průběhu provádění testů vznikne na jednotlivých strojích velké množství záznamů (logů), které jsou pro člověka velmi nepřehledné. Na pracovišti partnerské firmy ANF DATA před časem vznikl perlový script, který tyto informace z logu shromažďoval a přehledně zobrazoval v HTML souboru. Bohužel se tento program postupem času stal zastaralým a ne zcela funkčním. Úkolem studenta je: * nastudovat problematiku testování v oblasti síťového provozu * nastudovat stávající řešení ve firmě ANF DATA (perlový script, který vygeneruje HTML popis) * navrhnout nové řešení zobrazení (např. s využitím nástroje SCStudio) a určit které položky z log souboru převádět (nastavit parametrické ovládání scriptu tak, aby si uživatel mohl sám definovat relevantní položky log souboru pro zobrazení) * upravit perlový script tak, aby korektně generoval přehledný výstup (např. ve formátu Message Sequence Charts) * upravit script tak, aby fungoval i pro síťové testy na úrovní 3 a 4
• Implementace algoritmů pro kontrolu časových omezení v MSC návrzích
  • Zapojený partner: ANF DATA spol. s r.o.
  • Vedoucí práce: ing. Petr Gotthard
  • Konzultant: RNDr. Vojtěch Řehák, Ph.D.
  • Jméno diplomanta: Ondřej Kocian
  • Stručně téma: Tým studentů FI MUNI vyvíjí aplikaci Sequence Chart Studio (SCStudio), která umožní kreslit a verifikovat Message Sequence Charts (MSC) a UML sequence diagramy. Cílem této práce je vyvinout rozšíření této aplikace, které umožní provádět kontrolu časových omezení v MSC návrzích. Dílčí úkoly a požadavky: 1. Nastudujte vybrané publikace o časových omezeních v MSC diagramech 2. Navrhněte a implementujte základní operace nad časovými intervaly. Intervaly mohou být shora/zdola omezené desetinným číslem. 3. Implementujte algoritmus pro kontrolu a zpřesnění časových omezení v basic MSC a v HMSC diagramech. Výstupem algoritmu bude modifikované (H)MSC. Aplikace musí být implementována v C/C++ a licencována GNU Lesser General Public License (LGPL).
• Grafické rozložení sekvenčních diagramů
  • Zapojený partner: ANF DATA spol. s r.o.
  • Vedoucí práce: ing. Petr Gotthard
  • Konzultant: RNDr. Vojtěch Řehák, Ph.D.
  • Jméno diplomanta: Zuzana Pekarčíková
  • Stručně téma: Úkolem práce je navrhnout a implementovat algoritmus, který přehledně přeuspořádá objekty v bMSC na kreslící ploše.
• E-learningové CMS a formáty v nich používané
  • Zapojený partner: RedHat
  • Vedoucí práce: Mgr. Jiří Kolář
  • Jméno diplomanta: Richard Garčár
  • Stručně téma: Jeden ze studentů má za úkol provést analýzu trhu v oblasti komerčních i opensource E-learningových nástrojů(např. Moodle) a porovnat jejich funkcionalitu (Course, Content and Test management, Coruse planning, Roles support, Monitoring and Feedback). Na základě těchto poznatků zprovoznit a customizovat jeden z nástojů pro účely projektu. Druhý ze studentů má za úkol obdobně analyzovat a porovnat formáty, které tyto nástroje používají(napr. SCORM). Následně návrhne rozšíření vybraného formátu pro potřeby projektu. (V návaznosti na modul virtuálních labů). Neboť spolu úkoly úzce souvisí, oba participanti budou spolupracovat a využívat vzájemných poznatků. Práce je součástí opensource projektu řešeného rámci spolupráce mezi laboratoří LaSArIS a společností RedHat, průmyslovým partnerem FI. Při dobrých výsledcích možná další spolupráce na tomto projektu.
• E-learningové vzory v kurzech na MUNI
  • Zapojený partner: Red Hat
  • Vedoucí práce: Ing. Mgr. Lucie Pekárková
  • Konzultant: Mgr. Jiří Kolář
  • Jméno diplomanta: Milan Mužík
  • Stručně téma: Student má za úkol vybrat vhodný způsob jakým popsat strukturu kurzu (ideálně nějakou procesní notaci). Pote provést malý průzkum na MU (zejména FI), kontaktovat vyučující případně prostudovat popisy kurzu vyučovaných na FI a vypracovat studii kde popise nejčastěji používané "vzory" pro strukturu kurzu a pro každý vzor zmíní kurzy které jej používají. Práce je součástí projektu řešeného rámci spolupráce mezi laboratoří LaSArIS a společností RedHat, průmyslovým partnerem FI. Při dobrých výsledcích možná další spolupráce na tomto projektu.
• Vybudování a zpráva webu a další infrastruktury pro projekt spolecne reseny ve spolupraci s RedHat
  • Zapojený partner: RedHat
  • Vedoucí práce: Mgr. Jiří Kolář
  • Jméno diplomanta:
  • Stručně téma: Student má za úkol připravit infrastrukturu pro projekt. Toto zahrnuje připravení CMS pro vytvoření webu, naplnění jej patřičným obsahem, zprovoznění fóra, wiki, blogu a případných dalších věcí. Práce je součástí projektu řešeného rámci spolupráce mezi laboratoří LaSArIS a společností RedHat, průmyslovým partnerem FI.
• Procesní řízení v e-learningu - MEDUSY project
  • Zapojený partner: RedHat
  • Vedoucí práce: Mgr. Jiří Kolář
  • Jméno diplomanta: http://www.medusy.sf.net MEDUSY je projekt pro využití business procesů (ve smyslu BPM) pro modelování, spouštění a monitorování vzdělávacích procesů. Úkolem je podilet se na vývoji nástroje vyvýjeného v rámci projektu. Projekt je postaven na platforme Java EE a BPMS platforme Activiti. http://www.activiti.org/ Práce je součástí projektu řešeného v rámci spolupráce mezi laboratoří LaSArIS a společností RedHat, průmyslovým partnerem FI.
  • Stručně téma:

Diplomové

• GPU a jejich aplikace v kryptografii (GPUs and their applications in cryptography)
  • Zapojený partner: Cepia Technologies
  • Vedoucí práce: Mgr. et Mgr. Jan Krhovják, Ph.D.
  • Jméno diplomanta:
  • Stručně téma: Cílem této diplomové práce je detailní analýza možností využití programovatelných grafických procesorů (GPU) pro kryptografické účely. Student se zaměří zejména na GPU firmy nVidia s programovacím rozhraním CUDA. V úvodní části práce se seznámení s možnostmi a základními způsoby programování těchto GPU a nabyté zkušenosti (a příklady elementárních programátorských konstrukcí) přehledně sepíše. Výsledný text této části práce by měl čtenářům objasnit základní rozdíly programování na CPU a GPU a umožnit případným zájemcům snadný vstup do oblasti programování GPU. V další části práce student prostuduje možnosti využití GPU pro kryptologické (tj. kryptografické i kryptoanalytické) účely. Součástí bude i krátká rešerše aktuálního stavu aplikovaného výzkumu v této oblasti (jakých výsledků/rychlostí dosáhly různé týmu u různých šifrovacích algoritmů a různých GPU, jaké jsou nejnovější poznatky a trendy do budoucna, atp.). Praktickou částí práce budou implementace vybraných šifrovacích algoritmů (Kasumi, případně A5/3) optimalizované jak pro kryptografické (rychlost dané instance algoritmu) tak pro kryptoanalytické (množství instancí) účely. Součástí práce budou také testy rychlosti daných implementací a jejich srovnání s ekvivalentními algoritmy běžícími na běžných CPU. Veškeré v práci popisované příklady včetně (dobře zdokumentovaných) zdrojových kódů budou k práci přiloženy na DVD.
• Automatická tvorba znalostí z korpusových dat a dialogu
  • Zapojený partner: Lexical Computing
  • Vedoucí práce: Mgr. Vojtěch Kovář
  • Jméno diplomanta: Miloš Husák
  • Stručně téma: Extrakce informací z běžného textu je jedním ze základních úkolů odvětví zpracování přirozeného jazyka. Základní znalosti typu "pes je zvíře", "auto má motor" atd. jsou dokonce jedním ze základních předpokladů pro analýzu jazyka na vyšších úrovních. Práce se bude zabývat extrakcí takovýchto základních znalostí z různých typů textových dat, zejména jazykových korpusů, ale také např. transkripcí dialogů. Student se nejprve seznámí s problematikou a sumarizuje výsledky, kterých již v této oblasti bylo dosaženo. Dále navrhne metody, které s využitím dostupných nástrojů morfologické a syntaktické analýzy budou tuto extrakci provádět. Nezbytnou součástí práce bude vyhodnocení úspěšnosti (zejména přesnosti) navržených metod a porovnání s dříve dosaženými výsledky. Zvláštní důraz bude kladen na vyhodnocení úspěšnosti v závislosti na typu jazykového korpusu -- dá se např. očekávat, že úspěšnost extrakce z korpusu stránek Wikipedie nebo přepisů dialogů bude vyšší než úspěšnost extrakce z korpusu novinových článků.
• Kryptografie na bázi eliptických křivek (Cryptography based on elliptic curves)
  • Zapojený partner: Cepia Technologies
  • Vedoucí práce: Mgr. et Mgr. Jan Krhovják, Ph.D.
  • Jméno diplomanta:
  • Stručně téma: Cílem této diplomové práce je detailní analýza efektivních implementací eliptických křivek (ECC) pro kryptografické účely. V první části práce se student seznámí se základními operacemi a s kryptografickými algoritmy na bázi eliptických křivek. Další část práce pak bude věnována studiu různých reprezentací eliptických křivek a algoritmům pro jejich efektivní implementaci (včetně analýzy jejich efektivity). Praktickou částí práce budou vlastní implementace jednotlivých algoritmů pro práci s eliptickými křivkami, testy jejich reálné rychlosti, a srovnání dosažených rychlostí s rychlostmi implementací dostupných v běžných kryptografických knihovnách.
• Time-memory trade-off (TMTO) útoky v kryptologii (Time-memory trade-off (TMTO) attacks in cryptology)
  • Zapojený partner: Cepia Technologies
  • Vedoucí práce: Mgr. et Mgr. Jan Krhovják, Ph.D.
  • Jméno diplomanta:
  • Stručně téma: Cílem této diplomové práce je důkladné prostudování tzv. time-memory trade-off (TMTO) útoků v kryptologii. Student v této práci prostuduje aktuální stav teorie v oblasti TMTO útoků. V první části práce nastíní základní využití těchto útoků na běžné třídy kryptografických algoritmů (blokové šifry, proudové šifry, hašovací funkce atp.). Dále se podrobně zaměří na samotnou konstrukci a předpočítání tabulek/řetězů -- včetně analýz a odhadů počtu kolizí při vzorkování celého stavového prostoru. Během těchto analýz prostuduje jak očekávaná chováni pseudonáhodných funkcí, tak také chování vybraných (zjednodušených či slabých) kryptografických algoritmů. Nedílnou součástí práce bude též analýza možností efektivního (kompaktního) ukládání předpočítaných dat a jejich snadného (rychlého) vyhledávání (např. s využitím tzv. rozlišovacích bodů). V další části se zaměří na samotnou online fázi TMTO útoků, kde také analyzuje možnosti jejího vylepšení (např. využitím tzv. kontrolních bodů). Praktickou částí práce bude výběr několika slabých kryptografických algoritmů (např. 40 bitová šifra RC4) či zjednodušených silných kryptografických algoritmů (s redukovaným klíčovým prostorem a/nebo velikostí bloku) a simulace chování TMTO útoků na těchto algoritmech.
• Testování propustnosti IDS
  • Zapojený partner: TNS
  • Vedoucí práce: RNDr. Václav Lorenc
  • Jméno diplomanta: Jakub Dobrovolný
  • Stručně téma:Cílem je vytvořit metodiku a postupy vhodné pro ověřování výkonu a propustnosti systémů na detekci síťových průniků tak, aniž by byla vázaná na výrobce jednoho systému. To celé ideálně za pomoci volně dostupných nástrojů a prostředků. Popsané postupy by měly být odzkoušeny na IDS Kernun.
• Modernizace Rational platformy pro výuku
  • Zapojený partner: IBM, ČR
  • Vedoucí práce: RNDr. Jan Pavlovič, Ph.D.
  • Jméno diplomanta:Vladimír Hromada
  • Stručně téma: Cílem diplomové práce je navrhnout koncept platformy Rational pro potřeby výuky na FI MU. Zejména v rámci předmětů PA165 a PV167. Plaforma bude postavena na Rational Workbench for Collaborative Lifecycle Management ve verzi 3. V práci je nutné identifikovat a vyřešit univerzitní specifika při realizaci a vedení studentských projektů. Zejména z pohledu integrace s IS MU, mutliprojektového řízení, reportingu atd. Součástí práce bude také inovace vývojové procesů pro týmovou spolupráce v rámci předmětu PA165 a PV167
• Implementace V modelu v Rational Team Concertu
  • Zapojený partner: IBM, ČR
  • Vedoucí práce: RNDr. Jan Pavlovič, Ph.D.
  • Jméno diplomanta: Radek Kohút
  • Stručně téma:Cílem diplomovové práce je analyzovat vývojový model softwaru V. Dále formalizovat procesní strukturu V modelu v četně jednolivých vývojových rolí v nástroji Rational Method Composer. Součástí práce bude případová studie obsahující implemementaci formalizovaného V modelu v nástroji Rational Team Concert ve verzi 2 a 3 analogicky k existujícím modelům v RTC jakými jsou Scrum a OpenUP. V práci bude také vypracována analýza na možnosti využití V modelu ve výuce a inovačních projektech na univerzitě.
• Analýze entropie dat sloužících jako semínko generátoru náhodných čísel OS Linux při bootu
  • Zapojený partner: RedHat
  • Vedoucí práce: Ing. Mgr. Zdeněk Říha, Ph.D.
  • Jméno diplomanta:
  • Stručně téma:Kvantitativní a kvalitativní analýza entropie dat sloužících jako semínko generátor pseudonáhodných čísel Linuxového jádra během bootu OS. Zajímalo by nas kolik bitů entropie je skutečně obsaženo v datech vkladaných do generátoru náhodných čísel v Linuxovém jádru během bootu - ideálně zjistit tyto hodnoty v různé fázi bootu a v různých podmínách - HW i VM. Práce předpokládá upravu linuxového jádra tak, aby někam ukládalo průběžně data určená pro generátor náhodných čísel a následnou analýzu dat.
• Využití nástroje MS Reporting Services
  • Zapojený partner: Gemma
  • Vedoucí práce:Ing. Mgr. Zdeněk Říha, Ph.D.
  • Jméno diplomanta:
  • Stručně téma:Rozšiřte reportingovou aplikaci Gemma GSR pomocí nástroje MS Reporting Service. Nad datovými tabulkami ERP IS je vytvořena pomocí SQL Reporting Service aplikace GSR, která reportuje data uživatelům. Rozšiřte stávající aplikace GSR o další reporty a úpravy stávajících na základě požadavků zákazníků. Požadavky zákazníků zpracuje konzultant na jejich základě připraví zadání sestavy, úkolem studenta bude vytvořit report v souladu se zadáním. [jedná se o předběžné zadání - ve finálním zadání bude uvedeno přesně co je třeba vytvořit]. Je nutné zvládnout alespoň základní orientaci v tabulkách IS ERP VISUAL, z tohoto důvodu bude poskytnuto základní školení a budou k dispozici konzultace se zkušeným programátorem.
• Porovnání freeIPA a MS Windows Active Directory
  • Zapojený partner: RedHat
  • Vedoucí práce:Ing. Mgr. Zdeněk Říha, Ph.D.
  • Jméno diplomanta: Lukáš Jakubík
  • Stručně téma:Porovnejte funkčnost nabízenou balíkem freeIPA s tím, co nabízí MS Windows Active directory ve verzi Windows Server 2008.
• Vyhledávání obličejů v systému MUFIN
  • Zapojený partner: Techniserv
  • Vedoucí práce: RNDr. Michal Batko, Ph.D.
  • Konzultant:RNDr. Jan Sedmidubský
  • Jméno diplomanta: Jiří Jánoš
  • Stručně téma:Diplomová práce má za úkol integrovat detekci, exktrakci a vyhledávání obličejů do systému MUFIN. * detekce - využití akcelerace CUDA pro fázi učení * exktrakce a vyhledávání - nalezení vhodného deskriptoru a podobnostní funkce pro vyhledávání, kombinace s detektorem očí pro zvýšení přesnosti * uživatelské rozhrani
• Zátěžové testy webových aplikací v kontextu průběžné integrace
  • Zapojený partner: oXy online
  • Vedoucí práce: RNDr. Radek Ošlejšek, Ph.D.
  • Jméno diplomanta: Ján Kotúč
  • Stručně téma: Cílem práce je prostudovat a porovnat existující nástroje pro zátěžové testy webových aplikací a problematiku a nástroje pro průběžnou integraci, zejména systém Vulcan. Práce bude obsahovat popis různých typů zátěžových testů a problematiku monitorování jejich výsledků. V rámci diplomové práce bude navrženo a implementováno rozšíření systému Vulcan tak, aby podporoval zátěžové testování při průběžné integraci. Zvolené zátěžové testy budou v práci popsány a rovněž bude popsán způsob jejich jejich integrace do systému Vulcan. Funkčnost zátěžových testů bude experimentálně ověřena na reálném projektu.
• Zátěžové testy webových aplikací
  • Zapojený partner: oXy online
  • Vedoucí práce: RNDr. Radek Ošlejšek, Ph.D.
  • Jméno diplomanta: Jakub Vavřík
  • Stručně téma: Prostudujte a popište problematiku zátěžových testů webových aplikací, porovnejte existující nástroje. Navrhněte a vytvořte aplikaci, která bude simulovat reálné chování při stovkách/tisícovkách uživatelů a která umožní vyhodnocovat provedené zátěžové testy v rámci průběžné integrace vyvíjených webů. Práce bude obsahovat popis různých typů zátěžových testů a problematiku monitorování jejich výsledků. Dále bude obsahovat výsledky praktických experimentů na reálných rozsáhlých komerčních webech. Součástí práce bude implementace nezbytných nástrojů.
• Distribuce zátěže proudového zpracováni dat na výpočetní jednotky
  • Zapojený partner: JavlinConsulting
  • Vedoucí práce: RNDr. Radek Ošlejšek, Ph.D.
  • Jméno diplomanta: Michal Řihák
  • Stručně téma:Prostudujte problematiku proudového zpracování dat a ETL nástroje. Navrhněte algoritmus pro plánování běhu jednotlivých uzlů proudového zpracování dat s ohledem na jejich závislosti (producent-konzument) a počtu a výkonnosti dostupných výpočetních jednotek. Cílem je efektivně serializovat logicky mnoha vláknové úlohy na dostupné výpočetní zdroje, tak aby se minimalizovala doba zpracování dat. Algoritmus naprogramujte jako modul v jazyce Java. Textová část diplomové práce bude obsahovat úvod do problematiky, popis a srovnání vybraných ETL nástrojů, popis vlastního řešení a implementace. Praktická část bude zahrnovat funkční implementaci modulu v jazyce Java.
• Server masivně multiplayerové hry
  • Zapojený partner: Hammerware, s.r.o.
  • Vedoucí práce: Mgr. Jiří Filipovič
  • Jméno diplomanta: Martin Jirman
  • Stručně téma:Masivně multiplayerové počítačové hry implementované s využitím modelu klient-server kladou vysoké nároky na serverovou část. Server musí být schopen obsloužit velké množství hráčů a zároveň musí být schopen zajistit dostatečnou odezvu pro všechny hráče, aby nedocházelo k degradaci kvality či spravedlivosti hry. Má-li existovat pouze jedna instance herního světa sdílená všemi hráči, musí být serverová část hry schopna škálovat přes více procesorů či více výpočetních uzlů. Server by měl být také odolný vůči výpadkům -- ať už udržením dostatečně aktuální a konzistentní podoby herního světa při totálním výpadku, nebo i možností přežít výpadek menšího množství výpočetních uzlů. V rámci průzkumu možných technologií použitelých pro vývoj vysoce škálujícího serveru umožňujícího masivní multiplayer bude implementováno jádro jednoduché hry. Ta bude umožňovat hráčům pohybovat se po prostorové mapě (dané trojrozměrnou pravidelnou mřížkou), kdy každý hráč obarvuje svou barvou ta políčka, která navštíví. Hráči také mohou vzájemně políčka obchodovat. Jádro hry tak demonstruje dva stěžejní problémy masivně multiplayerových her: aktualizaci jedné velké datové struktury všemi hráči (aktualizace políček mapy) a provádění atomických operací (výměna vlastněných políček). Úkolem studenta je navrhnout a implementovat herní server bez využití databáze (přístup k datům i jejich archivace bude tedy řešena na míru řešenému problému). Server je možné implementovat jak v konvenčním imperativním jazyce (C/C++ je preferováno) s využitím MPI či jiného API pro paralelní aplikace, ale také ve funkcionálním podporující paralelismus (např. Erlang). Student provede v první fázi rešerši nabízených přístupů a na jejím základě vybere jazyk a API k implementaci. Následně implementuje distribuovaný herní server, zajistí ukládání herního světa na disk a jeho znovuvytvoření z uložených dat. Dále student prozkoumá možnosti odolnosti vůči výpadkům a implementuje alespoň korektní obnovu atomických operací. S pomocí simulátoru klientské části hry (vzniká v rámci jiné práce) vyhodnotí výkon, škálovatelnost a odolnost na výpadky své implementace.
• Automatizace napojení C++ kódu do .Net rozhraní
  • Zapojený partner: AVG Technologies
  • Vedoucí práce: RNDr. Vojtěch Řehák, Ph.D.
  • Jméno diplomanta: Martin Gracík
  • Stručně téma: Interoperabilita mezi .Net a C++ kódem je poměrně novou problematikou a je momentálně reálně použitelná pouze pro specifické účely. Student si nastuduje stávající možnosti interoperability managed a native kódu v obecnější rovině a seznámí se s stávajícími řešeními (např. COM interoperability). Ve firmě AVG vznikl požadavek na interoperabilitu s čistě virtuálním C++ rozhraním, které však přímo neodpovídá COM konvencím. Student má dále za úkol nastudovat si problematiku užití ve firmě AVG, srovnat s existujícím řešením pro COM objekty a navrhnout a implementovat vlastní řešení. Součástí práce bude i vzorové vyzkoušení implementace ve firmě AVG a navržení následného postupu pro automatické generování rozhraní nově vzniklých komponent.
• Podpora C++ v nástroji Stanse
  • Zapojený partner: AVG Technologies
  • Vedoucí práce: Mgr. Jan Obdržálek, Ph.D.
  • Jméno diplomanta: Martin Vejnár
  • Stručně téma: Open-source nástroj Stanse, vyvíjený na FI, je určen pro automatickou detekci chyb v programech napsaných v jazyce C. Cílem této diplomové práce je rozšířit Stanse na programy napsané v C++. Za tímto účelem bude nutné implementovat nový C++ parser, dále podporu funkcionality typické pro objektové jazyky (např. pozdní vazba) a adekvátně upravit jádro Stanse.
• Systém znalostního managementu pro ISO/IES 200000:2005
  • Zapojený partner: Microsoft s.r.o.
  • Vedoucí práce: RNDr. Jan Pavlovič, Ph.D.
  • Jméno diplomanta: Lubomír Dočkal
  • Stručně téma: Cílem diplomové práce je navrhnout a implementovat knowledge management systém zaměřený na podporu vývoje softwarových aplikací a standardu kvality ISO/IEC 20000:2005. Navržený knowledge management bude podporovat zavádění ISO 20000 na OVSS ÚVT zejména v kontextu agilního způsobu vývoje a konceptu ITIL v3. Řešení bude postaveno na Microsoft Sharepoint serveru.
• New Checkers for Sequence Chart Studio
  • Zapojený partner: ANF DATA, spol. s r.o.
  • Vedoucí práce: RNDr. Vojtěch Řehák, Ph.D.
  • Jméno diplomanta: Václav Vacek
  • Stručně téma: Tým studentů FI MUNI vyvíjí aplikaci Sequence Chart Studio, která umožní kreslit a verifikovat MSC (standard ITU-T Z.120) a UML sekvenční diagramy. Cílem této práce je: * detailně revidovat stávající kontrolní algoritmy (acyclic, deadlock, livelock, FIFO, race), * odstranit zjištěné nedostatky (reimplementace, doplnění testovacích příkladů, vylepšení dokumentace), * navrhnout a implementovat nové verifikační algoritmy (boundedness, local choice, recursivity, name checker, strong realizability) a exportní filtr do formátu DiVinE (realizace MSC návrhu). Aplikace musí být implementována v C/C++ a licencována GNU Lesser General Public License (LGPL)
• Modelování výukových procesů
  • Zapojený partner: RedHat
  • Vedoucí práce: Mgr. Jiří Kolář
  • Jméno diplomanta: Jiří Novák
  • Stručně téma: Úkolem je prozkoumat možnosti modelování výukových procesů, zmapovat stávající nástroje pro vizuální modelování procesů (BPM) a navrhnout způsob jejich využití pro modelování výukových procesů. V praktické části student/ka navrhne a implementuje, nebo rozšíří stávající nástroj pro potřeby modelování výukových procesů. Modelovací nástroj rozšíří o nové prvky - sadu výukových vzorů často používaných ve výuce. Předpokladem je znalost vývoje v prostředí Java vč. GUI. Práce je součástí projektu řešeného v rámci spolupráce mezi laboratoří LaSArIS a společností RedHat, průmyslovým partnerem FI.
• Použití webových služeb v oblasti e-learningu
  • Zapojený partner: RedHat
  • Vedoucí práce: Mgr. Jiří Kolář
  • Jméno diplomanta: Miroslav Baláž
  • Stručně téma: Student prostuduje webové služby použitelné v kontextu e-learningu, popíše jejich přítomnost ve stavajících LMS. Dále navrhne a implementuje chybějící webové služby pro jeden z nich. Předpokladem je středně pokročilá znalost Web Services (SOAP). Práce je řešena v rámci projektu MEDUSY.
• Procesní řízení v e-learningu
  • Zapojený partner: RedHat
  • Vedoucí práce: Mgr. Jiří Kolář
  • Jméno diplomanta: Daniel Tovarňák
  • Stručně téma: Cílem práce je analyzovat možnosti využití procesního řízení (Business Process Management) v elektronické výuce. Student se bude zabývat problematikou spouštění výukových vzorů a procesů namodelovaných v jazyce BPMN 2.0. Praktickým výstupem práce bude prototyp aplikace pro podporu výuky založený na procesech. Práce je řešena v rámci projektu MEDUSY.
• Virtuální laboratoře, resource allocation
  • Zapojený partner: RedHat
  • Vedoucí práce: Mgr. Jiří Kolář
  • Jméno diplomanta: Bohuslav Kabrda
  • Stručně téma: Úkolem je umožnit alokaci virtuálních systémů pro účely e-learningových kurzů. Cílový požadavek z hlediska e-learningu je fungující systém s předdefinovaným prostředím pro daný kurz. Student má za úkol prostudovat problematiku Cloud computingu, distribuovaných systému a resource allocation. Dále problematiku provisioningu a rychlé instalace požadovaných prostředí. Cílem je návrh tohoto systému a proof of concept - testovací prostředí, které bude splňovat výše zmíněné požadavky. Předpokladem je povědomí o Cloud Computing a virtualizaci. Práce je součástí projektu řešeného v rámci spolupráce mezi laboratoří LaSArIS a společností RedHat, průmyslovým partnerem FI.
• Plugin pro projekt FreeIPA
  • Zapojený partner: RedHat
  • Vedoucí práce: Mgr. Jiří Kolář
  • Jméno diplomanta:
  • Stručně téma: Student prostuduje problematiku centralizované správy identity (uživatele, stroje, služby atd.). Porovná produkty řešící tuto problematiku (MS Active Directory, FreeIPA, NIS+, LDAP a podobné) a vytvoří dokumentaci k plugin management frameworku FreeIPA. Dále vytvoří plugin FreeIPA pro správu (libovolně zvoleného) nového typu objektu. Plugin musí mít CLI rozhraní, web rozhraní je bonus. Technologie: FreeIPA, Python Práce je řešena v rámci spolupráce mezi laboratoří LaSArIS a společností RedHat, průmyslovým partnerem FI.
• Procesní řízení v e-learningu - MEDUSY project
  • Zapojený partner: RedHat
  • Vedoucí práce: Mgr. Jiří Kolář
  • Jméno diplomanta: http://www.medusy.sf.net MEDUSY je projekt pro využití business procesů (ve smyslu BPM) pro modelování, spouštění a monitorování vzdělávacích procesů. Úkolem je podilet se na vývoji nástroje vyvýjeného v rámci projektu. Projekt je postaven na platforme Java EE a BPMS platforme Activiti. http://www.activiti.org/ Práce je součástí projektu řešeného v rámci spolupráce mezi laboratoří LaSArIS a společností RedHat, průmyslovým partnerem FI.
  • Stručně téma:
• Využití Google služeb v e-learningu - MEDUSY project
  • Zapojený partner: RedHat
  • Vedoucí práce: Mgr. Jiří Kolář
  • Jméno diplomanta:
  • Stručně téma: MEDUSY je projekt pro využití business procesů (ve smyslu BPM) pro modelování, spouštění a monitorování vzdělávacích procesů. Cílem práce je analyzovat možnosti využití služeb Google (Google Forms, Google Docs) pro účely elearningu. A následná integrace těchto služeb do projektu. Projekt je postaven na platforme Java EE a BPMS platforme Activiti. http://www.activiti.org/ Práce je součástí projektu řešeného v rámci spolupráce mezi laboratoří LaSArIS a společností RedHat, průmyslovým partnerem FI.
• Multimédia jako e-learningový obsah
  • Zapojený partner: RedHat
  • Vedoucí práce: Mgr. Jiří Kolář
  • Jméno diplomanta:
  • Stručně téma: Student prozkoumá možnost integrace multimediálního obsahu do e-learningovych nástrojů jak např. Moodle. Zaměří se zejména na problematiku streaming videa a zvuku, web-casting a sdílenou plochu při výuce, jakož i pořizování multimediálního obsahů (např. screencastů). Navrhněte prototyp pro jeden z e-learningových nástrojů.Práce je součástí projektu řešeného rámci spolupráce mezi laboratoří LaSArIS a společností RedHat, průmyslovým partnerem FI.
• Pokročilá autentizace v Java aplikacích na bázi protokolu Kerberos
  • Zapojený partner: Y Soft, s. r. o.
  • Vedoucí práce: Mgr. Pavel Tuček
  • Jméno diplomanta: Tomáš Král
  • Stručně téma: Student nastuduje problematiku předávání a práce s TGT lístky (Ticket-Granting Ticket) a lístky pro relace (Session Ticket). Následně student vytvoří aplikaci, která umožní uživateli autentizaci proti Kerberos KDC (Key Distribution Center) v Microsoft Active Directory a po úspěšné autentizaci uschování vydaného TGT lístku a lístku relace pro vybranou službu/zdroj. Součástí práce bude ukázková aplikace, která vydaný lístek relace uloží na čipovou kartu nebo flash paměť, dle výběru uživatele. Následně se uživatel pomocí čipové karty/flash paměti autorizuje službě a prokáže, že je oprávněn ji použít. Student by měl u obou možností přenosu lístku relace zvážit rizika jeho odcizení a použít adekvátní metody ke snížení tohoto rizika.
• Automatická extrakce idiomů z korpusu
  • Zapojený partner: Lexical Computing
  • Vedoucí práce: Mgr. Miloš Jakubíček
  • Jméno diplomanta: Jan Bušta
  • Stručně téma: Student nastuduje současné algoritmy používané pro automatické vyhledávání idiomatických frází v textových korpusech, provede jejich porovnání a následně implementuje vhodný z nich. Kromě implementace bude součástí práce i databáze extrahovaných idiomatických spojení z vybraných českých korpusů (např. SYN2000, czes), vyhodnocení správnosti pro část takto získaných dat a jejich porovnání se SČFI.
• Využití moderních ICT přístupů v oblasti incident managementu
  • Zapojený partner: IBM Česká Republika, s.r.o.
  • Vedoucí práce: RNDr. Jan Pavlovič, Ph.D.
  • Jméno diplomanta: Michal Holešinský
  • Stručně téma: Cílem diplomové práce je analýza současného stavu a moderních poznatků v oblasti incident managementu a návrh metodiky, řešící tuto disciplínu v SME a univerzitních sektoru. Metodika bude opřena o využití soudobých ICT nástrojů.

Doktorské

• Attacking Path Explosion for Effective Bug-finding
  • Zapojený partner: ANF DATA spol. s r.o.
  • Vedoucí práce: prof. RNDr. Antonín Kučera, Ph.D.
  • Konzultant: Mgr. Jan Obdržálek, Ph.D.
  • Jméno studenta: Marek Trtík
  • Stručně téma:
• Automatic Bug-finding Techniques for Linux Kernel
  • Zapojený partner: ANF DATA spol. s r.o.
  • Vedoucí práce: prof. RNDr. Antonín Kučera, Ph.D.
  • Konzultant: Mgr. Jan Obdržálek, Ph.D.
  • Jméno studenta: Jiří Slabý
  • Stručně téma:
• Techniky průmyslového modelování a verifikace síťových služeb
  • Zapojený partner: ANF DATA spol. s r.o.
  • Vedoucí práce: prof. RNDr. Mojmír Křetínský, CSc.
  • Konzultant: RNDr. Vojtěch Řehák, Ph.D.
  • Jméno diplomanta: ing. Petr Gotthard
  • Stručně téma:
• Syntaktická a logická analýza přirozeného jazyka
  • Zapojený partner: Lexical Computing
  • Vedoucí práce: doc. PhDr. Karel Pala, CSc.
  • Konzultant:
  • Jméno diplomanta: Mgr. Miloš Jakubíček
  • Stručně téma: