Zadání semestrálního projektu

Transkript

Informační systém FEI VŠB-TU Ostrava
KatIS
29.8.2016 10:51:44
Název: Temporální centrality v dynamických sítích
Rok zadání: 2016/2017
Vedoucí: Mgr. Pavla Dráždilová, Ph.D.
Student: nepřiřazen
Zaměření: Analýza dat
Forma: 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:
1.
2.
3.
4.
Funkční zdrojový kód
Textová část (10-20 stran)
Prezentace na cca 10 minut
Data pro experimenty
Požadavky na zdrojový kód:
1. Konfigurace programu a řízení experimentů dle konfiguračního souboru a konfigurační knihovny
2. Zdrojový kód okomentovaný v anglickém jazyce (Doxygen syntaxe)
Obsah textové části
1.
2.
3.
4.
5.
Seznámení s problematikou temporálních centralit v dynamické síti
State of the art
Podrobný popis vybraných algoritmů
Experimenty, měření, vyhodnocení (možno použít tabulky a grafy)
Závěr - zhodnocení výsledků
Literatura:
Costa, Eduardo C., et al. "Time centrality in dynamic complex networks." Advances in Complex
Systems, 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 the
2nd 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
KatIS
29.8.2016 10:51:44
KatIS
29.8.2016 10:50:45
Název:
Postupy pro budování znalostní báze a nápovědy založené na uživatelských
zkušenostech
Vedoucí: Ing. Radoslav Fasuga
Zaměření: Databázové a informační systémy
Forma: 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 s
informačními systémy a webovými portály. Součástí projektu je zpracování teoretické části a
implementace.
1. Student nastuduje problematiku budování znalostní báze založenou na známých situacích při
používání informačního portálu, stejně tak jako chyb, nepochopení, reklamace a výstupů z
uživatelské podpory
2. Student navrhne vhodnou datovou strukturu pro ukládání znalostní báze založenou na
uživatelských zkušenostech
3. Student navrhne vhodné algoritmy pro vyhledávání relevantních informací, založených na
okamžité situaci, řešené uživatelem v informačním systému, výjimečné situaci, nebo
vyhledávání ve znalostní bázi podle full-textu a příznaků
4. Student implementuje zásuvný modul v jazyce PHP/Nette a databázi MySQL, který bude řešit
budování a publikování znalostní báze
5. Výsledkem bude praktická příručka, která bude sloužit jako návod k vhodné volbě a
implementaci systému s častým opakujícím se dotazováním s akcentem na open-source
komponenty a platformy
6. Je možná a dokonce vhodná kooperace s dalšími studenty řešícími další magisterské projekty
Literatura:
Podle pokynů vedoucího semestrálního projektu.
460-4068/01 - Databázové a informační systémy II (4)
460-4075/01 - Softwarový návrh a konstrukce (4)
Kreditů za ZS: 12
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)
KatIS
29.8.2016 10:50:45
Kreditů za LS: 16
Poznámky:
Zájemce o projekt MUSÍ splňovat následující podmínky:
1. Musí zvládat požadované technologie, a to jak pro tvorbu webových tak konzolových aplikací
dle specifikace zadání
2. Musí mít zájem na tématu projektu samostatně pracovat
3. Musí být schopen týmové práce
Před přihlášením prosím KONTAKTUJTE Radoslava Fasugu E-mail: [email protected] a domluvte
si konzultaci.
KatIS
29.8.2016 10:50:01
Název: R+-strom: Varianta datovej štruktúry R-strom
Vedoucí: Ing. Peter Chovanec
Forma: kombinovaná
Text zadání:
Datova štruktúra R-strom vznikla pred 30-timi rokmi a od tej doby boli publikované desiatky rôznych
variant 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 je
preskúmať spomínanú variantu, naimplementovať ju a porovnať jej výkon a vlastnosti s R-stromom.
1. Naštudujte variantu R-stromu nazvanú R+-strom.
2. Naimplementujte spomenutú štruktúru.
3. Výslednú implementáciu otestujte a porovnajte jej výkon a vlastnosti s R-stromom.
Literatura:
1. A. Guttman. R-Trees: A Dynamic Index Structure for Spatial Searching. In Proceedings of the
ACM International Conference on Management of Data (SIGMOD 1984), pages 47–57. ACM
Press, June 1984.
2. T. K. Sellis, N. Roussopoulos, and C. Faloutsos. The R+-Tree: A Dynamic Index for MultiDimensional Objects. In Proceedings of the International Conference on Very Large Data Bases
(VLDB 1987), pages 507–518. Morgan Kaufmann, 1987.
Kreditů za ZS: 8
Kreditů za LS: 4
Poznámky:
Pred prihlásením prosím kontaktujte vedúceho projektu ([email protected]).
KatIS
29.8.2016 10:51:14
Název: Implementace algebry pro XSLT
Vedoucí: Ing. Petr Lukáš
Forma: kombinovaná
Text zadání:
Existuje několik standardních jazyků pro práci s XML databázemi. Jazyk XSLT primárně slouží pro
transformaci obsahu XML do určeného formátu. Cílem práce je naimplementovat algoritmus pro
sestavení algebraického dotazovacího plánu pro vstupní XSLT dotaz.
1. Nastudujte problematiku dotazování pomocí XSLT.
2. Nastudujte operátory vybrané algebry pro zpracování XML dat.
3. Naimplementujte algoritmus pro převod XSLT dotazu na algebraický plán.
Literatura:
Kreditů za ZS: 8
Kreditů za LS: 4
KatIS
9.8.2016 08:55:25
Název: Editor tracelogů v nástroji Kaira
Vedoucí: Ing. Marek Běhálek, Ph.D.
Zaměření: Teoretická informatika
Forma: kombinovaná
Text zadání:
Kaira je nástroj určený pro vytváření distribuovaných aplikací. Kaira z modelů vycházejících z
barevných Petriho sítí generuje C++ MPI aplikace. Kaira umožňuje také další doplňkové aktivity jako
je 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 o
provedený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, na
druhou stranu mají pevnou strukturu danou strukturou aplikace, která je vygenerovala. Editor by tak
měl umožnit uživateli v nějaké rozumné formě specifikovat změnu, kterou chce provést. Cíle práce lze
shrnout v těchto bodech.
1. Seznamte se s nástrojem Kaira.
2. Navrhněte, jakým způsobem editovat data z tracelogů.
3. Navržené řešení implementujte.
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.
KatIS
9.8.2016 08:55:38
Název: Analýza tracelogů v nástroji Kaira
Forma: kombinovaná
Text zadání:
Kaira je prostředí pro vývoj distribuovaných aplikací. Umožňuje z vizuálního modelu vygenerovat
distribuovanou aplikaci postavenou na C++ a MPI a tuto aplikaci, kromě jiného, profilovat. Výsledkem
profilování jsou soubory, označované jako tracelogy, kde je zaznamenán běh aplikace jako soubor
udá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 v
naměř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ěchto
bodech:
1. Seznamte se s aktuálním stavem implementace v nástroji Kaira.
2. Navrhněte různé automatické analýzy tracelogů, které by uživateli poskytly užitečnou statistiku
pro naměřená data a umožnily mu se zaměřit na nějakým způsobem zajímavá místa při běhu
aplikace.
3. Navržená rozšíření implementujte a otestujte.
Literatura:
460-4006/01 - Petriho sítě I (4)
Kreditů za ZS: 8
460-4091/01 - Kombinatorická optimalizace (4)
460-4019/02 - Petriho sítě II (4)
Kreditů za LS: 8
KatIS
24.8.2016 09:20:15
Název: Nasazení aplikací vygenerovaných z nástroje Kaira
Forma: kombinovaná
Text zadání:
Kaira je prostředí pro vývoj distribuovaných aplikací. Umožňuje z vizuálního modelu vygenerovat
distribuovanou 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 usnadnilo
tento krok. Rozšíření by v podstatě z projektu v nástroji Kaira zjistilo, které zdrojové kódy a knihovny
jsou pro běh aplikace podstatné a připravilo samostatný soubor zdrojových kódů, který by je
obsahoval. 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:
1. Seznamte se s aktuálním stavem implementace v nástroji Kaira.
2. Navrhněte nějaké řešení, které usnadní přenesení, kompilaci a spuštění aplikací generovaných
nástrojem Kaira na cílový distribuovaný systém.
3. Navržená rozšíření implementujte a otestujte.
Literatura:
460-4006/01 - Petriho sítě I (4)
Kreditů za ZS: 8
460-4019/02 - Petriho sítě II (4)
Kreditů za LS: 8
KatIS
9.8.2016 08:53:39
Název: Predikátová logika prvního řádu
Vedoucí: doc. RNDr. Marie Duží, CSc.
Forma: kombinovaná
Text zadání:
Cílem projektu je vypracovat soubor vzorových důkazů v sekventovém kalkulu.
1. Logické kalkuly pro predikátovou logiku
2. Návrh nástroje pro podporu dokazování v sekventovém kalkulu
Literatura:
1. Duží M. (2012): Logika pro informatiky a příbuzné obory. VŠB-Technická universita Ostrava.
ISBN 978-80-248-2662-2
2. Švejdar, V. (202): Logika: neúplnost, složitost a nutnost. Academia Praha.
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
Poznámky:
Doporučuji rovněž předměty "Systémový návrh a konstrukce" a "Vybrané partie z logiky"
KatIS
24.8.2016 09:20:49
Název: Segmentace hlavy v hloubkových obrazech
Vedoucí: Ing. Radovan Fusek
Zaměření: Počítačová grafika a zpracování obrazu
Forma: 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 bude
realizována pomocí známých segmentačních algoritmů, tyto algoritmy mohou být optimalizovány pro
konkrétní použití na segmentaci hlavy. Aplikace bude implementována v jazyce C++ s využitím
knihovny OpenCV. Výstupem projektu bude kromě programu také textová zpráva v rozsahu cca 10
stran 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 a
skupina (http://mrl.cs.vsb.cz) spolupracuje s podniky. V případě úspěšného řešení projektu a přínosu
posluchače k takové spolupráci může být proto posluchači přiznáno stipendium dle výše zapojení a
významnosti přínosu. V případě nejasností či jakýchkoli pochybností kontaktujte, prosím, vedoucího
projektu.
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 pro
projekt 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ěhem
osobní konzultace.
SGS SP2016/58
KatIS
24.8.2016 09:20:49
KatIS
24.8.2016 09:21:06
Název: Mapování prostoru pomocí LIDARového skeneru
Vedoucí: Ing. Radovan Fusek
Forma: kombinovaná
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í obraz
svého okolí.
V rámci projektu bude mít student za úkol nastudovat problém SLAM (Simultaneous localization and
mapping) a algoritmy pro jeho řešení, implementovat tyto algoritmy a následně otestovat jejich
funkčnost na reálném LIDARovém skeneru. Očekávaným výsledkem projektu je pěkný popis těchto
algoritmů, 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 pro
autonomní řízení vozidel.
Literatura:
[1] MONTEMERLO, Michael, Sebastian THRUN, Daphne KOLLER a Ben WEGBREIT. FastSLAM: A
Factored Solution to the Simultaneous Localization and Mapping Problem. AAAI, 2002.
[2] MONTEMERLO, Michael, Sebastian THRUN, Daphne KOLLER a Ben WEGBREIT. FastSLAM 2.0: An
Improved Particle Filtering Algorithm for Simultaneous Localization and Mapping that Provably
Converges. IJCAI, 2003.
[3] ELIAZAR, Austin a Ronald Parr. DP-SLAM: Fast, Robust Simultaneous Localization and Mapping
Without Predetermined Landmarks. IJCAI, 2003.
[4] THRUN, Sebastian a Micheal MONTEMERLO. The Graph SLAM Algorithm with Applications to LargeScale Mapping of Urban Structures. IJRR, 2005.
Kreditů za ZS: 8
Kreditů za LS: 4
KatIS
24.8.2016 09:21:06
Poznámky:
osobní konzultace.
SGS SP2016/58
KatIS
9.8.2016 08:53:11
Název: Intelligent water drop: Efektivní paralelní implementace vybraného algoritmu na GPU
Vedoucí: Ing. Petr Gajdoš, Ph.D.
Forma: kombinovaná
Text zadání:
Cílem projektu je efektivní implementace vybraného algoritmu na GPU v C++ s využitím CUDA nebo
OpenCL. Implementace bude kompatibilní s překladačem jak pro Windows (viz poslední verze Visual
Studia), tak s překladačem pro Linux (GCC 5.0) a bude ověřena na testovacíh problémech
kombinatorické optimalizace. Očekávaným výstupem projektu je:
1.
2.
3.
4.
Funkční zdrojový kód v C++
1. Využití dodané knihovny základních algoritmů a funkcí
1.
2.
3.
4.
5.
Seznámení s problematikou
State of the art
Podrobný popis zvoleného/zvolených algoritmů
Literatura:
1. Dle pokynů vedoucího semestrálního projektu.
Kreditů za ZS: 8
460-4118/01 - Paralelní algoritmy II (4)
KatIS
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
9.8.2016 08:53:11
KatIS
9.8.2016 08:56:09
Název: Paritní hry: algoritmy, experimenty
Vedoucí: Prof. RNDr. Petr Jančar, CSc.
Forma: kombinovaná
Text zadání:
Paritní hry jsou jednoduše formulované hry na ohodnocených grafech, které úzce souvisejí s problémy
automatizované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ích
bodech:
1. Seznamte se s problémem paritních her a otevřenou otázkou existence polynomiálních
algoritmů k jejich řešení (z literatury konzultované s vedoucím práce).
2. Seznamte se s volně dostupnými softwarovými nástroji implementujícími řešení těchto her,
speciálně s nástrojem PGSolver (https://github.com/tcsprojects/pgsolver).
3. Implementujte variantu algoritmu řešícího paritní hry, diskutovanou s vedoucím projektu.
4. Proveďte experimenty s implementovanou metodou na dostatečně velkých datech tak, ať
můžete výsledky porovnat s výsledky algoritmů implementovaných v PGSolver.
Literatura:
460-4089/01 - Automatizované řešení úloh s omezeními (4)
Kreditů za ZS: 8
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/01
Teorie 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í.
KatIS
9.8.2016 08:56:28
Název: Vybrané algoritmy pro problémy rozvrhování
Vedoucí: Prof. RNDr. Petr Jančar, CSc.
Forma: kombinovaná
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 v
následujících bodech:
1. Po dohodě s vedoucím zvolte praktický problém z oblasti rozvrhování výrobních procesů,
lidských zdrojů, či jiný rozvrhovací problém.
2. Zjistěte známé možnosti řešení problému, včetně příslušných volně dostupných softwarových
nástrojů.
3. Implementujte zvolenou metodu (algoritmus).
4. Proveďte experimenty s vámi implementovanou metodou na rozumně velkých datech a
výsledky vyhodnoťte.
Literatura:
460-4089/01 - Automatizované řešení úloh s omezeními (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í.
KatIS
9.8.2016 08:55:55
Název: Modeler neuronových sítí - pozice ve vývojovém týmu 2 z 2
Vedoucí: Ing. David Ježek
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ýuky
př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:
1.
2.
3.
4.
5.
6.
Analýza stávajícího řešení.
Návrh změn a přepracování stávajících kódů.
Implementace několika druhů neuronových sítí a jejich vizualizace.
Vizualizace vnitřního stavu sítě v průběhu učení či vyvolání informace.
Podpora hromadného logování parametrů a jejich grafické zobrazení.
Podpora vytváření dočasných obrazů sítě v průběhu učení pro asynchronní využití při
zobrazovaní či monitorování.
7. V průběhu vývoje je třeba sledovat výkonnostní a paměťové nároky zvolených řešení.
Úkoly pro aktuální milník (květen 2017):
1.
2.
3.
4.
Analýza a přepracování stávajících kódů.
Implementace hopfieldových sítí a Kohonenových map.
Monitorování průběhu učení a logování.
Návrh systému pro vytváření dočasných obrazů.
Tým bude pracovat v platformě Java s prostředím Eclipse a využívat předepsaných běžných technik
softwarového inženýrství jako jsou:
1.
2.
3.
4.
5.
6.
7.
Verzování GIT
Testování - analýza pokrytí
Analýza pachů v kódu
Přidělování a zpracování úkolů Redmine
Sledování náročnosti řešení úkolů (odpracované hodiny)
Zajištění tracebility
Propojení komitů s úkoly a odpracovanými hodinami.
Výstupem projektu bude:
KatIS
1. Aplikace, která je sestavitelná a spustitelná za předem dohodnutých podmínek.
2. Technická zpráva
3. Obhajoba projektu
Literatura:
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
9.8.2016 08:55:55
KatIS
9.8.2016 08:54:41
Název:
Komponenta serveru pro podporu výuky teoretické informatiky - Bezkontextové
gramatiky
Vedoucí: Ing. Martin Kot, Ph.D.
Forma: kombinovaná
Text zadání:
1. Cílem projektu je vytvořit dynamické webové stránky pro výuku bezkontextových gramatik,
které budou součástí serveru pro výuku teoretické informatiky.
2. Naprogramujte možnost uživatelem řízeného provádění (levé, pravé i obecné) derivace v
zadané gramatice a zobrazení příslušného derivačního stromu.
3. Gramatiku, pro kterou bude derivace prováděná, bude mít možnost uživatel přehledně zadat.
4. Dále bude mít uživatel možnost si vybrat některou z předem připravených gramatik. Těchto
gramatik bude připraveno alespoň 10 různě velkých (co do počtu pravidel, terminálů i
netereminálů) a správci stránek bude umožněno snadné přidání dalších takových gramatik.
Literatura:
460-4006/01 - Petriho sítě I (4)
Kreditů za ZS: 8
460-4019/02 - Petriho sítě II (4)
Kreditů za LS: 8
KatIS
9.8.2016 08:55:01
Název:
Komponenta serveru pro podporu výuky teoretické informatiky - Bezkontextové
gramatiky
Forma: kombinovaná
Text zadání:
1. Cílem projektu je vytvořit dynamické webové stránky pro výuku bezkontextových gramatik,
které budou součástí serveru pro výuku teoretické informatiky.
2. Naprogramujte možnost uživatelem řízeného provádění (levé, pravé i obecné) derivace v
zadané gramatice a zobrazení příslušného derivačního stromu.
3. Gramatiku, pro kterou bude derivace prováděná, bude mít možnost uživatel přehledně zadat.
4. Dále bude mít uživatel možnost si vybrat některou z předem připravených gramatik. Těchto
gramatik bude připraveno alespoň 10 různě velkých (co do počtu pravidel, terminálů i
netereminálů) a správci stránek bude umožněno snadné přidání dalších takových gramatik.
Literatura:
460-4006/01 - Petriho sítě I (4)
Kreditů za ZS: 8
460-4019/02 - Petriho sítě II (4)
Kreditů za LS: 8
KatIS
24.8.2016 09:19:09
Název:
Komponenta serveru pro podporu výuky teoretické informatiky - Převody mezi
problémy
Forma: kombinovaná
Text zadání:
1. V rámci diplomové práce vznikla sada dynamických webových stránek pro výuku převodu mezi
problémy (především NP-úplnými).
2. Cílem tohoto projektu je doplnit další 2-4 převody (přesný počet bude upřesněn po dohodě s
vedoucím projektu podle náročnosti zvolených převodů).
3. Není zde požadováno co nejefektivnější vypočítání výsledku, ale hlavně co nejpřehlednější
zobrazení postupu převodu uživateli.
4. Uživatel bude mít možnost zadat instanci vstupního problému každého implementovaného
převodu a postupně se mu po jednotlivých krocích s jejich vysvětlením zkonstruuje instance
výstupního problému.
5. Pro každý z převodů budou předpřipraveny alespoň 3 instance vstupního problému, aby si
postup mohl uživatel zobrazit i bez vyplňování vstupní instance.
Literatura:
460-4006/01 - Petriho sítě I (4)
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í skupiny
teoretické informatiky.
KatIS
9.8.2016 08:52:02
Název: Optimalizace fuzzy regulátoru pomocí algoritmu EDA
Vedoucí: doc. Ing. Pavel Krömer, Ph. D.
Forma:
Text zadání:
EDA (Estimation of distribution algorithm) je rodina stochastických optimalizačních evolučních
algoritmů. Cílem projektu je implementace optimalizace fuzzy regulátoru pomocí zvoleného algoritmu
z 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, pro
realizaci fuzzy regulátoru bude pužita knihovna fuzzylite. Očekávaným výstupem projektu je:
1.
2.
3.
4.
1.
2.
3.
4.
5.
State of the art
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 via
probabilistic modeling: From algorithms to applications, Springer.
Dále podle pokynů vedoucího semestrálního projektu.
KatIS
Kreditů za ZS: 8
Kreditů za LS: 8
Poznámky:
Stipendium:
5000 Kč
SP2016/97
9.8.2016 08:52:02
KatIS
9.8.2016 08:52:19
Název: Řešení problému umístění pomocí algoritmu MVMO
Vedoucí: doc. Ing. Pavel Krömer, Ph. D.
Forma:
Text zadání:
Mean-variance mapping optimization (MVMO) je stochastický optimalizační algoritmus s dobrými
výsledky v mnoha aplikačních oblastech. Cílem projektu je implementace řešení známého
optimalizačního problému (Facility Location Problem; FLP) pomocí MVMO a otestování na používaných
instancích FLP. Očekávaným výstupem projektu je:
1.
2.
3.
4.
1.
2.
3.
4.
5.
State of the art
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 location
problems. Contemporary Issues in Systems Science and Engineering (2015): 817-834.
KatIS
Kreditů za ZS: 8
Kreditů za LS: 8
Poznámky:
Stipendium:
5000 Kč
SP2016/97
9.8.2016 08:52:19
KatIS
24.8.2016 09:16:26
Název: Automatická identifikace druhu provozu pro SDR přijímače
Vedoucí: Mgr. Ing. Michal Krumnikl, Ph.D.
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 SDR
rádiem identifikovat druh radioamatérského provozu (CW/SSB/AM/FM) včetně nejpoužívanějších
digitálních modulací. Výstupem může být jak samostatná aplikace, tak i modul použitelný v rámci
GNURadio. Výstupem práce budou:
Implementace v jazyce C/C++/C#, zdrojové kódy řádně okomentované a vystavené na
github.com
K implementaci budou připraveny testy a vyhodnoceny jejich výsledky.
Technická zpráva v angličtině o minimálním rozsahu 16 normostran.
1.
2.
3.
4.
5.
6.
Seznámení s problematikou softwarově definovaných rádií (SDR) a metodami jejich realizace.
Návrh a realizace řešení, které na základě vstupních I/Q dat rozpozná typ modulace.
Podrobný popis navrženého řešení, včetně implementace.
Popis metodiky testů.
Testování navržené implementace a vyhodnocení testů.
Závěr, zhodnocení výsledků.
Literatura:
Jeffrey H. Reed, Software Radio - A modern Approach to Radio Engineering. Upper Saddle River:
Prentice Hall, 2002. ISBN 0130811580
Eugene Grayver, Implementing Software Defined Radio, Springer; 2012. ISBN 1441993312
Robert G. Gallager, Principles of Digital Communication, Cambridge University Press, 2008. ISBN
0521879078
Praveen, S Thakur. Trends in Automatic Modulation Classification for Advanced Data
Communication Networks. In International Journal of Advanced Research in Computer
Engineering & 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
KatIS
460-4083/01 - Strojově orientované jazyky (4)
460-4085/01 - Technologie počítačových sítí (5)
Kreditů za LS: 9
24.8.2016 09:16:26
KatIS
9.8.2016 08:49:32
Název: Detekce komunit v rozsáhlých vážených sítích s využitím Max-Min modularity
Vedoucí: doc. Mgr. Miloš Kudělka, Ph.D.
Forma:
Text zadání:
Cílem projektu je implementace algoritmu detekce komunit podle doporučeného článku. Očekávaným
výstupem projektu je:
1.
2.
3.
4.
5.
Odladěný zdrojový kód v C#
Uživatelské rozhraní pro provádění experimentů
Textová část (10-20 stran včetně obrázků a tabulek)
Experimentální data
1. Srozumitelná objektová struktura
2. Konfigurace programu a řízení experimentů dle konfiguračního souboru
3. Komentovaný zdrojový kód
1.
2.
3.
4.
5.
Průzkum obdobných přístupů
Zhodnocení výsledků
Literatura:
Jiyang Chen, Osmar R. Zaïane, Randy Goebel: Detecting Communities in Social Networks Using MaxMin Modularity. SDM 2009: 978-989
Kreditů za ZS: 8
Kreditů za LS: 8
Stipendium:
5000 Kč
SP2016/97
KatIS
9.8.2016 08:49:32
KatIS
9.8.2016 08:49:45
Název: Evoluce komunit v temporálních sítích
Forma:
Text zadání:
Cílem projektu je implementace algoritmů pro detekci strukturálních změn v komunitách temporálních
sítí. Očekávaným výstupem projektu je:
1.
2.
3.
4.
5.
1.
2.
3.
4.
5.
Literatura:
Takaffoli, M., Fagnan, J., Sangi, F., Zaïane, O. R. (2011). Tracking changes in dynamic information
networks. 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
KatIS
9.8.2016 08:49:45
KatIS
9.8.2016 08:50:01
Název: Vážení v dynamických sítích s využitím zapomínacích funkcí
Forma:
Text zadání:
Cílem je modifikace a efektivní implementace metody prezentované v článku. Očekávaným výstupem
projektu je:
1.
2.
3.
4.
5.
1.
2.
3.
4.
5.
Literatura:
Milos Kudelka, Zdenek Horak, Václav Snásel, Pavel Krömer, Jan Platos, Ajith Abraham: Social and
swarm aspects of co-authorship network. Logic Journal of the IGPL 20(3): 634-643 (2012)
Kreditů za ZS: 8
Kreditů za LS: 12
Stipendium:
5000 Kč
SP2016/97
KatIS
9.8.2016 08:50:01
KatIS
9.8.2016 08:51:04
Název: Vizualizace vývoje temporální sítě
Forma:
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:
1.
2.
3.
4.
5.
Odladěný zdrojový kód v C# a zvolené platformě pro web
1.
2.
3.
4.
5.
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
KatIS
9.8.2016 08:51:04
KatIS
9.8.2016 08:51:28
Název: Generování sítě s komunitní strukturou
Forma:
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:
1.
2.
3.
4.
5.
1.
2.
3.
4.
5.
Literatura:
Bianconi, G., Darst, R. K., Iacovacci, J., Fortunato, S. (2014). Triadic closure as a basic generating
mechanism of communities in complex networks.Physical Review E, 90(4), 042806.
Kreditů za ZS: 8
Kreditů za LS: 8
Stipendium:
5000 Kč
SP2016/97
KatIS
9.8.2016 08:51:28
KatIS
9.8.2016 08:51:47
Název: Analýza egocentrické sítě
Forma:
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:
1.
2.
3.
4.
5.
1.
2.
3.
4.
5.
Literatura:
Crossley, N., Bellotti, E., Edwards, G., Everett, M. G., Koskinen, J., Tranmer, M. (2015). Social network
analysis for ego-nets: Social network analysis for actor-centred networks. SAGE.
Kreditů za ZS: 8
Kreditů za LS: 8
Stipendium:
5000 Kč
SP2016/97
KatIS
9.8.2016 08:51:47
KatIS
9.8.2016 08:53:25
Název:
Analýza důlních snímků za účelem registrace – vytvoření kvalitního snímku pro
následné vyhodnocení.
Vedoucí: doc. Ing. Lačezar Ličev, CSc.
Forma: kombinovaná
Text zadání:
1.
2.
3.
4.
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ů.
Seznamte se s prostředním NetBeans a programovacím jazykem JAVA.
Implementujte požadovanou funkcionalitu pomocí jazyka JAVA.
Funkčnost demonstrujte na poskytnutých snímcích.
Literatura:
Kreditů za ZS: 8
460-4033/02 - Počítačová grafika II (4)
Kreditů za LS: 8
KatIS
9.8.2016 08:52:59
Název: Multi-agentní systémy
Vedoucí: Mgr. Marek Menšík, Ph.D.
Forma: kombinovaná
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 a
vzájemné komunikaci jednotlivých agentů. K tomu se váže problematika učení autonomních agentů a
téma kooperativního řešení problémů centralizovaných systémů s postupnou decentralizací systémů.
Náplní tohoto konkrétního projektu je:
1. Metody učení agentů
2. Návrh nástroje pro učení agentů
1. Textová část 5 - 10 stran zabývající se metodami strojového učení agentů
2. Referát - cca 10 minut
Literatura:
1. Wooldridge, M.:An Introduction to MultiAgent Systems, Wiley, 2009, ISBN:978-0470519462
2. Schwartz, H. M.: Multi-Agent Machine Learning: A Reinforcement Approach, Wiley, 2014, ISBN:
978-1118362082
3. Kubík, A.:Inteligentní agenty, Computer Press, 2004, ISBN: 8025103234
460-4006/01 - Petriho sítě I (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
KatIS
9.8.2016 08:50:18
Název: Bezdrátový vysílač (beacon) pro hrubou lokalizaci
Vedoucí: Ing. Pavel Moravec, Ph.D.
Forma:
Text zadání:
Cílem tohoto projektu je realizace vysílače v ISM pásmu, který bude umožňovat hrubou lokalizaci
ztraceného zařízení (např. kvadrokoptéry). Signál vysílače by měl být zachytitelný do vzdálenosti
desí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.
1.
2.
3.
4.
5.
Seznámení s problematikou.
Popis stávajících řešení v této oblasti.
Popis realizace hardware a definice komunikačního protokolu.
Popis metodiky testování zařízení a vyhodnocení dosažených výsledků.
Literatura:
Kreditů za ZS: 9
Kreditů za LS: 9
KatIS
24.8.2016 09:15:16
Název: Testování bezdrátových modulů pro internet věcí (IoT)
Vedoucí: Ing. Pavel Moravec, Ph.D.
Forma: kombinovaná
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 nejen
mezi 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ých
experimentů (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.
1.
2.
3.
4.
5.
Seznámení s problematikou.
Popis stávajících systémů využívaných v oblasti internetu věcí a jejich parametrů.
Podrobný popis realizovaných testů.
Výsledky testů a jejich vyhodnocení.
Literatura:
ESP8266
802.11bgn
Smart
Device,
Dostupné
z:
https://nurdspace.nl/images/e/e0/ESP8266_Specifications_English.pdf
Jia-Chin Lin, Chi-Sheng Lin, Chih-Neng Liang, Bo-Chiuan Chen: Wireless communication
performance based on IEEE 802.11p R2V field trials.Communications Magazine, IEEE
(Volume:50, Issue: 5), 2012.
KatIS
Kreditů za ZS: 9
Kreditů za LS: 9
24.8.2016 09:15:17
KatIS
9.8.2016 08:46:25
Název: Vizualizace egocentrické sítě aktértů sociální sítě
Vedoucí: RNDr. Eliška Ochodková, Ph.D.
Forma:
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, je
atraktivní 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, kameramany
atd. Očekávaným výstupem projektu je:
1. Funkční aplikace
2. Textová část (10-20 stran)
3. Prezentace na cca 10 minut
1.
2.
3.
4.
5.
State of the art
Literatura:
Kreditů za ZS: 8
Kreditů za LS: 8
KatIS
9.8.2016 08:53:59
Název: Detekce navigačních bodů v okolí robotu pomocí 3D laserového skeneru
Vedoucí: Ing. Petr Olivka, Ph.D.
Forma: kombinovaná
Text zadání:
Výstupem 3D laserového skeneru je mračno bodů. Navrhněte vhodný tvar a velikost navigačních
bodů, které bude možno v mračnu bodů jednoznačně identifikovat. Polohy navigačních bodů budou
dále sloužit k řízení pohybu robotu v pracovním prostoru.
1. Seznamte se se stávající konstrukcí 3D laserového skeneru.
2. Seznamte se s knihovnou PCL, zaměřte se zejména na ty části, které mohou detekovat objekty.
3. Navrhněte tvar a velikost navigačních značek, proveďte měření a vyhodnoťte spolehlivost
detekce značek v celém rozsahu měření.
4. Realizujte navigaci robotu mezi detekovanými značkami.
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.
1. Návrh a popis řídící programu, návrh rozdělení úloh.
2. Realizace navrženého řešení.
3. Testování a shrnutí dosažených výsledků.
Literatura:
1. Knihovna mračen bodů: http://pointclouds.org/
2. Robotický podvozek iRoomba: http://www.irobot.com
3. Popis 3D laserového skeneru a měřených dat: DisP, Petr Olivka, Senzorický subsystém robotu.
Kreditů za ZS: 9
KatIS
Kreditů za LS: 9
Poznámky:
Projekt nutno konzultovat předem s vedoucím projektu.
9.8.2016 08:53:59
KatIS
9.8.2016 08:54:13
Název: Algoritmy pro rozvrhovací problémy s omezenými zdroji
Vedoucí: doc. Ing. Zdeněk Sawa, Ph.D.
Forma: kombinovaná
Text zadání:
Projekt se týká algoritmů pro řešení problému označovaného jako RCPSP - resource constraint project
scheduling 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 aktivitami
specifikovány závislosti určující, že některé aktivity se mohou začít provádět až poté, co jiné byly
dokonč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. Pro
jednotlivé 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 byly
dodrženy všechny omezující podmínky (tj. byly dodrženy závislosti mezi aktivitami a nebyla
překročena kapacita žádného zdroje), a aby celková doba provedení všech aktivit byla co nejmenší.
1. Nastudujte algoritmus popsaný v článku U. Dorndorf, E. Pesch, T. Phan-Huy (2000).
2. Implementujte tento algoritmus.
3. Otestuje vaši implementaci na vhodně zvolených testovacích datech.
Literatura:
U. Dorndorf, E. Pesch, T. Phan-Huy - A branch-and-bound algorithm for the resource-constrained
project scheduling problem, Mathematical Methods of Operations Research, 52(3), pp. 413-439,
2000.
Další literatura podle pokynů vedoucího semestrálního projektu.
460-4006/01 - Petriho sítě I (4)
Kreditů za ZS: 8
Kreditů za LS: 8
KatIS
9.8.2016 08:54:26
Název: Ověření korektnosti některých grafových algoritmů pomocí programu COQ
Forma: kombinovaná
Text zadání:
COQ je softwarový nástroj pro vytváření a ověřování formálních důkazů. Dokazovaná tvrzení a
jednotlivé kroky důkazu se zapisují v jazyce systému COQ způsobem, který je v mnoha ohledech
podobný zápisu programů v programovacím jazyce. COQ pak automaticky ověřuje korektnost daných
důkazů. Jednou z oblastí, kde je možno COQ použít a kde se často používá, je ověřování korektnosti
algoritmů 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ův
algoritmus pro nalezení silně souvislých komponent apod.) v programu COQ.
1. Nastuduje, jak pracovat s programem COQ.
2. Prozkoumejte různé možnosti reprezentace algoritmů v programu COQ.
3. Vytvořte v programu COQ formální důkazy některých grafových algoritmů.
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
460-4006/01 - Petriho sítě I (4)
Kreditů za ZS: 8
460-4019/02 - Petriho sítě II (4)
Kreditů za LS: 8
KatIS
24.8.2016 09:17:09
Název: Formalizace konstrukcí na konečných automatech v programu COQ
Forma: kombinovaná
Text zadání:
COQ je softwarový nástroj pro vytváření a ověřování formálních důkazů. Dokazovaná tvrzení a
jednotlivé kroky důkazu se zapisují v jazyce systému COQ způsobem, který je v mnoha ohledech
podobný zápisu programů v programovacím jazyce. COQ pak automaticky ověřuje korektnost daných
důkazů.
Cílem tohoto projektu je formalizovat v programu COQ některé základní konstrukce na konečných
automatech (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.
1. Nastuduje, jak pracovat s programem COQ.
2. V programu COQ formalizujte konečné automaty a různé konstrukce, které je možné na těchto
automatech provádět.
3. V programu COQ vytvořte formální důkazy korektnosti těchto konstrukcí.
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
D. Kozen - Automata and Computability, Springer-Verlag, 1997.
Kreditů za ZS: 8
Kreditů za LS: 8
KatIS
Poznámky:
V případě kvalitního vypracování projektu je možno vyplatit stipendium.
24.8.2016 09:17:09
KatIS
9.8.2016 08:50:32
Název: Tvorba 3D modelu řidiče z hloubkových map
Vedoucí: doc. Dr. Ing. Eduard Sojka
Forma:
Text zadání:
Úloha o tvorbě 3D modelu řidiče je velmi aktuální z pohledu bezpečnosti v automobilech. Myšlenka je
tato: Řidič je neustále sledován 3D kamerou (lze předpokládat různé principy, zatím pro experimenty
použí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 jejich
polohu. Takto získaný model může být využit k analýze, co řidič dělá (toto však není předmětem
projektu).
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ými
optickými obrazy). K tomu bude posluchači doporučena literatura. Dále bude následovat
implementace 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ý popis
realizovaného detektoru spolu s rešerší aktivit v 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 (šlo by o rozšíření a zdokonalení toho, co
bylo 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 a
přínosu posluchače k takové spolupráci může být proto posluchači přiznáno stipendium dle výše
zapojení a významnosti přínosu. V případě nejasností či jakýchkoli pochybností kontaktujte, prosím,
vedoucího projektu.
Literatura:
Kreditů za ZS: 4
Kreditů za LS: 4
KatIS
9.8.2016 08:50:32
Poznámky:
osobní konzultace (aby se předešlo případným chybám v OSP).
SGS SP2016/58, HČ s VW AG
KatIS
9.8.2016 08:50:47
Název: Systém pro detekci cizích osob z videosekvencí
Vedoucí: doc. Dr. Ing. Eduard Sojka
Forma:
Text zadání:
Úloha o detekci cizích (neznámých, možná nepřátelských) osob je velmi aktuální z pohledu
bezpečnosti (např. školy, úřady, společnosti), na základě čehož lze předpokládat i komerční úspěšnost
systé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 je
v objektu povolen. V případě detekce neznámé tváře je generováno upozornění, které je dále
zpracováno podle konkrétního nasazení.
V projektu půjde nejprve o zvládnutí základů uvedené oblasti. Posluchač se seznámí s technikami
nalezení tváře v obraze a s technikami identifikace člověka na základě tváře. K oběma problémům
bude 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 a
skupina (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 stipendium
dle 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:
osobní konzultace.
SGS SP2016/58, HČ s VW AG
KatIS
9.8.2016 08:52:37
Název:
Využití umělé inteligence k identifikaci a sledování vzorců chování hackerů nebo skupin
hackerů v síti
Vedoucí: prof. Ing. Ivan Zelinka, Ph.D.
Forma:
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 identifikaci
hackerských útoků a analýze jejich chování. Obsahem práce je prozkoumat nejčastější chyby v
nastavení zabezpečení a na tyto nedostatky se zaměřit. Dále prozkoumat již existující programy a
vytvořené aplikace porovnat s již existujícími. Práce bude obsahovat jak algoritmy klasické, tak
algoritmy 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:
1.
2.
3.
4.
5.
6.
Seznámení se s problematikou.
Volba vhodného programovacího prostředí.
Volba vhodných algoritmů pro registraci a analýzu útoků.
Programová realizace těchto algoritmů.
Tvorba uživatelského manuálu.
Zhodnoťte výsledky v závěrečné zprávě a manuálu.
Literatura:
Z mnoha zdrojů lze doporučit (mimo nutné a pravidelné konzultace s vedoucím projektu)
1. ELENKOV, Nikolay. Android security internals: an in-depth guide to android security
architecture. San Francisco: No Starch Press, [2015], 1 online zdroj (434 pages). ISBN
978-1-59327-641-6.
2. ZDZIARSKI, Jonathan. Hacking and securing iOS applications. 1st ed. Sebastopol, Calif.: OReilly,
2012, 336 p. ISBN 1449318746.
3. CHELL, Dominic. The Mobile application hackers handbook. pages cm. ISBN 1118958500.
4. CAMPAGNA, Rich, Subbu IYER a Ashwin KRISHNAN. Mobile device security for dummies.
Chichester: John Wiley [distributor], 2011, xviii, 294 p. For dummies. ISBN 0470927534.
5. CIUBOTARU, Bogdan. Advanced network programming - principles and techniques: network
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-4086/01 - Biologicky inspirované algoritmy (4)
KatIS
9.8.2016 08:52:37
Kreditů za ZS: 12
460-4087/01 - Nekonvenční algoritmy a výpočty (4)
Kreditů za LS: 16
Poznámky:
Zájemce o projekt MUSÍ splňovat následující podmínky:
1. Musí umět dobře programovat
2. Musí mít zájem na tématu projektu samostatně pracovat
3. Musí být schopen týmové práce
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ích
výsledků.
Stipendium:
2000 Kč
SP2016/175, TF01000091

Zadání semestrálního projektu

Transkript

Podobné dokumenty

Odbor informačních a komunikačních technologií

Zpráva o činnosti projektu MacGyver – bastlíři SH za období 2015 a

zde - MARLIN, sro

PřEDMěTY PRO RYCHLÉ POUŻITÍ

MĚSÍČNÍ PROGRAM BIO senior

Biologická olympiáda - 47. ročník

INSTALAČNÍ PŘÍRUČKA

ICCT Mikulov 2016 PHOTOCATALYTIC REDUCTION OF CO2

Co a jak dnes počítače vidí?

Softwarově Definované Rádio