Informační systém FEI VŠB-TU Ostrava KatIS 29.8.2016 10:51:44 … · 2016-08-29 · Prezentace...

Informační systém FEI VŠB-TU Ostrava KatIS 29.8.2016 10:51:44

Zadání semestrálního projektuNázev: Temporální centrality v dynamických sítích

Rok zadání: 2016/2017Vedoucí: Mgr. Pavla Dráždilová, Ph.D.Student: nepřiřazen

Zaměření: Analýza datForma: kombinovaná

Text zadání:

Jedním ze způsobů, kterými můžeme popsat a zachytit změny v dynamické sociální (či komplexní) síti,je zjištění hodnoty časově závislé (tzv. temporální) centrality vrcholu sítě. Tyto centrality popisujírůzné vlastnosti jednotlivých vrcholů sítě a jsou časově proměnné, pokud se v čase daná síť mění.Výstupem projektu je:

Funkční zdrojový kód1.Textová část (10-20 stran)2.Prezentace na cca 10 minut3.Data pro experimenty4.

Požadavky na zdrojový kód:

Konfigurace programu a řízení experimentů dle konfiguračního souboru a konfigurační knihovny1.Zdrojový kód okomentovaný v anglickém jazyce (Doxygen syntaxe)2.

Obsah textové části

Seznámení s problematikou temporálních centralit v dynamické síti1.State of the art2.Podrobný popis vybraných algoritmů3.Experimenty, měření, vyhodnocení (možno použít tabulky a grafy)4.Závěr - zhodnocení výsledků5.

Literatura:

Costa, Eduardo C., et al. "Time centrality in dynamic complex networks." Advances in ComplexSystems, 2015.Holme, Petter, and Jari Saramäki. "Temporal networks." Physics reports, 2012.Tang, John, et al. "Temporal distance metrics for social network analysis." Proceedings of the2nd ACM workshop on Online social networks. ACM, 2009.

Předměty související s projektem (kredity):

460-4071/01 - Metody analýzy dat I (4)460-4117/01 - Paralelní algoritmy I (4)

Kreditů za ZS: 8


460-4072/01 - Metody analýzy dat II (4)470-4201/01 - Aplikovaná algebra (4)

Kreditů za LS: 8

Podporováno granty:

SP2016/68


Zadání semestrálního projektu

Název: Postupy pro budování znalostní báze a nápovědy založené na uživatelskýchzkušenostech

Rok zadání: 2016/2017Vedoucí: Ing. Radoslav FasugaStudent: nepřiřazen

Zaměření: Databázové a informační systémyForma: kombinovaná

Text zadání:

Cílem projektu je popis budování znalostní báze na základě uživatelských zkušeností pro práci sinformačními systémy a webovými portály. Součástí projektu je zpracování teoretické části aimplementace.

Student nastuduje problematiku budování znalostní báze založenou na známých situacích při1.používání informačního portálu, stejně tak jako chyb, nepochopení, reklamace a výstupů zuživatelské podporyStudent navrhne vhodnou datovou strukturu pro ukládání znalostní báze založenou na2.uživatelských zkušenostechStudent navrhne vhodné algoritmy pro vyhledávání relevantních informací, založených na3.okamžité situaci, řešené uživatelem v informačním systému, výjimečné situaci, nebovyhledávání ve znalostní bázi podle full-textu a příznakůStudent implementuje zásuvný modul v jazyce PHP/Nette a databázi MySQL, který bude řešit4.budování a publikování znalostní bázeVýsledkem bude praktická příručka, která bude sloužit jako návod k vhodné volbě a5.implementaci systému s častým opakujícím se dotazováním s akcentem na open-sourcekomponenty a platformyJe možná a dokonce vhodná kooperace s dalšími studenty řešícími další magisterské projekty6.

Literatura:

Podle pokynů vedoucího semestrálního projektu.


460-4068/01 - Databázové a informační systémy II (4)460-4071/01 - Metody analýzy dat I (4)460-4075/01 - Softwarový návrh a konstrukce (4)

Kreditů za ZS: 12

460-4072/01 - Metody analýzy dat II (4)460-4076/01 - Inženýrství požadavků (4)460-4077/01 - Testování a softwarová kvalita (4)460-4097/01 - Fyzická implementace databázových systémů (4)


Kreditů za LS: 16

Poznámky:

Zájemce o projekt MUSÍ splňovat následující podmínky:

Musí zvládat požadované technologie, a to jak pro tvorbu webových tak konzolových aplikací1.dle specifikace zadáníMusí mít zájem na tématu projektu samostatně pracovat2.Musí být schopen týmové práce3.

Před přihlášením prosím KONTAKTUJTE Radoslava Fasugu E-mail: [email protected] a domluvtesi konzultaci.


Zadání semestrálního projektuNázev: R+-strom: Varianta datovej štruktúry R-strom

Rok zadání: 2016/2017Vedoucí: Ing. Peter ChovanecStudent: nepřiřazen


Text zadání:

Datova štruktúra R-strom vznikla pred 30-timi rokmi a od tej doby boli publikované desiatky rôznychvariant a vylepšení tejto štruktúry. Medzi tie najznámejsie určite patrí štruktúra R+-strom, ktoráupravuje algoritmy pôvodného R-stromu za účelom zvýšenia jeho výkonu. Cieľom tejto práce jepreskúmať spomínanú variantu, naimplementovať ju a porovnať jej výkon a vlastnosti s R-stromom.

Naštudujte variantu R-stromu nazvanú R+-strom.1.Naimplementujte spomenutú štruktúru.2.Výslednú implementáciu otestujte a porovnajte jej výkon a vlastnosti s R-stromom.3.

Literatura:

A. Guttman. R-Trees: A Dynamic Index Structure for Spatial Searching. In Proceedings of the1.ACM International Conference on Management of Data (SIGMOD 1984), pages 47–57. ACMPress, June 1984.T. K. Sellis, N. Roussopoulos, and C. Faloutsos. The R+-Tree: A Dynamic Index for Multi-2.Dimensional Objects. In Proceedings of the International Conference on Very Large Data Bases(VLDB 1987), pages 507–518. Morgan Kaufmann, 1987.


460-4068/01 - Databázové a informační systémy II (4)460-4075/01 - Softwarový návrh a konstrukce (4)

Kreditů za ZS: 8

460-4097/01 - Fyzická implementace databázových systémů (4)

Kreditů za LS: 4

Poznámky:

Pred prihlásením prosím kontaktujte vedúceho projektu ([email protected]).


Zadání semestrálního projektuNázev: Implementace algebry pro XSLT

Rok zadání: 2016/2017Vedoucí: Ing. Petr LukášStudent: nepřiřazen


Text zadání:

Existuje několik standardních jazyků pro práci s XML databázemi. Jazyk XSLT primárně slouží protransformaci obsahu XML do určeného formátu. Cílem práce je naimplementovat algoritmus prosestavení algebraického dotazovacího plánu pro vstupní XSLT dotaz.

Nastudujte problematiku dotazování pomocí XSLT.1.Nastudujte operátory vybrané algebry pro zpracování XML dat.2.Naimplementujte algoritmus pro převod XSLT dotazu na algebraický plán.3.

Literatura:



460-4068/01 - Databázové a informační systémy II (4)460-4075/01 - Softwarový návrh a konstrukce (4)

Kreditů za ZS: 8

460-4097/01 - Fyzická implementace databázových systémů (4)

Kreditů za LS: 4


