| |
|
Návrh indexu predikce finanční výkonnosti pro podporu rozhodování managementu nemocnic
Hajdíková, Taťána ; Černá, Anna (vedoucí práce) ; Lieskovská, Vanda (oponent) ; Lazar, Jaromír (oponent)
Disertační práce se zabývá manažerskými potřebami v oblasti finančního zdraví. Manažeři potřebují nástroj, pomocí něhož odhalí blížící se finanční úpadek nebo zhodnotí finanční kvalitu organizace. Svá rozhodnutí vážou na výkonnost, platební schopnost, zaměstnaneckou produktivitu, finanční zdroje a finanční riziko. V teoretické části práce je nutné vysvětlit neziskový sektor a jeho spojení s nemocničním prostředím. Je zapotřebí představit modely používané jak v České republice, tak v zahraničí, které spojuje společný prvek pro jejich tvorbu. Základním cílem této disertační práce je navržení modelu predikce finančního zdraví pro rozhodování managementu nemocnic, jejich vlastníků a zdravotních pojišťoven. K naplnění základního cíle musí být splněny tři dílčí cíle. Prvním cílem je za pomocí vícekriteriálních metod rozdělit nemocnice na zdravé a nezdravé. Druhým cílem je na základě expertního přístupu za podpory statistických metod výběr vhodných ukazatelů pro nemocniční prostředí a třetím cílem je najít vhodnou metodu ke stanovení váhového zastoupení jednotlivých ukazatelů v navrženém indexu a sestavit konečnou podobou nového finančního indexu pro nemocniční prostředí.
|
|
Analýza marketingových aktivit neziskové organizace INEX-SDA
Müllerová, Michaela ; Procházková, Markéta (vedoucí práce) ; Polcar, Jakub (oponent)
Cílem této diplomové práce je provést analýzu jednotlivých marketingových aktivit neziskové organizace INEX-SDA a navrhnout doporučení vztahující se k marketingovému mixu, která by vedla ke zvýšení povědomí o tomto sdružení. Samotná práce je rozdělena do dvou částí. První část se zabývá teoretickým vymezením marketingu a jeho specifik vztahujících se k neziskovému sektoru. Na teoretickou část navazuje část praktická, ve které je blíže popsána samotná organizace INEX-SDA, jednotlivé prvky jejího marketingového mixu a je zde proveden marketingový výzkum. S využitím analýzy marketingových aktivit jsou zde získány informace, které společně s teoretickými poznatky vedou k doporučením vztahujícím se k marketingovým aktivitám této neziskové organizace.
|
| |
|
STRAIN ENGINEERING OF THE ELECTRONIC STRUCTURE OF 2D MATERIALS
del Corro, Elena ; Peňa-Alvarez, M. ; Morales-García, A. ; Bouša, Milan ; Řáhová, Jaroslava ; Kavan, Ladislav ; Kalbáč, Martin ; Frank, Otakar
The research on graphene has attracted much attention since its first successful preparation in 2004. It possesses many unique properties, such as an extreme stiffness and strength, high electron mobility, ballistic transport even at room temperature, superior thermal conductivity and many others. The affection for graphene was followed swiftly by a keen interest in other two dimensional materials like transition metal dichalcogenides. As has been predicted and in part proven experimentally, the electronic properties of these materials can be modified by various means. The most common ones include covalent or non-covalent chemistry, electrochemical, gate or atomic doping, or quantum confinement. None of these methods has proven universal enough in terms of the devices' characteristics or scalability. However, another approach is known mechanical strain/stress, but experiments in that direction are scarce, in spite of their high promises.\nThe primary challenge consists in the understanding of the mechanical properties of 2D materials and in the ability to quantify the lattice deformation. Several techniques can be then used to apply strain to the specimens and thus to induce changes in their electronic structure. We will review their basic concepts and some of the examples so far documented experimentally and/or theoretically.
|
|
Přírodní domy v zahradách
Formánková, Kristýna ; Kunt, Miroslav (vedoucí práce)
Diplomová práce se zabývá přírodními domy, které by měly být v budoucnu součástí našeho života. Tyto domy jsou pro někoho zpátečnické a raději při výběru nového bydlení vybírají z inteligentních budov stavěných z nerecyklovatelných materiálů. Je potřeba se ale zamyslet nad naší budoucností a udržitelným rozvojem a říct si, co je opravdu prioritou pro naši Zemi. Jednou nastane doba, kdy se budou preferovat stavební materiály, které lze po době jejich trvanlivosti upotřebit jinak nebo zcela recyklovat. S tím souvisí i návrh zahrady. Ten je vytvořen tak, aby plnila funkci okrasnou, hospodářsky užitnou i sociální. Zahrada je nedílnou součástí každého domu, proto je kladen důraz na to, aby každý použitý prvek vytvořil zahradu jako propojený harmonický celek. Práce se tedy zabývá konceptem přírodních domů v souladu s maximálním využitím zahrady.
|
|
Vliv sněhové pokrývky na odtok během dešťových srážek.
Juras, Roman ; Máca, Petr (vedoucí práce) ; Ladislav , Ladislav (oponent)
V zimním období, kdy leží na povodí sněhová pokrývka, stále přibývá výskytu dešťových srážek. Déšť dopadající na sníh (ROS) má často za následek vznik povodní a mokrých lavin. Predikce vlivu ROS záleží především na lepším pochopení mechanismů vzniku a složení odtoku ze sněhové pokrývky. Spojení simulace deště na sněhovou pokrývku a využití stopovačů bylo testováno jako vhodný nástroj pro tento účel. Celkem bylo provedeno 18 experimentů na sněhovou pokrývku s různými počátečními vlastnostmi v horských podmínkách střední a západní Evropy.
Pro určení charakteru proudění bylo použito barvivo brilliant blue (FCF), pomocí kterého je možné vizualizovat preferenční cesty, ale i určit rozhraní dvou vrstev o různých hydraulických vlastnostech. Zastoupení jednotlivých složek odtékající vody na výtoku bylo stanoveno pomocí metody separace hydrogramu, která poskytuje dobré výsledky s přijatelnou nejistotou. Z technických důvodů nebylo možné obě metody použít současně během jednoho experimentu, i když by to ještě více rozšířilo znalosti o dynamice proudění dešťové vody ve sněhové pokrývce. Množství tavné vody bylo vypočteno pomocí rovnice energetické bilance. Použití této rovnice je poměrně přesné, ale zároveň náročné na vstupy. Z toho důvodu bylo tání vypočteno pouze u jednoho experimentu.
Rychlost vzniku odtoku roste v první řadě intenzitou srážky. Počáteční vlastnosti sněhové pokrývky, jako hustota a vlhkost, ovlivňují rychlost vzniku odtoku až druhotně. Na druhou stranu při stejné intenzitě srážky vykazovala nevyzrálá sněhová pokrývka s malou hustotou rychlejší hydrologickou odpověď, než vyzrálá pokrývka s větší hustotou. Velikost odtoku je závislá, především na počátečním nasycení. Vyzrálá sněhová pokrývka s vyšším počátečním nasycení generovala vyšší celkový odtok, kde dešťová voda přispívala maximálně z 50ti %. Proti tomu protekla dešťová voda nevyzrálou sněhovou pokrývkou poměrně rychle a do odtoku se propagovala přibližně z 80ti %.
Pro predikci odtoku během ROS byla použita Richardsova rovnice v rámci modelu SNOWPACK. Tento model byl upraven tak, že byla sněhová matrice rozdělena pro lepší simulaci preferenčního proudění. Tento přístup přinesl zlepšení výsledků oproti klasickému přístupu, kdy se uvažuje pouze matricové proudění.
|
|
Navrhování experimentů pro nestacionární produkční procesy
Jadrná, Monika ; Macák, Tomáš (vedoucí práce)
Disertační práce se zaměřuje na oblast služeb a oblast hromadné výroby. Konkrétně se jedná o optimalizaci produktového portfolia cestovní kanceláře a optimalizaci výroby nábojů.
V literárních východiscích je vysvětlena terminologie z oblasti rozhodování a popsány metody, které jsou používány pro podporu rozhodování. Jedná se o aktuální přehled řešené problematiky a definování základních pojmů. Teoretická východiska výzkumu jsou v oblasti služeb zaměřena na volbu vhodných vstupních proměnných. V oblasti výroby pak na volbu konkrétního materiálu a vhodného vybavení pro danou výrobu. Literární východiska a teoretická východiska výzkumu současně tvoří základ pro praktickou část práce.
V praktické části disertační práce je zvolen konkrétní podnik působící v daném odvětví. V oblasti služeb je optimalizováno produktové portfolio pomocí Fuzzy logiky a Fuzzy množin, tak aby firma působící v dané oblasti byla schopna se uplatnit a fungovat na současném vysoce konkurenčním trhu. V oblasti výroby je nastaveno optimální složení produktu tak, aby bylo dosahováno jeho požadovaných vlastností.
Hlavním cílem disertační práce je návrh metodického přístupu pro řízení vybraných podnikových procesů při jejich nestacionárním časovém průběhu. V praktické realizaci je cílem verifikovat funkčnost navrženého metodického přístupu, jak v oblasti služeb, tak v oblasti hromadné výroby.
|
|
Relational Verification of Programs with Integer Data
Konečný, Filip ; Bouajjani, Ahmed (oponent) ; Jančar, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
This work presents novel methods for verification of reachability and termination properties of programs that manipulate unbounded integer data. Most of these methods are based on acceleration techniques which compute transitive closures of program loops. We first present an algorithm that accelerates several classes of integer relations and show that the new method performs up to four orders of magnitude better than the previous ones. On the theoretical side, our framework provides a common solution to the acceleration problem by proving that the considered classes of relations are periodic. Subsequently, we introduce a semi-algorithmic reachability analysis technique that tracks relations between variables of integer programs and applies the proposed acceleration algorithm to compute summaries of procedures in a modular way. Next, we present an alternative approach to reachability analysis that integrates predicate abstraction with our acceleration techniques to increase the likelihood of convergence of the algorithm. We evaluate these algorithms and show that they can handle a number of complex integer programs where previous approaches failed. Finally, we study the termination problem for several classes of program loops and show that it is decidable. Moreover, for some of these classes, we design a polynomial time algorithm that computes the exact set of program configurations from which nonterminating runs exist. We further integrate this algorithm into a semi-algorithmic method that analyzes termination of integer programs, and show that the resulting technique can verify termination properties of several non-trivial integer programs.
|
|
Extensions to Probabilistic Linear Discriminant Analysis for Speaker Recognition
Plchot, Oldřich ; Fousek, Petr (oponent) ; McCree,, Alan (oponent) ; Burget, Lukáš (vedoucí práce)
This thesis deals with probabilistic models for automatic speaker verification. In particular, the Probabilistic Linear Discriminant Analysis (PLDA) model, which models i--vector representation of speech utterances, is analyzed in detail. The thesis proposes extensions to the standard state-of-the-art PLDA model. The newly proposed Full Posterior Distribution PLDA models the uncertainty associated with the i--vector generation process. A new discriminative approach to training the speaker verification system based on the~PLDA model is also proposed. When comparing the original PLDA with the model extended by considering the i--vector uncertainty, results obtained with the extended model show up to 20% relative improvement on tests with short segments of speech. As the test segments get longer (more than one minute), the performance gain of the extended model is lower, but it is never worse than the baseline. Training data are, however, usually available in the form of segments which are sufficiently long and therefore, in such cases, there is no gain from using the extended model for training. Instead, the training can be performed with the original PLDA model and the extended model can be used if the task is to test on the short segments. The discriminative classifier is based on classifying pairs of i--vectors into two classes representing target and non-target trials. The functional form for obtaining the score for every i--vector pair is derived from the PLDA model and training is based on the logistic regression minimizing the cross-entropy error function between the correct labeling of all trials and the probabilistic labeling proposed by the system. The results obtained with discriminatively trained system are similar to those obtained with generative baseline, but the discriminative approach shows the ability to output better calibrated scores. This property leads to a better actual verification performance on an unseen evaluation set, which is an important feature for real use scenarios.
|
host ::
