Detail oboru

Výpočetní technika a informatika

FITZkratka: DVI4Ak. rok: 2018/2019

Program: Výpočetní technika a informatika

Délka studia: 4 roky

Akreditace od: 1.1.2007Akreditace do: 31.12.2024

Profil

Cílem studijního programu je poskytnout vynikajícím absolventům magisterského studia specializované univerzitní vzdělání nejvyššího typu ve vybraných oblastech informatiky, vypočetní techniky a informačních technologií. Toto vzdělání zahrnuje také průpravu a atestaci k vědecké práci.

Garant

Vypsaná témata doktorského studijního programu

  1. Analýza bezpečnosti anonymizačních sítí

    Tématicky se tato disertační práce orientuje na bezpečnost různých systémů, které mají zajistit anonymitu nebo pseudonymitu uživatelů internetu (například sítí typu TOR). Práce by měla obsahovat:

    • Prostudování teorie anonymizačních systémů, jejich vlastností a možností provedení útoků.
    • Odzkoušení základních typů útoků.
    • Navržení nového způsobu ochrany.
    • Experimenty, zhodnocení výsledků a návrh směru dalšího výzkumu.

    Očekává se účast na relevantních mezinárodních konferencích a publikování v odborných či vědeckých časopisech.

    Školitel: Hanáček Petr, doc. Dr. Ing.

  2. Analýza číslicového systému - identifikace bodů ovlivňujících spolehlivost

    Při budování systémů odolných proti poruchám se zvyšují požadavky na plochu, na niž bude systém  implementován. Zároveň se zvýší příkon (naroste objem elektroniky) a zhorší se dynamické parametry (do cesty datům se v některých metodách vkládají další komponenty). Zároveň platí, že vybavení některých komponent prostředky pro zvýšení spolehlivosti představuje vyšší / nižší příspěvek pro celkovou spolehlivost analyzované komponenty.

    Téma disertace je definováno takto:

    • Vytvořit metodiku, která na základě analýzy číslicového systému nalezne body, jejichž zvýšení odolnosti proti poruchám má výrazný význam pro celkovou spolehlivost.
    • Navrhnout metody pro zvýšení odolnosti proti poruchám, které budou v metodice použity.  
    • Definovat kriteria pro využití konkrétních metod zvýšení spolehlivosti.  
    • Vytvořit metodiku pro ohodnocení takových zásahů.
    • Vytvořit metodiku pro vyhodnocení spolehlivosti při různých alternativách řešení tohoto problému.

    Půjde tedy jednak o analýzu vlastností komponent, intenzity jejich využívání v číslicovém systému a analýzu architektury analyzovaného systému.  

    Po vytvoření metodiky a její implementaci bude mít výzkumná činnost i charakter experimentální práce. Experimenty budou realizovány na platformách hradlových polí od různých výrobců a na konkrétních architekturách.  

    Tým zaměstnanců a doktorandů na ÚPSY dlouhodobě pracuje v oblasti návrhu systémů odolných proti poruchám.

    Školitel: Kotásek Zdeněk, doc. Ing., CSc.

  3. Analýza útoků na bezdrátové sítě

    Tématicky se tato disertační práce orientuje na bezpečnost bezdrátových lokálních sítí. V rámci řešení by mělo dojít k seznámení se s vybranými bezdrátovými sítěmi a jejich zabezpečením. Kroky práce by měly obsahovat:

    • Prostudování teorie bezdrátových sítí, jejich vlastností a možností provedení útoků.
    • Odzkoušení základních typů útoků.
    • Navržení nového způsobu ochrany.
    • Experimenty, zhodnocení výsledků a návrh směru dalšího výzkumu.

    Očekává se účast na relevantních mezinárodních konferencích a publikování v odborných či vědeckých časopisech.

    Školitel: Hanáček Petr, doc. Dr. Ing.

  4. Analýza velkých dat pomocí hlubokých neuronových sítí

    Použití neuronových sítí pro hluboké učení (deep learning) přispělo v posledních letech k výraznému posunu mnoha oblastí, které se opírají o strojové učení - rozpoznávání obrazu, analýza textu atd.

    Cílem disertační práce je rozvinout existující přístupy využívající obrovské kolekce neanotovaných dat pro naučení neuronových sítí tak, aby výstupy poslední mezilehlé vrstvy bylo možné použít jako vektor příznaků. Součástí práce bude i aplikace zkoumaných metod v rámci evropských projektů, na jejichž řešení se školitel podílí.

    Školitel: Smrž Pavel, doc. RNDr., Ph.D.

  5. Aplikace modelů a jejich transformace v procesu vývoje a nasazení systémů (školitel-specialista: R. Kočí)

    Modelování se používá pro zachycení důležitých aspektů vyvíjeného systému. V oblasti metod vývoje softwarových systémů došlo k rozvoji přístupu Model Driven Engineering, který využívá modelování v takovém rozsahu, že je lze považovat za základní programovací jazyk. Modely jsou postupně transformovány z abstraktního pohledu na systém do programovacího jazyka. Příkladem mohou být vybrané modely jazyka UML ve spojení s meta-úrovňovými modely MOF využívané metodikou MDA. S transformacemi modelů jsou spojeny dva problémy. První se týká otázky, zda je možné provádět transformace plně automatizovaně, tj. bez zásahu vývojáře. Druhý problém se týká otázky, zda je možné zachovat zachovat náhled na softwarový produkt na úrovni modelů, tj. nepracovat přímo s kódem, ale vždy s modelem, a to i při ladění a změnách aplikace za běhu. Cílem disertační práce je výzkum v oblasti aplikace modelů v procesu vývoje a nasazení systémů s ohledem na výše položené otázky. 

    Školitel: Janoušek Vladimír, doc. Ing., Ph.D.

  6. Automatické vyvažování zátěže na heterogenních architekturách

    Trendem poslední doby při stavbě superpočítačových systémů je využití heterogenních architektur pro dosažení vysoké výkonnosti a současně nízkého příkonu. Typickým představitelem takového systému je Tsubane-II nebo Salomon, jenž obsahují mimo běžných vícejádrových procesorů i akcelerátory Intel Xeon Phi, nebo systémy jako je Titan jenž sází na grafické karty firmy NVIDIA.

    Pokud chceme opravdu využít plný potenciál výpočetního systému je nutné úlohu rozdělit nejen na akcelerační karty, ale rovněž na procesorová jádra. Pokud bychom uvažovali systém Salomon umístěný v Ostravě, procesorová část představuje 1/3 výkonu, zatímco akcelerační karty 2/3.

    Cílem práce je navrhnout novou metodiku automatizované rozdělení výpočtu (dekompozice) a vyvážení pracovní zátěže tak, aby byly využity všechny dostupné prostředky a minimalizována komunikace.

    Školitel: Jaroš Jiří, doc. Ing., Ph.D.

  7. Automatický návrh ultrazvukových operačních plánů

    Cílem práce je automaticky navrhovat pozici a nastavení ultrazvukového vysílače při ultrazvukové léčbě. Tedy - doktor ohraničí nádor na CT obraze a cílem tohoto algoritmu je odhadnout nejlepší nastavení vysílače (i několik různých pozic s optimalizací trajektorie). Tento výpočet se následně odešle na cluster k potvrzení.

    Práce bude obsahovat optimalizační techniky - Evoluční algoritmy, neuronové sítě, hluboké učení, a jiné. Dále bude využívat rozsáhlé ultrazvukové modely implementované na superpočítačích.

    Školitel: Jaroš Jiří, doc. Ing., Ph.D.

  8. Automatizovaná dynamická analýza, inteligentní testování a řízení kvality software

    V současné době neustále roste důraz na kvalitu, spolehlivost a bezpečnost software. V souladu s tím jsou nemalé prostředky investovány do výzkumu moderních technik analýzy a verifikace programů pomocí nejrůznějších automatizovaných metod, jako jsou systematické testování, dynamická analýza, statická analýza, model checking apod. Tyto techniky jsou přitom rozvíjeny nejen na univerzitách, ale do jejich výzkumu a vývoje investuje řada významných mezinárodních společností (Google, Microsoft, IBM, Red Hat, Honeywell apod.). Mezi uvedenými metodami patří testování a dynamická analýza k tradičním, již dlouho nejvíce používaným, ale přesto intenzivně dále rozvíjeným přístupům (o čemž svědčí velký počet článků z dané oblasti prezentovaných na mezinárodních konferencích věnovaných obecně programovacím jazykům a/nebo softwarovému inženýrství i velký počet špičkových mezinárodních konferencí specializujících se na danou oblast).

    Náplní tématu je rozvoj stávajících a návrh nových metod dynamické analýzy a inteligentního testování, případně kombinovaných s použitím vhodných statických analýz. Tyto analýzy by přitom měly směřovat nejen k co nejefektivnějšímu vyhledávání chyb, ale také k automatické podpoře procesu řízení software (identifikace problematických komponent, problematických změn, podpora rozhodování o tom, které změny začlenit či nezačlenit do nové verze softwarového produktu apod.). Předmětem výzkumu bude vývoj nových heuristik pro testování a analýzu, které umožní co nejefektivnější odhalení i vzácně se projevujících chyb (jako jsou např. extrapolující dynamické analýzy, vkládání šumu, či fuzz testování) a které umožní automatické získávání zkušeností z dosud provedených testů či analýz a jejich následné využití pro zdokonalení procesu testování či obecně řízení kvality software. Do této oblasti spadá vhodné využití statistických analýz, strojového učení či technik dolování z dat. Předmětem výzkumu je přitom nejen návrh nových technik z dané oblasti, ale také jejich prototypová implementace a experimentální ověření na vhodných případových studiích.

    Práce bude řešena ve spolupráci s týmem VeriFIT zabývajícím se na FIT VUT testováním a dynamickou analýzou software, zejména dr. A. Smrčkou, dr. B. Křenou, Ing. J. Fiedorem, Mgr. H. Pluháčkovou či také Ing. P. Mullerem ze společnosti SAP a Ing. L. Charvátem z firmy Honeywell. V případě zodpovědného přístupu a kvalitních výsledků je zde možnost zapojení do grantových projektů (např. nově přijatý český projekt GAČR Robust a nově přijatý evropský projekt ECSEL Aquas). Je zde rovněž možnost úzké spolupráce s různými partnery FIT, např. Red Hat či Honeywell, tak také zahraničními partnery VeriFIT: dr. Shmuel Ur (Shmuel Ur Innovations, Izrael), dr. Eitan Farchi (IBM Haifa Reasearch Lab, Izrael), dr. Joao Lourenco (Universidade Nova de Lisboa, Portugalsko) či prof. Mauro Pezze (University of Milano Bicocca, Itálie a University of Lugano, Švýcarsko).

    V rámci tématu se student může také aktivně zapojit do různých grantových projektů, jako je např. projekt GA ČR Robust či evropský projekt H2020 ECSEL Aquas.

    Školitel: Vojnar Tomáš, prof. Ing., Ph.D.

  9. Automatizovaná tvorba kontextových gramatik

    • Studium různých variant kontextových gramatik, zejména s ohledem na využití při analýze formálních jazyků.
    • Studium automatické dedukce/tvorby gramatik či znalostí různých tříd - zaměření na kontextové vazby.
    • Návrh formálního postupu pro plně automatický, nebo asistovaný návrh kontextového popisu plochých či anotovaných vět formálního jazyka.
    • Implementace funkčního vzorku na základě vzorků z malware, nebo programovacích jazyků.
    • Možnost zapojení se v grantech na analýzu malware.
    • Práce v rámci interní grantové agentury možná.

    Školitel: Kolář Dušan, doc. Dr. Ing.

  10. Autonomní inteligentní systémy řízené modely

    Tématem práce je propojení prostředí pro modelování inteligentních systémů s nástroji pro vytváření a provádění simulačních modelů. Doktorand by se měl orientovat zejména na otevřené otázky robotiky, jako jsou například společné plánování, řešení konfliktů a koordinace, a zkoumat jejich řešení právě s využitím simulačních nástrojů jako jsou PNtalk nebo TMass. Výsledkem by měla být analýza problematiky, řešení některých problémů a demonstrace přínosu modelování pro jejich řešení.

    Školitel specialista: Ing. Radek Kočí, Ph.D.

    Školitel: Zbořil František, doc. Ing., Ph.D.

  11. Bezpečné překladače

    • Studujte problematiku aplikací v prostředí internetového provozu, které pracují jak s bezpečnými, tak potenciálně nebezpečnými daty.
    • Navrhněte úpravu v analýze a syntéze kódu pro typický jazyk používaný v daném prostředí, který je překládaný do binárního kódu pro přímé spouštění na hardware.
    • Formálně ukažte, že analýza je schopna odhalit potenciální nebezpečí při nesprávném užití hodnot přicházejících z prostředí internetu.
    • Realizujte vhodnou demonstrační aplikaci.
    • Nejen v rámci interní grantové agentury je možné získat mimořádné stipendium a další podporu.

    Školitel: Kolář Dušan, doc. Dr. Ing.

  12. Bezpečnostní analýza komunikace průmyslových sítí IoT a sítí SCADA

    Systémy SCADA (Supervisory Control And Data Acquisition) a průmyslové IoT sítě jsou určeny pro řízení a monitorování průmyslových procesů a zařízení. V minulosti tato komunikace probíhala výhradně po oddělených lokálních sítích typu Token Ring, HDLC, apod. Dnes dochází k využití standardích profilů TCP/IP a propojení na internet.

    S tím souvisí i otázka bezpečnosti a útoků na tyto sítě. Přenosy typu DLMS/COSEM, IEC 104 či IEC 61850 se používají převážně v energetickém sektoru, kde útoky na komunikaci znamenají značné riziko. Jedním z řešení je bezpečnostní monitorivání této komunikace na úrovni rozšířených záznamů o tocích, které slouží k detekci různých typů útoků.

    Téma dizertační práce se zaměří na chování průmyslových protokolů IoT a SCADA a detekci typických útoků na tyto systémy (poškozené pakety, DoS útok, podvržené příkazy, neautorizované čtení dat). Cílem práce je navrhnout a ověřit postupy pro detekci útoků na tyto sítě s využitím monitorování toků a detekce neobvyklého chování.

    Toto téma je součástí výzkumného projektu IoT Monitoring and Forensics (IRONSTONE).

    Školitel: Matoušek Petr, doc. Ing., Ph.D., M.A.

  13. Bezpečnostní monitorování komunikace IoT

    Internet věcí představuje komunikační síť propojující různé typy zařízení v domácnosti (home IoT networks) nebo v průmyslu (industrial IoT networks). Většina těchto zařízeních obsahuje jen malé či žádné zabezpečení oproti útokům z lokální sítě či z Internetu. Škody způsobené zneužitím těchto zařízení mohou být však velmi vážné. Nejde jenom o záměrný útok, ale i chybné nastavení či výpadek řídící jednotky.

    Monitorování internetu věcí je novou doménou správy sítě. Zahrnuje jak sledování chování zařízení, tak získávání dat ze senzorů, nastavování, apod. Bezpečnostní monitorování se zaměřuje na detekci útoků a anomálií v komunikaci. Tradiční metody bezpečnostního monitorování mají u IoT sítí omezené použití, neboť komunikace IoT sítí je odlišná od přenosů na Internetu. Je potřeba tyto metody rozšířit, případně zvolit jiný způsob přístupu k metadatům získaným z provozu IoT sítí.

    Cílem tématu dizertační práce je prozkoumat různé metody bezpečnostního monitorování IoT a definovat možnosti ochrany zařízení či podsítí proti běžným hrozbám. Zároveň je cílem integrovat monitorovací prvky do stávajících SIEM systémů.

    Téma je součástí projektu aplikovaného výzkumu TAČR IoT Monitoring and Forensics (IRONSTONE).

    Školitel: Matoušek Petr, doc. Ing., Ph.D., M.A.

  14. Detekce a lokalizace (živých) osob za překážkami

    Cílem práce je detekce a lokalizace (živých) osob za překážkami. Postup práce bude následující:

    • Seznámení se s detekcí osob na základě vitálních funkcí člověka, jejich kategorizace a nalezení různých typů překážek, vč. uvedení možností pro detekci.
    • Návrh vhodného principu na hledání osob za překážkami (např. závaly či laviny), příp. s využitím bioradaru či georadaru.
    • Experimenty s bioradarem a georadarem, interpretace získaných dat.
    • Konstrukce a realizace navrženého řešení.
    • Provedení experimentů a shrnutí.
    Očekává se účast na relevantních mezinárodních konferencích a publikování v odborných či vědeckých časopisech. Zahraniční stáž je možná.
    Práce může navázat na projekt konstrukce robota pro hledání osob pod závaly a lavinami. K dispozici je robot k tomuto účelu.

    Školitel: Drahanský Martin, prof. Ing., Ph.D.

  15. Detekce a re-identifikace objektů v obraze a videu

    • Všesměrná detekce objektů v reálném čase
    • Re-identifikace detekovaných objektů, například v záběrech z různých kamer nebo v různém čase
    • Zaměření na stacionární dohledové kamery
    • Zaměření na zpracování dopravních scén

    Školitel: Herout Adam, prof. Ing., Ph.D.

  16. Detekce útoků na počítačové systémy a automatické zpracování škodlivých programů

    Cílem práce je zkoumat problémy detekce útoků na počítačové systémy a automatické zpracování škodlivých programů (malware).  Práce by měla být motivována snahou navrhnout nové přístupy pro detekci a automatické zpracování škodlivého software. Součástí řešení bude:

    • Prostudování stávajícího stavu.
    • Návrh nových způsobů detekce útoků a malware.
    • Zdokumentování navržených metod, provedení experimentů a zhodnocení dosažených výsledků.

     

    Školitel: Hanáček Petr, doc. Dr. Ing.

  17. Distribuované řídicí systémy a IoT na bázi rekonfigurovatelných Petriho sítí


    Petriho sítě se v řídicích systémech úspěšně používají již od 70tých let (viz např. SFC, Grafcet). Důvodem jejich popularity je sugestivní vizuální vyjádření, možnost simulace a možnost využití teorie Petriho sítí pro ověření důležitých vlastností systému. Kromě původních Petriho sítí lze dnes ve stejné oblasti použít i vysokoúrovňové Petriho sítě, které kombinují pozitivní vlastnosti původních Petriho sítí s možnostmi vysokoúrovňových programovacích jazyků (strukturované datové typy, objektová orientace). Tím je možné dostat se s Petriho sítěmi i do vyšších úrovní řízení, než je field level a PLC. Cílem aktuálního výzkumu je ověřit aplikovatelnost specifické varanty vysokoúrovňových Petriho sítí, Reference Nets, v návrhu a realizaci distribuovaných a hierarchicky organizovaných řídicích systémů. Reference Nets pracují s dynamicky instanciovatelnými a vzájemně komunikujícími vysokoúrovňovými Petriho sítěmi a umožňují modelovat systém ve vrstvách. Současně umožňují dynamicky rekonfigurovat strukturu systému. Tyto vlastnosti předurčují Reference Nets pro modelování a implementaci komplexních systémů s diskrétními událostmi a kromě toho mohou být Reference Nets efektivně využity v situacích, kdy je požadována dynamická rekonfigurovatelnost systému. Vzhledem k tomu, že u typických komplexnějších řídicích systémů se automaticky předpokládá adaptabilita na průběžně se měnící požadavky a podmínky, v kterých systém pracuje, o mimořádné aktuálnosti tohoto výzkumu nemůže být sebemenších pochyb.
    Existující implementace Reference Nets (kterou udržují kolegové v Hamburku) není přímo použitelná pro řízení, protože nebyla s tímto cílem navržena (nepracuje v reálném čase, instalace a rekonfigurace je obtížně realizovatelná). Proto byla v Brně navržena a prototypově realizována alternativní implementace, pracující s rozumnou podmnožinou původního inskripčního jazyka, umožňující běh na uzlech s omezenými zdroji a umožňující dynamicky nainstalovat, aktivovat, deaktivovat i odinstalovávat aplikace ve formě Reference Nets. Touto implementací je PNVM - Petri Net Vitrtual Machine. PNVM doplněný o ovladače pro vstupy a výstupy a příkazový interpret (shell, realizovaný pomocí Petriho sítí) se nazývá PNOS - Petri Net Operating System. Tento systém je určen k běhu na uzlech distribuovaného systému.
    PNOS je použitelný jako východisko pro případná rozšíření a modifikace v rámci aplikací. Momentálně jsou aktuální například aplikace v oblasti Smart Home a IoT (vč. Industrial IoT). 
    V rámci řešení je možná i spolupráce se spřáteleným pracovištěm na univerzitě v Hamburku.

    Pro více informací se stavte osobně, ideálně v odpoledních hodinách.
    Doc. Ing. Vladimír Janoušek, Ph.D.
    http://www.fit.vutbr.cz/~janousek/
    janousek@fit.vut.cz

    Školitel: Janoušek Vladimír, doc. Ing., Ph.D.

  18. Dolování informací z řeči

    The proposed dissertation deals with a subset of techniques for extracting meaningful information from speech: voice activity detection, transcription, keyword spotting, speaker recognition, language recognition and other possible modalities. It includes investigation into relevant signal processing and machine learning, and experimentation on standard speech data-sets. The topic is related to several projects running in the BUT Speech@FIT group, see http://speech.fit.vutbr.cz/projects. The candidate should have strong background in mathematics, linear algebra and statistics, and experience in one or more of the following disciplines: signal processing, speech signal processing, machine learning, natural language processing, data-mining. He/she should be experienced with usual scientific programming and scripting languages (C, Matlab, Python). Experience with at least one of machine learning/speech toolkits (Theano, Keras, PyTorch, CNTK, Chainer, KALDI, HTK) is a plus. As the the group is international, a good working knowledge of English is required. 

    Školitel: Černocký Jan, prof. Dr. Ing.

  19. Efektivní práce s automaty a logikami (nejen) ve formální analýze a verifikaci

    Různé typy automatů a logik patří mezi nejzákladnější objekty studované a aplikované v oblasti informatiky již desítky let. Přesto v této oblasti existuje řada dosud neuspokojivě vyřešených problémů a neustále se objevují nové vzrušující problémy související se stále novými aplikacemi automatů a logik (např. při symbolické verifikaci nekonečně stavových programů, v rozhodovacích procedurách, při syntéze programů či hardware, při automatizovaném zpracování přirozených jazyků či při analýze síťového provozu).

    Předmětem disertační práce bude konkrétně rozvoj současného stavu v oblasti efektivní práce s různými typy automatů (automaty nad slovy, stromy či grafy, pravděpodobnostní automaty, automaty rozšířené o různé typy proměnných a operací nad nimi) a logik (např. různé logiky nad slovy, stromy, grafovými strukturami či datovými slovy). Zkoumané techniky by se měly zaměřit na efektivní techniky redukce automatů, jejich porovnávání (jak na přesnou inkluzi či ekvivalenci tak i různé formy přibližné inkluze či ekvivalence), možnosti strojového učení automatů či efektivní rozhodovací techniky vybraných logik (separační logika, WSkS, logiky na řetězci apod.). Významnou části výzkumu by ale také měly být nové aplikace automatů a logik založené na nově navržených technikách pro práci s automaty či logikami. Důraz bude zejména na aplikace z oblasti formální analýzy a verifikace, analýzy síťového provozu, případně syntézy programů či hardware.

    Práce bude řešena ve spolupráci s týmem VeriFIT zabývajícím se na FIT VUT rozvojem technik pro práci s automaty, logikami a jejich aplikacemi (zejména dr. O. Lengál, dr. M. Češka jr., dr. L. Holík, doc. A. Rogalewicz, Ing. V. Havlena, Ing. P. Janků). V případě zodpovědného přístupu a kvalitních výsledků je zde možnost zapojení do grantových projektů (včetně mezinárodních). Je zde rovněž možnost úzké spolupráce s různými zahraničními partnery VeriFIT: Uppsala University, Švédsko (prof. P.A. Abdulla, prof. B. Jonsson, dr. Rummer); Verimag, Grenoble, Francie (dr. R. Iosif), IRIF, Paříž, Francie (prof. A. Bouajjani, dr. M. Sighireanu, dr. C. Enea), Academia Sinica, Tchaj-wan (prof. Y.-F. Chen), TU Vienna, Rakousko (dr. F. Zuleger), University of Oxford, Velká Británie (dr. A.W. Lin), TU Braunschweig, Německo (prof. R. Meyer) či School of Informatics, University of Edinburgh, Velká Británie (prof. R. Mayr).

    V rámci tématu se student může také aktivně zapojit do různých grantových projektů, jako je např. projekt GA ČR 16-17538S "Přibližná ekvivalence pro aproximativní počítání", 17-12465S "ROBUST - Verifikace a hledání chyb v pokročilém softwaru" či 16-24707Y "Efektivní automaty pro formální rozhodování".

    Školitel: Vojnar Tomáš, prof. Ing., Ph.D.

  20. Embedded zpracování video/signálu

    Téma je zaměřeno na algoritmy embedded zpracování obrazu, videa a/nebo signálu. Hlavním cílem je zkoumat možnosti "chytrých" a "malých" zařízení, která by měla nové vlastnosti, a  bylo možné je efektivně nasadit do aplikací vyžadujících malé, skryté, distribuované, nízkopříkonové, mechanicky nebo klimaticky namáhané jednotky schopné zpracovávat signálové vstupy. Nasazení takových jednotek je perspektivní a široké a předpokládá se i propojení do klient/server a/nebo cloud systémů. Samotné jednotky mohou být založeny na efektivním CPU/GPU/DSP, na programovatelném hardware, případně na kombinaci těchto technologií. Může se jednat i o smart kamery. Aplikace, které jsou v oblasti zájmu tohoto tématu:

    • klasifikace obrazu nebo objektů s využitím strojového učení (AI) klasicky nebo prostřednictvím hlubokých konvolučních neuronových sítí nebo podobných přístupů (například pro kontrolu kvality výrobků apod.),
    • současná analýza jednorozměrného signálu (signálů) a obrazu (například pro robustní zjištění nějakého objektu například v dopravních nebo průmyslových aplikacích),
    • moderní algoritmy zpracování videa, obrazu a/nebo signálu  s využitím "klient/server", případně "cloudu" (se zaměřením na aspekty client/server a/nebo cloud) vhodné například pro mobilní techniku a/nebo embedded systémy,
    • po dohodě je možné zpracovávat i individuálně vybrané téma, které ve výše uvedeném seznamu není, ale v principu sem patří.

    Je možnost spolupráce i na grantových projektech, zejména na nově podávaných projektech TAČR, H2020, ECSEL (potenciálně možnost stipendia či pracovního poměru).

    Školitel: Zemčík Pavel, prof. Dr. Ing., dr. h. c.

  21. Extrakce informací z Wikipedie a jiných webových zdrojů

    Cílem disertační práce je výzkum v oblasti extrakce informací z textu se zaměřením na metody strojového učení aplikovatelné v této oblasti. Součástí bude i realizace extrakčního systému, který bude možné využít pro zpracování rozsáhlých webových dat, získaných např. v projektu CommonCrawl.

    Školitel: Smrž Pavel, doc. RNDr., Ph.D.

  22. Extrakce informací z WWW

    Problematika identifikace a extrakce konkrétních informací z dokumentů na WWW je již delší dobu předmětem intenzivního výzkumu. Mezi základní překážky, které je třeba překonat, patří nedostatečná strukturovanost HTML dokumentů a absence metainformací (anotací) využitelných pro rozpoznání významu jednotlivých částí obsahu. Tyto chybějící informace jsou proto nahrazovány analýzou různých aspektů webových dokumentů, zejména následujících:

    • HTML kód dokumentu (DOM)
    • Text dokumentu (hledání klíčových slov, statistická analýza textu, metody zpracování přirozeného jazyka)
    • Vizuální organizaci (rozložení obsahu na stránce, vizuální vlastnosti)

    Pro úspěšnou extrakci konkrétní informace z dokumentů je rovněž nezbytná doménová znalost zahrnující očekávanou strukturu extrahované informace (vztahy mezi jednotlivými extrahovanými položkami) a způsob zápisu jednotlivých položek. Tato znalost umožňuje přesnější rozpoznání jednotlivých částí informace v textu dokumentu.

    Současné přístupy k extrakci informací z webových dokumentů se soustřeďují zejména na modelování a analýzu dokumentů samotných; modelování extrahované informace za účelem jejího přesnějšího rozpoznání nebylo dosud podrobněji zkoumáno v tomto kontextu. Předpokládaným cílem disertační práce jsou proto následující:

    • Studium existujících doménových modelů jako např. UML diagramy tříd, E-R diagramy nebo ontologie.
    • Rozšíření těchto modelů o konkrétní metody rozpoznání konkrétních údajů v dokumentech (např. regulární výrazy, pokročilá klasifikace textu).
    • Návrh metod extrakce informací založených na srovnání struktury informace prezentované v dokumentu a očekávané struktury cílových informací.

    Nedílnou součástí je rovněž experimentální implementace navržených metod s využitím existujících nástrojů a experimentální ověření na reálných dokumentech dostupných na WWW.

    Školitel: Burget Radek, doc. Ing., Ph.D.

  23. Fenomenologické modelování kyberneticko-fyzikálních systémů

    Fenomenologické modely jsou modely popisující empirické vztahy mezi fenomény způsobem, který odpovídá základním fyzikálním principům, ale není z nich přímo odvozen. Primárním cílem těchto modelů není vysvětlení příčin vzájemné interakce systémových proměnných, ale globální popis chování systému. Uvedený způsob modelování bude v rámci práce aplikován za účelem vytvoření přesných modelů a submodelů kyberneticko-fyzikálních systémů. 

    Školitel: Chudý Peter, doc. Ing., Ph.D., MBA

  24. Forenzní zpracování obrazu z mobilních zařízení

    Bude doplněno později.
    Očekává se účast na relevantních mezinárodních konferencích a publikování v odborných či vědeckých časopisech. Zahraniční stáž je možná.
    Práce může navázat na projekt konstrukce robota pro hledání osob pod závaly a lavinami. K dispozici je robot k tomuto účelu.

    Školitel: Drahanský Martin, prof. Ing., Ph.D.

  25. Formální modely distribuovaného výpočtu

    Řešení tohoto projektu bude vycházet ze stávajících poznatků o formálních systémech distribuovaného výpočtu. Cílem je konstrukce a výzkum nových automatových a gramatických systémů, které adekvátním způsobem odrážejí potřeby moderních výpočetních metod založených na distribuci. Aplikace těchto systémů se budou soustředit na modelování a výzkum organismů v molekulární biologii a překladačích.

    Školitel: Meduna Alexandr, prof. RNDr., CSc.

  26. Funkční paralelismus na heterogenních architekturách

    Současná věda stále více spoléhá na vysoce výkonné počítače provádějící náročné simulace. Náročnost těchto simulací nespoléhá pouze v množství dat a operací které je nutné vykonat, ale i v možnostech jednotlivých simulačních frameworků zahrnující různé fyzikální a numerické modely, ohraničující podmínky, typy prostředí atd. Tato variabilita vede ke stovkám různých simulačních scénářů skládajících se z tisíců dílčích úloh. V tomto momentě naráží klasické datově paralelní implementace na své meze, neboť rozhodovací logika daleko převyšuje logiku výpočtu.

    Druhým úskalím je architektura současných superpočítačových systémů. Již více než dekádu se nejedná o uniformní systémy složený z homogenních prvků s homogenním propojením. Současný trend jsou silně heterogenní architektury složené s vícejádrových procesorů a různých akcelerátorů, např. GPU, FPGA, Xeon Phi. Optimalizace komplexních frameworků pro tyto architektury a následné vyvažování zátěže se stává limitujícím prvkem.

    Cílem této disertační práce je prozkoumat techniky funkčního paralelismu a návrh automatizovaných simulačních platforem umožnující distribuci výpočtu na vhodné hardwarové komponenty.

    Školitel: Jaroš Jiří, doc. Ing., Ph.D.

  27. Hrubé množiny a big data

    Tématem disertační práce bude výzkum problematiky získáváním znalostí z rozsáhlých databází (big data), který bude zaměřený na netradiční přístupy, především pak na aplikaci teorie hrubých množin při získávání asociačních pravidel. Postup práce by měl být následující:

    • Studium současného stavu dané problematiky (přístupů k dolování asociačních pravidel).
    • Výzkum metod a algoritmů získávání asociačních pravidel ze složitě strukturovaných dat. 
    • Modifikace nebo návrh nového algoritmu založeného na teorii hrubých množin.
    • Experimentální ověření navrženého a implementovaného algoritmu na reálných datech.

    Školitel: Zbořil František, doc. Ing., CSc.

  28. Hybridní rekonfigurovatelné výpočetní architektury

    Práce je zaměřena na problematiku modelování a syntézy hybridních výpočetních architektur. Jedná se o systémy, ve kterých jsou jednotlivé úlohy implementovány jako systémy na čipu (SoC, FPGA) pomocí univerzálních či specializovaných procesorů, IP jader a programovatelné logiky.  Cílem je zvýšení produktivity při návrhu, optimalizace příkonu a spotřeby energie výsledného obvodu při zachování výkonnosti, případně zvýšení výsledné výkonnosti.

    Hlavní cíl práce je hledání možností modelování hybridních architektur a jejich automatizované syntézy a dále pak vypracování metodiky jejich efektivní implementace.

    Předpokládá se práce v jazycích C a VHDL, případně v jazycích vycházejících z notace jazyka C, které byly adaptovány pro popis HW (např. SystemC, SystemVerilog apod.). Výsledky práce budou demonstrovány na vhodné výpočetní platformě (např. ZYNQ firmy Xilinx) a aplikaci (např. analýza obrazu či číslicové zpracování signálů ze senzorických polí).

    Existuje možnost zapojení se do práce na grantech s možností stipendia, případně i pracovního poměru.

    Doktorand v prezenční formě studia bude zapojen do výuky podle potřeb ústavu a fakulty.

    Školitel: Fučík Otto, doc. Dr. Ing.

  29. Informační technologie v psychologii

    Disertační práce je zaměřena na zkoumání a rozvoj moderních IT přístupů pro analýzu duševního zdraví a pohody a aplikace psychologických metod v oblasti bezpečnosti informačních systémů. Informace o uživatelích budou zjišťována jak z mobilních zařízení, tak ze záznamů využívání služeb Internetu. Analýza potom využije moderních postupů strojového učení, detekce anomálií apod. Součástí práce bude i aplikace zkoumaných metod v rámci evropských projektů, na jejichž řešení se školitel podílí.

    Školitel: Smrž Pavel, doc. RNDr., Ph.D.

  30. Inteligentní inspekce a měření dutin válcového průřezu s predikcí změn stavu

    Cílem této disertační práce je návrh autonomního zařízení, které bude snímat a proměřovat dutiny válcového průřezu. Na základě naměřených dat vytvoří počítačový model dutiny, ve kterém pak bude hledat poškozená či jinak problematická místa. Systém bude schopen na základě minulých měření predikovat vývoj tohoto místa v budoucnu, za stejných podmínek užívání zařízení obsahujícího měřenou dutinu válcového průřezu (např. hlaveň tanku či děla). Zařízení je k dispozici + lze osadit dalšími senzory dle požadavků. Výzkum může být rozdělen do následujících etap:

    • Prostudování teorie snímání dutin válcového průřezu (konkrétně hlavní děla a tanku).
    • Návrh metod pro snímání a získávání dat.
    • Návrh a implementace algoritmu pro vygenerování počítačového modelu na základě naměřených dat.
    • Návrh a implementace algoritmu pro analýzu počítačového modelu a automatického vyhodnocení poškozeného povrchu či problematického místa.
    • Návrh a implementace inteligentního algoritmu pro predikci dalšího vývoje poškozeného povrchu či problematického místa na základě historie naměřených dat.
    • Provedení experimentů a zhodnocení dosažených výsledků.
    Očekává se účast na relevantních mezinárodních konferencích a publikování v odborných či vědeckých časopisech. Zahraniční stáž je možná.

    Školitel: Drahanský Martin, prof. Ing., Ph.D.

  31. Interakce člověka s robotem v kolaborativním prostředí

    Trendem výrobního průmyslu je zavádění kolaborativních robotů do výroby, což umožňuje bližší spolupráci člověka s robotem. Cílem je zefektivnit výrobu využitím robotů na opakované činnosti a pracovníka na činnosti složité, jejich robotizace by byla příliš nákladná a málo škálovatelná. Tento trend přináší nové problémy, jak s roboty efektivně komunikovat: mít představu o stavu robota a jeho chápání situace a snadno a přirozeně robota řídit a programovat. 

    Cílem této práce je zkoumat nové možnosti komunikace člověka s robotem s využitím moderních technologií a zařízení. V rámci řešení je potřeba:

    • Analyzovat uživatelské potřeby a dostupné technologie a pro vizualizaci informací,
    • navrhovat způsoby interakce pro vybrané úlohy,
    • připravit experimentální řešení,
    • provádět experimenty s uživateli a tyto experimenty vyhodnocovat.

    Mezi technologie vhodné pro interakci, které by měl řešitel analyzovat a experimentálně využít, patří zejména rozšířená realita (promítaná nebo v mobilním zařízení), bezkontaktní technologie (snímání aktivit a stavu člověka kamerami nebo hloubkovými senzory, snímače svalové aktivity), haptická a zvuková zpětná vazba apod.

    Řešitel bude mít k dispozici experimentální pracoviště pro blízkou spolupráci člověka s robotem (ARTable), které je vyvíjeno v laboratořích výzkumné skupiny Robo@FIT.

    Více informací po osobní schůzce.

    Školitel: Beran Vítězslav, doc. Ing., Ph.D.

  32. Měření vizuální kvality obrazu a videa

    Projekt se zabývá metrikami pro odhad vizuální kvality obrazu a videa. Cílem práce je výzkum nových metod, které by odstranily některé nedostatky existujících metrik zejména s ohledem na vlastnosti vizuálního vnímání člověka. V úvahu přicházejí např. problémy z oblasti vjemu HDR obrazu a využití přídavných informací (metadata, 3D, atd.) o testovaných scénách pomocí metod strojového učení (např. neuronových sítí).


    Školitel: Čadík Martin, doc. Ing., Ph.D.

  33. Metody předzpracování webových dokumentů pro získávání znalostí

    Předzpracování dokumentů je důležitým krokem, který předchází vlastní získávání znalostí nebo extrakci informací z WWW. Mezi základní úkoly předzpracování patří:

    • Interpretace HTML/CSS a normalizace kódu, případně dalších formátů.
    • Detekce vizuálního členění stránky (segmentace).
    • Čištění stránky - odstranění částí, které nejsou informačně relevantní nebo naopak nalezení oblastí, kde se vyskytují konkrétní informace.
    • Nalezení konkrétních datových záznamů.

    Současné metody předzpracování stránek jsou obvykle nezávislé na konkrétní aplikační doméně. Stránka je analyzována na základě vlastností HTML kódu (např. opakující se vzory) nebo na základě vizuální prezentace (nalezení oblastí na základě jejich vizuálních vlastností). Znalosti o doméně (např. jaká data chceme ve stránce nalézt a jaké jsou jejich předpokládané vlastnosti) jsou obvykle využívány až v pozdějších krocích. Ukazuje se však, že pro dosažení vyšší přesnosti by bylo vhodné uvažovat doménovou znalost již v okamžiku předzpracování.

    Téma předpokládá výzkum mimo jiné v následujících oblastech:

    • Doménové modely - objektové modelování, ontologie
    • Sémantický web - reprezentace sémantiky dat, sémantické zdroje dat (DBPedia apod.)
    • Možnosti integrace dokumentů a sémantického webu - technologie typu DBPedia Spotlight a další

    Předpokládá se rovněž implementace prototypů navržených řešení a jejich experimentální ověření na reálných datech.

    Školitel: Burget Radek, doc. Ing., Ph.D.

  34. Metody testování bezpečnostních produktů

    Práce se bude zabývat problematikou testování bezpečnostních produktů založenou na pravidlach a metrikách. Pro existující sadu metrik bude vytvořena množina modelů, které budou popisovat množiny metrik. Modely budou podle charakteristiky vlastností metrik vyhodnoceny a výstupem tohoto hodnocení by měla být míra úspěšnosti detekce jednotlivých typů útoků Cílem je vytvoření systému, který na základě zadaných vstupních vlastností vytvoří množinu metrik s odpovídající charakteristikou (např. nejlepší míra detekce konkrétního typu útoku). Tato sada metrik by následne měla pokrývat i neznámé útoky tohoto typu nebo množiny.

    Školitel: Hanáček Petr, doc. Dr. Ing.

  35. Metody zpracování obrazu pomocí neuronových sítí

    Projekt se zabývá pokročilými metodami zpracování a editace obrazu. Cílem práce je výzkum nových metod s využitím strojového učení, zejména hlubokých konvolučních neuronových sítí. 

    • Kontakt: http://cadik.posvete.cz/
    • Možnost spolupráce a stáže se špičkovými laboratořemi (Adobe Research, USA, MPII Saarbrücken, Německo, Disney Research Curych, Švýcarsko, INRIA Bordeaux, Francie)

    Školitel: Čadík Martin, doc. Ing., Ph.D.

  36. Model systému managementu kvality

    Předmětem doktorského studia bude výzkum v oblasti zlepšování kvality a redukci variability se zaměřením na statistické metody, které by bylo možné využít  zejména v oblasti vývoje informačních systémů. Model systému kvality bude akceptovat moderní přístupy v této oblasti jakou je např. metodologie Six Sigma, použití grafických modelovacích nástrojů a bude akceptovat principy řízení kvality dané mezinárodními normami  ISO. Dalším cílem výzkumné práce  je nalezení teoretických konceptů, metod a nástrojů, jež by umožnily zdokonalování procesů řízení kvality vývoje produktů.
    Očekává se účast na relevantních mezinárodních konferencích a publikování v odborných či vědeckých časopisech.

    Školitel: Kreslíková Jitka, doc. RNDr., CSc.

  37. Modelování a optimalizace procesů softwarového inženýrství

    Vytváření prostředí pro procesně orientovaný přístup vývoje softwarových produktů.

    • Analýza procesů vývoje software, specifikace požadavků na procesy a jejich chování.
    • Tvorba analytických modelů, zhodnocení požadavků na procesy.
    • Formalizace popisu procesů, vyhodnocení modelů. 
    • Testování procesů pomocí simulace, porovnávání výsledků simulace s empirickými vývojovými daty.
    • Návrh metod na vyhodnocení výsledků úspěšnosti procesů. Experimentální ověření úspěšnosti procesů.
    • Návrh metod optimalizace procesů dle stanovených kriterií.

    Očekává se účast na relevantních mezinárodních konferencích a publikování v odborných či vědeckých časopisech.

    Školitel: Kreslíková Jitka, doc. RNDr., CSc.

  38. Modelování a validace požadavků v procesu vývoje softwarových systémů (školitel-specialista: R. Kočí)

    Základním problémem při vývoji softwaru je správné zachycení požadavků, jejich validace a následné převedení do vyvíjeného systému. Během návrhu se používají různé modely pro zachycení rozdílných pohledů na systém - abstraktní pohled na požadavky na vyvíjený systém, podrobná specifikace scénářů chování, realizace scénářů apod. Cílem disertační práce je výzkum kombinace vybraných modelů z jazyka UML a formalismů DEVS a Petriho sítí pro modelování a realizaci požadavků na vyvíjený systém. Důležitým aspektem je zachování stejných modelů po celý vývojový cyklus s možností náhledu na systém v různé míře abstrakce.

    Školitel: Janoušek Vladimír, doc. Ing., Ph.D.

  39. Moderní a akcelerované "Visual Computing" algoritmy


    Téma je zaměřeno na algoritmy grafiky, zpracování obrazu a videa, tedy "Visual Computing", například HDR (High Dynamic Range) obrazu, multispektrálního obrazu, stereoobrazu, případně obrazu doplněného o vlastnosti materiálu, teplotě, apod. Cílem je lépe porozumět jejich vlastnostem a možnostem, ale i aplikacim, algoritmy do hloubky analyzovat, zlepšovat a připravovat nové. Předpokládá se práce v jazyce C, C++, C#, assembleru, případě i jinak. Možné algoritmy zahrnují: 

    • Pořizování HDR obrazu a videa, jeho komprese, skládání z několika standardních obrazů/videí, apod. 
    • Pořizování, zpracování a vizualizace multispektrálního obrazu (obrazu s více než třemi spektrálními složkami),
    • zpracování stereosnímků a jiných snímků s hloubkovou informací pořízení ať už s nebo bez strukturálního osvětelní,
    • algoritmy vhodné pro mobilní techniku nebo embedded systémy zaměřené na výše zmíněné druhy obrazu,
    • metody vizualizace HDR obrazu a videa, tone-mapping, Real-Time tone mapping,
    • algoritmy a aplikace využívající vlnkové, frekvenční a/nebo obdobné transformace.

    Po dohodě je možné zpracovávat i individuálně vybrané algoritmy, které ve výše uvedeném seznamu nejsou, ale patří do dané tématiky.

    Je možnost spolupráce i na grantových projektech, zejména na nově podávaných projektech bezpečnostního výzkumu, H2020, ECSEL(potenciálně možnost stipendia či pracovního poměru).

    Školitel: Zemčík Pavel, prof. Dr. Ing., dr. h. c.

  40. Moderní metody počítačového vidění

    • Použití moderních a slibných přístupů v počítačovém vidění, zejména metody strojového učení a konvolučních neuronových sítí
    • Identifikace zajímavých otevřených problémů
    • Návrh netradičních modifikací existujících přístupů
    • Experimentální vyhodnocení, využití existujících datových sad a pořizování nových

    Školitel: Herout Adam, prof. Ing., Ph.D.

  41. Moderní modely pro definici a překlad jazyků

    Řešení tohoto projektu bude vycházet ze stávajících poznatků o modelech a metodách definice a  překladu jazyků a poznatků o systémech formálních modelů, zejména překladových gramatik a automatů. Cílem je konstrukce a výzkum metod překladů založených na takovýchto systémech a to tak, aby nové metody adekvátním způsobem odrážejí potřeby moderních kompilátorů. Aplikace těchto systémů se budou soustředit na překladače.

    Školitel: Meduna Alexandr, prof. RNDr., CSc.

  42. Moderní způsoby komunikace s informačními systémy

    V době, kdy je nutné vyhodnocovat stále větší množství dat, umět z nich rychle získávat informace a znalosti, vzrůstají požadavky na uživatelská rozhraní IS, které tyto činnosti dokáží uživatelům usnadnit.

    Navržení kvalitního uživatelského nástroje je z hlediska použitelnosti komplikované a jak poukázal například Stephen Few ve své knize Information Dashboard Design, návrháři se v mnoha případech při tvorbě UI dopouštějí různých chyb, které výrazným způsobem snižují prezentační kvalitu tohoto vizualizačního nástroje.

    Jedním ze způsobů vyhodnocování použitelnosti je uživatelské testování. Techniky založené na tomto přístupu dokáží poměrně spolehlivě odhalit velké množství nedostatků v použitelnosti. Jejich nevýhodou je však značné úsilí nutné pro jejich vykonání (schopnost interakce s uživateli, čas, cena).
     
    Dalším přístupem je vyhodnocování na základě měření a analýzy zvolených charakteristik uživatelského rozhraní (barvy, layout, ...). Tento přístup dokáže odhalit pouze omezené množství problémů použitelnosti avšak jeho předností je právě úspora nákladů a možná automatizace. Na FIT vyvíjíme systém, který dokáže některé rutinní činnosti vyhodnocování použitelnosti automatizovat. Tento systém se skládá ze tří částí:

    1. Převod vstupního formátu uživatelského rozhraní/dashboardu (HTML, bitmapa, ...) do interní reprezentace, která nese strukturovaný popis daného UI (např. XML).
    2. Výpočet charakteristik: hledání a aplikace zvolených metrik pro výpočet významných charakteristik uživatelského rozhraní.
    3. Vytvoření rozhodovacího systému na základě trénovací množiny vypočtených charakteristik (trénování vhodné klasifikační funkce, neuronové sítě, ...).

    Výhodou této modularizace je možnost náhrady některé z částí v případě, že to konkrétní situace vyžaduje (aplikovaní vybraných metrik pro daný typ UI). Obsahem disertační práce by mělo být vhodné rozšíření vybrané části systému.

    Více informací po osobní schůzce.
    Kontakty a informace Prof. Ing. Tomáš Hruška, CSc. - hruska@fit.vutbr.cz

    Školitel: Hruška Tomáš, prof. Ing., CSc.

  43. Monitorování komunikace s využitím profilů zařízení

    Profilování provozu vychází ze sledování procesů běžících na daném síťovém zařízení a také z probíhající komunikace na základě metadat o komunikaci, například metadat o síťových tocích. Pomocí monitorování toků a sledování běžících procesů lze vytvářet profil daného zařízení, který obsahuje přehled komunikace zařízení v pasivním stavu (bez aktivního uživatelského vstupu), během běžného provozu i během zatížení.

    Profilování systému je důležité zejména proto, že mnoho aplikací komunikuje po síti bez vědomí uživatele (synchronizace s daty v cloudu, synchronizace kalendáře, kontrola příchozích emailových zpráv, načítání aktualizací). Znalost profilu systému je nezbytná pro detekci botnetu, nakažení virem či průniku útočníka do systému.

    Součástí výzkumu bude vytvoření nástroje pro profilování komunikace pro různé platfromy dat, sběr dat z vybraných typů zařízení, hledání otisku chování těchto zařízení (fingerprinting) v síťovém provozu pomocí shlukování či automatické vytváření filtrovacích pravidel dle profilu komunikace.

    Téma je součástí projektu bezpečnostního výzkumu MV Tarzan.

    Školitel: Matoušek Petr, doc. Ing., Ph.D., M.A.

  44. Možnosti využití časové redundance při konstrukci systémů odolných proti poruchám

    Návrh a realizace systémů odolných proti poruchám má za následek zvýšení plošné redundance (narůstá objem eletroniky), informační redundance (využití parity, ECC či jiného typu nadbytečné informace) nebo časové redundance (násobná realizace instrukcí). Toto téma zapadá tematicky do oblasti třetí, tzn. mezi metody, pro něž je charakteristický nárůst časové redundance. Techniky, které byly doposud využívány, se zaměřovaly především na posouzení instrukcí, které bylo nutno zdvojit - kriteriem byla jejich souvislost s konkrétní aplikací, která nesměla být ohrožena.

    Cílem práce bude definování dalších kriterií, která budou rozhodovat o zdvojování instrukcí (např. rozsah hardware, který se podílí na realizaci instrukce/posloupnosti instrukcí, příkon při realizaci instrukce/posloupnosti instrukcí, doba provádění instrukce, typ instrukce). Na takto definovaných kriteriích bude vytvořena metodika pro výběr instrukcí tak, aby byla zajištěna požadovaná spolehlivost.

    Školitel: Kotásek Zdeněk, doc. Ing., CSc.

  45. Multispektrální analýza lidských tkání pro lékařské účely

    Cílem práce je multispektrální analýza lidských tkání pro lékařské účely. Postup práce bude následující:

    • Seznámení se s multispektrálním osvětlováním (různé vlnové délky) a snímáním pomocí kamer. Dále seznámení se s lidskou kůží a zuby.
    • Návrh a konstrukce zařízení pro multispektrální osvětlení lidské kůže a zubů, včetně snímání.
    • Provedení prvotních experimentů s tímto zařízením. Nasnímání DB patologických nálezů v/na kůži a zubech (ve spolupráci s lékaři).
    • Návrh a implementace expertního systému pro automatické hledání patologických nálezů v/na kůži a zubech.
    • Provedení závěrečných experimentů a souhrn dosažených výsledků.
    Očekává se účast na relevantních mezinárodních konferencích a publikování v odborných či vědeckých časopisech. Zahraniční stáž je možná.
    Práce může navázat na předchozí zkušenosti týmu v této oblasti, tj. multispektrální osvětlování a snímání + onemocnění kůže na ploskách prstů.

    Školitel: Drahanský Martin, prof. Ing., Ph.D.

  46. Návrh algoritmů pro odstranění vlivu onemocnění kůže na proces rozpoznávání otisků prstů

    Tato disertační práce se zaměřuje na návrh a implementaci nových algoritmů pro eliminaci vlivu dermatologických problémů na celkový proces rozpoznávání otisků prstů. Jednotlivé etapy práce by měly být následující:

    • Prostudování teorie základů dermatologie a biometrického rozpoznávání otisků prstů.
    • Analýza vlivu kožních onemocnění na otisky prstů.
    • Příprava aplikace pro snímání otisků prstů postižených kožními onemocněními s využitím různých technologií snímání (optická, kapacitní ...).
    • Vytvoření databáze otisků prstů postižených kožními onemocněními.
    • Návrh a implementace algoritmů pro rozlišování otisků zdravých, zdravých nekvalitních a postižených kožní chorobou.
    • Pokus o návrh a implementaci algoritmů pro alespoň částečné rozpoznání druhu kožní nemoci na základě otisku prstu, příp. kategorie onemocnění (v případě že to bude možné.)
    • Návrh a implementace algoritmů pro dílčí rekonstrukci otisku poškozeného kožní nemocí.
    • Provedení experimentů, zhodnocení výsledků a návrh směru dalšího výzkumu.

    Očekává se účast na relevantních mezinárodních konferencích a publikování v odborných či vědeckých časopisech.

    Školitel: Drahanský Martin, prof. Ing., Ph.D.

  47. Návrh systémů odolných proti poruchám zohledňující nízký příkon

    Zvýšení odolnosti systému proti poruchám se obvykle dosahuje formou redundance, ať už se jedná o redundanci prostorovou (replikace na úrovni hardware), časovou (opakování výpočtu) nebo informační (redundantní zakódovaní informace). Uvedené přístupy jsou úzce spjaty. Zvýšení redundance však ovlivňuje spotřebu energie výsledného systému. Cílem tématu je vytvořit a implementovat metodiku návrhu systémů do prostředí, ve kterých je vyžadována vysoká spolehlivost (odolnost proti poruchám) a zároveň je kladen důraz na nízkou spotřebu (low power). Z hlediska optimalizačního se jedná o protichůdné požadavky, jejichž dosažení vyžaduje stanovení kompromisu.

    Prvním podcílem práce by mohlo být rozšíření dostupných prostředků pro hodnocení spolehlivosti o možnost sledování průběhu spotřeby elektrické energie testovaného systému (DUT). Námi navržený systém umožňuje sledovat projev poruch na elektromechanickém systému, jenž je simulován na PC. Jeden z dalších podcílů by zahrnoval prozkoumání vlivu poruch na spotřebu testované jednotky ve spojitosti s principy vkládání odolnosti do systémů generovaných syntézou HLS, navrženými již dříve rovněž v rámci naší skupiny. Naše principy zahrnují kombinaci redundance prostorové, časové i informační. Vyhodnocení experimentů se zmíněnými prostředky poslouží jako základ pro následný výzkum v dané oblasti.

    K získání experimentálních výstupů je možné využít dostupných výsledků, kterých v posledních letech tým školitele doc. Kotáska dosáhl:


    1) Byla implementována metodika zaměřená na ověřování elektromechanických aplikací z hlediska jejich odolnosti proti poruchám.

    2) Navrhli a zrealizovali jsme řadič pro řízení částečné dynamické rekonfigurace po výskytu přechodné nebo trvalé poruchy v FPGA, rozšířili jsme jej o schopnost řídit opravu několika samostatně se vyskytujících trvalých poruch.

    3) Navrhli a implementovali jsme metodu vkládání redundance do obvodů realizovaných pomocí vysokoúrovňové syntézy (HLS) s využitím vysokoúrovňových modifikací kódu před jeho zpracováním syntézou HLS.

    4) Navrhli jsme metodiku pro synchronizaci stavu systému odolného proti poruchám po odstranění vzniklé poruchy.

    5) Vytvořili jsme a implementovali metodiku pro automatickou konstrukci hlídacích obvodů v systémech odolných proti poruchám nakonfigurovaných do FPGA.

    6) Vytvořili jsme testovací platformu pro ověřování reakce systémů odolných proti poruchám implementovaných do rekonfigurovatelných architektur na injektované poruchy.

    7) Navrhli jsme metodiku pro realizaci systému odolného proti poruchám do omezeného implementačního prostoru v FPGA.

    Naše výsledky publikujeme na konferencích a v časopisech s IF. Příspěvek, v němž popisujeme naši metodiku synchronizace po poruše získal v prosinci roku 2014 Best Paper Award na konferenci IEEE ICCES v Egyptě.

    Školitel: Kotásek Zdeněk, doc. Ing., CSc.

  48. Nekonvenční modelování a analýza systémů odolných proti poruchám

    Na současné systémy jsou kladeny stále větší nároky nejen z hlediska flexibility a efektivity jejich běhu na moderních výpočetních platformách, ale také z hlediska jejich činnosti a služeb, které poskytují a způsobu jejich řízení. Cílem řešení tématu je zejména:

    • analyzovat současný stav poznání v oblasti modelování a analýzy systémů odolných proti poruchám a vyhodnocování jejich spolehlivostních ukazatelů, identifikovat problémy a omezení spojené s použitím konvenčních metod a navrhnout jejich možná řešení,
    • zvolit, za podmínek ztěžujících či znemožňujících použití konvenčních prostředků a metod, nekonvenční prostředky a metody vhodné pro modelování a analýzu systémů odolných proti poruchám a vyhodnocování jejich spolehlivostních ukazatelů a dopadů jejich selhání na okolí,
    • navrhnout řešení vedoucí ke zvýšení spolehlivosti zvolené třídy systémů a toto řešení ověřit na vhodně zvolených případových studiích,
    • vyhodnotit vliv navrženého řešení na spolehlivost, provést rozbor jeho vlastností a porovnat s existujícími přístupy.

    Implicitně se předpokládá orientace projektu na číslicové elektronické systémy, nicméně téma je možno dále orientovat/specializovat, např. do oblastí systémů založených na procesorech a/nebo programovatelných zařízeních typu FPGA, zařízení rekonfigurovatelných za běhu, či elektro-mechanických (cyber-physical) systémů, spolehlivosti technického vybavení, základního programového vybavení (firmware), vrstvy operačního systému, aplikační vrstvy apod.

    Školitel: Strnadel Josef, Ing., Ph.D.

  49. Nízkopříkonové hloubkové učení na čipu

    Umělé neuronové sítě (ANN) a tzv. hluboké neuronové sítě se v poslední době hojně používají v komplexních úlohách klasifikace, predikce a rozpoznávání. Jejich hlavní nevýhodou je však vysoká výpočetní a energetická náročnost. V oblasti aproximativního počítání (approximate computing) jsou hledány alternativní nízkopříkonové obvodové implementace těchto sítí, které by byly použitelné i v systémech s omezenými energetickými zdroji, jako jsou např. uzly IoT. Cílem disertační práce bude zkoumat možnosti aproximace jednotlivých komponent ANN a docílit přijatelného kompromisu mezi kvalitou a energetickou náročnosti výpočtu. Bude se jednat zejména o aproximace aritmetických operací při násobení vstupu konstantou, aproximace aktivačních funkcí, konvolučních operací a přístupu do paměti. Výzkum spadá to témat řešených výzkumnou skupinou Evolvable Hardware.

    Školitel: Sekanina Lukáš, prof. Ing., Ph.D.

  50. Nové přístupy k optimalizacím

    Tématem disertační práce bude systemizace metod a prostředků pro obecné optimalizace (spojité i diskrétní). Postup práce by měl být následující:

    • Studium současného stavu různých přístupů k optimalizacím, především genetických algoritmů, ale i PSO (Particle Swarm Optimization), ACO (Ant Colony Optimization), ap.
    • Systemizace těchto přístupů (podle typů úloh, časové a prostorové náročnosti, ap.).
    • Posouzení možnosti kombinací uvedených přístupů s neuronovými sítěmi a možných přínosů těchto kombinací.
    • Praktické optimalizace náročných problémů. 

    Školitel: Zbořil František, doc. Ing., CSc.

  51. Nové verze automatů a gramatik

    Řešení tohoto projektu bude vycházet ze stávajících poznatků teorie formálních jazyků o modelech definující jazyky.  Projekt se zaměří na automaty a gramatiky. Cílem je konstrukce a výzkum nových verzí těchto modelů a to tak, aby adekvátním způsobem odrážely potřeby moderní informatiky. Řešení projektu bude rovněž zahrnovat diskuzi aplikací těchto systémů např. v oblasti bezpečnosti.

    Školitel: Meduna Alexandr, prof. RNDr., CSc.

  52. Odvozování přesné klasifikace škodlivého kódu z dostupných informací za využití strojového učení

    Problematika: Stávající automatizované antivirové systémy dosahují vysoké míry přesnosti v rozhodování, jestli je daný soubor škodlivý či nikoliv. Podstatně hůře pak dokáží určovat, o jaký konkrétní typ malwaru (např. banker, infector, worm...), kmene, natož pak varianty tohoto kmene jde.

    Cíl práce: Jednalo by se o navržení, implementaci a validaci systému, založeného na strojovém učení, který by na základě dostupných informací dokázal "značkovat" nově příchozí škodlivé vzorky přesným určením jejich typu, kmene a varianty.Mezi dostupnými informacemi lze nalézt: existující detekční sekvence bajtů, algoritmické detekce, dynamické informace z emulátorů/sandboxů/runtime, přesná Yara pravidla atd. Dále se může využít celá řada podpůrných indicií, které sami o sobě nejsou použitelné pro detekci, ale mohou posloužit pro určení typu. Při řešení je potřeba počítat s tím, že množina informací může být neúplná (např. nebudou aktuálně k dispozici dynamické informace).

    Projekt bude řešen v přímé spolupráci s firmou Avast.

    Mimořádní i řádné stipendium lze získat např. z interní grantové agentury, případně z dalších zdrojů.

    Školitel: Kolář Dušan, doc. Dr. Ing.

  53. Optimalizace distribuovaných vstup výstupních operací

    Cílem této disertační práce je návrh nových metod pro vysoce efektivní vstup a výstup paralelních simulačních algoritmů. Práce klade důraz na distribuci zátěže přes vícenásobné RAID pole, překrývání vstupu a výstupu s výpočtem, offloadování vstupu a výstupu na dedikované uzly, bufferování dat, apt.

    Výstupem práce bude technika, která na základně aktuálního vytížení výpočetního clusteru a požadavků simulace automaticky navrhne nejvhodnější strategii. Tohoto výsledku bude dosaženo pomocí online sběru a vyhodnocení výkonnostních metrik a technik umělé inteligence a strojového učení.


    Školitel: Jaroš Jiří, doc. Ing., Ph.D.

  54. Optimalizace kumulativních rizik při alokaci portfolia

    Předmětem práce je návrh shluků (clusters) obchodních modelů a/nebo jejich parametrů, které budou zachovávat předepsané požadavky na minimalizaci kumulativních rizik, vznikajících při alokaci portfolia s využitím těchto systémů na paralelních časových řadách finančního trhu. Cílem práce je splnění kritérií na linearitu křivky ekvity a minimalizace kumulativního rizika.
    Očekává se účast na relevantních mezinárodních konferencích a publikování v odborných či vědeckých časopisech.

    Školitel: Kreslíková Jitka, doc. RNDr., CSc.

  55. Optimální letová trajektorie a rozhodování pilota

    Zintenzivnění letového provozu v podmínkách silné oborové konukrence vytváří předpoklad pro výzkum, vývoj a implementaci nástroje pro optimalizaci letové trajektorie, který zohlední rozhodovací proces pilota. Samotným cílem práce bude vytvoření algoritmů a jejich následná softwarová implementace do podoby nástroje pro plánování trajektorie letu, který obsáhne interaktivní automatické řešení letové trajektorie s využitím optimalizačního přístupu při zohlednění uživatelské preference a nejistoty v definici prostorového pohybu letounu. V rámci syntézy bude řešeno modelování a simulace rozhodovacícho procesu pilota při prostorovém manévrování, přičemž syntéza skupinového rozhodování bude vycházet z konceptu prioritarizace informace.

    Školitel: Chudý Peter, doc. Ing., Ph.D., MBA

  56. Paralelní analýza formálních jazyků

    • Studujte současné techniky uplatňované v přední části překladače a různé implementace.
    • Navrhněte různá místa, kde by bylo možné uplatnit paralelní zpracování - zaměřte se na vlákna, případně využití GPU.
    • Realizujte přední část překladače dle vašeho návrhu, porovnejte výkonnost, vyvoďte závěry.
    • V rámci interní grantové agentury je možné získat jak stipendium, tak další podporu.

    Školitel: Kolář Dušan, doc. Dr. Ing.

  57. Paralelní analýza kontextových jazyků

    • Studium možností paralelní kontextové analýzy v návaznosti na atributované gramatiky různých tříd a atributované překladové gramatiky. Orientace na gramatiky s rozptýleným kontextem a jejich variace.
    • Návrh formálního postupu vytvoření formálního popisu jazyka, který je možné plně automatizovaně převést na kontextový paralelně pracující analyzátor. Vazba na atributy jako další krok.
    • Implementace konstruktoru, ověření funkce na reálných příkladech. Orientace na vhodný hostitelský jazyk.
    • V rámci interní grantové agentury lze získat mimořádné stipendium a další podporu.

    Školitel: Kolář Dušan, doc. Dr. Ing.

  58. Plánování cesty pro reálného robota

    Tato práce se bude zabývat algoritmy pro plánování pohybu robota. Ty ale většinou neuvažují s věcmi jako je hmotnost a setrvačnost robota, případně pohybová omezení daná typem podvozku. Výsledkem práce by měl být algoritmus, který pro robota s konkrétním typem podvozku nalezne optimalizovanou cestu na základě výše uvedených kritérií a podle zadaných parametrů. Plánovací metoda by měla být schopna vyrovnat se s nečekanými událostmi během pohybu robota, tj. detekovat kolizi či změnu prostředí zásadní pro dokončení naplánovaného pohybu. 



    Školitel specialista: Ing. Jaroslav Rozman, Ph.D.

    Školitel: Zbořil František, doc. Ing., Ph.D.

  59. Počítačové vidění ve sledování dopravy

    • Výzkum a vývoj algoritmů počítačového vidění.
    • Zaměření na video z dohledových kamer v dopravě.
    • Výzkum algoritmů s minimálním uživatelským vstupem.
    • Pořizování a syntéza vhodných datových sad.
    • Implementace experimentálních prototypů
    • Návrh a prototypování aplikací.

    Školitel: Herout Adam, prof. Ing., Ph.D.

  60. Pokročilé algoritmy počítačové grafiky

    Téma je zaměřeno na algoritmy počítačové grafiky a obecně syntézy obrazu. Hlavním cílem je zkoumat algoritmy počítačové grafiky, související datové struktury, související otázky zpracování signálu a/nebo obrazu i související otázky získávání a zpracování 3D modelů tak, aby bylo lépe rozumět jejich vlastnostem a možnostem, algoritmy do hloubky analyzovat, zlepšovat a připravovat nové. Předpokládá se práce v jazyce C, C++, C#, assembleru, případě i jiných jazycích. Bude-li zájem, je možno pracovat i na paralelních CPU jádrech x86/64, ARM, Xeon PHI, GPU apod. v OpenCL, CUDA, v FPGA ve VHDL, případně i jinak. Možné algoritmy zahrnují:

    • zobrazování pomocí vybraných grafických metod (ray tracing, photon mapping, přímé zobrazování "point cloud" apod.),
    • rekonstrukce 3D scény z obrazů a/nebo videa, případně fúzí s jinými senzory, jako je například LIDAR,
    • nové algoritmy grafiky a  syntézy obrazu vhodné pro mobilní techniku nebo embedded systémy,
    • moderní algoritmy geometrie vhodné pro aplikaci v oblasti počítačové grafiky, případně i 3D tisku, 
    • metody zpracování videa sve formě "cartoon", s falešnými barvami případně se simulací malířských/uměleckých technik.
    • nastupující algoritmy syntézy 3D obrazu, holografie, aplikace algoritmů vlnkové, frekvenční a/nebo obdobné transformace.

    Po dohodě je možné zpracovávat i individuálně vybrané algoritmy, které ve výše uvedeném seznamu nejsou, ale patří do dané tématiky.

    Je možnost spolupráce i na grantových projektech, zejména na nově podávaných projektech bezpečnostního výzkumu, H2020, ECSEL(potenciálně možnost stipendia či pracovního poměru).

    Školitel: Zemčík Pavel, prof. Dr. Ing., dr. h. c.

  61. Pokročilé metody návrhu celulárních automatů

    V posledních letech bylo ukázáno, že volbou vhodné reprezentace a postupu hledání přechodových pravidel je možné navrhovat složité vícestavové celulární automaty, jejichž chování bylo zatím nedosažitelné existujícími technikami. Nové výzkumy naznačují, že tyto postupy je možné dále vylepšovat a dosáhnout tak zefektivnění procesu návrhu či zcela nových řešení vybraných problémů poskytnutých výsledným celulárním automatem. V rámci disertační práce se předpokládá extensivní výzkum vybraných tříd celulárních systémů a hledání nových metod vedoucích k optimalizaci jejich návrhu či samotných výpočtů úloh, které na nich budou realizovány. Za možné směry lze uvažovat též akcelerace výpočtů pomocí superpočítačů, jednotek GPU, případně FPGA.

    Školitel specialista: Ing. Michal Bidlo, Ph.D. 

    Školitel: Sekanina Lukáš, prof. Ing., Ph.D.

  62. Pokročilé metody pro monitorování a analýzu mobilní komunikace

    Použití mobilních zařízení pro přístup ke službám na Internetu stále roste. Většina aplikací pro mobilní zařízení vzniká narychlo, aby uspokojila poptávku uživatelů. S tím souvisí i chyby v návrhu aplikací, bezpečnosti a zajištění privátnosti dat uživatele. Architektura mobilních aplikací kombinuje přístup klient - server s přístupem sítí peer-to-peer známých na Internetu, přesto se způsob práce mobilních aplikací liší od aplikací na běžných počítačích.

    Téma disertační práce se týká vývojem a aplikací pokročilých metod pro monitorování mobilní komunikace a její analýzu za účelem účtování služeb, sledování výkonu a detekce bezpečnostních hrozeb. Pro detekci a monitorování provozu mobilních zařízení je vhodné využít techniky profilování chování zařízení z pohledu komunikace založené na sledování toků a komunikujících aplikací na zařízení. Z pohledu síťové komunikace je možné využít techniky otisku zařízení (fingerprinting) a strojového učení pro vytvoření databáze běžných zařízení. Z hlediska analýzy provozu je vhodné detekovat typy aplikací různými inteligentními metodami (SPID, pomocí vzorů, apod.).

    Student při řešení bude analyzovat vybrané mobilní aplikace, na kterých bude aplikovat vhodné metody pro detekci a monitorování. Cílem práce je definovat vzory typického chování s ohledem na dynamické chování a stanovit možnosti detekce bezpečnostních incidentů (útoky, viry, apod.) na základě těchto vzorů.

    Téma je součástí projektu IGA Výzkum pokročilých metod ICT.

    Školitel: Matoušek Petr, doc. Ing., Ph.D., M.A.

  63. Pokročilé metody syntézy obrazu

    Projekt se zabývá pokročilými metodami syntézy obrazu. Cílem práce je výzkum nových metod pro fotorealistické (fyzikálně založené) i nefotorealistické (NPR) simulace světelné interakce ve scéně. Předpokládá se intenzivní spolupráce a stáže na špičkových institucích a firmách v oboru (Adobe, USA, MPII Saarbrücken, Německo, Disney Curych, Švýcarsko, INRIA Bordeaux, Francie).

    Školitel: Čadík Martin, doc. Ing., Ph.D.

  64. Pokročilé metody výpočetní fotografie

    Projekt se zabývá pokročilými metodami výpočetní fotografie. Cílem práce je výzkum nových metod pro výpočetní fotografii, což zahrnuje zejména softwarové řešení, které může být případně dále kombinováno s novou optikou a dalším hardware. Mezi oblasti výzkumu patří zpracování HDR obrazu a videa, převod barevného obrazu na černobílý, spektrální obraz, atd.


    Školitel: Čadík Martin, doc. Ing., Ph.D.

  65. Pokročilé přístupy k praktickému rozhodování u BDI systémů

    Praktické rozhodování u BDI systému je založeno na průběžném budování modelu záměrů agenta a následném provádění tohoto modelu. Původní výpočetní systém BDI agentů, systém AgentSpeak(L) nechával prostor pro další specifikaci některých výpočetních kroků, jakými jsou volba z více možných prostředků k dosažení cílů, volba záměrů k vykonání či volba substitucí při provádění formálních odvozování. Právě na hledání preferencí při výběru prostředků a záměrů se bude soustředit práce v rámci tohoto zadání. Výsledkem má být systém, jehož praktické rozhodování bude vykazovat vyšší míru racionality než vykazují v současnosti existující řešení BDI systémů. 

    Školitel: Zbořil František, doc. Ing., Ph.D.

  66. Pokročilé techniky v genetickém programování

    Evoluční návrh je často prováděn pomocí genetického programování a jeho moderních technik, jakými jsou např. sebemodifikace kódu, sémantikou řízené genetické operátory, koevoluce a pokročilé metody reprezentace a evaluace kandidátních řešení. Cílem projektu je navrhnout a implementovat systém genetického programování, který bude využívat několik takových technik současně. Na úlohách zejména z oblasti návrhu obvodů, hlubokých neuronových sítí, aproximativního počítání a symbolické regrese bude experimentálně vyhodnocována účinnost jednotlivých technik a jejich kombinací. Výzkum spadá to témat řešených výzkumnou skupinou Evolvable Hardware.

    Školitel: Sekanina Lukáš, prof. Ing., Ph.D.

  67. Problematika spolehlivosti operačních systémů a aplikací jimi řízených

    Na současné operační systémy (OS) jsou kladeny stále větší nároky nejen z hlediska flexibility a efektivity jejich běhu na moderních výpočetních platformách, ale také z hlediska spolehlivosti činnosti jejich jader a služeb, které poskytují aplikační vrstvě. Cílem řešení tématu je zejména:

    • analyzovat současný stav v oblasti spolehlivosti jader OS a služeb OS,
    • identifikovat (z pohledu spolehlivosti) negativní vlivy a jejich dopad na spolehlivost aplikační vrstvy,
    • navrhnout řešení vedoucí ke zvýšení spolehlivosti jader a služeb OS,
    • vyhodnotit vliv navrženého řešení na spolehlivost jader/služeb OS a činnosti aplikační vrstvy.

    Téma je možno orientovat různými směry, např. do oblasti nízkopříkonových aplikací/OS či aplikací/OS určených k běhu na vestavných platformách či na více jádrech. Z hlediska operačních systémů je možno stavět na škále "konvenčních" OS typu Unix, Linux, Android, Windows, iOS či specializovaných OS typu QNX, uC/OS-I(II, III), FreeRTOS, MQX apod.

    Školitel: Strnadel Josef, Ing., Ph.D.

  68. Protokol pro komunikaci mezi palubními zobrazovacími jednotkami a uživatelskými aplikacemi v avionických systémech

    Pokročilé avionické systémy pro dopravní letouny a letouny všeobecného letectví budou vyžadovat návrh a implementaci moderního protokolu pro komunikaci mezi palubní zobrazovací jednotkou a uživatelskou aplikací. Současné průmyslově akceptované řešení způsobuje nežádoucí latenci a do jisté míry také omezení rozsáhlejší interakce s palubním avionickým systémem. Cílem práce bude návrh moderního komunikačního protokolu a funkcionality podporované zobrazovacími systémy, které budou využitelné ve vývoji budoucích palubních displejových systémů podléhajících certifikaci leteckým úřadem.

    Školitel: Chudý Peter, doc. Ing., Ph.D., MBA

  69. Rozpoznání a sledování lidské postavy ve videu

    • Studium a výzkum algoritmů počítačového vidění.
    • Zaměření na detekci, rozpoznání a stanovení pózy lidské postavy.
    • Sledování částí lidské postavy v čase, využití temporální koherence.
    • Návrh a implementace algoritmů pracujících v reálném čase.

    Školitel: Herout Adam, prof. Ing., Ph.D.

  70. Rozšířená realita na mobilních zařízeních

    Cílem práce je vyhledávat a vytvářet algoritmy, které umožní v reálném čase provozovat rozšířenou realitu na mobilních (ultramobilních) zařízeních. Jedná se především o algoritmy určení/sledování pozice mobilního zařízení v prostoru pomocí počítačového vidění a využitím vestavěných senzorů mobilního zařízení. Dále se práce zaměří na algoritmy zobrazování virtuálních prvků do reálné scény a na aplikace rozšířené reality na mobilním zařízení.

    Školitel: Herout Adam, prof. Ing., Ph.D.

  71. Rozšířená realita pro prostředí komplexních simulací v reálném čase

    Vývoj simulačních technologií směřuje v posledním desetiletí k přirozené integraci prvků rozšířené reality, jejichž širšímu uplatnění brání nedostatky plynoucí ze současného stavu techniky. Cílem práce bude analýza, návrh a implementace nových přístupů pro zvýšení autenticity rozšířené reality pro využití v komplexních simulacích v reálném čase. 

    Školitel: Chudý Peter, doc. Ing., Ph.D., MBA

  72. Řízení letu kvadrokoptéry

    Cílem práce bude vytvoření co nejpřesnějšího modelu kvadrokoptéry a následná tvorba a testování algoritmů řízení letu kvadrokoptéry. Jedním z podcílů práce bude vytvořit platformu pro testování řídicích algoritmů pro vysoce nelineární systémy. Dalším podcílem bude vybavit reálnou kvadrokoptéru takovými senzory, které umožní její bezpečný let ve vnějším i vnitřním prostředí.

    Školitel - specialista: Ing. Jaroslav Rozman, Ph.D.

    Školitel: Zbořil František, doc. Ing., CSc.

  73. Statická formální analýza programů s pokročilými datovými a řídicími strukturami

    Statická analýza postavená na formálních základech je moderním a rychle se rozvíjejícím přístupem k ověřování korektnosti počítačových systémů, resp. pro vyhledávání chyb v nich. Existuje a dále se rozvíjí mnoho přístupů k takové analýze či verifikaci: analýza toku dat, pokročilé typové analýzy, abstraktní interpretace, model checking apod. Značná pozornost je těmto přístupům věnována nejen v akademické oblasti, ale také řadou špičkových velkých průmyslových společností (např. IBM, Microsoft, Google, NEC, Red Hat, Facebook, Amazon apod.) i nově vznikajících spin-off firem (např. Coverity, GrammaTech, AbsInt, DiffBlue apod.). Přes tento zájem univerzit i průmyslových společností je však v oblasti statické analýzy stále zapotřebí vyřešit celou řadu teoretických i praktických problémů. Předmětem disertační práce bude konkrétně rozvoj současného stavu v oblasti statické analýzy zaměřené na programy se složitými řídicími a/nebo datovými strukturami: zvýšení obecnosti těchto technik, zvýšení jejich škálovatelnosti, zlepšení stupně automatizace.

    Práce bude řešena ve spolupráci s týmem VeriFIT zabývajícím se na FIT VUT automatizovanou analýzou a verifikací, zejména pak dr. L. Holíkem, doc. A. Rogalewiczem, dr. O. Lengálem, dr. P. Peringerem, Ing. T. Fiedorem, Ing. M. Hruškou, Ing. V. Šokovou či Ing. V. Malíkem. Je zde rovněž možnost úzké spolupráce s různými zahraničními partnery VeriFIT: Uppsala University, Švédsko (prof. P.A. Abdulla, prof. B. Jonsson, dr. Rummer); Verimag, Grenoble, Francie (dr. R. Iosif), IRIF, Paříž, Francie (prof. A. Bouajjani, dr. M. Sighireanu, dr. C. Enea), Academia Sinica, Tchaj-wan (prof. Y.-F. Chen), TU Vienna, Rakousko (dr. F. Zuleger), University of Oxford, Velká Británie (dr. A.W. Lin) či TU Braunschweig, Německo (prof. R. Meyer). Téma je zajímavé také z pohledu spolupráce s průmyslovými společnostmi, zejména pak DiffBlue z Velké Británie (dr. P. Schrammel), která vyvíjí mj. statický analyzátor 2LS, do jehož vývoje se již tým VeriFIT zapojil v několika oblastech. Dalšími možnými průmyslovými partnery jsou např. Red Hat či Honeywell.

    V oblasti statické analýzy programů dosáhla skupina VeriFIT mnoha originálních výsledků publikovaných na špičkových konferencích (např. v oblasti analýzy programů s dynamickými datovými strukturami, parametrickými datovými strukturami, neomezenými poli, řetězci či parametrickým počtem procesů). Řada z dosažených výsledků byla implementována v nástrojích (např. Predator či Forester), které získaly řadu ocenění např. na mezinárodní soutěži ve verifikaci software SV-COMP. Konkrétní výzkum v rámci tématu se zaměří na další významné zdokonalení metod, na nichž tyto nástroje stojí, ať už se jedná o techniky založené na automatech, logikách či grafech. Cílem bude např. umožnit efektivní analýzu programů s více různými typy dat (např. ukazatele a celočíselné proměnné), navrhnout nové techniky analýzy programů s dynamickými datovými strukturami (např. s využitím analýzy založené na šablonách a vazby na řešení SAT/SMT problémů), umožnit efektivní verifikaci konečnosti a nekonečnosti běhu programů či automatickou analýzu složitosti, umožnit verifikaci fragmentů kódu, umožnit verifikaci paralelních programů, kde každé jednotlivé vlákno má neomezený stavový prostor či také kombinovat různé (omezené) statické a dynamické analýzy programů za účelem efektivního vyhledávání chyb v nich.

    V rámci tématu se student může také aktivně zapojit do různých grantových projektů, jako je např. projekt GA ČR Robust či evropský projekt H2020 ECSEL Aquas.

    Školitel: Vojnar Tomáš, prof. Ing., Ph.D.

  74. Strojové učení pro Průmysl 4.0

    Průmysl 4.0 je populárním pojmem, který zastřešuje postupný vývoj a aktuální trendy v oblasti průmyslové automatizace a výměny dat z výroby, kyber-fyzických systémů, internetu věcí, cloudového počítání a chytrých továren. Velká data z výroby je možné použít na modelování výrobních procesů a odhalování kritických míst, pro prediktivní údržbu, podporu plánování navazujících logistických aktivit apod.

    Cílem disertační práce je výzkum a vývoj metod strojového učení, které budou dostatečně robustní, aby si poradily s proměnlivou kvalitou dat, a přitom dostatečně kvalitní, aby umožnily analýzy a predikce, přinášející průmyslu novou hodnotu. Práce budou navázany na mezinárodní projekty, na jejichž řešení se školitel podílí.

    Školitel: Smrž Pavel, doc. RNDr., Ph.D.

  75. Syntéza stochastických modelů

    Syntéza programů a výpočetních modelů patří mezi moderní a rychle se rozvíjející oblast formálních metod. Cílem syntézy je automatizované nalezení programu či matematického modelu, který splňuje požadované chování specifikované vhodným způsobem. Výzkumu efektivních metod syntézy je v současnosti věnována značná pozornost v oblastech formální verifikace, návrhu a implementace programovacích jazyků, umělé inteligence a systémové biologie, o čemž svědčí zaměření řady špičkových konferencí (např. CAV, POPL, PLDI či CMSB). Syntézou programů a modelů se rovněž zabývá řada velkých projektů na špičkových universitách a výzkumných institucích (např. Berkeley University či Microsoft Research).

    Předmětem disertační práce bude zejména návrh metod pro syntézu stochastických modelů, které poskytují vhodnou abstrakci při návrhu a analýze počítačových systémů a komunikačních protokolů. Stochastické modely se rovněž často používají pro popis a analýzu řady biochemických procesů. Konkrétní výzkum v rámci tématu se zaměří na syntézu pomocí skeče, převod problému syntézy na řešení instancí SAT/SMT problémů a evoluci programů/modelů pomocí genetického programování. Tyto techniky byly úspěšně použity při syntéze deterministických programů/modelů, ale jejich efektivní aplikace na syntézu stochastických modelů vyžaduje řešení celé řady teoretických i praktických problémů, spojených zejména s nutností syntetizovat kinetické parametry modelů a s výpočetně náročnějšími metodami dovolujícími ohodnotit kvalitu kandidátních modelů. Klíčovou vlastností navrhovaných metod je, vzhledem k velikosti programu/modelu a vzhledem ke složitosti specifikace jeho chování, jejich škálovatelnost. Proto bude předmětem disertační práce rovněž výzkum efektivních metod pro kvantitativní analýzu zahrnující abstrakci a agregaci stochastických modelů, časovou separaci přechodů či návrh efektivních metod pro hodnocení kandidátních řešení. Součástí výzkumu bude také možnost přibližného a/nebo masivně paralelního řešení uvedených problémů.

    Práce bude řešena ve spolupráci s týmem VeriFIT (zejména s dr. M. Češkou jr. v roli školitele specialisty), který se zabývá automatizovanou analýzou a verifikací počítačových systémů, jež je jedním z přirozených předstupňů pro automatickou syntézu, a rovněž se skupinou prof. L. Sekaniny, který se zabývá evolučními algoritmy a genetickým programováním. Tyto výzkumné týmy dosáhly mnoha originálních výsledků v oblasti různých aplikací formální technik (jež mohou být použity jako výhodný startovací bod pro vývoj nových technik hodnocení kandidátních řešení) i v oblasti evolučního řešení problémů. Dále se počítá s úzkou spoluprací se skupinou prof. M. Kwiatkowské z Oxford University, jež patří mezi nejlepší vědecké týmy v dané oblasti.

    Některé publikace související s tématem -- další viz níže:

    • A. Abate, L. Brim, M. Ceska and M. Kwiatkowska. Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemica Reaction Networks. Proc. of CAV 2015.
    • M. Ceska, F. Dannenberg, M. Kwiatkowska, N. Paoletti. Precise Parameter Synthesis for Stochastic Biochemical Systems. Proc. of CMSB 2014.
    • M. Ceska, D. Safranek, S. Drazan, L. Brim. Robustness Analysis of Stochastic Biochemical Systems. PloS ONE, 2014.
    • L. Brim, M. Ceska, D. Safranek. Model Checking of Biological Systems. Proc. of SFM 2013.

    Školitel: Vojnar Tomáš, prof. Ing., Ph.D.

  76. Systémy založené na regulovaných automatech a gramatikách

    Řešení tohoto projektu bude vycházet ze stávajících poznatků o regulovaných formálních modelech, zejména automatů a gramatik. Cílem je konstrukce a výzkum nových systemů regulovaných automatů a gramatik, které adekvátním způsobem odrážejí potřeby moderních výpočetních metod založených na distribuci, kooperaci a regulaci. Kanonické a redukované verze těchto system budou centrem tohoto studia. Aplikace těchto systémů se budou soustředit na modelování a výzkum organismů v molekulární biologii a genetice.

    Školitel: Meduna Alexandr, prof. RNDr., CSc.

  77. Techniky návrhu číslicových obvodů s vícefunkčními logickými elementy

    Rozvoji technologií výroby číslicových obvodů, zejména co do jejich rychlosti (a tedy z pohledu informatiky výpočetního výkonu takto realizovaného stroje), se v posledních desetiletích zatím stále daří naplňovat již dávno ustanovený Mooreův zákon. Pocit blízkosti technologických limitů však motivuje výzkumníky k tomu, aby hledali i nové technologie realizace číslicových obvodů. Mezi ně patří například prvky na bázi uhlíku, realizované nanotechnologiemi, které se chovají podobně jako klasické polovodiče, ale i další. U řady těchto nekonvenčně realizovaných prvků se objevuje zajímavý efekt, totiž možnost realizace více než jedné logické funkce jedním logickým prvkem (vícefunkčnost). Efekt vícefunkčnosti však může dobře sloužit k realizaci kompaktních implementací i s využitím konvenčních polovodičových prvků (současná polymorfní elektronika).

    Efektivní využití možnosti realizace více než jedné logické funkce jedním prvkem závisí převážně na dostupných technikách návrhu a jejich schopnosti pracovat s více cílovými funkcemi. Konvenční techniky návrhu jsou v těchto případech použitelné jen velmi omezeně, evoluční techniky návrhu často naráží na problém škálovatelnosti.

    Tato práce by měla

    • zkoumat možnosti realizace vícefunkční logiky současnými a nově navrhovaným technologiemi realizace číslicových obvodů a najít společné rysy a odlišnosti,
    • zkoumat dostupné techniky návrhu, použitelné pro návrh vícefunkční logiky, jejich omezení a specifika s ohledem na nalezené technologie realizace prvků a vlastnosti těchto technologií,
    • navrhnout a doporučit techniky návrhu vícefunkčních obvodů pro perspektivní technologie realizace s důrazem na škálovatelnost a efektivitu nalezených řešení,
    • ověřit tyto techniky, zejména s ohledem na jejich škálovatelnost a efektivitu nalezené implementace a na vhodných aplikacích je demonstrovat,
    • navrhnout možnosti jejich začlenění do perspektivních návrhových systémů.

    Školitel: Růžička Richard, doc. Ing., Ph.D., MBA

  78. Transformace modelů pro formální jazyky

    Řešení tohoto projektu bude vycházet ze stávajících poznatků o moderních formálních modelech, které se používají v teorii jazyků. Teoretický výzkum těchto modelů bude diskutovat užitečné transformace těchto modelů, jako např. eliminace vymazávajících pravidel či redukce velikosti jejich komponent. Výzkum aplikací takto transformovaných modelů se bude soustředit na oblasti informatiky související s překladači, matematickou lingvistikou a molekulární biologií.

    Školitel: Meduna Alexandr, prof. RNDr., CSc.

  79. Tvorba Bayesovských sítí a jejich aplikace

    Tématem disertační práce bude problematika Bayesovských sítí. Postup práce by měl být následující:

    • Studium současného stavu problematiky se zaměřením na tvorbu Bayesovských sítí.
    • Návrh prostředku pro podporu tvorby těchto sítí.
    • Návrh a implementace inferenčních mechanizmů.
    • Výběr vhodných netriviálních aplikací.

    Školitel: Zbořil František, doc. Ing., CSc.

  80. Uživatelská zkušenost a moderní uživatelská rozhraní

    • Studium a návrh pokročilých webových a mobilních uživatelských rozhraní.
    • Validace, optimalizace a uživatelské testování webových a mobilních uživatelských rozhraní.
    • Statistické zpracování dat získaných na lidských respondentech / uživatelích.
    • Návrh, vývoj a nasazení prakticky použitelného webového a/nebo mobilního systému / uživatelského rozhraní.

    Školitel: Herout Adam, prof. Ing., Ph.D.

  81. Výpočetní platforma pro vestavěnou inteligenci

    Cílem práce bude navrhnout a ověřit platformu pro akceleraci algoritmů vestavěné inteligence. Důraz bude kladen na optimalizaci výpočtů pro práci v reálném čase a nízký příkon. V práci budou zkoumány možnosti efektivní implementace klasifikátorů a hlubokých neuronových sítí a jejich vhodného kombinování.

    Např. použití obrazových klasifikátorů pro výběr vhodných kandidátních snímků pořízených kamerou a jejich následné zpracování v neuronové síti či kaskádě sítí (např. jednoduchá a rychlá síť v FPGA, pomalejší, ale přesnější v CPU a konečně velmi hluboká a přesná neuronová síť běžící na cloudu či clusteru), může přinést výrazné omezení datových toků. Důsledkem pak může být nejen urychlení výpočtů (čím přesnější je síť, tím je výpočetně a energeticky náročnější a není tedy vhodné ji spouštět na každý snímek pořízený kamerou), ale také výrazné snížení příkonu (přenosy dat mají často větší energetické nároky než výpočty samé).

    Kvalita a efektivita navržených algoritmů a výpočetních struktur bude ověřována na reálných datech. Pro implementaci navržených algoritmů se zvažuje využití hybridních výpočetních platforem kombinující výhody technologií FPGA, CPU a GPU.

    Předpokládá se spolupráce na výzkumných grantových projektech. Možné aplikace zahrnují tzv. chytré kamery, které rozpoznávají zájmové objekty v reálném čase, senzory s vestavěnou inteligencí pro robotiku či IoT atd.

    Doktorand v prezenční formě studia bude zapojen do výuky podle potřeb ústavu a fakulty.

    Školitel: Fučík Otto, doc. Dr. Ing.

  82. Vysokoúrovňové Petriho sítě ve vestavěných systémech a IoT architekturách


    Petriho sítě se ve vestavěných a řídicích systémech úspěšně používají již od 70tých let (viz např. SFC, Grafcet). Důvodem jejich popularity je sugestivní vizuální vyjádření, možnost simulace a možnost využití teorie Petriho sítí pro ověření důležitých vlastností systému. Kromě původních Petriho sítí lze dnes ve stejné oblasti použít i vysokoúrovňové Petriho sítě, které kombinují pozitivní vlastnosti původních Petriho sítí s možnostmi vysokoúrovňových programovacích jazyků (strukturované datové typy, objektová orientace). Tím je možné dostat se s Petriho sítěmi i do vyšších úrovní řízení, než je field level a PLC. Cílem aktuálního výzkumu je ověřit aplikovatelnost specifické varanty vysokoúrovňových Petriho sítí, Reference Nets, v návrhu a realizaci distribuovaných a hierarchicky organizovaných řídicích systémů. Reference Nets pracují s dynamicky instanciovatelnými a vzájemně komunikujícími vysokoúrovňovými Petriho sítěmi a umožňují modelovat systém ve vrstvách. Současně umožňují dynamicky rekonfigurovat strukturu systému. Tyto vlastnosti předurčují Reference Nets pro modelování a implementaci komplexních systémů s diskrétními událostmi a kromě toho mohou být Reference Nets efektivně využity v situacích, kdy je požadována dynamická rekonfigurovatelnost systému. Vzhledem k tomu, že u typických komplexnějších řídicích systémů se automaticky předpokládá adaptabilita na průběžně se měnící požadavky a podmínky, v kterých systém pracuje, o mimořádné aktuálnosti tohoto výzkumu nemůže být sebemenších pochyb.
    Existující implementace Reference Nets (kterou udržují kolegové v Hamburku) není přímo použitelná pro řízení, protože nebyla s tímto cílem navržena (nepracuje v reálném čase, instalace a rekonfigurace je obtížně realizovatelná). Proto byla v Brně navržena a prototypově realizována alternativní implementace, pracující s rozumnou podmnožinou původního inskripčního jazyka, umožňující běh na uzlech s omezenými zdroji a umožňující dynamicky nainstalovat, aktivovat, deaktivovat i odinstalovávat aplikace ve formě Reference Nets. Touto implementací je PNVM - Petri Net Vitrtual Machine. PNVM doplněný o ovladače pro vstupy a výstupy a příkazový interpret (shell, realizovaný pomocí Petriho sítí) se nazývá PNOS - Petri Net Operating System. Tento systém je určen k běhu na uzlech distribuovaného systému.
    PNOS je použitelný jako východisko pro případná rozšíření a modifikace v rámci aplikací. Momentálně jsou aktuální například aplikace v oblasti Smart Home a IoT (vč. Industrial IoT). 
    V rámci řešení je možná i spolupráce se spřáteleným pracovištěm na univerzitě v Hamburku.

    Pro více informací se stavte osobně, ideálně v odpoledních hodinách.
    Doc. Ing. Vladimír Janoušek, Ph.D.
    http://www.fit.vutbr.cz/~janousek/
    janousek@fit.vut.cz

    Školitel: Janoušek Vladimír, doc. Ing., Ph.D.

  83. Využití aproximativního počítání v oblasti zpracování videa


    Aproximativní počítání (approximate computing) je nová a bouřlivě se rozvíjející výzkumná oblast v rámci které jsou hledány alternativní (typicky nízkopříkonové) implementace nejen základních stavebních komponent jako jsou např. sčítačky a násobičky, ale také komplexních obvodových celků. Aproximace obvodů používaných v oblasti zpracování multimediálních dat patří díky vysoké rezistenci multimediálních aplikací vůči chybám a možnosti dosažení značné úspory energie mezi jeden z nejvyhledávanějších cílů.

    Cílem disertační práce bude zkoumat možnosti aproximace obvodové implementace nově vzniklého video kodeku H.265 (označováného jako HEVC), jehož nasazení je plánováno např. ve standardu DVBT2. V rámci disertační práce se student bude zabývat optimalizací kodeku HEVC z pohledu příkonu s využitím technik aproximativního počítání. Problém spočívá ve vytipování vhodných částí kodeku a navržení způsobu jejich aproximace. Nabízí se též možnost kombinovat různé aproximované komponenty a hledat nejvhodnější kompromis z pohledu příkon versus kvalita.

    Výzkum spadá do témat řešených výzkumnou skupinou Evolvable Hardware.

    Školitel: Vašíček Zdeněk, doc. Ing., Ph.D.

  84. Využití moderních GPU pro obecné výpočty

    Moderní GPU nabízejí možnosti zásadního zrychlení výpočtů pomocí jejich paralelizace. Grafické karty Nvidia a architektura CUDA navíc přinášejí relativní nezávislost na použití v čistě grafických úlohách. Mluví se o tzv. GPGPU (General Purpose GPU).

    Cílem disertační práce je výzkum možností paralelizace výpočetně náročných úloh, které je možné převést na GPU. V rámci řešení by měla vzniknout obecná metodika umožňující odhad možného zrychlení výpočtu, případně charakterizující rozsah omezení, daných použitou architekturou GPU. Výsledky budou demonstrovány na vybraných problémech zahrnujících časově náročné výpočty.

    Školitel: Smrž Pavel, doc. RNDr., Ph.D.

  85. Využití nereprodukovatelnosti vlastností elektronických systémů pro zvýšení bezpečnosti

    Na současné systémy jsou kladeny stále větší nároky nejen z hlediska flexibility a efektivity jejich běhu na moderních výpočetních platformách, ale také z hlediska jejich bezpečnosti. Cílem řešení tématu je zejména:

    • Analyzovat a zdokumentovat příčiny výrobní variability parametrů elektronických obvodů navrhovaných a vyráběných za totožných podmínek, zdokumentovat typické problémy spojené s výrobní  variabilitou parametrů a způsoby jejich řešení.
    • Po dohodě s vedoucím zvolit konkrétní elektronický obvod (např. mikrokontrolér či FPGA), na jehož fyzických vzorcích variabilitu parametrů vhodně ověříte, demonstrujete a zdokumentujete pomocí vhodné sady experimentů.
    • Na základě výsledků experimentů navrhnout metodu praktického využití variability parametrů, např. v oblastech nereprodukovatelné identifikace fyzických vzorků, nereprodukovatelného generování náhodných čísel či nereprodukovatelného šifrování komunikace.
    • Ověřit vlastnosti metod na dostatečně velkém vzorku obvodů, shrnout je a diskutovat dosažené výsledky, případně navrhnout zlepšení vlastností metod s využitím dalších zdrojů nepřesnosti v systému.

    Téma projektu je velmi perspektivní jak z vědeckého/publikačního hlediska, tak zejména z hlediska praktického až revolučního přínosu pro oblast bezpečnosti.

    Školitel: Strnadel Josef, Ing., Ph.D.

  86. Využití pokročilých metod pro bezpečnostní analýzu logovacích informací

    Logování událostí síťových zařízení i aplikací je důležitým zdrojem dat pro správu sítě. Většina profesionálních SIEM systémů získává logovací soubory z mnoha síťových zařízení a služeb. Pro zpracování se často využívá hledání řetězců (pattern-based monitoring) či vyhledávání dotazacími jazyky typu SQL. Toto je však problematické u rozsáhlých souborů, kdy hledání jednotlivých informací a jejich korelace nemůže být řešena manuálně.

    Jedním z přístupů pro hledání bezpečnostních incidentů na základě logovacích informací, je rekonstrukce pomocí temporální logiky a jazyka EPL (Event Processing Language). Pomocí temporální logiky je možné popsat chování známých útoků, které je pak možné převést do jazyka EPL a aplikovat nad soubory s logovacími informacemi.

    Cílem tématu je prozkoumat možnost využití temporální logiky pro bezpečnostní analýzu logovacích souborů, navrhnout systém pro testování formulí popisujících útoky nad logacími daty a ověřit jeho funkčnost na běžných zdrojích logovacích záznamů.

    Téma je součástí projektu bezpečnostního výzkumu MV Tarzan.

    Školitel: Matoušek Petr, doc. Ing., Ph.D., M.A.

  87. Využití soft-computingu v oblasti kryptoanalýzy


    Rapidní rozvoj technologií způsobil, že techniky tzv. soft computing je možné dnes aplikovat v oblastech, kde jejich použití bylo nemyslitelné. Jednou z takových oblastí je např. kryptografie a konkrétně kryptoanalýza. Kryptografické algoritmy typicky procházejí rozsáhlým a časově náročným procesem testování, během kterého musí experti posoudit jejich bezpečnost. Ukazuje se však, že tuto činnost je možné, pokud ne zcela, tak alespoň částečně automatizovat a to zejména v počátečních fázích analýzy.


    Cílem disertační práce bude zkoumat možnosti automatického návrhu tzv. rozlišovačů, které hledají nechtěné statistické defekty (závislosti mezi bity a skupinami bitů) ve výstupní sekvenci produkované daným kryptografickým algoritmem. Doposud byly rozlišovače konstruovány pomocí tzv. brute-force přístupu. Tento přístup však není škálovatelný a vyžaduje problém výrazně zjednodušit. Prvotní experimenty s evoluční strategií ukázaly, že je možné v kratším čase dosáhnout výrazně kvalitnějších výsledků. Snahou bude proces zefektivnit zavedením pokročilejších algoritmů jako je např. genetické programování, neuronové sítě apod.


    Výzkum spadá do témat řešených výzkumnou skupinou Evolvable Hardware.

    Školitel: Vašíček Zdeněk, doc. Ing., Ph.D.

  88. Výzkum komunikační infrastruktury pro inteligentní budovy nebo vozidla

    Řešení tohoto projektu je založeno na rostoucím významu inteligentních budov a potřebnosti komunikační infrastruktury pro jednotlivé komponenty inteligentních autonomních systémů v budovách. Při výzkumu tématu bude především kladena pozornost na bezdrátové sítě pro komunikaci. Odolnost a bezpečnost těchto sítí jak proti náhodných výpadkům, tak proti úmyslným útokům je nepřehlédnutelným požadavkem při využívání inteligentních budov. Řešení by se mělo soustředit jak na studium a návrh odolných sítí, tak i kvantifikaci odolnosti a analýzu možných následků různých nehod, nebo útoků.
    Alternativně se téma může zabývat bezpečnosti komunikační infrastruktury pro inteligentní vozidla.
     

     

    Školitel: Hanáček Petr, doc. Dr. Ing.

  89. Zajištění autenticity číslicových obvodů pomocí polymorfní elektroniky jako ochrana proti hardwarovým trojským koním

    Zvyšující se náklady na výrobu čipů a tlak na technologický vývoj spočívající zejména v neustálém zmenšování prvků vedou ve stále větší míře a u většího počtu producentů k přesunu výroby do levnějších lokalit, zpravidla k externím subjektům. Jen málokterý výrobce si může dovolit mít vlastní výrobu polovodičů. Odvrácenou stranou úspor prostřednictvím outsourcingu jsou zvýšená rizika modifikací návrhu s cílem zajistit přístup (k datům, k řízení), vypnutí či možnosti ovlivnění funkce cizích vyrobených čipů nasazených do aplikací, aniž by to zákazník poznal. Již jsou známy případy úspěšného využití takových technik. V této souvislosti se mluví o tzv. hardwarových trojských koních. Vyvíjí se proto techniky detekce takových modifikací, případně obrany proti nim. Jednou z možností detekce hardwarových trojských koní je například tzv. IP watermarking.

    Tzv. polymorfní či multifunkční elektronika je výzkumnou oblastí, zkoumající možnosti realizace více funkcí jedním číslicovým obvodem, aniž by docházelo ke strukturální změně tohoto obvodu (rekonfiguraci). Ukazuje se, že tato koncepce může být užitečná zejména tam, kde další funkce obvodu bude využívána jen příležitostně a cena za její implementaci by proto měla být minimální. Takovými aplikacemi může být například vestavěná diagnostika, zvýšená odolnost proti poruchám nebo právě watermarking.

    Cílem práce bude

    • experimentovat s polymorfními obvody, zejména s prvky vystavěnými na klasických strukturách, které mohou být integrovány na křemíkové čipy,
    • nalézt vhodná řešení a aplikace, kde by využití vícefunkčních prvků vedlo ke zvýšení odolnosti číslicových obvodů vůči záměrným modifikacím třetí stranou,
    • nalézt techniky umožňující detekci takových modifikací obvodu s využitím polymorfních číslicových prvků.

    Školitel: Růžička Richard, doc. Ing., Ph.D., MBA

  90. Zpracování videa, obrazu a/nebo signálu

    Téma je zaměřeno na algoritmy zpracování obrazu, videa a/nebo signálu. Hlavním cílem je zkoumat a do hloubky analyzovat příslušné algoritmy a hledat nové tak, aby měly nové potřebné vlastnosti, a  bylo možné je efektivně implementovat. Taková efektivní implementace může , ale nemusí být součástí práce, ale důležité je algoritmy připravit tak, aby šly efektivně zpracovávat například v CPU, v CPU s akcelerací SSE instrukcemi, v embedded systémech, v embedded systémech s FPGA, v Intel Xeon PHI, v systémech s extrémně nízkým příkonem, případně v jiném prostředí. Předpokládá se práce v jazyce C, C++, C#, assembleru, CUDA, OpenCl, případně VHDL či dalších jazycích. Důležité jsou též aplikační možnosti algoritmů s tím, že samotná aplikace může, ale nemusí být součástí řešení. Možné algoritmy/aplikace zahrnují:

    • rozpoznávání obsahu scény, případně dějů ve videosekvencích (například detekce dopravních situací, identifikace filmových scén, rozpoznání druhu akce, apod.),
    • klasifikace obrazu nebo videosekvencí s využitím strojového učení (AI) prostřednictvím hlubokých konvolučních neuronových sítí nebo podobných přístupů (například pro kontrolu kvality výrobků, vyhledání objektů nebo charakteristik scén, apod.),
    • sledování objektů (tracking) ve videu moderními metodami (například TLD, particle tracking apod.),
    • současná analýza videa a signálu (například pro zjištění souběhu výskytu nějakého objektu ve videu a současně charakteristického průběhu signálu například v "surveillance" aplikacích),
    • moderní algoritmy zpracování videa, obrazu a/nebo signálu  s využitím "klient/server", případně "cloudu" vhodné například pro mobilní techniku a/nebo embedded systémy,
    • algoritmy komprese videa a analýzy prostřednictvím frekvenční či vlnkové a transformace, nebo obdobnými postupy...

    Po dohodě je možné zpracovávat i individuálně vybrané téma, které ve výše uvedeném seznamu není, ale patří do dané tématiky.

    Je možnost spolupráce i na grantových projektech, zejména na nově podávaných projektech bezpečnostního výzkumu, H2020, SCSEL (potenciálně možnost stipendia či pracovního poměru).

    Školitel: Zemčík Pavel, prof. Dr. Ing., dr. h. c.


