2023
Browse
Recent Submissions
Now showing 1 - 5 of 143
- ItemPrediktivní řízení ohřevu TUV a vytápění pomocí metod strojového učení(Vysoké učení technické v Brně. Fakulta informačních technologií, ) Necpál, Dávid; Materna, Zdeněk; Zemčík, PavelPráca sa venuje vytvoreniu systému pre riadenie ohrevu teplej úžitkovej vody (TÚV) a vykurovania. Systém využíva metódy strojového učenia na predikovanie dát do budúcnosti - učenie a predikovanie opakujúcich sa rutín osôb v domácnosti, predikovanie spotreby teplej úžitkovej vody a vývoj teploty v domácnosti. Práca je rozdelená na dve časti, kde prvá časť je riadenie ohrevu teplej úžitkovej vody, druhá časť je riadenie vykurovania domácnosti. Obe časti systému využívajú vytvorené hardvérové zariadenia, ktoré realizujú zber dát a samotné ovládanie daných činností. Zariadenia zbierajú teploty vody z elektrického bojleru, teploty vzduchu z miestností domácnosti a informáciu o prítomnosti osôb v domácnosti. Namerané dáta sa využívajú pre tvorbu modelu na predikciu dát, ktoré sú využité pre finálne rozhodnutie, či je potrebné ohrev TÚV alebo vykurovanie domácnosti realizovať. Prvý podsystém pre ohrev TÚV dosahuje úsporu energie 20 až 24 %, druhý podsystém pre vykurovanie domácnosti 18 až 30 %. Prínosom vytvoreného systému je možnosť prediktívneho automatického riadenia ohrevu teplej úžitkovej vody a vykurovania, čo vedie ku zníženiu spotreby energie potrebnej pre spomenuté činnosti, ako aj možnému zvýšeniu komfortu v domácnosti.
- ItemRozpoznávání textu pomocí hlubokých neuronových sítí(Vysoké učení technické v Brně. Fakulta informačních technologií, ) Kavuliak, Daniel; Kišš, Martin; Hradiš, MichalCieľom tejto práce je zostrojiť model na rozpoznanie rukou písaných slov, ktorý bude používať non-autoregresívny dekóder. Tento typ dekóderu počíta predikcie znakov nezávisle na ostatných predikovaných znakoch, čo môže byť výhodné z hľadiska rýchlosti inferencie, ale kvalita predikcie je horšia. Motiváciou je navrhnúť non-autoregresívny dekóder, ktorý bude mať za úlohu spresňovať predikcie enkóderu. Úloha bola riešená pomocou dekóderov, ktoré predikcie enkóderu maskujú alebo čiastočne potláčajú informáciu kvôli využitiu informácie o nemaskovaných symboloch resp. využitiu informácie vstupnej sekvencie. Následne bola vykonaná séria experimentov, kde najlepší model dosiahol znakovej chybovosti 8.92 %. Zadanie ale nebolo splnené, pretože samotný enkóder dosiahol 6.38 %.
- ItemVyužití protipříkladů v syntéze kontrolerů pro POMDP(Vysoké učení technické v Brně. Fakulta informačních technologií, ) Frejlach, Jakub; Češka, Milan; Síč, JurajTato práce se zabývá částečně pozorovatelnými Markovskými rozhodovacími procesy \linebreak (POMDP), významnými stochastickými modely pro rozhodování za nejistoty a částečné pozorovatelnosti. POMDP lze aplikovat od navigace robotů až po samořídící vozidla. Nerozhodnutelný problém řízení POMDP vedl k různým přístupům, včetně konečných stavových kontrolerů (FSC) založených na pozorování a udržování histore v paměti. Identifikaci malých a ověřitelných FSC lze redukovat na syntézu Markovských řetězců. Tato práce se zaměřuje na induktivní syntézu řízenou protipříklady (CEGIS) implementovanou v rámci programu PAYNT a zkoumá využití Markovských rozhodovacích procesů jako protipříkladů. Je nastíněna nová hladová metoda pro konstrukci protipříkladů, která je implementována v programu PAYNT, která v některých případech vykazuje zlepšení oproti stávající metodě.
- ItemSystémy překladových modelů a jejich aplikace(Vysoké učení technické v Brně. Fakulta informačních technologií, ) Žitňanská, Lívia; Meduna, Alexandr; Burgetová, IvanaÚčelom práce je navrhnúť a formálne definovať systém prekladových modelov, vymedziť jeho vlastnosti a porovnať takýto systém s už existujúcimi systémami. V rámci práce vznikol Systém zásobníkových prevodníkov SPT tvorený viacerými upravenými zásobníkovými prevodníkmi. Jeho komponenty medzi sebou komunikujú pomocou komunikačných kľúčov prebratých z Paralelne komunikujúcich gramatických systémov (PCGS) a dokážu pracovať v troch módoch. Okrem teoretických definícií sa práca taktiež venuje aj implementácii daného systému, a to konkrétne na prípade prekladu DNA na RNA a na aminokyseliny pomocou dvojprvkového SPT.
- ItemAkcelerace ultrazvukové neurostimulace pomocí aritmetiky se sníženou přesností.(Vysoké učení technické v Brně. Fakulta informačních technologií, ) Duchoň, Radek; Jaroš, Jiří; Olšák, OndřejK-Wave je nástroj pro akustickou a ultrazvukovou simulaci s otevřeným zdrojovým kódem. Aktuální dostupné implementace jsou napsány v jazycích C++ a Matlab. Cílem této diplomové práce je akcelerovat existující implementaci ultrazvukové simulace pomocí výpočtů s nižší přesností na grafických kartách Nvidia za využití softwarové platformy CUDA. Dalším přínosem této práce by měla být snížená paměťová náročnost, což umožní provádění větších simulací. Snížená přesnost však nesmí vzhledem k využití například pro neurostimulaci mozku příliš narušit výsledky jako celek. Důležité je proto identifikovat vhodné veličiny, které lze uložit v nižší přesnosti. V této práci budou analyzovány možné přístupy a jejich efektivita při využití nižší přesnosti. Dále pak bude proveden návrh řešení, jehož částí bude identifikace potenciálních veličin pro redukci. Na to bude navazovat specifikace docílené implementace a její testování. Závěr se bude věnovat zhodnocení řešení na základě dosažených výsledků z testování.