|
Analysis and Testing of Concurrent Programs
Letko, Zdeněk ; Lourenco, Joao (oponent) ; Sekanina, Lukáš (oponent) ; Vojnar, Tomáš (vedoucí práce)
The thesis starts by providing a taxonomy of concurrency-related errors and an overview of their dynamic detection. Then, concurrency coverage metrics which measure how well the synchronisation and concurrency-related behaviour of tested programs has been examined are proposed together with a~methodology for deriving such metrics. The proposed metrics are especially suitable for saturation-based and search-based testing. Next, a novel coverage-based noise injection techniques that maximise the number of interleavings witnessed during testing are proposed. A comparison of various existing noise injection heuristics and the newly proposed heuristics on a set of benchmarks is provided, showing that the proposed techniques win over the existing ones in some cases. Finally, a novel use of stochastic optimisation algorithms in the area of concurrency testing is proposed in the form of their application for finding suitable combinations of values of the many parameters of tests and the noise injection techniques. The approach has been implemented in a prototype way and tested on a set of benchmark programs, showing its potential to significantly improve the testing process.
|
|
Vliv rekonverze na hodnotu bývalého církevního objektu na jižní Moravě
Sýkorová, Michaela ; Gardášová, Alena (oponent) ; Hlavinková, Vítězslava (vedoucí práce)
Diplomová práce se zabývá oceněním bývalé fary v obci Přítluky na jižní Moravě. Základní myšlenkou je vyhodnotit vliv, který má změna účelu užívání spojená s rekonstrukcí na hodnotu objektu. A to z pohledu tržního přístupu i platných oceňovacích předpisů. Nejprve je v práci rozebrán teoretický základ dané problematiky jako pojmy, legislativa a postupy oceňování. Následně je charakterizována konkrétní situace lokality a objektu a v poslední části je popsána a zdůvodněna metodika vlastního ocenění. V závěru jsou výsledky vyhodnoceny a okomentovány.
|
|
Methods for class prediction with high-dimensional gene expression data
Šilhavá, Jana ; Matula, Petr (oponent) ; Železný, Filip (oponent) ; Smrž, Pavel (vedoucí práce)
This thesis deals with class prediction with high-dimensional gene expression data. During the last decade, an increasing amount of genomic data has become available. Combining gene expression data with other data can be useful in clinical management, where it can improve the prediction of disease prognosis. The main part of this thesis is aimed at combining gene expression data with clinical data. We use logistic regression models that can be built through various regularized techniques. Generalized linear models enable us to combine models with different structure of data. It is shown that such a combination may yield more accurate predictions than those obtained based on the use of gene expression or clinical data alone. Suggested approaches are not computationally intensive. Evaluations are performed with simulated data sets in different settings and then with real benchmark data sets. The work also characterizes an additional predictive value of microarrays. The thesis includes a comparison of selected features of gene expression classifiers built up in five different breast cancer data sets. Finally, a feature selection that combines gene expression data with gene ontology information is proposed.
|
|
Měření výkonnosti lidského kapitálu ve stavebním podniku
BURIÁNKOVÁ, Irena
Hlavním cílem této bakalářské práce je provést měření výkonnosti lidského kapitálu ve zvoleném stavebním podniku. Dalším cílem je uvést návrhy na zlepšení, které povedou ke zvýšení výkonnosti lidského kapitálu. Bakalářská práce se skládá ze dvou částí. V teoretické části jsou uvedeny informace z české a zahraniční literatury. Poznatky z teoretické části jsou následně aplikovány v praktické části. Součástí praktické části jsou základní informace o podniku a uvedeno je i srovnání s konkurenčními podniky. Největší pozornost je ale věnována výkonnosti lidského kapitálu, která je měřena pomocí produktivity práce. Pro výpočet produktivity práce jsou zvoleny dva ukazatele a to tržby a přidaná hodnota. Oba ukazatele jsou porovnávány dvojím způsobem a to k průměrnému přepočtenému počtu zaměstnanců a k osobním nákladům. Výpočty jsou prováděny z interních zdrojů podniku za období 2007-2014.
|
|
Příspěvky sekcí (NACE-CZ) k tvorbě hrubé přidané hodnoty
BEDNÁŘOVÁ, Monika
Cílem této diplomové práce bylo zhodnocení příspěvků sekcí (NACE-CZ) k tvorbě hrubé přidané hodnoty. V první části této práce byly popsány teoretické pojmy související s hrubou přidanou hodnotou národního hospodářství. K výpočtům byly použity analytické postupy, které lze využít pouze v případě, že se jedná o aditivní vazbu mezi jednotlivými faktory. Na základě postupů uvedených v metodice došlo v praktické části ke zhodnocení příspěvků sekcí k tvorbě hrubé přidané hodnoty národního hospodářství. V daném časovém horizontu příspěvky institucionálních sektorů i skupin oddílů v členění dle úrovně technologie vykázaly určitou závislost na reálném hospodářském cyklu. Ačkoliv nejsilnějším institucionálním sektorem jsou nefinanční podniky, tak v době krize byly spolu s vládními institucemi zasaženy nejvíce. Naopak silnou pozici v době krize vykázal sektor finančních institucí. Co se týče seskupení oddílů dle úrovně technologie, nejvíce k hrubé přidané hodnotě národního hospodářství přispívají skupiny B1 a B2. U všech skupin byl zaznamenán vliv hospodářského cyklu, ale skupina C dle výsledků nereagovala až tak citlivě jako ostatní skupiny.
|
|
Intradenní obchody
BOHINSKÝ, Petr
Tato práce je zaměřena na porovnání výnosnosti intradenních a krátkodobých obchodů za použití technické analýzy. Aplikací metody křížení klouzavých průměrů v období 1. ledna 2014 do 1. srpna 2016. Obchodování probíhá na základě nákupních a prodejních signálů generovaného technického indikátoru v investičním programu Alapri a XTB. Obchodovány jsou indexy DAX30, S§P100 a komodity zlato a ropa. Teoretická část práce se věnuje finančnímu trhu, komoditnímu trhu, popisuje intradenního a pozičního obchodníka včetně jejich výhod a nevýhod. Dále se zabývá technickou analýzou a vysvětluje základní investiční výrazy. Praktická část práce se věnuje popisu výsledků vymodelovaných na reálných historických datech. Na základě backtestovaných výsledků lze určit, že metoda křížení klouzavého průměru s hodnotou instrumentu je výhodnější pro krátkodobé obchody, v modelovaném případě na denním grafu než pro intradenní obchody modelovaným na čtyřhodinovém grafu. Dále bylo při modelaci zjištěno, že je výnosnější nakoupit instrumenty a nechat je za daných podmínek zhodnotit finančním trhem. Tedy nakoupit je na začátku investičního období a na konci období prodat bez dalších nákupních a prodejních operací.
|
|
Podniková kultury v organizaci HELUZ cihlářský průmysl v.o.s.
LOMSKÁ, Blanka
Cílem této diplomové práce bylo analyzovat podnikovou kulturu ve společnosti HELUZ cihlářský průmysl v.o.s. a navrhnout změny podnikové kultury. První část práce shrnuje poznatky odborné literatury se zaměřením na podnikovou kulturu, její typologii, vlivy na firemní strategii a výkonnost podniku. Praktická část analyzuje na základě kvantitativních a kvalitativních metod vybranou společnost. Obsahuje charakteristiku firmy, prvky její firemní kultury, strategii a cíle společnosti. Dále se věnuje inovační a personální politice, atmosféře v organizaci a spokojenosti zaměstnanců. Na základě získaných údajů navrhuje změny, které slouží jako podklad při tvorbě podnikové strategie.
|
|
Oceňování rodinného domu
VRBOVÁ, Denisa
Tato práce se zabývá oceňováním rodinného domu. Trh nemovitostí a oceňovaná nemovitost se nachází v mikroregionu Lipno. V úvodní části je popsán trh nemovitostí, platná legislativa a základní pojmy týkající se oceňování a nemovité věci. Dále v teoretické části jsou popsány metody a přístupy na základě tržního principu a cenového předpisu. Dále v práci je popsán druh lidí, kteří oceňují nemovitost, mezi ně patří znalci a odhadci. V úvodu praktické části je popsán trh nemovitostí na Lipensku. Je porovnána kupní cena a odhadní cena rodinného domu v okresu Prachatice a Český Krumlov. Výsledkem porovnání okresů vychází, že větší poptávka po nemovitých věcí je v okresu Český Krumlov. Nabádá k tomu i fakt, že v okrese Český Krumlov je větší počet převodů rodinných domů než v okrese Prachatice. Ve druhé části práce je popsán vybraný rodinný dům, který se nachází v Černé Pošumaví v okrese Český Krumlov. Rodinný dům je oceněn porovnávací, výnosovou, nákladovou metodou a cenovým předpisem. Kromě tržní ceny je zjištěna cena reprodukční a administrativní a výnosová hodnota.
|
| |
|
Tanec jako prostředek integrace dospělých s mentálním postižením
KRAUMANNOVÁ, Eva
Cílem bakalářské práce Tanec jako prostředek integrace dospělých s mentálním postižením bylo vytvořit, realizovat a vyhodnotit taneční kurz zaměřený na rozvoj sociálních kompetencí dospělých lidí s mentálním postižením. Práce se věnuje dospělým lidem s mentálním postižením a volnočasové aktivitě zaměřené na tanec. Ve volném čase lidí s mentálním postižením je prostor pro rozvíjení sociálních kompetencí. V reakci na současnou situaci nabídky volnočasových aktivit pro dospělé lidi s mentálním postižením jsem pokládala za přínosné založit taneční skupinu lidí s mentálním postižením, zároveň s jedinci intaktními v prostorách, které jsou pro ně neznámé. Na základě aktivity, kterou je možné realizovat zábavně, lze všestranně rozvíjet osobnost člověka a jeho sociální kompetence, které jsou předpokladem úspěšné integrace. Bakalářská práce se skládá ze čtyř kapitol. V první kapitole je vymezen pojem mentální postižení. Následně se pozornost zaměřuje na charakteristiku cílové skupiny, tedy dospělých osob s lehkou a střední mentální retardací. Dále je popsán zásah postižení do oblasti psychiky člověka a oblasti sociální. Ve druhé kapitole je nejprve definován pojem tanec a popis jeho využitelnosti v oblasti volnočasové, umělecké, ale i terapeutické. Ve třetí kapitole jsou vypsány předpoklady pro úspěšnou integraci. V závěru teoretické části je propojení cílové skupiny a aktivity pro rozvoj sociálních kompetencí. Na teoretickou část bakalářské práce navazuje část praktická, čtvrtá kapitola. Jedná se o program šestiměsíčního kurzu, který jsem sestavila na základě analýzy odborné literatury a získaných zkušeností při vedení tanečních lekcí a práci s lidmi s mentálním postižením. V programu budou zahrnuty metody práce a vyhodnocení dílčích činností. Šesti měsíční taneční kurz probíhal ve školním roce 2015/2016 a účastnilo se ho šest dospělých lidí s mentálním postižením. Do kurzu byly zapojeny studentky Jihočeské univerzity. Pro jednotlivé taneční lekce byly stanoveny dílčí cíle a aktivity byly uzpůsobeny tak, aby v nejvyšší možné míře nenásilně rozvíjely sociální kompetence účastníků. Kurz byl realizován v prostorách Občanského sdružení IN. Pro vyhodnocení aktivity a zjištění progresu v oblasti sociálních kompetencí účastníků bylo stanoveno několik oblastí rozvoje. Několik vybraných sociálních kompetencí bylo rozděleno do hodnotících škál. Účastníci byli hodnoceni při začátku kurzu a znovu po šesti měsících. Metodou vyhodnocení bylo vlastní pozorování. Zaměřila jsem se na evaluaci svého působení, evaluaci skupiny a každého jednotlivce. Evaluace proběhla také ze strany účastníků kurzu. Taneční lekce a aktivity s nimi spojené se osvědčily jako vhodný prostředek pro rozvíjení sociálních kompetencí dospělých s mentálním postižením. U pěti účastníků se hodnoty zvýšily v 5 10 ze 17 sledovaných kompetencí. Regres nastal u účastníka, který prožíval poslední dva měsíce kurzu náročnou životní situaci. Nejvýrazněji a u všech účastníků se zvýšily hodnoty v oblasti spolupráce ve skupině. U pěti účastníků došlo k progresu v navazování a udržování očního kontaktu a navazování konverzace. U jednoho účastníka se zvýšila hodnota v oblasti vystupování ve skupině, u jednoho v oblasti samostatnosti a jeden oproti začátku oslovoval ostatní účastníky jménem. Celkově se členové skupiny stali sebevědomějšími. K dosažení žádoucích výsledků přispíval fakt, že se kurz konal mimo známé prostory a v kolektivu dalších dospělých intaktních jedinců. Důležitý byl také přístup lektora, promyšlení a stanovení cílů a reakce na podněty účastníků. Při realizaci taneční aktivity s lidmi s mentálním postižením dochází k rozvoji sociálních kompetencí. Při promyšleném postupu lze kompetence rozvíjet intenzivněji a přesto nenásilně. Bakalářská práce má sloužit jako motivace pro pracovníky, kteří by chtěli touto aktivitou naplňovat volný čas dospělých s mentálním postižením a cíleně tak působit na jejich rozvoj.
|
host ::
