Statistické ověřování modelů přibližných výpočetních systémů
| but.committee | doc. RNDr. Milan Češka, Ph.D. (předseda) doc. Ing. Vladimír Janoušek, Ph.D. (člen) Ing. Vladimír Bartík, Ph.D. (člen) doc. Ing. Jan Kořenek, Ph.D. (člen) doc. Ing. Michal Španěl, Ph.D. (člen) | cs |
| but.defence | Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných, např. ohledně důvodů pro převod stochastických problémů do podoby UPPAAL implementace, promítnutí se zpoždení do výsledných metrik či ohledně publikačního potenciálu práce. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm A - výborě. | cs |
| but.jazyk | čeština (Czech) | |
| but.program | Informační technologie | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Strnadel, Josef | cs |
| dc.contributor.author | Blažek, Michal | cs |
| dc.contributor.referee | Sekanina, Lukáš | cs |
| dc.date.created | 2024 | cs |
| dc.description.abstract | 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ů. | cs |
| dc.description.abstract | This bachelor's thesis focuses on the simulation of models of approximate multipliers. The main aim of the thesis is comparing selected properties of multipliers in an application-specific scope of input values. The thesis includes the conversion of multiplier models from the EvoApproxLib library into models used in the UPPAAL environment. These models are then simulated while monitoring their selected evaluation metrics such as error probability, mean absolute error, etc. From the obtained results, one can conclude that using a suitable approximate multiplier in a specific context can have a positive effect on the error in calculations. The results could therefore have further applications in the field of approximate computing systems. | en |
| dc.description.mark | A | cs |
| dc.identifier.citation | BLAŽEK, M. Statistické ověřování modelů přibližných výpočetních systémů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2024. | cs |
| dc.identifier.other | 150953 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/247809 | |
| dc.language.iso | cs | cs |
| dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
| dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
| dc.subject | modelování | cs |
| dc.subject | simulace | cs |
| dc.subject | aproximace | cs |
| dc.subject | formální verifikace | cs |
| dc.subject | statistické ověřování modelů | cs |
| dc.subject | násobičky | cs |
| dc.subject | aproximační násobičky | cs |
| dc.subject | stochastické časové automaty | cs |
| dc.subject | UPPAAL | cs |
| dc.subject | Python | cs |
| dc.subject | modelling | en |
| dc.subject | simulation | en |
| dc.subject | approximation | en |
| dc.subject | formal verification | en |
| dc.subject | statistical model checking | en |
| dc.subject | multipliers | en |
| dc.subject | approximate multipliers | en |
| dc.subject | stochastic timed automata | en |
| dc.subject | UPPAAL | en |
| dc.subject | Python | en |
| dc.title | Statistické ověřování modelů přibližných výpočetních systémů | cs |
| dc.title.alternative | Statistical Model Checking of Approximate Computing Systems | en |
| dc.type | Text | cs |
| dc.type.driver | bachelorThesis | en |
| dc.type.evskp | bakalářská práce | cs |
| dcterms.dateAccepted | 2024-06-13 | cs |
| dcterms.modified | 2024-06-17-08:46:04 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 150953 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.18 21:01:40 | en |
| sync.item.modts | 2025.01.15 20:28:04 | en |
| thesis.discipline | Informační technologie | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav počítačových systémů | cs |
| thesis.level | Bakalářský | cs |
| thesis.name | Bc. | cs |