2018
Browse
Recent Submissions
Now showing 1 - 5 of 163
- ItemHluboké neuronové sítě pro klasifikaci objektů v obraze(Vysoké učení technické v Brně. Fakulta informačních technologií, ) Mlynarič, Tomáš; Hradiš, Michal; Zemčík, PavelTato práce se zabývá klasifikací objektů v obraze s použitím hlubokých neuronových sítí. Jako algoritmus pro klasifikaci byla zvolena segmentace celé scény pracující na video sekvencích a využívající informace mezi dvěma snímkami videa. Pro tuto úlohu bylo použito extrahování informací pomocí optického toku, na základě kterého byly dále warpovány aktivační mapy vrstev neuronových sítí. Dvě architektury neuronových sítí byly upraveny pro práci s videem, na kterých byly následně provedeny experimenty. Výsledky experimentů ukazují, že použití videa umožňuje zlepšit přesnost (IoU) vůči stejné architektuře pracující s obrázky.
- ItemZpracování síťové komunikace v prostředí Apache Spark(Vysoké učení technické v Brně. Fakulta informačních technologií, ) Béder, Michal; Ryšavý, Ondřej; Veselý, VladimírTáto práca rieši spôsob návrhu aplikácie na analýzu dát sieťovej komunikácie v prostredí distribuovaného systému Apache Spark. Implementáciu je možné rozdeliť do troch častí. Prvou je načítanie dát z distribuovaného úložiska HDFS, druhou analýza podporovaných sieťových protokolov a treťou distribuované vyhodnotenie výsledkov. Po vyhodnotení sú výstupy zobrazené v prostredí Apache Zeppelin. Výsledná aplikácia je schopná analyzovať jednotlivé pakety ako aj celé sieťové toky. Podporovanými formátmi vstupných dát sú pcap a JSON. Hlavným prínosom aplikácie je možnosť spracovania veľkých objemov dát. Jej výkonnosť je ovplyvnená hlavne formátom vstupných dát a využitím dostupných výpočetných jadier.
- ItemNástroj pro abstraktní regulární model checking(Vysoké učení technické v Brně. Fakulta informačních technologií, ) Chalk, Matěj; Hruška, Martin; Rogalewicz, AdamMetody formální verifikace mohou poskytnout automatizované ověření korektnosti softwaru (stavěné na matematických základech), což je velmi důležité. Jednou z těchto metod je abstraktní regulární model checking, jenž používá konečné automaty a převodníky pro reprezentaci množiny dosažitelných konfigurací, respektive jednokrokového přechodu mezi těmito konfiguracemi. Přestože tato metoda řeší obecně nerozhodnutelné problémy, umožňuje terminaci v mnoha praktických případech a navíc výrazně zmírňuje problém stavové exploze. Tohoto dosahuje urychlením výpočtu dosažitelných stavů pomocí inkrementálního zjemňování abstrakcí, k odstranění neplatných protipříkladů vzniklých nadaproximací pak slouží technika zjemňování abstrakce založená na protipříkladech. Cílem této práce je vytvořit dobře navržený nástroj pro abstraktní regulární model checking, jenž byl dosud implementován pouze v prototypech. Nový nástroj bude systémy modelovat pomocí symbolických automatů a převodníků namísto jejich (méně stručných) klasických alternativ.
- ItemRozšíření vývojové platformy Unity pro vizuální programování(Vysoké učení technické v Brně. Fakulta informačních technologií, ) Horký, Lukáš; Kreslíková, Jitka; Hynek, JiříCílem diplomové práce je tvorba rozšíření pro vývojovou platformu Unity, které umožní tvorbu počítačových her od návrhu herní logiky po samotné programování scén na vizuální úrovni. Rozšíření pak tvoří abstraktní vrstvu mezi návrháři, kteří spravují herní prvky na logické úrovni a mezi programátory, kteří se starají o implementaci některých částí, jejichž tvorbu není možno automatizovat. Usnadňuje pak některé návrhové procesy a iterace vývoje eliminací potřeby ručního programování na místech, které automatizovat možno je a umožňuje se soustředit na samotný proces vývoje.
- ItemNativní aplikace pro mobilní zařízení(Vysoké učení technické v Brně. Fakulta informačních technologií, ) Beníčková, Zuzana; Kreslíková, Jitka; Bartík, VladimírSkúmaná diplomová práca sa zaoberá univerzálnou mobilnou klient-server aplikáciou Android a iOS zariadení riešenú v natívnom prostredí daných operačných systémov. Práca skúma prístupy riešenia problému v oboch prostrediach. Dané aplikačné riešenie bude zobrazovať, ukladať a spracovávať rôznorodé dáta zaslané serverom v unifikovanej podobe ako aj prispôsobovať vzhľad daným zaslaným podmienkam a zariadeniu. Cieľom práce je ukázať a porovnať natívny potenciál mobilného zariadenia ako aj navrhnúť unifikovanú aplikáciu často vyžadovanej problematiky - zobrazenie a prístup veľkého množstva uložených dát používateľovi.