Zadání semestrálního projektuNázev: Editor tracelogů v nástroji Kaira

Rok zadání: 2016/2017Vedoucí: Ing. Marek Běhálek, Ph.D.Student: nepřiřazen

Zaměření: Teoretická informatikaForma: kombinovaná

Text zadání:

Kaira je nástroj určený pro vytváření distribuovaných aplikací. Kaira z modelů vycházejících zbarevných Petriho sítí generuje C++ MPI aplikace. Kaira umožňuje také další doplňkové aktivity jakoje ladění či testování výkonnosti. V prostředí distribuovaných aplikací je jednou z možností tracováníaplikace. V tomto případě je běh aplikace uložen ve formě tracelogů. Ty typicky ukládají informace oprovedených operacích na jednotlivých procesech. Události jsou navíc opatřeny časovými razítky.Hlavním cílem práce bude vytvořit editor těchto data. Tracelogy bývají často velmi rozsáhle, nadruhou stranu mají pevnou strukturu danou strukturou aplikace, která je vygenerovala. Editor by takměl umožnit uživateli v nějaké rozumné formě specifikovat změnu, kterou chce provést. Cíle práce lzeshrnout v těchto bodech.

Seznamte se s nástrojem Kaira.1.Navrhněte, jakým způsobem editovat data z tracelogů.2.Navržené řešení implementujte.3.

Literatura:

Podle pokynů vedoucího semestrálního projektu. Nástroj Kaira je k dispozici na:http://verif.cs.vsb.cz/kaira/


460-4006/01 - Petriho sítě I (4)460-4090/01 - Paradigmata programování (4)

Kreditů za ZS: 8

460-4016/01 - Modelování a verifikace (4)460-4019/02 - Petriho sítě II (4)

Kreditů za LS: 8

Poznámky:

Úspěšné řešení projektu mlže být ohodnoceno vyplacením mimořádného stipendia.

http://verif.cs.vsb.cz/kaira/


Zadání semestrálního projektuNázev: Analýza tracelogů v nástroji Kaira



Text zadání:

Kaira je prostředí pro vývoj distribuovaných aplikací. Umožňuje z vizuálního modelu vygenerovatdistribuovanou aplikaci postavenou na C++ a MPI a tuto aplikaci, kromě jiného, profilovat. Výsledkemprofilování jsou soubory, označované jako tracelogy, kde je zaznamenán běh aplikace jako souborudálostí. Každá událost obsahuje informaci o procesu, kde byla pozorována a časové razítko. Takováto data mohou být značně rozsáhlá. Kaira aktuálně umožňuje data zobrazit a získat jakousi základnístatistiku. Cílem práce bude realizovat vybrané analýzy těchto dat, které navrhnou zajímavá místa vnaměřených datech. Například data s výraznou odchylkou hodnoty, místa kde docházelo ke zpožděnípři výpočtu, nebo kde podobný výpočet probíhal výrazně jinou dobu. Cíle práce lze shrnout v těchtobodech:

Seznamte se s aktuálním stavem implementace v nástroji Kaira.1.Navrhněte různé automatické analýzy tracelogů, které by uživateli poskytly užitečnou statistiku2.pro naměřená data a umožnily mu se zaměřit na nějakým způsobem zajímavá místa při běhuaplikace.Navržená rozšíření implementujte a otestujte.3.

Literatura:




Kreditů za ZS: 8

460-4091/01 - Kombinatorická optimalizace (4)460-4019/02 - Petriho sítě II (4)

Kreditů za LS: 8



Zadání semestrálního projektuNázev: Nasazení aplikací vygenerovaných z nástroje Kaira



Text zadání:

Kaira je prostředí pro vývoj distribuovaných aplikací. Umožňuje z vizuálního modelu vygenerovatdistribuovanou aplikaci postavenou na C++ a MPI. Předpokládá se, že taková to vygenerovanáaplikace bude spouštěna na nějakém superpočítači. Vlastní nasazení však nemusí být jednoduché.Cílem práce bu realizovat rozšíření nástroje Kaira (nebo samostatnou aplikaci), které by usnadnilotento krok. Rozšíření by v podstatě z projektu v nástroji Kaira zjistilo, které zdrojové kódy a knihovnyjsou pro běh aplikace podstatné a připravilo samostatný soubor zdrojových kódů, který by jeobsahoval. Tento balíček zdrojových kódů by pak byl nahrán na cílový počítač a bylo by jej možné(bez dalších závislostí) kompilovat a spouštět. Cíle práce lze shrnout v těchto bodech:

Seznamte se s aktuálním stavem implementace v nástroji Kaira.1.Navrhněte nějaké řešení, které usnadní přenesení, kompilaci a spuštění aplikací generovaných2.nástrojem Kaira na cílový distribuovaný systém.Navržená rozšíření implementujte a otestujte.3.

Literatura:




Kreditů za ZS: 8

460-4091/01 - Kombinatorická optimalizace (4)460-4019/02 - Petriho sítě II (4)

Kreditů za LS: 8



Zadání semestrálního projektuNázev: Predikátová logika prvního řádu

Rok zadání: 2016/2017Vedoucí: doc. RNDr. Marie Duží, CSc.Student: nepřiřazen


Text zadání:

Cílem projektu je vypracovat soubor vzorových důkazů v sekventovém kalkulu.

Logické kalkuly pro predikátovou logiku1.Návrh nástroje pro podporu dokazování v sekventovém kalkulu2.

Literatura:

Duží M. (2012): Logika pro informatiky a příbuzné obory. VŠB-Technická universita Ostrava.1.ISBN 978-80-248-2662-2Švejdar, V. (202): Logika: neúplnost, složitost a nutnost. Academia Praha.2.


460-4088/01 - Matematická logika (4)460-4090/01 - Paradigmata programování (4)

Kreditů za ZS: 8

460-4092/01 - Zpracování přirozeného jazyka (4)460-4093/01 - Logické programování (4)

Kreditů za LS: 8

Poznámky:

Doporučuji rovněž předměty "Systémový návrh a konstrukce" a "Vybrané partie z logiky"


Zadání semestrálního projektuNázev: Segmentace hlavy v hloubkových obrazech

Rok zadání: 2016/2017Vedoucí: Ing. Radovan FusekStudent: nepřiřazen

Zaměření: Počítačová grafika a zpracování obrazuForma: kombinovaná

Text zadání:

V posledních letech se rozvíjí používání 3D senzorů, které vedle obrazové informace poskytují takéinformaci o vzdálenosti objektů od snímače v podobě tzv. hloubkové mapy.

Cílem projektu je vytvořit software pro nalezení obrysu hlavy v hloubkovém obraze. Segmentace buderealizována pomocí známých segmentačních algoritmů, tyto algoritmy mohou být optimalizovány prokonkrétní použití na segmentaci hlavy. Aplikace bude implementována v jazyce C++ s využitímknihovny OpenCV. Výstupem projektu bude kromě programu také textová zpráva v rozsahu cca 10stran s popisem řešení a zhodnocením výsledků.

