|
|
Application of Genetic Algorithms and Data Mining in Noise-based Testing of Concurrent Software
Šimková, Hana ; Kofroň, Jan (oponent) ; Lourenco, Joao (oponent) ; Vojnar, Tomáš (vedoucí práce)
This thesis proposes an improvement of the efficiency of testing concurrent software by employing data mining techniques and genetic algorithms in the process of testing concurrent software. Concurrent, or multi-threaded, programming has become very popular over the last few years. However, as the concurrent programming is far more demanding the sequential programming, its increased use leads to a significant increase in the number of errors that appear in commercial software due to errors in synchronization. Finding such errors using traditional testing methods is difficult. Moreover, repeated test executions of traditional testing that are performed in the same environment will typically examine similar interleavings only. Hence, the noise-based injection approach is used for influencing the scheduling by injecting various kinds of noise (delays, context switches, and so on) into the common thread behaviour which stress the software and can to show some rare behaviour. However, for the noise injection to be efficient, one has to choose suitable noise injection heuristics from among the many existing ones as well as to suitably choose values of their various parameters, which is not easy. In this work, there are used data mining methods and genetic algorithms and their combinations to deal with the problem of choosing such noise injection heuristics and values of their parameters. Besides setting up of the goals of the thesis, this proposal also provides a brief summary of the state of the art in application of data mining techniques and genetic algorithms to program testing problems.
|
|
| |
|
| |
|
|
Impact of Portugal on the European Union Training Mission in Mozambique
Snopko, Leonard ; Doboš, Bohumil (vedoucí práce) ; Kofroň, Jan (oponent)
Diplomová práca opisuje vojenskú výcvikovú misiu Európskej únie (EUTM) v Mozambiku, ktorá operuje v krajine od roku 2021. EU pri jej tvorbe stavala na základoch Portugalskej výcvikovej misie, ktorá začala pár mesiacov pred EUTM. Práve Portugalsko je dlhoročný partner svojej bývalej kolónii z Afrického kontinentu, s ktorou od doby Karafiátovej revolúcii pravidelne aktualizuje bilaterálny Rámcový program spolupráce v oblasti obrany, tzv. Programa-Quadro. V reakcii na povstanie militantnej skupiny Ansar al-Sunna wa Jama'a (ASWJ) v severnom regióne Mozambiku Cabo Delgado, v októbri 2017 sa začalo Portugalsko zaoberať možnosťou o doplnenie nového Projektu 6 v Programe obrannej spolupráce s Mozambikom. Mal podporovať výcvik a budovanie kapacít Mozambických ozbrojených síl (FADM) pre oblasť protipovstaleckých operácií. K potvrdeniu Projektu došlo podpisom nového Programa-Quadro v Lisabone, v máji 2021, obidvomi ministrami národnej obrany Portugalska ako aj Mozambiku. Portugalskí predstavitelia zároveň využili príležitosť predsedníctva v Rade EU v prvej polovici 2021 k prerokovaniu možnosti uskutočnenia EUTM v Mozambiku. Mala nadviazať na Portugalskú výcvikovú misiu s cieľom posilniť spôsobilosti FADM pomocou ich zlepšenia ich vybavenia a vytvorením Síl rýchlej reakcie (QRF). Zároveň sa práca zaoberá...
|
|
|
Jerry - aplikace pro sdílení klávesnice a myši
Klapová, Veronika ; Ježek, Pavel (vedoucí práce) ; Kofroň, Jan (oponent)
Cílem práce bylo vytvořit software pro ovládání více počítačů na jednom pracovním místě prostřednictvím jedné sady vstupních zařízení. Program se skládá z řídící apli- kace pro operační systém Windows a klientské aplikace pro řízené počítače, jenž může běžet na operačních systémech Windows, Linux a macOS. Komunikace mezi počítači je šifrována. Kromě vstupu klávesnice a myši, je možné sdílet i obsah schránky. Hlavním přínosem tohoto programu, v porovnání s jinými softwary, je správná interpretace kláves bez závislosti na aktuálním stavu řídícího počítače, jeho rozložení a mapování. Nedochází k chybám u psaní znaků s diakritikou, jeho běh nepoškozuje odezvu systému a neklade omezení na parametry virtuální plochy. Práce zahrnovala nejen implementaci samotného programu, ale také analýzu chyb jak ve funkcích rozhraní, tak i v jejich dokumentaci a způsobu šíření zpráv v systému Windows. 1
|
|
| |
|
|
Nowcasting as the new potential predicting method for the policy-makers
Chaloupka, David ; Kofroň, Jan (vedoucí práce) ; Parízek, Michal (oponent)
Tato bakalářská práce zkoumá roli nowcastingu jako metodě pro předpovídání v reálném čase pro tvorbu politiky. Studie porovnává informační hodnotu makroekonomického forecastingu během let 2019 až 2022 a potenciál now- castingu jako alternativy. Analýzou vybraných forecastingových a nowcastin- gových indexů bylo zjištěno, že nowcasting v roce 2020, který byl ovlivněn pan- demií COVID-19, vykazuje skvělou úspěšnost. Avšak čelí omezením z hlediska časového horizontu předpovědí a požadavků na vysokofrekvenční data. Ačkoliv během krizí forecasting může ztratit svou informační hodnotu, nowcasting jej nemůže zcela nahradit v dlouhodobé předpovědi. Místo toho se oba přístupy mohou doplňovat a na jejich základě zlepšovat politická rozhodnutí.
|
|
| |
|
|
The Polish model of the populist party: a new perspective on the populist radical right
Greger, Vojtěch ; Kofroň, Jan (vedoucí práce) ; Guasti, Petra (oponent)
The Polish model of the populist party: a new perspective on the populist radical right Master's thesis Bc. Vojtěch Greger Abstrakt Vzestup populistické radikální pravice (PRP), skupiny stran kritických vůči zavedeným normám západní liberální demokracie, v desátých letech, který se manifestoval například událostmi jako Brexit či převzetí Maďarska neliberálními silami, se stal předmětem značného zájmu ze stran akademiků i veřejnosti, byv vnímán s velkými obavami. Akademické studie PRP často vyvyšovaly nativistické prvky přítomné v rétorice těchto stran a apelům ekonomickým věnovaly značně méně času. V posledních několika letech se však v akademické sféře začala objevovat literatura poukazující na důležitost ekonomické deprivace v umocňování podpory stran PRP. Tato práce je založena na argumentu této literatury, že volební úspěchy PRP jsou velmi často taženy právě ekonomickou deprivací a nespokojeností, která z ní plyne. Tento argument je ilustrován analýzou volební podpory polské strany Právo a spravedlnost (PiS) ve volbách v letech 2015 a 2019 za použití regrese nejmenších čtverců (OLS) a geograficky vážené regrese (GWR). Naše výsledky ukazují, že strukturální ekonomické faktory, zejména podíl pracujících v primárním sektoru, jsou klíčovými prediktory podpory PiS. Těmito zjištěními podporujeme zjištění již...
|
|
|
Novus ordo seclorum: A Historical Analysis of American Isolationism
Young, Caine ; Kofroň, Jan (vedoucí práce) ; Romancov, Michael (oponent)
Abstraktní Ústřední principy této práce se snaží vysvětlit, co je americká izolacionistická teorie a jak se poprvé objevila v zemi. Níže je napsána široká analýza toho, proč měla specifická značka americké izolace pozoruhodnou životnost v průběhu základních let raných a pozdějších fází americké epochy, a to i v drasticky se měnících geopolitických podmínkách. Současně se práce bude snažit položit otázku, proč a zda vůbec konkrétní a zásadní geopolitické události představovaly porušení základní teorie mezinárodních vztahů americké neintervence ze strany zahraničněpolitické elity. Tyto diskutované události slouží jako důležité příklady sjednocujících případových studií amerického zahraničněpolitického myšlení a politických a vojenských akcí obecněji. Mezi případy patří mexicko-americká válka; španělsko-americká válka; respektive druhá světová válka. Poté jsou diskutovány aktuální příklady případových studií, aby bylo možné posoudit důsledky vracejícího se izolacionistického napětí v americkém politickém životě. Po pečlivém zvážení akademické literatury a analýze zdrojů zahrnujících písemná veřejná vystoupení předních politiků, intelektuálů, obchodních vůdců a občanských myslitelů své doby, stejně jako surový výzkum numerických dat, kombinace základních principů kolem útočného realismu a Spojených Mimořádně...
|
host ::
RSS.