Obhajoby tezí disertační práce v roce 2012
Mgr. Ondrej Moriš
| Název: | Practical Route Planning Algorithms |
|---|---|
| Školitel: | doc. RNDr. Petr Hliněný, Ph.D., FI MU |
| Oponenti: | prof. RNDr. Ivana Černá, CSc., FI MU Jun. Prof. Dr. Markus Chimani, Universität Jena, Germany |
| Datum obhajoby: | 25. května 2012 |
| Obor: | Počítačové systémy a technologie |
Záměr disertační práce:
Cestní síť je možné modelovat prostřednictvím orientovaného multigrafu s ohodnocením hran reprezentujícím zvolenou metriku. Výsledkem tedy je, že problém plánování cest se dá formulovat jako varianta velmi dobře známého problému hledání nejkratší cesty v grafech reprezentujících skutečné světové cestní sítě. Neformálně řečeno, (řidiči) jsou dány dva vrcholy (GPS souřadnice) v grafu (cestní síť) a cílem je najít optimální tah (nejlepší cestu) z jednoho vrcholu do druhého vzhledem k daným kritériím optimality. Bohužel, základní algoritmy rešící tento problém nejsou vhodné pro obrovské cestní sítě s mnoha dalšími atributy.
Dizertační práce se bude zabývat praktickými aspekty plánování cest ve světových cestních sítích. Náš výzkum bude zaměřený na teoreticky a zároveň i prakticky efektivní a korektní algoritmy dávající požadované zrychlení za cenu pouze malého množství prepočítaných dat. Budeme zkoumat predevším kvalitu cest jako napríklad komfort či smysluplnost, zformulujeme prakticky motivované kritéria optimality. Ty poté využijeme pro návrh dokázatelně optimálních plánovacích algoritmů. Chceme, aby nové algoritmy co nejvíce zodpovídali lidské intuici při plánování cest.
Teze disertační práce byly obhájeny.
Mgr. Pavel Piskač
| Název: | Network Traffic Classification Based on Time Characteristics Analysis |
|---|---|
| Školitel: | doc. RNDr. Václav Račanský, CSc., ÚVT MU |
| Oponenti: | doc. RNDr. Eva Hladká, Ph.D., FI MU Ing. Josef Kaderka, Ph.D., FVT UO v Brně |
| Datum obhajoby: | 25. května 2012 |
| Obor: | Počítačové systémy a technologie |
Záměr disertační práce:
Schopnost odhalit síťové protokoly je důležitá v mnoha oblastech. Jedním
z využití může být blokování nežádoucích aplikací v sítích různého typu.
Tím lze zvýšit jejich zabezpečení, zamezit zneužití, zvýšit prioritu
předem vybraných aplikací nebo vynutit používání sítě pouze k pracovním
nebo studijním účelům. Se stále zvyšující se přenosovou rychlostí a
důmyslnějšími aplikacemi stoupají i nároky na detekční nástroje, proto
je třeba hledat nové přístupy nebo vylepšovat ty stávající, aby byly
schopné obstát v novém prostředí.
Pro detekci protokolů ve vysokorychlostních sítích budeme využívat
agregovaná NetFlow data rozšířená o informaci o velikosti mezipaketových
mezer. Tím omezíme objem zpracovávaných dat, čímž docílíme snížení
nároků na úložné kapacity a současně dojde ke snížení nároků na
výpočetní výkon. Záměrem disertační práce je ověření využitelnosti
mezipaketových mezer k detekci protokolů s využitím existujících
přístupů pro vyhledávání ve velkých objemech dat. Výzkum bude také
zaměřen na detekci vybraných protokolů, které buď představují výzvu
kvůli své schopnosti maskovat se nebo potenciální bezpečnostní riziko.
Pro měření mezipaketových mezer je nutné využívat velice přesná
zařízení, protože ve vysokorychlostních sítích mohou dosahovat mezery
velikosti v řádu desítek nanosekund. Jako zdroj dat pro následnou
analýzu využíváme hardwarově akcelerovanou sondu, která je napojena na
síť Masarykovy univerzity a získává přesný čas ze signálu pro satelitní
navigaci. Toto prostředí nám umožňuje provádět experimenty na reálných
datech.
Teze disertační práce byly obhájeny.
Mgr. Pavel Troubil
| Název: | Planning of Demanding Media Streams |
|---|---|
| Školitelka: | doc. Mgr. Hana Rudová, Ph.D., FI MU |
| Oponenti: | Rong Qu, Ph.D., BSc., University of Nottingham prof. Ing. Miroslav Švéda, CSc., FIT VUT v Brně |
| Datum obhajoby: | 25. května 2012 |
| Obor: | Počítačové systémy a technologie |
Záměr disertační práce:
Záměrem dizertační práce je výzkum a vývoj metod pro plánování náročných datových přenosů v počítačových sítích.
Pokročilá prostředí pro spolupráci, např. UltraGrid, umožňují kvalitní vzdálenou spolupráci v reálném čase. K tomu využívají takových toků dat, které jsou svojí požadovanou šířkou pásma blízké kapacitám dnešních páteřních linek. Taková prostředí nacházejí uplatnění např. v medicíně pro vzdálené konzultace, dále při vzdálené výuce, nebo ve filmovém průmyslu. Charakteristickým jevem je současný přenos několika proudů dat v síti, z nichž každý je přenášen od jednoho vysílajícího k několika příjemcům současně. Pro potřebu interaktivity takových přenosů je třeba hledat spojení s minimální přenosovou latencí.
Současné metody směrování používané v Internetu nejsou pro takové přenosy vhodné, neboť by snadno docházelo k zahlcení sítě. Cílem dizertační práce je vyvinout takové algoritmy pro plánování mnohonásobných současných m:n přenosů, které zamezí zahlcení sítě a mezi jinými kritérii budou optimalizovat zpoždění při přenosu. Algoritmy budou podporovat rozšíření základního plánovacího problému např. o podporu nepřesné informace o síťové topologii či překódování videa v síti na nižší datový tok.
Vyvinuté metody a algoritmy budou implementovány v prostředí CoUniverse pro orchestraci prostředí pro vzdálenou spolupráci.
Teze disertační práce byly obhájeny.
Mgr. Moslem Amiri
| Název: | Discrimination of neutron and photon signals |
|---|---|
| Školitel: | prof. Ing. Václav Přenosil, CSc., FI MU |
| Oponenti: | RNDr. Zdeněk Kopecký, Ph.D. , VF,a.s., Černá Hora prof. Mgr. Tomáš Tyc, Ph.D. PřF MU |
| Datum obhajoby: | 24. května 2012 |
| Obor: | Informatika |
Záměr disertační práce:
Neutron radiation is often produced during nuclear fusion or nuclear fission or any kind of nuclear reaction processes. This radiation is commonly used to identify the properties and structures of materials in various branches of science. Neutron radiation is also employed to cure cancerous tumors due to its penetrating and damaging nature. Neutron imaging is another usage of neutron radiation in industry.
Experimentally, neutron detection is a challenging task mainly due to the photons (gamma rays) as background noise. Photons pass through physical barriers and when mixed with neutrons in the detection environment, they behave almost the same as neutrons and make it uncertain whether neutrons are detected or photons. There are several methods already available to distinguish between these two signals. However, almost none of them do highly qualified discrimination.
We have proposed several new software techniques to discriminate between the neutron and photon signals obtained in a mixed radiation field. Then, these proposed methods will be assessed and a method which discriminates well and also has minimal computational overhead (to be applicable for fast real-time pulse processing) will be selected. Hardware realization of the optimal technique will be our next task. The development of a handheld device for simultaneous monitoring of neutrons and gamma rays will be our final task.
Teze disertační práce byly obhájeny.
Mgr. Vít Bukač
| Název: | Detection of flooding denial of service attacks on the source client hosts |
|---|---|
| Školitel: | prof. RNDr. Václav Matyáš, M.Sc., Ph.D., FI MU |
| Oponenti: | prof. RNDr. Luděk Matyska, CSc., FI MU Ing. Karel Obluk, Ph.D., AVG Technologies CZ, s.r.o. |
| Datum obhajoby: | 24. května 2012 |
| Obor: | Počítačové systémy a technologie |
Záměr disertační práce:
Útoky typu odepření služby (v originále denial-of-service, DoS) jsou jedny z nejčastějších a zároveň únejnepříjemnějších, s jakými se můžeme v oblasti síťové bezpečnosti setkat. Jejich účelem je znemožnit oprávněným uživatelům využívat sdílené zdroje počítače, proti kterému je útok veden. Rozlišujeme dva základní typy, DoS útoky síťové vrstvy a DoS útoky aplikační vrstvy. Útoky pracující na síťové vrstvě ISO OSI modelu jsou tradiční, využívající slabin protokolů síťové a transportní vrstvy. Jejich cílem je obvykle zaplnit některou z cache pamětí cílového počítače (např. TCP SYN útok) nebo zahltit síťová spojení cíle nadměrným množstvím zbytečných dat (např. UDP flood). V posledních letech se začínají prosazovat útoky aplikační vrstvy. Jsou vedené buď proti protokolům vyšších vrstev, nebo přímo proti konkrétním aplikacím. Cílem je typicky dosáhnout vysokého vytížení procesoru, pádu aplikace nebo vyčerpání volné operační paměti. Útoky typu odepření služby jsou často distribuované, prováděné souběžně tisíci počítači sdruženými do botnetu. Síla DoS útoků a jejich četnost rok od roku roste.
Obrana proti DoS útokům je komplikovaná. Opatření je možná aplikovat blízko zdrojových počítačů, blízko cílových počítačů nebo v mezilehlé síti. Každá možnost nese svá omezení. Obrana v mezilehlé síti obvykle vyžaduje spolupráci více zainteresovaných stran. Navíc poskytovatelé připojení jsou zdrženliví nasazovat opatření, která pro ně představují zátěž a přitom jim nepřináší žádné bezprostřední výhody. Ochrana u cílových počítačů je náročná na výkon, a pokud je zahlceno síťové připojení k cíli, není takto možné útok zastavit vůbec.
Mnou navrhovaný výzkum se zabývá návrhem metody pro detekci odchozích DoS útoků přímo na zdrojových počítačích. Pokud je útok detekován, je možné datový provoz zastavit ještě před vstupem do Internetu a tak zabránit přetěžování sdílených zdrojů. Pro majitele útočícího počítače je přínosem informace, že jeho počítač byl pravděpodobně infikován škodlivým softwarem. Detekční algoritmus je založen na analýze příchozího a odchozího datového provozu počítače.
Teze disertační práce byly obhájeny.
Mgr. Matej Pivoluska
| Název: | Quantum Information Processing with Weak Sources of Randomness |
|---|---|
| Školitel: | prof. RNDr. Jozef Gruska, DrSc., FI MU |
| Oponenti: | prof. RNDr. Miloslav Dušek, Ph.D., PřF UP v Olomouci doc. Mgr. Mário Ziman, Ph.D., ETH Zurich |
| Datum obhajoby: | 24. května 2012 |
| Obor: | Informatika |
Záměr disertační práce:
Uniformná náhodnosť je cenný výpočetný zdroj s uplatnením napríklad pri návrhu algoritmov, v kryptografií alebo pri štúdiu komunikačnej zložitosti. Náhodnostné algoritmy sú často rýchlejšie a jednoduchšie na návrh a analýzu ako ich deterministické náprotivky. Užitočnosť uniformnej náhodnosti je zrejmá aj zo skutočnosti, že prístup komunikujúcich strán k uniformne distribuovaým bitom patrí k jedným z najdôležitejších predpokladov pri dôkazoch bezpečnosti mnohých kryptografických protokolov.
Nanešťastie, výzkumníkom a inžinierom sa zatiaľ nepodarilo postaviť zariadenie, ktoré by produkovalo pravú uniformnú náhodnosť. Aj v prípade, že zariadenie je založené na teórií, ktorá umožňuje produkciu pravej náhodnosti, napríklad zariadenie založené na meraní kvantových stavov, technologické nedokonalosti môžu viesť k výrazným odchýlkam skutočnej implementácie od ideálnej funkčnosti. Táto skutočnosť vyvoláva dôležitú otázku, či je „slabá náhodnosť“, t. j. neuniformné náhodné procesy, použiteľná ako zdroj pre výpočetné a kryptografické úlohy.
Analýza kryptografických úloh za predpokladu slabej náhodnosti je obzlášť dôležitá. Dôvodom je skutočnosť, že mnohé kryptografické systémy priamo využívajú uniformne distribuované náhodné bity – tajný kľúč – na utajenie určitých informácií. Ak predpokladáme, že útočník je schopný získať nejaké informácie o tajnom kľúči, je potrebné analyzovať daný kryptografický protokol s kľúčom distribuovaným podľa pravdepodobnosti podminenej útočníkovou znalosťou. Táto distribúcia kľúča sa z pohľadu útočníka môže výrazne líšiť od uniformnej. Ako vidno, útočníkova znalosť môže zmeniť uniformnú náhodnosť na slabú náhodnosť. Vo výsledku sú slabé zdroje náhodnosti vhodným formalizmom pre modelovanie úniku informácií o tajnom kľúči.
Ťažkosti ktoré vznikajú pri používaní slabých zdrojov sú dobre známe v oblasti klasického spracovania informácie. Existujú problémy, ktoré sa dajú riešiť aj pomocou relatívne slabých zdrojov, ale aj problémy, ktoré sa vyriešiť nedajú ak máme k dispozícií iba náhodnosť ktorá je čo i len mierne odlišná od uniformnej. V súčasnosti však neexistuje takáto analýza pre kvantový náprotivok klasického spracovania informácie – kvantové spracovanie informácie (Quantum Information Processing - QIP). Tento fakt je v celku prekvapivý, pretože klasická náhodnosť hrá významnú rolu aj v úlohách kvantového spracovania informácie. Možným dôvodom tohoto nedostatku výsledkov je pohľad, podľa ktorého je v QIP klasická náhodnosť voľný a vždyprítomný výpočetný zdroj. V praxi sa však uniformná náhodnosť nedá získať ani pomocou zariadení založených na kvantových meraniach. Navyše, scenár v ktorom sa útočník dozvie nejakú klasickú informáciu o tajnom kľúči zostáva platný a zaujímavý aj v oblasti kvantového spracovania informácie.
Hlavným zameraním navrhovanej dizertačnej práce je analýza rôznych aplikácií kvantového spracovania informácie s predpokladom použitia slabej náhodnosti.
Prvou úlohou práce je analyzovať šifrovanie klasickej informácie pomocou kľúča distribuovaného podľa slabého zdroja náhodnosti, za použitia kvantových šifrovacích správ. Hlavným cieľom je dokázať, že použitie kvantových správ ponúka vyššiu úroveň zabezpečenia v porovnaní s klasickými správami.
Druhou úlohou je analýza vplyvu slabej náhodnosti na bezpečnosť protokolov kvantovej distribúcie kľúča. Hlavným cieľom je nájdenie horného odhadu na množstvo informácie, ktoré je útočník schopný získať ak sa v protokoloch používa slabá namiesto uniformnej náhodnosti.
Poslednou úlohou je analýza privátnych kvantových kanálov (private quantum channels) a ich implementácií za použitia slabého kľúča. Hlavnou otázkou je kvantifikácia vplyvu slabých zdrojov na rôzne implementácie privátnych kvantových kanálov.
Teze disertační práce byly obhájeny.
Ing. Jan Vlach
| Název: | Quantum Marginal Problem |
|---|---|
| Školitel: | prof. RNDr. Jozef Gruska, DrSc., FI MU |
| Oponenti: | Mgr. Michael Krbek, Ph.D., PřF MU Vladyslav Usenko, Ph.D., PřF UP v Olomouci |
| Datum obhajoby: | 24. května 2012 |
| Obor: | Informatika |
Záměr disertační práce:
Teze disertační práce byly obhájeny.
Mgr. Jana Fabriková
| Název: | Construction of Algebraic Abstractions for Systems Biology |
|---|---|
| Školitel: | prof. RNDr. Luboš Brim, CSc., FI MU |
| Oponenti: | Mgr. Jana Němcová, Ph.D., VŠCHT v Praze prof. Jan H. van Schuppen, CWI Amsterdam |
| Datum obhajoby: | 23. května 2012 |
| Obor: | Informatika |
Záměr disertační práce:
Systémová biologie zahrnuje výzkum genetických regulací a biochemických interakcí mezi molekulami uvnitř buňky. Zaměřme se na deterministické modelování těchto procesů, při kterém je model dán jako systém obecných diferenciálních rovnic (ODR) nebo hybridní systém s dynamikou danou systémy ODR. Obecně jsou problémy dosažitelnosti a ověřování modelu nerozhodnutelné pro spojité systémy a hybridní automaty s nelineární dynamikou. Proto jsou modely abstrahovány do podoby automatu nebo speciálních hybridních automatů, pro které je dosažitelnost a ověřování modelu výpočetně zvládnutelné.
Většina diskrétních abstrakcí pro ověřování dosažitelnosti ve spojitých systémech spočívá v konstrukci konečného kvocientu reálného fázového prostoru daného systému ODR. Abstrakce, které zahrnují algebraickou manipulaci se systémem zadaným zadaný pomocí polynomiálních výrazů a predikátů (zkráceně algebraické abstrakce), jsou dvojího typu. Série článků o algoritmickém algebraickém ověřování modelu (V. Mysore, B. Mishra a kol.) představila semi-algebraické hybridní automaty jako vhodnou třídu pro modelování biologických systémů a ověřování vlastností vyjádřitelných v logice TCTL. Druhý přístup je predikátová abstrakce (A. Tiwari), kterou lze použít pro analýzu dosažitelnosti. Oba přístupy používají algoritmy algebraické geometrie v reálném oboru, zejména eliminaci kvantifikátorů. Známé algorithmy pro eliminaci kvantifikátorů mají velkou výpočetní složitost. Krokem k lepší použitelnosti těchto algorimů by mohlo být jejich zrychlení pomocí specializace na masivně paralelní architektury (např. GPU).
Cílem práce je zkombinovat algebracké ověřování modelu s vybranými aspekty predikátové abstrakce, aby bylo možné provádět ověřování modelů biologických systémů s polynomiální dynamikou, a paralelizovat proces algebraického ověřování modelu, algorimy pro identifikaci predikátů a eliminaci kvantifikátorů pomocí GPU.
Teze disertační práce byly obhájeny.
Mgr. Antonín Pavelka
| Název: | Development of geometrical methods for protein engineering and analysis of protein structures |
|---|---|
| Školitel: | doc. Ing. Jiří Sochor, CSc., FI MU |
| Oponenti: | Ing. Matej Lexa, Ph.D., FI MU doc. Mgr. Daniel Svozil, Ph.D., VŠCHT v Praze |
| Datum obhajoby: | 23. května 2012 |
| Obor: | Počítačové systémy a technologie |
Záměr disertační práce:
Proteiny získané z živých organismů mohou být metodami proteinového inženýrství upraveny pro praktické využití. Evolučně variabilní rezidua v aktivním místě nebo přístupových tunelech jsou atraktivním cílem pro návrh enzymů nových katalytických vlastností. Nynější přístupy k identifikaci těchto „hot spot“ reziduí vyžadují znalost mnoha bioinformatických nástrojů, zkušenosti s interpretací jejich výsledků a jsou časově náročné. Navíc algoritmy pro identifikaci tunelů mají řadu omezení. To motivovalo cíle diskutované v těchto Tezích, kterými jsou (i) vyvinout výpočetní metodu pro identifikaci „hot spot“ reziduí a (ii) navrhnout nové algoritmy řešící problém přesné a efektivní identifikace tunelů.
Teze disertační práce byly obhájeny.
Mgr. David Sehnal
| Název: | Analysis of Protein Structural Motifs |
|---|---|
| Školitel: | prof. RNDr. Luděk Matyska, CSc., FI MU |
| Oponenti: | doc. RNDr. Michal Otyepka, Ph.D., PřF UP v Olomouci RNDr. David Šafránek, Ph.D., FI MU |
| Datum obhajoby: | 23. května 2012 |
| Obor: | Počítačové systémy a technologie |
Záměr disertační práce:
V dnešní době je k dispozici více dat o struktuře biomolekul než kdykoliv dříve. Analýza těchto dat poskytuje cenné vysledky v oblasti medicíny, biotechnologií a v dalších souvisejících oblastech. Protože takto velké množství dat je dostupné relativně krátkou dobu (několik let), algoritmy a nástroje pro jejich analýzu jsou předmětem intenzivního výzkumu. Velmi důležitou oblastí výzkumu biomolekul je analýza tzv. strukturních motivů v proteinech jako jsou vazebná místa, prvky sekundární struktury nebo kanály. Tyto motivy mají zásadní význam pro biologickou funkci proteinů. Analýza těchto motivů se dá rozdělit do tří kroků – jejich identifikace, porovnání a charakterizace (výpočet jejich vlastnosti). V mé práci se zabývám vývojem efektivních a robustních přístupů k těmto problémům. Moje práce se skládá z (1) vývoje jazyka pro deklarativní popis motivů v proteinech. Dále se zabývám vývojem (2) algoritmů pro přikládání motivů s podobnou topologií (tzv. superimpozice) a (3) algoritmy pro identifikaci kanálů v proteinech a výpočtem jejich geometrických, topologických a chemických vlastností. (4) Vyvinul jsem také software pro výpočet parciálních nabojů molekul pomocí tzv. Electronegativity Equalization Method (EEM). Velká část mého úsilí je zaměřena směrem k (5) využití synergie mezi výše popsanými postupy (např. přikládání kanálu, využití nábojů při superimpozici, výpočet nábojů na povrchu kanálů, a další). Tyto metody poskytují vědecké komunitě nové způsoby přístupu k řešení jejích výzkumných problémů. Konečně, (6) jako společnou platformu pro řešení výše zmíněných problemů vyvíjím softwarový framework WebChemisty.
Při mé práci spolupracuji s chemiky a biology v rámci CEITECu a dalších organizací, díky čemuž jsou mé algoritmy a nástroje testovány na reálných bioloických datech. Moje výsledky v oblasti výpočtu nábojů byly publikovány v časopise Journal of Chemical Information and Modeling (JCIM) a článek o superimpozici se také blíží k přijetí ve stejném periodiku (byla odeslána druhá revize). Mé výsledky byly rovněž prezentovány na několika mezinárodních konferencích.
Teze disertační práce byly obhájeny.
Mgr. Karel Štěpka
| Název: | Detection of Sub-Resolution Dots in Microscopy Images |
|---|---|
| Školitel: | prof. RNDr. Michal Kozubek, Ph.D., FI MU |
| Oponenti: | doc. RNDr. Lubomír Popelínský, Ph.D., FI MU doc. Dr. Ing. Pavel Zemčík, FIT VUT v Brně |
| Datum obhajoby: | 23. května 2012 |
| Obor: | Informatika |
Záměr disertační práce:
Významnou oblastí optické mikroskopie je zpracování snímků získaných pomocí
fluorescenční in situ hybridizace (FISH). Tato technika umožňuje pozorovat konkrétní části genetického materiálu buňky: chromozomy, jejich úseky, nebo jednotlivé geny. Počítáním a určováním polohy těchto objektů můžeme získat cenné informace využitelné např. v diagnostice genetických abnormalit, některých druhů rakoviny, případně při studiu buněčného cyklu.Zejména v případě jednotlivých genů se jedná o objekty, jejichž rozměry jsou pod rozlišovací schopností optických mikroskopů. Na snímcích se pak tyto hybridizační signály jeví jako malé tečky, nepřesahující rozměrem několik pixelů. Tečky nejsou snadno popsatelné texturou nebo pomocí kontur, vzhledem k nízkým úrovním osvětlení jsou FISH snímky také významně zatíženy obrazovým šumem. Z těchto důvodů představuje automatická detekce, počítání a lokalizace těchto teček netriviální výzvu.
Text představuje existující metody pro detekci hybridizačních signálů. Zmíněny jsou metody klasické a novější, na nich založené, a také metody stavějící na principech strojového učení. Dále teze popisují rámec pro vyhodnocování úspěšnosti a použitelnosti detekčních metod. V textu je navržen nový postup pro hodnocení citlivosti metod na nastavení jejich parametrů; přestože se jedná o důležitý aspekt, v dosavadní literatuře nebylo tomuto tématu věnováno mnoho prostoru.
Dosavadní metody byly většinou designovány primárně pro 2D snímky, s možností více či méně přímočarého rozšíření pro 3D mikroskopii. V návaznosti na srovnávací studii, ve které zkoumáme úspěšnost existujících metod na 3D datech, byl jako cíl vytyčen návrh nové metody pro detekci FISH signálů. Metoda by měla být navržena po důkladné analýze specifik 3D obrazů z optické mikroskopie; nebude se tedy jednat o prosté rozšíření 2D procesu. Kvalita metody poté bude zkoumána stejným postupem, jaký byl použit v naší srovnávací studii. Důraz bude kladen nejen na samotnou úspěšnost, ale i na použitelnost a citlivost vůči změnám parametrů.
Teze disertační práce byly obhájeny.
Mgr. Jan Géryk
| Název: | Applied Visual Analytics for Higher Education Decision Making |
|---|---|
| Školitel: | doc. Ing. Michal Brandejs, CSc., FI MU |
| Oponenti: | doc. RNDr. Lubomír Popelínský, Ph.D., FI MU Ing. Lenka Vysloužilová, Ph.D., ČVUT v Praze |
| Datum obhajoby: | 22. května 2012 |
| Obor: | Počítačové systémy a technologie |
Záměr disertační práce:
Informační systém Masarykovy univerzity (IS MU) používají denně desetitisíce uživatelů a produkují velké množství dat týkajících se jejich studií a akademické činnosti. Metody analytického zpracování usnadňují pochopení velkého množství surových dat. Automatické metody však neberou v úvahu sémantiku dat. Vizualizační nástroje a metody poskytují dostatečnou abstrakci a přispívají k využití lidského potenciálu při analytickém zpracování.
Disertační práce navrhne a vyhodnotí vhodné vizualizační techniky použitelné pro rozšíření analytického zpracování studijních dat v oblasti vysokého školství, které budou implementovány do nástroje pro dobývání znalostí Excaliburu. Excalibur obsahuje datový sklad, který ukládá studijní data a jejich historii a implementuje rozšířené analytické metody. Cílem práce je doplnit analytický systém o podporu vizualizace, usnadnit identifikaci překryvů a návazností předmětů, vytváření doporučených průchodů studií, odhalení motivace studentů, a umožnit nasazení Excaliburu v produkčním prostředí IS MU.
Teze disertační práce byly obhájeny.
Matej Klement
| Název: | Comprehensive Modeling Platform for Photosynthetic Organisms |
|---|---|
| Školitel: | prof. RNDr. Luboš Brim, CSc., FI MU |
| Oponenti: | Ing. Jan Červený, Ph.D., Photon Systems Instruments, Drásov Ing. Matej Lexa, Ph.D., FI MU |
| Datum obhajoby: | 22. května 2012 |
| Obor: | Počítačové systémy a technologie |
Záměr disertační práce:
Modelovanie fotosyntézy je v posledných rokoch pomerne neskúmaná téma.
To môže byť spôsobené zameraním biológie primárne na výskum genómu a funkcií
jeho produktov. Táto skutočnosť vedie k malému počtu modelov popisujúcich
správanie fotosyntézy alebo jej častí. Aj tento malý počet modelov je zle
označený a preto nie je možné tieto modely kombinovať. Cieľom tejto práce je
navrhnúť univerzálnu metódu označovania, vytvárania a zdieľanie fotosyntetických modelov. Obsahuje tiež popis súčasného stavu systému a jeho funkcií.
Teze disertační práce byly obhájeny.
Mgr. Ing. Lucie Pekárková
| Název: | E-learning in Process-oriented Knowledge Management |
|---|---|
| Školitel: | prof. RNDr. Jiří Hřebíček, CSc., PřF MU |
| Oponenti: | ao. Univ. Prof. Ing. Dr. Renate Motschnig, University of Vienna doc. RNDr. Tomáš Pitner, Ph.D., FI MU |
| Datum obhajoby: | 22. května 2012 |
| Obor: | Informatika |
Záměr disertační práce:
Teze doktorské práce se zabývají inovativním přístupem k procesně-orientovanému e-learningu. Cílem doktorské práce je vytvořit metodiku a pracovní prostředí pro definování transparentních učebních procesů, které budou jednoduše říditelné a monitorovatelné, čímž bude učiteli/tutorovi/manažerovi znalostí umožněno měřit efekt výuky.
Teze disertační práce byly obhájeny.
Mgr. Martin Elich
| Název: | Flow-based Network Anomaly Detection in the Context of IPv6 |
|---|---|
| Školitel: | prof. Ing. Václav Přenosil, CSc., FI MU |
| Oponenti: | doc. Ing. Jaroslav Dočkal, CSc., VŠ Karla Engliše Brno Ing. Josef Kaderka, Ph.D., FVT UO v Brně |
| Datum obhajoby: | 21. května 2012 |
| Obor: | Informatika |
Záměr disertační práce:
Počítačové sítě se staly nezbytnou součástí moderní infrastruktury. Každé síťové zařízení je potenciální obětí či zdrojem síťového útoku. Pokud poskytovatelé internetových služeb (ISP) chtějí poskytovat bezpečnou a dostupnou síť, musí zavést bezpečnostní opatření přímo na úrovni sítě. Prvním krokem jsou síťové firewally a daším pak, nasazení Network-based Intrusion Detection/Prevention Systemů (IDS/NIPS), které velmi často využívají Network Behavior Analysis (NBA).
NBA systémy detekují síťové anomálie pomocí sledování odchylek v chování sítě. Nicméně, se zvyšujícím se zastoupením protokolu IPv6, který není kompatibilní se starším IPv4, je třeba přizpůsobit současný stav NBA tomuto novému prostředí. Celá oblast NBA, nehledě na verzi protokolu IP, nabývá na důležitosti a vyžaduje ještě mnoho výzkumu.
Záměrem disertacní práce je upravit v současnosti používané nástroje a hlavně NBA metody pro použití v novém IPv6 síťovém prostředí. Prvním krokem pro naplnění tohoto záměru je upravit vrstvu získávající statistiky o IP tocích, se zaměrením na podporou monitorování tunelovaného IPv6 provozu. Ten představuje jednu z hlavních bezpečnostních hrozeb IPv6. Zaměríme se na přechodové mechanismy jako je 6to4, ISATAP a hlavně Teredo, které je možné využít pro útoky na cíle skryté za NAT. Po splnění tohoto kroku plánujeme analyzovat a navrhnout detekční metody pro hrozby spjaté s IPv6, a také upravit a vylešit současně používané metody pro detekci (D)DoS a vertikálních skenů. První plánovanou metodou pro detekci IPv6 specifických hrozeb bude detekce přímých útoků na cíle skryté za NAT.
Teze disertační práce byly obhájeny.
Mgr. Miloš Jakubíček
| Název: | Rule-Based Parsing of Morphologically Rich Languages |
|---|---|
| Školitel: | doc. PhDr. Karel Pala, CSc., FI MU |
| Oponenti: | dr. Maciej Piasecki, Wroclaw University dr. Martin Rajman, EPFL Lausanne |
| Datum obhajoby: | 21. května 2012 |
| Obor: | Informatika |
Záměr disertační práce:
Předložené teze dizertační práce se zabývají syntaktickou analýzou jazyků
s bohatou morfologií. Po úvodní kapitole následuje detailní přehled soudobého
stavu v dané oblasti a souhrn autorova pohledu na současné problémy
a metody jejich řešení. Zvláštní pozornost je věnována statistickému a pravidlovému
přístupu k syntaktické analýze a problematice jejího vyhodnocování.
Následuje kapitola popisující cíle dizertační práce a poslední kapitola se
zabývá dosud dosaženými výsledky autora a jeho publikační činností.
Teze disertační práce byly obhájeny.
Mgr. Vojtěch Přehnal
| Název: | A Metadata-Driven Approach to Relational Database Management |
|---|---|
| Školitel: | doc. RNDr. Ivan Kopeček, CSc., FI MU |
| Oponenti: | RNDr. Barbora Bühnová, Ph.D., FI MU doc. Dr. Ing. Dušan Kolář, FIT VUT v Brně |
| Datum obhajoby: | 21. května 2012 |
| Obor: | Počítačové systémy a technologie |
Záměr disertační práce:
Správa relačních databází pomocí metadat
Různorodé aplikace často potřebují navzájem vyměňovat relační data. To je typicky realizováno pomocí zasílání zpráv skrz komunikační prostředí (např. počítačová síť, systém souborů, operační paměť, atd.) v dobře definovaném, strojově čitelném formátu. V jednoduchých případech, kdy je relační schéma neměnné, je potřeba serializovat a vyměňovat pouze relační data. Interagující aplikace jsou upraveny na míru konkrétnímu relačnímu schématu: sdílejí společné serializační schéma, provádějí vlastní aplikační logiku nad daty a případně mají vytvořeno vlastní uživatelské rozhraní. Jak se relační schéma vyvíjí, serializační schéma musí být předefinováno a interagující aplikace musejí být znovu implementovány. Pro přístup k dynamickým (v čase se měnícím) relačním schématům v reálném čase je zapotřebí serializovat relační schéma pomocí metadatového modelu a informace o schématu zasílat mezi aplikacemi spolu s vlastními daty. To má za následek, že uživatelské rozhraní musí být odvozeno od aktuálního relačního schéma a generováno na běhu místo toho, aby bylo předem vytvořeno od výrobce SW. To ovšem klade vysoké nároky na metadatové modely, které musejí poskytnout dostatečné informace (metadata) pro vygenerování kvalitního uživatelského rozhraní.
Cílem této práce je navrhnout nový přístup k řízení relačních databází pomocí relačních metadat, který umožní změnu relačního schéma v reálném čase bez překompilovávání aplikace. Hlavní myšlenka nového přístupu spočívá v automatickém mapování relačních metadat do relačního schéma: místo úpravy relačního schéma pomocí SQL příkazů a získávání relačních metadat ze speciálních databázových pohledů, je v této práci navržen opačný přístup: relační schéma je měněno automaticky pomocí změn relačních metadat uložených v běžných databázových tabulkách.
V této práci je navržena nova softwarová vrstva Relational Schema Tier (RST). Tato vrstva umožňuje automatickou správu relační databáze pomocí výměny relačních metadat a obsahuje algoritmy pro automatické mapování relačních metadat do relačního schéma.
Pro výměnu relačních dat a metadat je specifikován nový komunikační protokol Relational Schema Protocol (RSP). Účelem tohoto protokolu je nahradit SQL příkazy závislé na relačním schéma voláním vzdálených funkcí (remote procedures), které závislé na relačním schéma nejsou. Tento protokol definuje operace pro získávání informací o aktuálním stavu relačního schéma, výměnu relačních dat a metadat, efektivní počítání agregačních funkcí a také nové serializační schéma pro obecné relační data a metadata.
Pro reprezentaci a ukládání relačních metadat je definován nový metadatový model Relational Schema Model (RSM). Tento model zahrnuje metadata ze standardních metadatových modelů relačních databází s revidovanou strukturou pro efektivnější zpracování dotazů a také doplňková metadata pro lokalizaci relačního schéma, zobrazení a validaci dat.
Teze disertační práce nebyly obhájeny.
Mgr. et Mgr. Vít Baisa
| Název: | Chunk-based Language Model and Machine Translation |
|---|---|
| Školitel: | doc. PhDr. Karel Pala, CSc., FI MU |
| Oponenti: | doc. RNDr. Karel Oliva, Dr., ÚJČ AV ČR RNDr. Pavel Šmerk, Ph.D., FI MU |
| Datum obhajoby: | 13. ledna 2012 |
| Obor: | Informatika |
Záměr disertační práce:
Práce popisuje jazykový model založený na kognitivním principu omezené kapacity pracovní paměti a přirozené hierarchii jazykových prvků (fonémů, morfémů, slov, frází a vět). Princip shlukování je aplikován přímo na (textové) jazykové prvky. Jazykový model (chunk-based language model) představuje orientovaný graf, který je budován postupně ze základní množiny shluků - alfanumerických znaků. Proces budování (učení) modelu vychází z trénovací množiny tzv. jazykových jednotek - libovolných výrazů přirozeného jazyka, ze kterých jsou odstraněny interpunkční znaky (až na několik výjimek) a mezery. Do modelu je přidán nový shluk (jazyková jednotka) z trénovací množiny pouze v případě, kdy je možné tuto jednotku reprezentovat jako zřetězení již naučených shluků z modelu. Toto zřetězení však nemůže být delší než je předem určená kapacita pracovní paměti (na základě empirických výzkumů volím kapacitu 4/5). V práci popisuji očekávané vlastnosti tohoto modelu. Součástí práce je také návrh systému pro strojový překlad, který přímo využívá popsaný jazykový model a sleduje stejné principy. Podobně jako současné statistické překladové systémy rozděluje problém překladu mezi jazykový a překladový model. Překladový model tvoří slovník shluků, který využívá principu kompozicionality a obsahuje co možná nejmenší shluky potřebné pro překlad. Ve velkém množství případů tak slovník obsahuje překladové dvojice morfémů, gramémů, slovních kmenů a kořenů. Jeho struktura je velmi jednoduchá a díky velké úspoře při rozkladu slovní zásoby na shluky pod úrovní slov je možné budovat podobné slovníky i pro jiné překladové páry ručně a relativně rychle. Následuje i návrh jednoduchého algoritmu pro samotný překlad, který na základě slovníku převádí shluky obsažené ve zdrojové (překládané) větě na shluky v cílovém jazyce, přičemž výsledná věta se tvoří na základě vyhledávání vyšších shluků v cílovém jazykovém modelu, protože se předpokládá, že princip kompozicionality funguje stejně i v cílovém jazyce. Nedílnou součástí práce je pak i popis a návrh vyhodnocení celého překladového systému, jelikož vyhodnocení samotných částí je obtížné či nemožné.
Teze disertační práce byly obhájeny.
Mgr. Tomáš Čapek
| Název: | Semantic Annotation for Czech |
|---|---|
| Školitel: | doc. PhDr. Karel Pala, CSc., FI MU |
| Oponenti: | Dr. Darja Fišer, Univ. of Ljubljana doc. RNDr. Tomáš Pitner, Ph.D., FI MU |
| Datum obhajoby: | 13. ledna 2012 |
| Obor: | Informatika |
Záměr disertační práce:
Bohatě značkované korpusové texty patří k nejcennějším jazykovým zdrojům pro mnoho aplikací
zpracování přirozeného jazyka - od syntaktické analýzy až po strojový překlad. Ve své práci se
soustředím na metody, které vylepší současnou sémantickou anotaci pro češtinu s použitím
wordnetové lexikální databáze. Jelikož sémantická anotace vyžaduje spolehlivá data, rovněž
představím systém, který bude periodicky testovat a oznamovat jejich kvalitu.
Teze disertační práce byly obhájeny.
Mgr. Martin Kyselák
| Název: | Multi-Index Approach for Similarity Searching |
|---|---|
| Školitel: | prof. Ing. Pavel Zezula, CSc., FI MU |
| Oponenti: | Fabrizio Falchi, Ph.D., ISTI CNR, Pisa RNDr. Jakub Lokoč, Ph.D., MFF UK v Praze |
| Datum obhajoby: | 13. ledna 2012 |
| Obor: | Informatika |
Záměr disertační práce:
S narůstajícím počtem multimediálních souborů, který vede k vytváření obrovských datových úložišť, se vyhledávání v multimédiích stává velice důležitým. Místo použití technik založených na principu přesné shody se pro tyto typy souborů ukázal jako lepší přístup založený na principu podobnosti. Výzkumná oblast podobnostního hledání se v nedávné době zaměřila na zlepšování výkonu a robustnosti indexovacích a vyhledávacích struktur. Místo snahy zlepšovat nynější moderní vyhledávací struktury jsme se rozhodli zaměřit na zlepšování celého konceptu podobnostního hledání z vyšší úrovně. Na základě našich nedávných experimentů chceme použít některé z principů Locality-sensitive hashing v oblasti metrického prostoru a navrhnout multi-indexovou architekturu systému, která by měla zlepšit výkon a robustnost systému. Navíc, s pomocí modelu této architektury, bychom měli být schopni předpovědět klíčové vlastnosti navrhovaného systému pro vyhledávání, nebo opačně – navrhnout vhodnou architekturu systému, který by splňoval požadované vlastnosti.
Teze disertační práce byly obhájeny.
Mgr. Ondřej Strnad
| Název: | Detection of pathways in large macromolecular structures |
|---|---|
| Školitel: | doc. Ing. Jiří Sochor, CSc., FI MU |
| Oponenti: | doc. Ing. Josef Kohout, Ph.D., FAV ZČU v Plzni Mgr. Petr Tobola, Ph.D., FI MU |
| Datum obhajoby: | 13. ledna 2012 |
| Obor: | Informatika |
Záměr disertační práce:
Proteiny jsou základní složkou živých organismů a podílí se téměř na každém procesu uvnitř živé buňky. Detekce tunelů (specifických cest spojujících vnitřní část proteinu s jeho povrchem) uvnitř proteinu pomáhá biochemikům zaměřit se na konkrétní části proteinů, které mohou být důležité při chemické reakci. Vlastnosti tunelu (šířka, křivost, atd.) ovlivňují, jestli odlišná malá molekula je schopna projít do proteinu a způsobit chemickou reakci. Teze prezentují přístupy, algoritmy a nástroje využitelné při detekci tunelů.
Teze disertační práce byly obhájeny.
Mgr. Vilém Šustr
| Název: | Visualization and Analysis of Large-scale Dynamic Biochemical Data |
|---|---|
| Školitel: | doc. Ing. Jiří Sochor, CSc., FI MU |
| Oponenti: | Ing. Petr Felkel, Ph.D., FEL ČVUT v Praze doc. Ing. Adam Herout, Ph.D., FIT VUT v Brně |
| Datum obhajoby: | 13. ledna 2012 |
| Obor: | Informatika |
Záměr disertační práce:
Analýza proteinů napomáhá porozumění jejich vnitřní struktuře a chemickým principům. Díky tomu může být umožněn nebo výrazně urychlen vývoj nových léčiv. V průběhu výzkumu v této oblasti byla vytvořena řada vizualizačních aplikací, jen několik se však osvědčilo a je díky oblíbenosti používáno dodnes. Tato práce vymezuje základní pojmy okolo struktury proteinů, uvádí čtenáře do problematiky analýzy proteinové struktury, stručně popisuje existující software pro analýzu a vizualizaci proteinů. Detailněji se zabývá často používanými vizualizačními metodami a technikami interakce. Dosažené výsledky jsou prezentovány v podobě popisu aplikace CAVER Viewer.
Teze disertační práce byly obhájeny.
Mgr. Jiří Kolář
| Název: | A Framework for Business Process Management in Small and Medium Enterprises |
|---|---|
| Školitel: | doc. RNDr. Tomáš Pitner, Ph.D., FI MU |
| Oponenti: | doc. RNDr. Jitka Kreslíková, CSc., FIT VUT v Brně Mgr. Ing. Lukáš Rychnovský, Ph.D. ÚVT MU |
| Datum obhajoby: | 11. ledna 2012 |
| Obor: | Informatika |
Záměr disertační práce:
Tento dokument popisuje výzkumný záměr v oblasti Business Process Managementu. Očekávaným výsledkem výzkumu je vytvoření Frameworku pro zavádění BPM v kontextu malých a středních podniků. Použití Frameworku by mělo umožnit vytvoření dobře definovaných a měřitelných ICT procesů s přímou návazností na cíle organizace. Framework se skládá ze tří základních prvků. Metodiky popisující samotný proces zavedení BPM v organizaci, architektonické koncepce EIS, který podpoří ono BPM řešení a také softwarový nástroj, sloužící pro dokumentaci a zprávu elementů využívaných ve fázi BPM analýzy. Použití vypracované metodiky povede k zavedení udržitelného procesního modelu a IT Governance. Takovýto model umožňuje společnosti poskytovat vysoce kvalitní ICT služby pro interní i externí zákazníky. Metodika bude ověřena na několika případových studií, jak v komerční a akademické prostředí.
Teze disertační práce byly obhájeny.
Mgr. Tomáš Obšívač
| Název: | Integration of Social Software Features into Web Information Systems |
|---|---|
| Školitel: | doc. Ing. Michal Brandejs, CSc., FI MU |
| Oponenti: | doc. RNDr. Ivan Kopeček, CSc., FI MU Ing. PhDr. Antonín Pavlíček, Ph.D., KSA FIS VŠE v Praze |
| Datum obhajoby: | 11. ledna 2012 |
| Obor: | Počítačové systémy a technologie |
Záměr disertační práce:
Principy Webu a sociálního software mohou být přeneseny do podnikových webových informačních systémů s cílem nalézt nové způsoby propojení lidí a potenciálně zajímavých informací. Teze doktorské práce diskutují, co vzít v úvahu během integrace společenských (komunikačních a propojovacích) vlastností a jak je poté využít nasazením technik analýzy sociálních sítí a dolovaní vztahů v sítích s různými druhy vazeb a aktérů. Tyto techniky pomáhají odhalit dosud skryté znalosti, které jsou užitečné pro podporu práce a učení. Příklady, jako je personalizace výsledků vyhledávání, jsou převzaty z Informačního systému Masarykovy univerzity.
Teze disertační práce byly obhájeny.
Mgr. Petr Ročkai
| Název: | Model Checking Software |
|---|---|
| Školitel: | prof. RNDr. Luboš Brim, CSc.,FI MU |
| Oponenti: | doc. Mgr. Radek Pelánek, Ph.D., FI MU RNDr. Ondřej Šerý, Ph.D., MFF UK v Praze |
| Datum obhajoby: | 11. ledna 2012 |
| Obor: | Počítačové systémy a technologie |
Záměr disertační práce:
Systémy které navrhujeme se stávají složitějšími a ověřit jejich
správnost je často mimo lidských možností. Máme ovšem k dispozici
formální metody, díky kterým lze ověřovat správnost systémů, které by
jinak byly zcela mimo dosah ručních metod. V současnosti, z mnoha
různých důvodů, jsou formální metody aplikovány jen v omezeném počtu
případů. Širším cílem navrhované disertace je zlepšit aplikovatelnost
formálních metod (zejména metody ověřování modelu) v návrhu programového
vybavení pro obecné použití.
I přesto, že v této oblasti dochází k výrazným pokrokům, zbývá mnoho
otevřených problémů. Navrhovaná disertační práce se zaměří na dvě
klíčové oblasti: přímá aplikace metody ověřování modelu na programy a
její škálovatelnost. Práce staví na nástroji DiVinE, nástroji určenému
k ověřování modelů v prostředí s distribuovanou pamětí a na systému LLVM
(Low-Level Virtual Machine, nízkoúrovňový virtuální stroj).
Teze disertační práce byly obhájeny.
Mgr. Šimon Suchomel
| Název: | Systems for online plagiarism detection |
|---|---|
| Školitel: | doc. Ing. Michal Brandejs, CSc., FI MU |
| Oponenti: | RNDr. Jan Pomikálek, Ph.D., FI MU doc. RNDr. Lubomír Popelínský, Ph.D., FI MU Ing. Ondřej Ryšavý, Ph.D., FIT VUT v Brně |
| Datum obhajoby: | 11. ledna 2012 |
| Obor: | Počítačové systémy a technologie |
Záměr disertační práce:
Díky trendu online dostupnosti informací a dokumentů na Internetu je pro případného podvodníka velice jednoduché vytvořit plagiát pouhým okopírováním těchto informací. Na akademické půdě je tento podvod o to horší, že studentovi může být udělen akademický titul, který je v dnešní době velmi obtížné legislativně odebrat, přestože se později prokáže jeho plagiátorství. Anti plagiátorské systémy založené na vyhodnocování podobností mezi dokumenty nejsou schopny odhalit plagiát, pokud nedisponují originálním dokumentem a plagiátem pro jejich porovnání. I kdybychom uměli odhalit plagiát jen ze samotného dokumentu, stejně pro prokázání plagiátorství potřebujeme najít původní dokument. Proto je potřeba plagiátorský systém obohacovat o dokumenty, ze kterých by mohlo dojít k opisování. Naopak nechceme systém zaplavit velkým mnoľstvím dokumentů, které jsou jako zdroj opisování irelevantní (například tzv. automatickým ,,crawlováním" Internetu). Zde navržená disertační práce se bude zabývat zdokonalením, vyhodnocením a implementací metod pro odhalení plagiátorství za použití Internetu jako zdroje dokumentů. Práce bude zaměřena převážně na studentské závěrečné práce. Za cíl si klade také identifikaci podezřelých pasáží v textu za použití detekce změny ve stylu psaní a detekci přeloženého textu. Hlavní metodou pro detekci plagiátorství zůstává extrakce klíčových slov a její implementace s ohledem na praktické použití a integraci do Informačního systému Masarykovy univerzity. Jako vedlejąí efekt je v plánu využít klíčová slova k anotaci studentských prací.
Teze disertační práce byly obhájeny.
Mgr. Tomáš Babiak
| Název: | Translation of LTL to ɷ-automata |
|---|---|
| Školitel: | prof. RNDr. Mojmír Křetínský, CSc., FI MU |
| Oponenti: | doc. RNDr. Jiří Barnat, Ph.D., FI MU Dr. Alexandre Duret-Lutz, LRDE Cedex, France |
| Datum obhajoby: | 10. ledna 2012 |
| Obor: | Informatika |
Záměr disertační práce:
LTL overovanie modelu je široko rozšírená a plne automatizovaná technika, ktorá sa používaná na overenie, či daný systém spĺňa požadovanú špecifikáciu. Jedným z kľúčových krokov je preklad logiky LTL na Büchiho automaty. Vlastnosti výsledného automatu, ako sú veľkosť a determinizmus, majú veľký vplyv na výkon celej procedúry. Zlepšeniu tohto prekladu sa už venovalo veľa úsilia, napriek tomu majú dnešné prekladače stále ďaleko od dokonalosti. Cieľom dizertačnej práce je zlepšiť obecne preklad logiky LTL na ɷ-automaty s ohľadom na celkový výkon overovania modelu. V praxi sa väčšinou používajú Büchiho automaty, preto sa v prvom rade chceme venovať zlepšeniu tohto prekladu. V tézach prezentujeme niekoľko konkrétnych vylepšení prekladu LTL na Büchiho automaty cez veľmi slabé alternujúce automaty. Najvýznamnejším zlepšením je takzvané odkladanie. V ďalšej fáze našej práce sa chceme venovať využitiu ostatných typov ɷ-automatov a zhodnotiť ich vplyv na celkový výkon procesu overovania modelu. Naším cieľom je zlepšiť existujúce alebo navrhnúť nové algoritmy, ktoré by dokázali využiť konkrétne vlastností jednotlivých tried automatov. Jedným zo sľubných prístupov je využitie Streetových automatov. Narozdiel od Büchiho automatov Streetove automaty je možné plne determinizovať, dajú sa použiť pre jednoduché vyjadrenie vlastností s férovými obmedzeniami a umožňujú efektívne overovanie modelu voči takýmto vlastnostiam. Avšak, je potrebné navrhnúť účinný preklad LTL formúl na Streetove automaty.
Teze disertační práce byly obhájeny.
Mgr. Martin Jakubička
| Název: | Software asset management in a Large (Academic) Organization |
|---|---|
| Školitel: | doc. RNDr. Tomáš Pitner, Ph.D., FI MU |
| Oponenti: | doc. Ing. Ivana Rábová, Ph.D., ÚI PEF, MZLU v Brně doc. Ing. Jan Staudek, CSc., FI MU |
| Datum obhajoby: | 10. ledna 2012 |
| Obor: | Informatika |
Záměr disertační práce:
Správa softwarového majetku (SSWM) je nezbytnou součástí správy majetku organizace. Přináší ovšem řadu vážných problémů, které nejsou vidět v jiných oblastech správy aktiv. Ačkoli může být na SSWM často přehlížena jako „prostý management“, jsem přesvědčení, že návrh a vývoj pokročilých systémů SSWM představuje komplexní, netriviální problém, hluboké porozumění, pečlivou analýzu
a široký přehled v mnoha oblastech IT, práva a managementu. Složitost SSWM na univerzitách - tedy v organizaci zaměřené na výzkum a vzdělávání, která je velká a různorodá - je ještě vyšší, pokud jsou všechny aspekty hnané do extrému: správnost evidence, složitost IT infrastruktury, široké portfolio softwaru, specifické postavení akademiků (odlišné od zaměstnanců v podnikatelské sféře nebo ve státní správě.
Dalším významným problémem pro SSWM je virtualizace (cluster /cloud). Jedná se o jednu z nejrychleji se rozvíjejících technologií v posledních letech. V posledních měsících zájem firem o zavádění Cloud computingu rychle roste. Dle analytiků bude trh v následujících letech růst a Cloud computing má před sebou slibnou budoucnost. Přesun od tradičního softwarového modelu způsobí, že správa licencí bude ještě těžší. Většina tradičních softwarových nástrojů pro správu licencí není dosud připravena, aby mohla současně a komplexně podporovat správu licencí v běžném i virtuálním prostředí. Většina z nich totiž využívá modul pro skenování PC, který poskytuje komplexní podporu pro software nainstalovaný v tradičním prostředí a lze také identifikovat přítomnost každé licence virtuálního serveru. Nicméně, není schopen detekovat software ve virtuálním prostředí.
Nejprve bychom tedy chtěli navrhnout SSWM metodiku pro velké organizace (akademického typu), navrhnout a implementovat systém, který bude v souladu s navrženou metodikou. Poté systém rozšířit o podporu speciálních typů akademických licencí a správu softwarových licencí ve virtuálních prostředích.
Teze disertační práce byly obhájeny.
Mgr. Jiří Matela
| Název: | Domain-Specific Optimizations Supporting Real-Time Image Compression |
|---|---|
| Školitel: | prof. RNDr. Luděk Matyska, CSc., FI MU |
| Oponenti: | RNDr. David Svoboda, Ph.D., FI MU doc. Dr. Ing. Pavel Zemčík, FIT VUT v Brně |
| Datum obhajoby: | 10. ledna 2012 |
| Obor: | Počítačové systémy a technologie |
Záměr disertační práce:
Práce se soustředí na využití masivně paralelních procesorů pro
akceleraci obrazových kompresí. Text práce se věnuje
architektuře GPU,běžným nástrojům pro programování GPU a doménově specifickým jazykům,které mohou poskytnout vyšší úroveň abstrakce.
Cílem práce je pak přispět k usnadnění vývoje software pro masivně paralelní procesory užitím doménově specifického jazyka těžícího ze
znalosti GPU architektury a specifik algoritmů pro obrazové komprese.
Teze disertační práce byly obhájeny.