2022
Browse
Recent Submissions
- ItemVysvětlující analýza šachových partií(Vysoké učení technické v Brně. Fakulta informačních technologií, ) Hertl, Vojtěch; Křena, Bohuslav; Rozman, JaroslavCílem této práce je navrhnout a implementovat vysvětlující analýzu šachových partií. Tato analýza byla vytvořena na základě šachového programu (chess engine). Jelikož existuje mnoho kvalitních, volně dostupných a open-source šachových programů, tato práce se nesoustředí na implementaci nového programu. Namísto toho, již existující šachové programy byly prostudovány a porovnány. Nejvhodnější program pro tuto práci byl vybrán a pro něj bylo navrhnuto rozšíření, které poskytuje slovní vysvětlení kvality jednotlivých tahů a celých šachových partií. Toto rozšíření bylo implementováno, otestováno a ohodnoceno.
- ItemWatson-Crick modely pro zpracování formálních jazyků(Vysoké učení technické v Brně. Fakulta informačních technologií, ) Hammer, Jan; Křivka, Zbyněk; Tomko, MartinTato práce se zabývá Watson-Crickovými jazyky, které jsou inspirovány výpočty nad DNA, dále jejich modely a algoritmy pro rozhodování členství řetězců v těchto jazycích. Analyzuje nedávno představený algoritmus nazvaný WK-CYK a prezentuje algoritmus založený na prohledávání stavového prostoru, jehož základem je standardní prohledávání prostoru do šířky, ale používá množství optimalizací a heuristik, aby byl v praxi efektivnější a dokázal analyzovat delší vstupy. Klíčové jsou heuristiky pro prořezávání stavového prostoru (detekují slepé větve) a heuristiky pro výběr nejslibnějších větví pro další výpočet. Tyto dva algoritmy jsou testovány na 20 různých Watson-Crickových gramatikách (40 včetně jejich verzí v Chomského normální formě). Zatímco WK-CYK je schopen rozhodnout členství v jazyce v rozumném čase u vstupů o délce zhruba 30-50 symbolů, jeho efektivnost je velmi konzistentní u různých gramatik a různých vstupů, algoritmus prohledávající stavový prostor je obvykle (v 89-98 % případů) efektivnější a je schopen provést výpočet pro vstupy s délkou o stovkách často i tisících symbolů. Tedy tento algoritmus má potenciál být vhodným nástrojem pro praktické použití při rozhodování členství ve Watson-Crickových jazycích a nabízí vhodný základ pro další vývoj a vylepšení, která by dále zvyšovala efektivitu algoritmu.
- ItemMetody segmentace webových stránek(Vysoké učení technické v Brně. Fakulta informačních technologií, ) Grnáč, Martin; Burget, Radek; Bartík, VladimírCieľom tejto práce je preskúmať segmentačné algoritmy a z nich vybrať vhodný variantu ktorá bude sa implementuje do systému FitLayout. Následne po implementácií porovnať túto variantu segmentačného algoritmu s referenčným segmentačným algoritmom, ktorý je už v systéme FitLayout implementovaný. Úvod práce sa zaoberá zoznámením sa s problematikou segmentácie a systémom FitLayout. Ďalej sú popísané a porovnané segmentačné algoritmy ktoré boli vhodnými kandidátmi pre integráciu do systému FitLayout. Praktická časť práce obsahuje popis implementácie a integrácie zvoleného algoritmu a taktiež porovnanie týchto dvoch algoritmov pri segmentácií rôznych webových stránok.
- ItemNávrh back-endu pro analytický dashboard pozičního systému(Vysoké učení technické v Brně. Fakulta informačních technologií, ) Hrivňák, Marek; Šimek, Václav; Bardonek, PetrTáto práca sa zaoberá optimalizáciou pôvodného riešenia a navrhnutím nového riešenia pre ukladanie a spracovanie pozičných dát nástroja Sage Analytics systému RTLS vytvoreného spoločnosťou Sewio Networks s.r.o. Cieľom tejto práce je nájdenie a aplikácia spôsobu akým je možné skrátiť čas vyhotovenia metrík nástroja Sage Analytics. Optimalizáciou pôvodného riešenia v tejto práci sa podarilo jednoduchým spôsobom (bez nutnosti úpravy implementácie) výrazne zrýchliť proces zhotovovania metrík (pre časový interval 24 hodín zobrazovaných dát) v priemere až o 503 %. Navrhnuté riešenie využíva k ukladaniu pozičných dát databázu InfluxDB a upravuje spracovanie dát takým spôsobom, aby bolo kompatibilné s využitím nového spôsobu ukladania a získavania pozičných dát. Súčasťou nového riešenia je aj vytvorenie testov pre kontrolu správnosti navrhnutého riešenia. Aplikovanie tohto riešenia prináša zrýchlenie pri procese zhotovenia metrík (pre časový interval 24 hodín zobrazovaných dát) od 725 % až po 2085 % a v priemere až okolo 1010 %. Súčasťou práce je aj vykonanie niekoľkých experimentov, ktoré majú za cieľ priblížiť dôvody dĺžky trvania metrík v nástroji Sage Analytics.
- ItemModelování a simulace EIGRP a BGP(Vysoké učení technické v Brně. Fakulta informačních technologií, ) Zavřel, Jan; Veselý, Vladimír; Marek, MarcelInternet se za posledních několik desítek let stal jedním z nejdůležitějších nástrojů pro mezilidskou komunikaci. Miliardy lidí ho denně používají na zábavu, na práci, na vzdělání či uspokojení lidského kontaktu. Je nutné si připustit, že na jeho správném fungování je obrovská část populace existenčně závislá. Toto se odráží na stále se zvětšujících požadavcích na vyšší rychlost, nižší zpoždění a větší pokrytí a stabilitu. Síťoví inženýři a architekti musí při návrhu a nasazení dbát právě na tyto aspekty. Jedním ze způsobů, kterým je možné navržené topologie otestovat, je simulace. Simulace využívá simulační modely, které, pokud přesně odráží realitu, mohou poskytnout klíčové informace o topologiích v bezpečném prostředí a to za velice přívětivou cenu. Tato práce se zabývá analýzou a následným vylepšením dvou simulačních modelů dynamických směrovacích protokolů EIGRP a BGP. Tyto modely mohou být použity k vytvoření komplexních simulačních topologií a scénářů v diskrétním simulátoru OMNeT++.