|
| |
|
|
Systém pro rozpoznávání dezinformací v prostředí webu
Večerka, Lukáš ; Žádník, Martin (oponent) ; Strnadel, Josef (vedoucí práce)
Tato práce se zabyvá návrhem, realizací a ověřením systému pro automatické rozpoznávání dezinformací v prostředí webu. Představuje problematiku šíření dezinformací v online prostředí a jeho dopad na společnost. Zaměřuje se na trénování několika Českych transformers jazykovych modelů pro rozpoznání dezinformací a dále na automatickou extrakci obsahu článků z českych internetovych novin a jejich analyzu využitím klasifikace textu a zpracování přirozeného jazyka pomocí metod hlubokého učení. Vysledky těchto analyz jsou pak prezentovány na webovém uživatelském rozhraní s cílem poskytnout platformu pro ověření článků, autorů a zdrojů. Rozhraní by mohlo byt použito k anotaci dat experty pro průběžné vylepšování jazykovych modelů.
|
|
|
Nástroj pro uživatelem určený publikační výstup ze vstupních textových dat
Novák, Michal ; Bidlo, Michal (oponent) ; Strnadel, Josef (vedoucí práce)
Tato bakalářská práce se zaměřuje na návrh a implementaci nástroje určeného k tvorbě publikačních výstupů ze vstupních textových dat. Cílem práce je navrhnout a vytvořit univerzální a modulární program, který za pomoci uživatelské konfigurace dokáže převést surová (serializovaná) data do vizuální reprezentace, jež může být nadále použita v publikacích. V práci jsou zkoumány informační zdroje, jejich dělení a použití. Dále je proveden rozbor běžných formátů pro serializovaná a vizualizovaná data, doplněný o metody a přístupy k vizualizaci dat. Jsou zde vysvětleny jednotlivé části a přístupy k návrhu nástroje, na které navazuje popis implementace. Na závěr je provedeno uživatelské testování a zhodnocení kvality implementace.
|
|
| |
|
| |
|
|
Analýza dopadu strategií řešení problémů pomocí UPPAAL STRATEGO
Karásek, Filip ; Žádník, Martin (oponent) ; Strnadel, Josef (vedoucí práce)
Tato práce analyzuje a řeší dopad strategií vytvořených pomocí Uppaal Stratego. V této práci je ukázána implementace čtyř problémů, čítač, bludiště, bitmapa a křižovatka. Nad těmito modely jsou prováděny experimenty a vytvářeny strategie. Pro první tři problémy byly nalezeny strategie s pozitivním dopadem na daný systém. Pro poslední model křižovatky, se nepodařilo nalézt takovou strategii, která by prokazatelně vylepšila systém. Neprokazatelně, protože se nepodařilo nalézt strategii pro model s vyšším počtem vozidel v křižovatce a to z důvodu omezení Uppaal Stratego a komplexnosti modelu.
|
|
|
Statistické ověřování modelů přibližných výpočetních systémů
Blažek, Michal ; Sekanina, Lukáš (oponent) ; Strnadel, Josef (vedoucí práce)
Tato bakalářská práce se zaměřuje na statistické ověřování modelů přibližných násobiček. Zejména se zabývá srovnáním vlastností násobiček při generování jejich vstupních hodnot podle různých pravděpodobnostních rozdělení. Součástí práce je převod modelů násobiček z knihovny EvoApproxLib do modelů v prostředí UPPAAL. Vytvořené modely jsou poté simulovány s ohledem na vybrané hodnotící metriky, jako např. pravděpodobnost chyby, průměrná absolutní chyba aj. Ze získaných výsledků lze usuzovat, že použitím vhodné aproximační násobičky pro provádění výpočtů v rámci konkrétní aplikace je možné docílit menší chyby ve výpočtech. Výsledky by proto mohly mít další uplatnění v oblasti přibližných výpočetních systémů.
|
|
|
Sledování tréninku s využitím technologie NFC
Blažík, Vojtěch ; Zachariášová, Marcela (oponent) ; Strnadel, Josef (vedoucí práce)
Tato práce se zabývá vývojem mobilní aplikace využívající technologii NFC pro sledování tréninků a monitorování využití strojů v posilovnách. V práci jsou shrnuty základní důvody a přístupy ke sledování tréninků a vytížení strojů, shrnuje také technologii NFC a vývoj mobilních aplikací se zaměřením na multiplatformní framework Flutter. Výsledná aplikace je založená na architektuře klient-server s podporou offline režimu a k identifikaci stroje a cviků využívá identifikátory rozmístěných NFC štítků. Přínosem práce je ukázka funkčního systému, který využívá tuto technologii netradičním způsobem k dosažení vyššího uživatelského komfortu.
|
|
|
Modelování dopravy
Kuča, Jan ; Strnadel, Josef (oponent) ; Chudý, Peter (vedoucí práce)
Cílem této práce je porovnat efektivitu různých typů křižovatek pomocí simulace nad reálnými daty s výstupem v podobě porovnání průjezdnosti. Data byla získána z oficiálních statistik Ředitelství silnic a dálnic a jejich vizualizaci a zpracování v namodelovaných situacích zajišťuje simulátor SUMO. Modelem jsou vybrané soustavy silnic a křižovatek.
|
|
|
Analýza vlastností vlakového provozu řízeného pomocí ERTMS/ETCS
Ondroušek, Adam ; Šimek, Václav (oponent) ; Strnadel, Josef (vedoucí práce)
Cílem této práce je analýza vlakového provozu řízeného ERTMS/ETCS především na území České republiky. Byl vytvořen model pomocí softwaru Uppaal, který simuluje vlakový provoz. Následně byl navržen scénář, který podstatně zvýšil efektivitu modelované tratě. Tento scénář byl verifikován pomocí simulačních a pravděpodobnostních dotazů Uppaal SMC. Povedlo se dosáhnout příznivých výsledků zdvojnásobením intervalů osobní dopravy ve frekventovaných hodinách a doplnit nákladní vlakové jednotky do provozu v této době s minimální časovou prodlevou při zachování bezpečnosti provozu. Model je koncipován tak, aby dokázal simulovat libovolnou vlakovou jednotku a traťový úsek a mohl by tedy sloužit jako nástroj pro plánování a analýzu vlakové dopravy po zavedení ERTMS/ETCS.
|
host ::
RSS.