V tématu projektu lze pokračovat formou diplomové práce. Téma spadá do oblasti, v níž katedra askupina (http://mrl.cs.vsb.cz) spolupracuje s podniky. V případě úspěšného řešení projektu a přínosuposluchače k takové spolupráci může být proto posluchači přiznáno stipendium dle výše zapojení avýznamnosti přínosu. V případě nejasností či jakýchkoli pochybností kontaktujte, prosím, vedoucíhoprojektu.

Literatura:

Podle pokynů vedoucího projektu.


460-4078/01 - Počítačová grafika I (4)460-4079/01 - Digitální zpracování obrazu (4)

Kreditů za ZS: 8

460-4080/01 - Analýza obrazu I (4)

Kreditů za LS: 4

Poznámky:

Kromě výše uvedených předmětů Digitální zpracování obrazu a Analýza obrazu I, které jsou proprojekt předepsány, si posluchač zbývající předměty volí dle obecných pravidel pro zaměřeníPočítačová grafika a zpracování obrazu a dle svých preferencí. Předměty doporučuji zvolit běhemosobní konzultace.



SGS SP2016/58


Zadání semestrálního projektuNázev: Mapování prostoru pomocí LIDARového skeneru

Rok zadání: 2016/2017Vedoucí: Ing. Radovan FusekStudent: nepřiřazen


Text zadání:

Mapování neznámého prostoru tvoří nedílnou část pro autonomní řízení vozidel. K tomuto mapováníse často využívají LIDARové skenery, které díky své vysoké přesnosti dokáží poskytovat kvalitní obrazsvého okolí.

V rámci projektu bude mít student za úkol nastudovat problém SLAM (Simultaneous localization andmapping) a algoritmy pro jeho řešení, implementovat tyto algoritmy a následně otestovat jejichfunkčnost na reálném LIDARovém skeneru. Očekávaným výsledkem projektu je pěkný popis těchtoalgoritmů, jejich implementace (v C++), vyhodnocení a prezentace výsledků.

V tématu projektu lze pokračovat formou diplomové práce a rozšířit aplikaci o další kroky proautonomní řízení vozidel.

Literatura:

[1] MONTEMERLO, Michael, Sebastian THRUN, Daphne KOLLER a Ben WEGBREIT. FastSLAM: AFactored Solution to the Simultaneous Localization and Mapping Problem. AAAI, 2002.[2] MONTEMERLO, Michael, Sebastian THRUN, Daphne KOLLER a Ben WEGBREIT. FastSLAM 2.0: AnImproved Particle Filtering Algorithm for Simultaneous Localization and Mapping that ProvablyConverges. IJCAI, 2003.[3] ELIAZAR, Austin a Ronald Parr. DP-SLAM: Fast, Robust Simultaneous Localization and MappingWithout Predetermined Landmarks. IJCAI, 2003.[4] THRUN, Sebastian a Micheal MONTEMERLO. The Graph SLAM Algorithm with Applications to Large-Scale Mapping of Urban Structures. IJRR, 2005.



Kreditů za ZS: 8


Kreditů za LS: 4


Poznámky:



SGS SP2016/58


Zadání semestrálního projektuNázev: Intelligent water drop: Efektivní paralelní implementace vybraného algoritmu na GPU

Rok zadání: 2016/2017Vedoucí: Ing. Petr Gajdoš, Ph.D.Student: nepřiřazen

Zaměření: Analýza datForma: kombinovaná

Text zadání:

Cílem projektu je efektivní implementace vybraného algoritmu na GPU v C++ s využitím CUDA neboOpenCL. Implementace bude kompatibilní s překladačem jak pro Windows (viz poslední verze VisualStudia), tak s překladačem pro Linux (GCC 5.0) a bude ověřena na testovacíh problémechkombinatorické optimalizace. Očekávaným výstupem projektu je:

Funkční zdrojový kód v C++1.Textová část (10-20 stran)2.Prezentace na cca 10 minut3.Data pro experimenty4.


Využití dodané knihovny základních algoritmů a funkcí1.Konfigurace programu a řízení experimentů dle konfiguračního souboru a konfigurační knihovny2.Zdrojový kód okomentovaný v anglickém jazyce (Doxygen syntaxe)3.


Seznámení s problematikou1.State of the art2.Podrobný popis zvoleného/zvolených algoritmů3.Experimenty, měření, vyhodnocení (možno použít tabulky a grafy)4.Závěr - zhodnocení výsledků5.

Literatura:

Dle pokynů vedoucího semestrálního projektu.1.



Kreditů za ZS: 8

460-4072/01 - Metody analýzy dat II (4)460-4118/01 - Paralelní algoritmy II (4)


470-4201/01 - Aplikovaná algebra (4)

Kreditů za LS: 12

Poznámky:

Výše stipendia je závislá na dosažených výsledcích. Uvedená částka je za semestr.

Stipendium:

5000 Kč


SP2016/97


Zadání semestrálního projektuNázev: Paritní hry: algoritmy, experimenty

Rok zadání: 2016/2017Vedoucí: Prof. RNDr. Petr Jančar, CSc.Student: nepřiřazen


Text zadání:

Paritní hry jsou jednoduše formulované hry na ohodnocených grafech, které úzce souvisejí s problémyautomatizovaného ověřování korektnosti programů. K řešení paritních her byly navrženy různéalgoritmy, není ale stále jasné, zda problém je polynomiální. Cíl projektu lze shrnout v následujícíchbodech:

Seznamte se s problémem paritních her a otevřenou otázkou existence polynomiálních1.algoritmů k jejich řešení (z literatury konzultované s vedoucím práce).Seznamte se s volně dostupnými softwarovými nástroji implementujícími řešení těchto her,2.speciálně s nástrojem PGSolver (https://github.com/tcsprojects/pgsolver).Implementujte variantu algoritmu řešícího paritní hry, diskutovanou s vedoucím projektu.3.Proveďte experimenty s implementovanou metodou na dostatečně velkých datech tak, ať4.můžete výsledky porovnat s výsledky algoritmů implementovaných v PGSolver.

Literatura:



460-4088/01 - Matematická logika (4)460-4089/01 - Automatizované řešení úloh s omezeními (4)

Kreditů za ZS: 8

460-4016/01 - Modelování a verifikace (4)460-4091/01 - Kombinatorická optimalizace (4)

Kreditů za LS: 8

Poznámky:

Vedle nabídky souvisejících předmětů katedry informatiky doporučuji zvážit i předmět 470-4302/01Teorie grafů (v letním semestru). V případě problémů s volbou uvedených předmětů je možnéindividuální dořešení.


Zadání semestrálního projektuNázev: Vybrané algoritmy pro problémy rozvrhování

Rok zadání: 2016/2017Vedoucí: Prof. RNDr. Petr Jančar, CSc.Student: nepřiřazen


Text zadání:

Problémy rozvrhování se přirozeně objevují v dopravě, logistice, při plánování lidských zdrojů, výrobyči práce v paralelních počítačích apod. Jedná se většinou o těžké problémy kombinatorickéoptimalizace, pro něž existují různé aproximační a heuristické algoritmy. Cíl projektu lze shrnout vnásledujících bodech:

Po dohodě s vedoucím zvolte praktický problém z oblasti rozvrhování výrobních procesů,1.lidských zdrojů, či jiný rozvrhovací problém.Zjistěte známé možnosti řešení problému, včetně příslušných volně dostupných softwarových2.nástrojů.Implementujte zvolenou metodu (algoritmus).3.Proveďte experimenty s vámi implementovanou metodou na rozumně velkých datech a4.výsledky vyhodnoťte.

Literatura:



460-4089/01 - Automatizované řešení úloh s omezeními (4)460-4090/01 - Paradigmata programování (4)

Kreditů za ZS: 8


Kreditů za LS: 8

Poznámky:

V případě problémů s volbou uvedených předmětů je možné individuální dořešení.


Zadání semestrálního projektuNázev: Modeler neuronových sítí - pozice ve vývojovém týmu 2 z 2

Rok zadání: 2016/2017Vedoucí: Ing. David JežekStudent: nepřiřazen

Zaměření: Softwarové inženýrstvíForma: kombinovaná

Text zadání:

Pozice vývojáře ve vícečlenném vývojovém týmu, pro vývoj aplikace „Modeler neuronových sítí“,jejímž dlouhodobým cílem je vytvořit simulátor neuronových sítí s podporou vizualizace vnitřnístruktury, průběhu učení a výsledků. Tento simulátor je určen především pro podporu výukypředmětu Neuronové sítě.

Jedním ze základních požadavků je průběžný a týmový vývoj.

Současné „projektové“ požadavky:

Analýza stávajícího řešení.1.Návrh změn a přepracování stávajících kódů.2.Implementace několika druhů neuronových sítí a jejich vizualizace.3.Vizualizace vnitřního stavu sítě v průběhu učení či vyvolání informace.4.Podpora hromadného logování parametrů a jejich grafické zobrazení.5.Podpora vytváření dočasných obrazů sítě v průběhu učení pro asynchronní využití při6.zobrazovaní či monitorování.V průběhu vývoje je třeba sledovat výkonnostní a paměťové nároky zvolených řešení.7.

Úkoly pro aktuální milník (květen 2017):

Analýza a přepracování stávajících kódů.1.Implementace hopfieldových sítí a Kohonenových map.2.Monitorování průběhu učení a logování.3.Návrh systému pro vytváření dočasných obrazů.4.

Tým bude pracovat v platformě Java s prostředím Eclipse a využívat předepsaných běžných techniksoftwarového inženýrství jako jsou:

Verzování GIT1.Testování - analýza pokrytí2.Analýza pachů v kódu3.Přidělování a zpracování úkolů Redmine4.Sledování náročnosti řešení úkolů (odpracované hodiny)5.Zajištění tracebility6.Propojení komitů s úkoly a odpracovanými hodinami.7.

Výstupem projektu bude:


Aplikace, která je sestavitelná a spustitelná za předem dohodnutých podmínek.1.Technická zpráva2.Obhajoba projektu3.

Literatura:



460-4075/01 - Softwarový návrh a konstrukce (4)

Kreditů za ZS: 4

460-4076/01 - Inženýrství požadavků (4)460-4077/01 - Testování a softwarová kvalita (4)

Kreditů za LS: 8



Název: Komponenta serveru pro podporu výuky teoretické informatiky - Bezkontextovégramatiky

Rok zadání: 2016/2017Vedoucí: Ing. Martin Kot, Ph.D.Student: nepřiřazen


Text zadání:

Cílem projektu je vytvořit dynamické webové stránky pro výuku bezkontextových gramatik,1.které budou součástí serveru pro výuku teoretické informatiky.Naprogramujte možnost uživatelem řízeného provádění (levé, pravé i obecné) derivace v2.zadané gramatice a zobrazení příslušného derivačního stromu.Gramatiku, pro kterou bude derivace prováděná, bude mít možnost uživatel přehledně zadat.3.Dále bude mít uživatel možnost si vybrat některou z předem připravených gramatik. Těchto4.gramatik bude připraveno alespoň 10 různě velkých (co do počtu pravidel, terminálů inetereminálů) a správci stránek bude umožněno snadné přidání dalších takových gramatik.

Literatura:




Kreditů za ZS: 8


Kreditů za LS: 8



Název: Komponenta serveru pro podporu výuky teoretické informatiky - Bezkontextovégramatiky



Text zadání:

Cílem projektu je vytvořit dynamické webové stránky pro výuku bezkontextových gramatik,1.které budou součástí serveru pro výuku teoretické informatiky.Naprogramujte možnost uživatelem řízeného provádění (levé, pravé i obecné) derivace v2.zadané gramatice a zobrazení příslušného derivačního stromu.Gramatiku, pro kterou bude derivace prováděná, bude mít možnost uživatel přehledně zadat.3.Dále bude mít uživatel možnost si vybrat některou z předem připravených gramatik. Těchto4.gramatik bude připraveno alespoň 10 různě velkých (co do počtu pravidel, terminálů inetereminálů) a správci stránek bude umožněno snadné přidání dalších takových gramatik.

Literatura:




Kreditů za ZS: 8


Kreditů za LS: 8



Název: Komponenta serveru pro podporu výuky teoretické informatiky - Převody meziproblémy



Text zadání:

V rámci diplomové práce vznikla sada dynamických webových stránek pro výuku převodu mezi1.problémy (především NP-úplnými).Cílem tohoto projektu je doplnit další 2-4 převody (přesný počet bude upřesněn po dohodě s2.vedoucím projektu podle náročnosti zvolených převodů).Není zde požadováno co nejefektivnější vypočítání výsledku, ale hlavně co nejpřehlednější3.zobrazení postupu převodu uživateli.Uživatel bude mít možnost zadat instanci vstupního problému každého implementovaného4.převodu a postupně se mu po jednotlivých krocích s jejich vysvětlením zkonstruuje instancevýstupního problému.Pro každý z převodů budou předpřipraveny alespoň 3 instance vstupního problému, aby si5.postup mohl uživatel zobrazit i bez vyplňování vstupní instance.

Literatura:




Kreditů za ZS: 8


Kreditů za LS: 8

Poznámky:

V případě kvalitně odvedené práce je možné vyplacení stipendia z projektu nebo z financí skupinyteoretické informatiky.


Zadání semestrálního projektuNázev: Optimalizace fuzzy regulátoru pomocí algoritmu EDA

Rok zadání: 2016/2017Vedoucí: doc. Ing. Pavel Krömer, Ph. D.Student: nepřiřazen

Zaměření: Analýza datForma:

Text zadání:

EDA (Estimation of distribution algorithm) je rodina stochastických optimalizačních evolučníchalgoritmů. Cílem projektu je implementace optimalizace fuzzy regulátoru pomocí zvoleného algoritmuz rodiny EDA. Otestování bude provedeno na známém testovacím problému Pole Balancing Problem.Pří vypracování projektu se student zaměří na tvorbu a testování optimalizačního algoritmu, prorealizaci fuzzy regulátoru bude pužita knihovna fuzzylite. Očekávaným výstupem projektu je:






Literatura:

Karr, Charles L. Design of a cart-pole balancing fuzzy logic controller using a genetic algorithm.Orlando91, Orlando, FL. International Society for Optics and Photonics, 1991.Pelikan, Martin; Sastry, Kumara; Cantu-Paz, Erick, eds. (2006), Scalable optimization viaprobabilistic modeling: From algorithms to applications, Springer.Dále podle pokynů vedoucího semestrálního projektu.




Kreditů za ZS: 8


Kreditů za LS: 8

Poznámky:


Stipendium:

5000 Kč


SP2016/97


Zadání semestrálního projektuNázev: Řešení problému umístění pomocí algoritmu MVMO

Rok zadání: 2016/2017Vedoucí: doc. Ing. Pavel Krömer, Ph. D.Student: nepřiřazen


Text zadání:

Mean-variance mapping optimization (MVMO) je stochastický optimalizační algoritmus s dobrýmivýsledky v mnoha aplikačních oblastech. Cílem projektu je implementace řešení známéhooptimalizačního problému (Facility Location Problem; FLP) pomocí MVMO a otestování na používanýchinstancích FLP. Očekávaným výstupem projektu je:






Literatura:

I. Erlich, G. K. Venayagamoorthy, and W. Nakawiro, “A mean-variance optimization algorithm,”in Proc. 2010 IEEE World Congress on Computational Intelligence, Barcelona, Spain.Chu, Feng, Zhanguo Zhu, and Saïd Mammar. Recent advances and issues in facility locationproblems. Contemporary Issues in Systems Science and Engineering (2015): 817-834.Dále podle pokynů vedoucího semestrálního projektu.




Kreditů za ZS: 8


Kreditů za LS: 8

Poznámky:


Stipendium:

5000 Kč


SP2016/97


Zadání semestrálního projektuNázev: Automatická identifikace druhu provozu pro SDR přijímače

Rok zadání: 2016/2017Vedoucí: Mgr. Ing. Michal Krumnikl, Ph.D.Student: nepřiřazen

Zaměření: Počítačové systémy a sítěForma: kombinovaná

Text zadání:

Cílem práce je implementovat modul umožňující na základě vstupních I/Q dat zachycených SDRrádiem identifikovat druh radioamatérského provozu (CW/SSB/AM/FM) včetně nejpoužívanějšíchdigitálních modulací. Výstupem může být jak samostatná aplikace, tak i modul použitelný v rámciGNURadio. Výstupem práce budou:

Implementace v jazyce C/C++/C#, zdrojové kódy řádně okomentované a vystavené nagithub.comK implementaci budou připraveny testy a vyhodnoceny jejich výsledky.Technická zpráva v angličtině o minimálním rozsahu 16 normostran.


Seznámení s problematikou softwarově definovaných rádií (SDR) a metodami jejich realizace.1.Návrh a realizace řešení, které na základě vstupních I/Q dat rozpozná typ modulace.2.Podrobný popis navrženého řešení, včetně implementace.3.Popis metodiky testů.4.Testování navržené implementace a vyhodnocení testů.5.Závěr, zhodnocení výsledků.6.

Literatura:

Jeffrey H. Reed, Software Radio - A modern Approach to Radio Engineering. Upper Saddle River:Prentice Hall, 2002. ISBN 0130811580Eugene Grayver, Implementing Software Defined Radio, Springer; 2012. ISBN 1441993312Robert G. Gallager, Principles of Digital Communication, Cambridge University Press, 2008. ISBN0521879078Praveen, S Thakur. Trends in Automatic Modulation Classification for Advanced DataCommunication Networks. In International Journal of Advanced Research in ComputerEngineering & Technology, 2015, vol. 4, p. 496-507. ISSN: 2278 – 1323.


460-4081/01 - Směrované a přepínané sítě (5)460-4082/01 - Počítačové systémy (4)

Kreditů za ZS: 9


460-4083/01 - Strojově orientované jazyky (4)460-4085/01 - Technologie počítačových sítí (5)

Kreditů za LS: 9


Zadání semestrálního projektuNázev: Detekce komunit v rozsáhlých vážených sítích s využitím Max-Min modularity

Rok zadání: 2016/2017Vedoucí: doc. Mgr. Miloš Kudělka, Ph.D.Student: nepřiřazen


Text zadání:

Cílem projektu je implementace algoritmu detekce komunit podle doporučeného článku. Očekávanýmvýstupem projektu je:

Odladěný zdrojový kód v C#1.Uživatelské rozhraní pro provádění experimentů2.Textová část (10-20 stran včetně obrázků a tabulek)3.Prezentace na cca 10 minut4.Experimentální data5.


Srozumitelná objektová struktura1.Konfigurace programu a řízení experimentů dle konfiguračního souboru2.Komentovaný zdrojový kód3.


Seznámení s problematikou1.Průzkum obdobných přístupů2.Podrobný popis zvoleného/zvolených algoritmů3.Experimenty, měření, vyhodnocení (možno použít tabulky a grafy)4.Zhodnocení výsledků5.

Literatura:

Jiyang Chen, Osmar R. Zaïane, Randy Goebel: Detecting Communities in Social Networks Using Max-Min Modularity. SDM 2009: 978-989



Kreditů za ZS: 8



Kreditů za LS: 8

Stipendium:

5000 Kč


SP2016/97


Zadání semestrálního projektuNázev: Evoluce komunit v temporálních sítích



Text zadání:

Cílem projektu je implementace algoritmů pro detekci strukturálních změn v komunitách temporálníchsítí. Očekávaným výstupem projektu je:






Literatura:

Takaffoli, M., Fagnan, J., Sangi, F., Zaïane, O. R. (2011). Tracking changes in dynamic informationnetworks. In Computational Aspects of Social Networks (CASoN), 2011 International Conference on(pp. 94-101). IEEE.



Kreditů za ZS: 8



Kreditů za LS: 8

Stipendium:

5000 Kč


SP2016/97


Zadání semestrálního projektuNázev: Vážení v dynamických sítích s využitím zapomínacích funkcí



Text zadání:

Cílem je modifikace a efektivní implementace metody prezentované v článku. Očekávaným výstupemprojektu je:






Literatura:

Milos Kudelka, Zdenek Horak, Václav Snásel, Pavel Krömer, Jan Platos, Ajith Abraham: Social andswarm aspects of co-authorship network. Logic Journal of the IGPL 20(3): 634-643 (2012)



Kreditů za ZS: 8

460-4072/01 - Metody analýzy dat II (4)460-4118/01 - Paralelní algoritmy II (4)470-4201/01 - Aplikovaná algebra (4)


Kreditů za LS: 12

Stipendium:

5000 Kč


SP2016/97


Zadání semestrálního projektuNázev: Vizualizace vývoje temporální sítě



Text zadání:

Cílem projektu je implementace algoritmů pro vizualizaci temporálních sítí podle doporučenéhočlánku. Očekávaným výstupem projektu je:

Odladěný zdrojový kód v C# a zvolené platformě pro web1.Uživatelské rozhraní pro provádění experimentů2.Textová část (10-20 stran včetně obrázků a tabulek)3.Prezentace na cca 10 minut4.Experimentální data5.





Literatura:

Holme, P., Saramäki, J. (2012). Temporal networks. Physics reports, 519(3), 97-125.



Kreditů za ZS: 8


Kreditů za LS: 8


Stipendium:

5000 Kč


SP2016/97


Zadání semestrálního projektuNázev: Generování sítě s komunitní strukturou



Text zadání:

Cílem projektu je implementace generátoru sítě s komunitní strukturou podle doporučeného článku.Očekávaným výstupem projektu je:






Literatura:

Bianconi, G., Darst, R. K., Iacovacci, J., Fortunato, S. (2014). Triadic closure as a basic generatingmechanism of communities in complex networks.Physical Review E, 90(4), 042806.



Kreditů za ZS: 8



Kreditů za LS: 8

Stipendium:

5000 Kč


SP2016/97


Zadání semestrálního projektuNázev: Analýza egocentrické sítě



Text zadání:

Cílem projektu je implementace vybraných algoritmů pro hodnocení vrcholů egocentrických sítí.Očekávaným výstupem projektu je:






Literatura:

Crossley, N., Bellotti, E., Edwards, G., Everett, M. G., Koskinen, J., Tranmer, M. (2015). Social networkanalysis for ego-nets: Social network analysis for actor-centred networks. SAGE.



Kreditů za ZS: 8



Kreditů za LS: 8

Stipendium:

5000 Kč


SP2016/97



Název: Analýza důlních snímků za účelem registrace – vytvoření kvalitního snímku pronásledné vyhodnocení.

Rok zadání: 2016/2017Vedoucí: doc. Ing. Lačezar Ličev, CSc.Student: nepřiřazen


Text zadání:

Cílem projektu je návrh a realizace programu, který umožní provedení registrace, tj. vytvořeníkvalitního důlního snímku.Nastudujte základní postupy vhodné ke zpracování uvedených typů snímků.1.Seznamte se s prostředním NetBeans a programovacím jazykem JAVA.2.Implementujte požadovanou funkcionalitu pomocí jazyka JAVA.3.Funkčnost demonstrujte na poskytnutých snímcích.4.

Literatura:




Kreditů za ZS: 8

460-4033/02 - Počítačová grafika II (4)460-4080/01 - Analýza obrazu I (4)

Kreditů za LS: 8


Zadání semestrálního projektuNázev: Multi-agentní systémy

Rok zadání: 2016/2017Vedoucí: Mgr. Marek Menšík, Ph.D.Student: nepřiřazen


Text zadání:

V projektu „Multi-agentní systémy“ jde o kooperaci více jedinců za cílem řešení společného problému.Studenti budou spolupracovat a budovat systém založený na symbolické reprezentaci světa avzájemné komunikaci jednotlivých agentů. K tomu se váže problematika učení autonomních agentů atéma kooperativního řešení problémů centralizovaných systémů s postupnou decentralizací systémů.

Náplní tohoto konkrétního projektu je:

Metody učení agentů1.Návrh nástroje pro učení agentů2.

Textová část 5 - 10 stran zabývající se metodami strojového učení agentů1.Referát - cca 10 minut2.

Literatura:

1. Wooldridge, M.:An Introduction to MultiAgent Systems, Wiley, 2009, ISBN:978-04705194622. Schwartz, H. M.: Multi-Agent Machine Learning: A Reinforcement Approach, Wiley, 2014, ISBN:978-11183620823. Kubík, A.:Inteligentní agenty, Computer Press, 2004, ISBN: 8025103234


460-4006/01 - Petriho sítě I (4)460-4088/01 - Matematická logika (4)

Kreditů za ZS: 8

460-4092/01 - Zpracování přirozeného jazyka (4)460-4093/01 - Logické programování (4)

Kreditů za LS: 8


Zadání semestrálního projektuNázev: Bezdrátový vysílač (beacon) pro hrubou lokalizaci

Rok zadání: 2016/2017Vedoucí: Ing. Pavel Moravec, Ph.D.Student: nepřiřazen

Zaměření: Počítačové systémy a sítěForma:

Text zadání:

Cílem tohoto projektu je realizace vysílače v ISM pásmu, který bude umožňovat hrubou lokalizaciztraceného zařízení (např. kvadrokoptéry). Signál vysílače by měl být zachytitelný do vzdálenostidesítek metrů a vysílač by měl být schopen pracovat po několik hodin až dnů.

Výstupem práce budou:

Popis hardware vysílače, použité technologie, navrženého komunikačního protokolu a případnáaplikace pro vyhledávání zařízení.Popis metodiky testování zařízení a vyhodnocení dosažených výsledků.Technická zpráva v rozsahu cca 15-20 stran v anglickém jazyce.


Seznámení s problematikou.1.Popis stávajících řešení v této oblasti.2.Popis realizace hardware a definice komunikačního protokolu.3.Popis metodiky testování zařízení a vyhodnocení dosažených výsledků.4.Závěr, zhodnocení výsledků.5.

Literatura:




Kreditů za ZS: 9


Kreditů za LS: 9


Zadání semestrálního projektuNázev: Testování bezdrátových modulů pro internet věcí (IoT)

Rok zadání: 2016/2017Vedoucí: Ing. Pavel Moravec, Ph.D.Student: nepřiřazen


Text zadání:

Internet věcí (Internet of Things) je označení pro propojení vestavěných zařízení s Internetem.Propojení zařízení je zejména bezdrátové a mělo by přinést nové možnosti vzájemné interakce nejenmezi těmito systémy. Cílem tohoto projektu je prozkoumat možnosti konfigurace těchto modulů(WIZnet, ESP8266, popř. ESP-32) a vyhodnotit jejich skutečné parametry (dosah signálu, skutečnádostupná přenosová rychlost při různých typech datových přenosů, kompatibilita s různými režimy,apod.).

Výstupem práce budou:

Popis vzorových konfigurací a skriptů (včetně dostupných konfiguračních souborů) a navrženýchexperimentů (případná implementace experimentů bude provedena v jazyce C/C++).Testovací data a vyhodnocení jejich výsledků.Technická zpráva v rozsahu cca 15-20 stran v anglickém jazyce.


Seznámení s problematikou.1.Popis stávajících systémů využívaných v oblasti internetu věcí a jejich parametrů.2.Podrobný popis realizovaných testů.3.Výsledky testů a jejich vyhodnocení.4.Závěr, zhodnocení výsledků.5.

Literatura:

E S P 8 2 6 6 8 0 2 . 1 1 b g n S m a r t D e v i c e , D o s t u p n é z :https://nurdspace.nl/images/e/e0/ESP8266_Specifications_English.pdfJia-Chin Lin, Chi-Sheng Lin, Chih-Neng Liang, Bo-Chiuan Chen: Wireless communicationperformance based on IEEE 802.11p R2V field trials.Communications Magazine, IEEE(Volume:50, Issue: 5), 2012.

Dále podle pokynů vedoucího semestrálního projektu.




Kreditů za ZS: 9


Kreditů za LS: 9


Zadání semestrálního projektuNázev: Vizualizace egocentrické sítě aktértů sociální sítě

Rok zadání: 2016/2017Vedoucí: RNDr. Eliška Ochodková, Ph.D.Student: nepřiřazen


Text zadání:

Analýza sociálních sítí, tj. sítí reprezentujících jedince (nejčastěji osoby) a jejich vzájemné vazby, jeatraktivní oblastí nejenom současné vědy. Cílem projektu je vizualizace egocentrické sítě aktérůsociální sítě představující filmovou databázi IMDB. Ego-sítě jsou privátní sítě aktérů zahrnující jinéjedince, se kterými spojuje aktéra nějaký typ vazby. V případě databáze IMDB může aktérem, jehožego-síť nás zajímá, být například režisér spolupracující s herci, producenty, maskéry, kameramanyatd. Očekávaným výstupem projektu je:

Funkční aplikace1.Textová část (10-20 stran)2.Prezentace na cca 10 minut3.



Literatura:




Kreditů za ZS: 8


Kreditů za LS: 8


Zadání semestrálního projektuNázev: Detekce navigačních bodů v okolí robotu pomocí 3D laserového skeneru

Rok zadání: 2016/2017Vedoucí: Ing. Petr Olivka, Ph.D.Student: nepřiřazen


Text zadání:

Výstupem 3D laserového skeneru je mračno bodů. Navrhněte vhodný tvar a velikost navigačníchbodů, které bude možno v mračnu bodů jednoznačně identifikovat. Polohy navigačních bodů budoudále sloužit k řízení pohybu robotu v pracovním prostoru.

Seznamte se se stávající konstrukcí 3D laserového skeneru.1.Seznamte se s knihovnou PCL, zaměřte se zejména na ty části, které mohou detekovat objekty.2.Navrhněte tvar a velikost navigačních značek, proveďte měření a vyhodnoťte spolehlivost3.detekce značek v celém rozsahu měření.Realizujte navigaci robotu mezi detekovanými značkami.4.

Výstupem práce bude:

Implementace řídícího programu v jazyce C/C++, zdrojové kódy řádně okomentovanéK implementaci budou připraveny testy a vyhodnoceny jejich výsledky.Technická zpráva rozsahu minimálně 15 stran.


Návrh a popis řídící programu, návrh rozdělení úloh.1.Realizace navrženého řešení.2.Testování a shrnutí dosažených výsledků.3.

Literatura:

Knihovna mračen bodů: http://pointclouds.org/1.Robotický podvozek iRoomba: http://www.irobot.com2.Popis 3D laserového skeneru a měřených dat: DisP, Petr Olivka, Senzorický subsystém robotu.3.



Kreditů za ZS: 9

460-4083/01 - Strojově orientované jazyky (4)


460-4085/01 - Technologie počítačových sítí (5)

Kreditů za LS: 9

Poznámky:

Projekt nutno konzultovat předem s vedoucím projektu.


Zadání semestrálního projektuNázev: Algoritmy pro rozvrhovací problémy s omezenými zdroji

Rok zadání: 2016/2017Vedoucí: doc. Ing. Zdeněk Sawa, Ph.D.Student: nepřiřazen


Text zadání:

Projekt se týká algoritmů pro řešení problému označovaného jako RCPSP - resource constraint projectscheduling problem. V tomto problému jde o to, že máme zadáno n aktivit, které je třeba provést,přičemž u každé z těchto aktivit je určena doba trvání. Navíc jsou mezi jednotlivými aktivitamispecifikovány závislosti určující, že některé aktivity se mohou začít provádět až poté, co jiné bylydokončeny. Dále je zadáno m zdrojů (např. stroje, na kterých se aktivity provádí, nebo pracovníci,vykonávající danou aktivitu, apod.), přičemž každý zdroj má dánu určitou omezenou kapacitu. Projednotlivé aktivity je pak dáno, kolik z kapacity daného zdroje je pro provedení dané aktivity potřeba.Cílem je najít rozvrh daných aktivit (tj. stanovit doby začátků jednotlivých aktivit) tak, aby bylydodrženy všechny omezující podmínky (tj. byly dodrženy závislosti mezi aktivitami a nebylapřekročena kapacita žádného zdroje), a aby celková doba provedení všech aktivit byla co nejmenší.

Nastudujte algoritmus popsaný v článku U. Dorndorf, E. Pesch, T. Phan-Huy (2000).1.Implementujte tento algoritmus.2.Otestuje vaši implementaci na vhodně zvolených testovacích datech.3.

Literatura:

U. Dorndorf, E. Pesch, T. Phan-Huy - A branch-and-bound algorithm for the resource-constrainedproject scheduling problem, Mathematical Methods of Operations Research, 52(3), pp. 413-439,2000.

Další literatura podle pokynů vedoucího semestrálního projektu.



Kreditů za ZS: 8

460-4016/01 - Modelování a verifikace (4)460-4118/01 - Paralelní algoritmy II (4)

Kreditů za LS: 8


Zadání semestrálního projektuNázev: Ověření korektnosti některých grafových algoritmů pomocí programu COQ



Text zadání:

COQ je softwarový nástroj pro vytváření a ověřování formálních důkazů. Dokazovaná tvrzení ajednotlivé kroky důkazu se zapisují v jazyce systému COQ způsobem, který je v mnoha ohledechpodobný zápisu programů v programovacím jazyce. COQ pak automaticky ověřuje korektnost danýchdůkazů. Jednou z oblastí, kde je možno COQ použít a kde se často používá, je ověřování korektnostialgoritmů a programů.Cílem tohoto projektu je ověřit korektnost některých grafových algoritmů (např. prohledávání do šířky,prohledávání do hloubky, nalezení 2-souvislých komponent, nalezení artikulací a mostů, Tarjanůvalgoritmus pro nalezení silně souvislých komponent apod.) v programu COQ.

Nastuduje, jak pracovat s programem COQ.1.Prozkoumejte různé možnosti reprezentace algoritmů v programu COQ.2.Vytvořte v programu COQ formální důkazy některých grafových algoritmů.3.

Literatura:

The Coq Proof Assistant - www stránky programu COQ: https://coq.inria.fr/B. C. Pierce, C. Casinghino, M. Gaboardi, M. Greenberg, C. Hriţcu, V. Sjöberg, B. Yorgey -Software Foundations, 2014 -- http://www.cis.upenn.edu/~bcpierce/sf/current/index.html




Kreditů za ZS: 8


Kreditů za LS: 8


Zadání semestrálního projektuNázev: Formalizace konstrukcí na konečných automatech v programu COQ



Text zadání:

COQ je softwarový nástroj pro vytváření a ověřování formálních důkazů. Dokazovaná tvrzení ajednotlivé kroky důkazu se zapisují v jazyce systému COQ způsobem, který je v mnoha ohledechpodobný zápisu programů v programovacím jazyce. COQ pak automaticky ověřuje korektnost danýchdůkazů.Cílem tohoto projektu je formalizovat v programu COQ některé základní konstrukce na konečnýchautomatech (např. převod nedeterministického automatu na deterministický, konstrukce automatůpro různé jazykové operace, apod.) a pomocí programu COQ pak ověřit jejich korektnost.

Nastuduje, jak pracovat s programem COQ.1.V programu COQ formalizujte konečné automaty a různé konstrukce, které je možné na těchto2.automatech provádět.V programu COQ vytvořte formální důkazy korektnosti těchto konstrukcí.3.

Literatura:

The Coq Proof Assistant - www stránky programu COQ: https://coq.inria.fr/B. C. Pierce, C. Casinghino, M. Gaboardi, M. Greenberg, C. Hriţcu, V. Sjöberg, B. Yorgey -Software Foundations,2014 -- http://www.cis.upenn.edu/~bcpierce/sf/current/index.htmlD. Kozen - Automata and Computability, Springer-Verlag, 1997.



460-4088/01 - Matematická logika (4)460-4090/01 - Paradigmata programování (4)

Kreditů za ZS: 8


Kreditů za LS: 8


Poznámky:

V případě kvalitního vypracování projektu je možno vyplatit stipendium.


Zadání semestrálního projektuNázev: Tvorba 3D modelu řidiče z hloubkových map

Rok zadání: 2016/2017Vedoucí: doc. Dr. Ing. Eduard SojkaStudent: nepřiřazen

Zaměření: Počítačová grafika a zpracování obrazuForma:

Text zadání:

Úloha o tvorbě 3D modelu řidiče je velmi aktuální z pohledu bezpečnosti v automobilech. Myšlenka jetato: Řidič je neustále sledován 3D kamerou (lze předpokládat různé principy, zatím pro experimentypoužíváme MS Kinect). 3D hloubková mapa je zpravidla doplněna obvyklými optickými obrazy.Úkolem je identifikovat jednotlivé části řidičova těla (hlava, ruce, ramena, lokty atd.) a zjistit jejichpolohu. Takto získaný model může být využit k analýze, co řidič dělá (toto však není předmětemprojektu).

V projektu půjde nejprve o seznámení se s problematikou a zvládnutí základů uvedené oblasti.Posluchač se seznámí s technikami analýzy hloubkových map (případně v kombinaci s běžnýmioptickými obrazy). K tomu bude posluchači doporučena literatura. Dále bude následovatimplementace detektoru vybraných částí řidičova těla. Implementace bude přiměřeně experimentálněověřena; budou vyhodnoceny dosažené výsledky. Očekávaným výsledkem projektu je pěkný popisrealizovaného detektoru spolu s rešerší aktivit v oblasti, dále implementace detektoru (C++, lzepoužít dostupných knihoven, např. OpenCV), vyhodnocení experimentů a konečně prezentacevýsledků.

V tématu projektu lze pokračovat formou diplomové práce (šlo by o rozšíření a zdokonalení toho, cobylo provedeno v rámci projektu). Téma spadá do oblasti, v níž katedra a skupina(http://mrl.cs.vsb.cz) spolupracuje s podniky Volkswagen AG). V případě úspěšného řešení projektu apřínosu posluchače k takové spolupráci může být proto posluchači přiznáno stipendium dle výšezapojení a významnosti přínosu. V případě nejasností či jakýchkoli pochybností kontaktujte, prosím,vedoucího projektu.

Literatura:



460-4079/01 - Digitální zpracování obrazu (4)

Kreditů za ZS: 4


Kreditů za LS: 4


Poznámky:

Kromě výše uvedených předmětů Digitální zpracování obrazu a Analýza obrazu I, které jsou proprojekt předepsány, si posluchač zbývající předměty volí dle obecných pravidel pro zaměřeníPočítačová grafika a zpracování obrazu a dle svých preferencí. Předměty doporučuji zvolit běhemosobní konzultace (aby se předešlo případným chybám v OSP).


SGS SP2016/58, HČ s VW AG


Zadání semestrálního projektuNázev: Systém pro detekci cizích osob z videosekvencí

Rok zadání: 2016/2017Vedoucí: doc. Dr. Ing. Eduard SojkaStudent: nepřiřazen

Zaměření: Počítačová grafika a zpracování obrazuForma:

Text zadání:

Úloha o detekci cizích (neznámých, možná nepřátelských) osob je velmi aktuální z pohledubezpečnosti (např. školy, úřady, společnosti), na základě čehož lze předpokládat i komerční úspěšnostsystémů, které ji kvalitně řeší. Detekce se děje na základě analýzy obrazů. Princip je tento:Předpokládá se, že na vhodných místech (např. na chodbách) jsou umístěny kamery trvale sledujícíprostor. V obrazech kamer jsou hledány tváře, ty jsou pak porovnávány s tvářemi lidí, jejichž pohyb jev objektu povolen. V případě detekce neznámé tváře je generováno upozornění, které je dálezpracováno podle konkrétního nasazení.

V projektu půjde nejprve o zvládnutí základů uvedené oblasti. Posluchač se seznámí s technikaminalezení tváře v obraze a s technikami identifikace člověka na základě tváře. K oběma problémůmbude posluchači doporučena literatura. Dále bude následovat implementace (zatím zjednodušená,tréningová). Implementace bude přiměřeně experimentálně ověřena; budou vyhodnoceny dosaženévýsledky. Očekávaným výsledkem projektu je pěkný popis detektoru neznámých osob spolu s rešeršíaktivit v této oblasti, dále implementace detektoru (C++, lze použít dostupných knihoven, např.OpenCV), vyhodnocení experimentů a konečně prezentace výsledků.

V tématu projektu lze pokračovat formou diplomové práce. Téma spadá do oblasti, v níž katedra askupina (http://mrl.cs.vsb.cz) spolupracuje s podniky, případně pracuje odborně. V případě úspěšnéhořešení projektu a přínosu posluchače k takové spolupráci může být posluchači přiznáno stipendiumdle výše zapojení a významnosti přínosu. V případě nejasností či jakýchkoli pochybností kontaktujte,prosím, vedoucího projektu.

Literatura:


Poznámky:



SGS SP2016/58, HČ s VW AG



Název: Využití umělé inteligence k identifikaci a sledování vzorců chování hackerů nebo skupinhackerů v síti

Rok zadání: 2016/2017Vedoucí: prof. Ing. Ivan Zelinka, Ph.D.Student: nepřiřazen


Text zadání:

Špatně zabezpečená výpočetní zařízení se mohou stát hrozbou nejen pro uživatele ale i pro dalšízařízení na síti. Cílem práce je vytvořit aplikace a postupy, které umožní kvalitně provádět identifikacihackerských útoků a analýze jejich chování. Obsahem práce je prozkoumat nejčastější chyby vnastavení zabezpečení a na tyto nedostatky se zaměřit. Dále prozkoumat již existující programy avytvořené aplikace porovnat s již existujícími. Práce bude obsahovat jak algoritmy klasické, takalgoritmy z oblasti umělé inteligence. Projekt je zamýšlen jako vícesemestrální a tudíž se předpokládájeho pokračování v dalších semestrech. Hrubá struktura projektu je:

Seznámení se s problematikou.1.Volba vhodného programovacího prostředí.2.Volba vhodných algoritmů pro registraci a analýzu útoků.3.Programová realizace těchto algoritmů.4.Tvorba uživatelského manuálu.5.Zhodnoťte výsledky v závěrečné zprávě a manuálu.6.

Literatura:

Z mnoha zdrojů lze doporučit (mimo nutné a pravidelné konzultace s vedoucím projektu)

ELENKOV, Nikolay. Android security internals: an in-depth guide to android security1.architecture. San Francisco: No Starch Press, [2015], 1 online zdroj (434 pages). ISBN978-1-59327-641-6.ZDZIARSKI, Jonathan. Hacking and securing iOS applications. 1st ed. Sebastopol, Calif.: OReilly,2.2012, 336 p. ISBN 1449318746.CHELL, Dominic. The Mobile application hackers handbook. pages cm. ISBN 1118958500.3.CAMPAGNA, Rich, Subbu IYER a Ashwin KRISHNAN. Mobile device security for dummies.4.Chichester: John Wiley [distributor], 2011, xviii, 294 p. For dummies. ISBN 0470927534.CIUBOTARU, Bogdan. Advanced network programming - principles and techniques: network5.application programming with Java. 1st edition. pages cm. ISBN 9781447152910.

Obecné informace lze nalézt na dalších dodaných podkladech of vedoucího projektu.


460-4071/01 - Metody analýzy dat I (4)460-4086/01 - Biologicky inspirované algoritmy (4)460-4117/01 - Paralelní algoritmy I (4)


Kreditů za ZS: 12

460-4072/01 - Metody analýzy dat II (4)460-4087/01 - Nekonvenční algoritmy a výpočty (4)460-4118/01 - Paralelní algoritmy II (4)470-4201/01 - Aplikovaná algebra (4)

Kreditů za LS: 16

Poznámky:

Zájemce o projekt MUSÍ splňovat následující podmínky:

Musí umět dobře programovat1.Musí mít zájem na tématu projektu samostatně pracovat2.Musí být schopen týmové práce3.

Před přihlášením prosím KONTAKTUJTE prof. Zelinku na Telefon: +420 597 325 863 nebo E-mail:[email protected] Navrhované stipendium je za semestr a to jen v případě dosažení odpovídajícíchvýsledků.

Stipendium:

2000 Kč


SP2016/175, TF01000091

Date post:	03-Mar-2020
Category:	Documents
Upload:	others
View:	1 times
Download:	0 times

Informační systém FEI VŠB-TU Ostrava KatIS 29.8.2016 10:51:44 … · 2016-08-29 · Prezentace...

Documents