Struktura předmětů s uvedením ECTS kreditů (studijní plán)

2. ročník, zimní semestr
ZkratkaNázevJ.Kr.Pov.Uk.Hod. rozsahSk.Ot.
JADZkouška z jazyka anglického pro Ph.D.cs, en0PovinnýdrzkKK - 26ano
2. ročník, letní semestr
ZkratkaNázevJ.Kr.Pov.Uk.Hod. rozsahSk.Ot.
JADZkouška z jazyka anglického pro Ph.D.cs, en0PovinnýdrzkKK - 26ano
Libovolný ročník, zimní semestr
ZkratkaNázevJ.Kr.Pov.Uk.Hod. rozsahSk.Ot.
JA6DAngličtina pro doktorandycs, en0VolitelnýdrzkP - 13 / KK - 26 / COZ - 13ano
PDDAplikace paralelních počítačůcs, en0VolitelnýdrzkP - 39 / KK - 26ano
IV108Bioinformatikacs, en0VolitelnýdrzkP - 13 / KK - 26 / COZ - 13ano
FADFormální analýza programůcs, en0VolitelnýdrzkP - 26 / KK - 26ano
MSDModelování a simulacecs, en0VolitelnýdrzkP - 39 / KK - 26 / Cp - 9ano
MMDModerní metody zobrazování 3D scénycs, en0VolitelnýdrzkP - 39 / KK - 26ano
MZDModerní metody zpracování řečics, en0VolitelnýdrzkP - 39 / KK - 26ano
TIDModerní teoretická informatikacs, en0VolitelnýdrzkP - 39 / KK - 26 / PR - 13ano
OPDOptikacs, en0VolitelnýdrzkP - 39 / KK - 26 / PR - 13ano
ORIDOptimální řízení a identifikacecs, en0VolitelnýdrzkP - 26 / KK - 26 / PR - 13ano
PGDPočítačová grafikacs, en0VolitelnýdrzkP - 39 / KK - 26ano
PBDPokročilé biometrické systémycs, en0VolitelnýdrzkP - 26 / KK - 26 / PR - 4ano
PNDPokročilé techniky návrhu číslicových systémůcs, en0VolitelnýdrzkP - 39 / KK - 26ano
PTDPrincipy syntézy testovatelných obvodůcs, en0VolitelnýdrzkP - 39 / KK - 26ano
DMA1Statistika. stochastické procesy, operační výzkumcs0VolitelnýdrzkS - 39ano
TKDTeorie kategorií v informaticecs, en0VolitelnýdrzkP - 26 / KK - 26ano
TJDTeorie programovacích jazykůcs, en0VolitelnýdrzkP - 39 / KK - 26ano
APDVybraná témata z analýzy a překladu jazykůcs, en0VolitelnýdrzkP - 39 / KK - 26 / PR - 13ano
ZZDVybrané problémy získávání znalostí z databázícs, en0VolitelnýdrzkP - 39 / KK - 26 / PR - 13ano
DBM1Vyšší metody zpracování a analýzy obrazůcs, en0VolitelnýdrzkP - 39 / KK - 26ano
ZPDZpracování přirozeného jazykacs, en0VolitelnýdrzkP - 39 / KK - 26ano
ASDZpracování řeči a audia člověkem a počítačemcs, en0VolitelnýdrzkP - 39 / KK - 26ano
Libovolný ročník, letní semestr
ZkratkaNázevJ.Kr.Pov.Uk.Hod. rozsahSk.Ot.
JA6DAngličtina pro doktorandycs, en0VolitelnýdrzkP - 13 / KK - 26 / COZ - 13ne
BIDBezpečnost informačních systémů a kryptografiecs, en0VolitelnýdrzkP - 39 / KK - 26 / PR - 4ano
EUDEvoluční a nekonvenční hardwarecs, en0VolitelnýdrzkP - 26 / KK - 26ano
EVDEvoluční výpočetní technikycs, en0VolitelnýdrzkP - 39 / KK - 26ano
ISDInteligentní systémycs, en0VolitelnýdrzkP - 26 / KK - 26 / PR - 26ano
KRDKlasifikace a rozpoznávánícs, en0VolitelnýdrzkP - 39 / KK - 26ano
MLDMatematická logikacs, en0VolitelnýdrzkP - 26 / KK - 26ano
MIDModerní matematické metody v informaticecs, en0VolitelnýdrzkP - 26 / KK - 26ano
QB4Neuronové sítě, adaptivní a optimální filtracecs0VolitelnýdrzkP - 39 / KK - 26ano
SODSystémy odolné proti poruchámcs, en0VolitelnýdrzkP - 39 / KK - 26ano
TADTeorie a aplikace Petriho sítícs, en0VolitelnýdrzkP - 39 / KK - 26 / Cp - 8ano
PFTDTeorie finančních trhůcs, en0VolitelnýdrzkP - 26 / KK - 26 / COZ - 20ano
VKDVybrané kapitoly z algoritmůcs, en0VolitelnýdrzkP - 39 / KK - 26ano
VPDVybrané problémy informačních systémůcs, en0VolitelnýdrzkP - 39 / KK - 26ano
SIDVybrané problémy softwarového inženýrství a databázových systémůcs, en0VolitelnýdrzkP - 39 / KK - 26 / PR - 13ano
VNDVysoce náročné výpočtycs, en0VolitelnýdrzkP - 39 / KK - 26 / Cp - 26ano