|
|
Practical Methods of Automated Verification of Concurrent Programs
Fiedor, Jan ; Arcaini, Paolo (oponent) ; Farchi, Eitan (oponent) ; Vojnar, Tomáš (vedoucí práce)
Nowadays, multi-threaded programs are quite common and so are concurrency errors. Over the years, many techniques were developed to detect such errors, yet software developers still struggle to find the right tools to analyse their programs. The reason is simple, working does not always mean practical. Many tools implementing the detection techniques are hard to use, tailored for a specific kind of programs or synchronisation, or do not scale well to handle large software. For some types of concurrency errors, no tools even exist, yet many software developers encounter such errors in their programs. The main goal of this thesis is to develop new techniques for detecting errors in multi-threaded programs. These techniques should be able to handle complex programs, allow one to detect some of the less studied types of concurrency errors, and support a broad variety of programs.
|
|
|
Automatická tvorba testovacích případů z datových toků
Kraut, Daniel ; Fiedor, Tomáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá automatickou tvorbou testovacích případů na úrovni jednotkového testování, pro zdrojové texty v jazyce C. K dosažení automatizace jsou použity metody přístupu k software jako k datovým tokům proměnných. Je zde nastíněn náhled na průběh tvorby testů a funkci CSP solverů, které jsou nezbytnou částí pro rozhodnutelnost těhto problémů. Statická analýza kódu je umožněna knihovnou LibTooling v projektu překladačového front-endu Clang. Jsou uvedeny výstupy z aplikace, jimiž jsou automaticky vytvořené vstupní hodnoty pro testovací případy.
|
|
|
Komparace výsledků talentových zkoušek z atletiky v letech 2007 - 2016
Skalická, Andrea ; Jebavý, Radim (vedoucí práce) ; Vindušková, Jitka (oponent)
Název: Komparace výsledků talentových zkoušek z atletiky v letech 2007 - 2016 Cíle: Cílem práce je porovnání výsledků talentových zkoušek z atletiky na UK FTVS v letech 2007 - 2016. Ve zkoumané skupině jsou jak muži, tak ženy jednooborových i dvouoborových forem studia, prezenční i kombinované formy. Metody: Metodika práce je zaměřena na všechny uchazeče a uchazečky, kteří se v letech 2007 - 2016 přihlásili k talentovým zkouškám a dosáhli minimálního požadovaného bodového zisku 1 bod. Výsledky: Sledují výkonnost uchazečů v běžeckých disciplínách v rozmezí deseti let. Klíčová slova: atletika, testování, talentové zkoušky, motorické testy, 800 m žen, 1500 m mužů, sprint 100 m
|
|
|
Rozcvičení a tonizace ve fotbale
Slicho, Tomáš ; Jebavý, Radim (vedoucí práce) ; Hojka, Vladimír (oponent)
Název: Rozcvičení a tonizace ve fotbale Cíle: Komparace vlivu dvou typů rozcvičení na opakované testy explozivní síly horních a dolních končetin, akcelerační a agility test. Metody: Výzkumný soubor se skládal ze 17 hráčů kategorie starších žáků, kteří absolvovali čtyři testy po dvou vybraných typech rozcvičení, rozcvičení s tonizací a rozcvičení bez tonizace. Měřené testy se skládali z akcelerace na 30 metrů, člunkového běhu, hodu medicinbalem a skoku do dálky. Měřilo se v celkové době tří tréninků, s týdenní pauzou mezi jednotlivými testování, v rámci terénního experimentu. Ve výsledkové části jsme použili metodu analýzy pro rozbor výsledků všech testů. Komparaci jsme využili při porovnávaní výsledků testů po dvou různých typech rozcvičení. Naměřené hodnoty byly zpracovány pomocí tabulek a grafů. Výsledky: Hodnoty hráčů v testech po tonizačním rozcvičení byli lepší nežli výsledky hráčů po rozcvičení bez tonizace, ale na hranici malé věcné významnosti. Největší rozdíl byl v testu akcelerace na 30 m, nejmenší rozdíl byl v hodu medicinbalem. První hypotéza se tak nepotvrdila, druhá byla ale úspěšně potvrzena. Závěr: I když se z výsledků, které jsme naměřili první hypotéza nepotvrdila, můžeme mluvit o tendencích zlepšení ve prospěch experimentální skupiny na úrovni malé věcné významnosti. Klíčová...
|
|
|
Kontinuum léčby virové hepatitidy typu C mezi klienty nízkoprahových programů pro uživatele drog v Praze
Havlíková, Petra ; Mravčík, Viktor (vedoucí práce) ; Janíková, Barbara (oponent)
Východiska: Virová hepatitida typu C (VHC) představuje rozsáhlý veřejnozdravotní problém celosvětově a také v České republice. V ČR žije podle odhadu z roku 2015 až 80 tisíc osob s chronickou VHC, většina z nich je pravděpodobně tvořena injekčními uživateli drog. V současné době probíhají globální i národní snahy o eliminaci VHC, které se soustřeďují především na zkvalitnění léčebného kontinua od zajištění dostupnosti testování přes zapojení této skupiny do léčby, udržení v léčbě, dosažení léčebné odpovědi až po následnou péči. Cíl: Popsat kontinuum péče o injekční uživatele drog v oblasti VHC (zmapovat protestovanost, zjistit, jaká část reaktivních klientů vstupuje do další léčby, kolik klientů léčbu dokončí) a popsat faktory, které na tento proces působí. Na základě získaných dat se pokusit vytvořit doporučení pro pracovníky adiktologických služeb směrem ke zlepšení kontinua péče. Metodika: Bylo provedeno dotazníkové šetření mezi klienty nízkoprahových kontaktních center pro uživatele drog v Praze. Výzkumný soubor tvořilo celkem 60 namátkově vybraných respondentů, vždy 20 z každého ze tří center. Data byla analyzována pomocí deskriptivní statistiky. Sběr dat byl proveden v srpnu 2019. Výsledky: Z celkem 60 respondentů bylo celkem 37 (61,6 %) v posledních 12 měsících testováno na VHC. Celkem 25 z...
|
|
|
Srovnání přístupů k testování anglického a francouzského jazyka v mezinárodních zkouškách
Burgonová, Nicole ; Klinka, Tomáš (vedoucí práce) ; Nováková, Sylva (oponent)
Tato diplomová práce se zabývá anglickými a francouzskými mezinárodními zkouškami a zejména se zaměřuje na to, jak organizace v těchto zkouškách přistupují k testování znalostí daného jazyka. V teoretické části je popsán proces koncepce testů, stejně tak jako požadavky na kvalitní test a úlohy, které testy obsahují. Práce se zaměřuje i na to, co to jsou řečové dovednosti, a jakým způsobem je lze testovat. Prostor je věnován i obecnému představení zvolených institucí a druhům zkoušek, které potenciálnímu zájemci nabízejí. V praktické části jsou jednotlivé zkoušky analyzovány na základě ukázkových testů, které jsou volně dostupné na stránkách institucí, a následně mezi sebou porovnány. Z výsledků vyplývá, že přestože obě instituce a jimi nabízené zkoušky vycházejí ze stejného rámce a zároveň se zaměřují na testování řečových dovedností kandidáta, jejich přístup k testování se značně liší. Tato práce proto také nabízí komentář k těmto objeveným rozdílům a klade si za cíl nabídnout možné alternativy a úpravy, které by mohly pomoci ke kvalitnějšímu testování znalosti těchto jazyků. Dalším cílem je také posloužit hlavně zájemcům, které by zkoušky zajímaly a také učitelům, kteří své studenty na takové zkoušky připravují. KLÍČOVÁ SLOVA anglický jazyk, francouzský jazyk, testování, mezinárodní jazykové...
|
|
|
Deskripce výběrových kondičních kritérií do vybraných národních reprezentací a vztah vybraných kritérií s výkonem na skifu
Hellebrand, Jaroslav ; Bílý, Milan (vedoucí práce) ; Lukš, Josef (oponent)
Název: Deskripce výběrových kondičních kritérií do vybraných národních reprezentací a vztah vybraných kritérií s výkonem na skifu Cíl: Cílem práce je deskripce výběrových kondičníh kritérií používaných pro výběr do národních rerprezentací a zjištění vztahu těchto kritérií s veslařským výkonem na skifu. Metody: Práce je strukturovaná jako deskriptivní studie. Teoretická část je rešeršního charakteru, praktická část pak řeší pomocí korelační analýzy vztah vybraných kondičních kritérií získaných z měření 11 probandů národní výkonostní úrovně. Od každého probanda bylo zjištěno 12 údajů, rozdělených do 3 kategorií a to: a) Testy maximální síly formou jednoho opakovacího maxima (1RM) b) Testy vytrvalostních schopností c) Výkony na veslařském trenažeru Všechny testy jsou vztahovány k výkonu na vodě na skifu. Výsledky: Bylo zjištěno že veslařské federace vybírají závodníky primárně pomocí testování na ergometru, konkrétně test na 2 km a 5km, nebo 6 km. Skifařský výkon nejvíce závisí na úrovni vytrvalostních schopností, u kterých byla zjištěna korelace (r=0,62) a na mrtvém tahu (r=0,64). Irelevantním se v tomto testování ukázal přepočet výkonu na kilogram hmotnosti u vytrvalostních testů, stejně jako dřep s činkou (r=0,00) a běh na 1500 metrů (r=0,03). Veslařské specifické testy na trenažéru pak vyšly ve...
|
|
|
Porovnání vytrvalostních testů výročního přezkoušení vojáků AČR z tělesné přípravy
Gintner, Marek ; Sýkora, Karel (vedoucí práce) ; Vágner, Michal (oponent)
Název: Porovnání vytrvalostních testů výročního přezkoušení vojáků AČR z tělesné přípravy Cíle: Hlavním cílem této práce bylo porovnání hodnot tepových frekvencí v čase při provedení testů v běhu na 12 minut a 300 metrů plavání. Klíčové byly výsledky probandů, kteří test splnili dle norem AČR. Metody: Komparační párová studie byla provedena na 14 probandech Vojenského oboru Univerzity Karlovy pomocí studentova t-testu. Ten je použit na změny tepových frekvencí a energetického výdeje. Každý dobrovolník, který se zúčastnil testování, provedl dva zátěžové testy: 3000 metrů běhu a 300 metrů plavání s týdenním odstupem mezi nimi. Během testů byly snímány změny tepové frekvence. Výsledky: Bylo vyvráceno, že mezi oběma testy jsou signifikantní statistické rozdíly vzhledem k naměřené tepové frekvenci ve srovnávaném čase. Klíčová slova: armáda, testování, tepová frekvence, měření zdatnosti, plavání, běh
|
|
|
Rozcvičení a tonizace ve fotbale
Slicho, Tomáš ; Jebavý, Radim (vedoucí práce) ; Hojka, Vladimír (oponent)
Název: Rozcvičení a tonizace ve fotbale Cíle: Cílem práce je porovnání dvou typů rozcvičení u fotbalistů. Předpokládám, že hráči budou mít po tonizačním rozcvičení statisticky významnější rozdíly, nežli po statické variante. Metody: Výzkumný soubor se skládal ze 17 elitních hráčů kategorie starších žáků, kteří absolvovali čtyři testy po dvou vybraných typech rozcvičení v celkové době tří tréninků, v rámci terénního experimentu. Ve výsledkové části jsme použili metodu analýzy pro rozbor výsledků všech testů. Komparaci jsme využili při porovnávaní výsledků testů po dvou různých typech rozcvičení. Naměřené hodnoty byly zpracovány pomocí základních matematicko-statistických metod. Výsledky: Výsledky přináší informace o účinnosti a rozdílu tonizačního a statického rozcvičení na základě získaných hodnot provedených testů. Hodnoty hráčů v testech po tonizačním rozcvičení byli lepší o 19,1%, nežli po statické variante. Byla tak potvrzena první hypotéza. Další dvě byli tak vyvráceny. Závěr: Zjistili jsme, že tonizační rozcvičení má statisticky významnější účinek na výsledky testů fotbalistů, nežli statická varianta. Klíčová slova: trénink, testování, analýza, porovnání, terénní experiment
|
|
|
Analýza kondiční přípravy v české extralize a NHL u vybraných klubů
Kämpf, Eliška ; Jebavý, Radim (vedoucí práce) ; Feher, Jan (oponent)
1 Abstrakt Název: Analýza kondiční přípravy v české extralize a NHL u vybraných klubů Cíle práce: Analýza a komparace vybraných parametrů kondiční přípravy formou rozhovoru v nejvyšších soutěžích - české extralize a NHL Metody: V práci je použita metoda analýzy a metoda komparace. Metoda analýzy byla použita v rozboru kondiční přípravy v jednotlivých klubech, a metoda komparace byla aplikována v části porovnávání informací, které byly získány na základě polostrukturovaného rozhovoru. Výsledky: Na základě analýzy a komparace přístupů kondičních trenérů v týmu Piráti Chomutov a Chicago Blackhawks ke kondiční přípravě mimo led můžeme tvrdit, že oba trenéři přistupují ke kondiční přípravě rozdílně. Kondiční příprava v chomutovském týmu probíhá kolektivně a kondiční příprava v týmu Chicago Blackhawks probíhá individuálně. Klíčová slova: lední hokej, rozdíly, roční tréninkový cyklus, nejvyšší soutěž, testy
|
host ::
RSS.