|
Metoda vnitřních bodů pro velkou řídkou l1 optimalizaci
Lukšan, Ladislav ; Matonoha, Ctirad ; Vlček, Jan
V tomto článku předkládáme metodu vnitřních bodů pro velkou řídkou l1 optimalizaci. Po krátkém úvodu je uveden kompletní algoritmus spolu s některými implementačními detaily. Dokazujeme, že za standardních slabých předpokladů je tento algoritmus globálně konvergentní. a tedy poměrně obtížné l1 optimalizační problémy lze s úspěchem vyřešit. Výsledky numerických experimentů předvedené v tomto článku potvrzují efektivitu a robustnost předložené metody.
|
|
Znalosti o teorii první pomoci u studentů JU
MALANÍKOVÁ, Jana
Bakalářská práce je rozdělena do dvou hlavních částí, na část teoretickou a výzkumnou. V části první se čtenář seznámí s teoretickými znalostmi poskytování první pomoci. Považovala jsem za zcela nezbytné uvést zde definici první pomoci, základní členění teorie první pomoci na laickou a technickou první pomoc. V práci jsou zároveň stručně popsány nejnovější postupy kardiopulmonální resuscitace u dospělého člověka. Kapitola druhá je malým připomenutím vzniku a dějin Červeného kříže. Tato kapitola obsahuje informace o počátcích vzniku Červeného kříže, jak tomu bylo se založením Červeného kříže v České republice, údaje o Mezinárodním hnutí Červeného kříže a Červeného půlměsíce a základní informace o možnostech laického školení první pomoci. Poslední, čtvrtá kapitola, je věnovaná zásadám základního ošetření u některých život ohrožujících stavů, jako jsou: šok, bezvědomí, zlomeniny, krvácení a dále, jak přivolat ZZS. Abych zjistila, jaká je dostupnost a zároveň srozumitelnost informací o první pomoci, snažila jsem se čerpat z různých informačních zdrojů. Podle získaných informací jsem se rozhodla pro zpracování teoretické části práce v daném rozsahu. Část druhá se týká vlastního výzkumu, pro který byl stanoven jeden hlavní cíl: zjistit znalosti o teorii první pomoci. Výzkum byl proveden na vybraných fakultách JČU, dotazníky vyplnilo 159 studentů z EF, PF, ZSF a ZF. Dotazované těchto fakult jsem si vybrala se záměrem zjistit informovanost právě u těchto studentů o teorii první pomoci, neboť tito respondenti zastupují určitou věkovou skupinu, ale i různá odvětví lidské činnosti. Vzorek jsem dále upravila prostým náhodným výběrem, se stejným zastoupením studentů jednotlivých fakult, na 100 respondentů. Pro výzkum této práce byla zvolena kvantitativní metoda. Sběr potřebných dat proběhl pomocí anonymních dotazníků. Strukturovaný dotazník (viz Příloha č. 1) obsahoval celkem 22 otázek zaměřujících se na teoretickou první pomoc studentů JČU. Data jsem zpracovávala za účelem potvrzení či vyvrácení předem stanovených hypotéz. Vyhodnocení údajů proběhlo pomocí statistických metod náhodným výběrem, kontingenčními tabulkami a výsledky byly uspořádány přehledně do grafů. Ke zpracování výsledků byl použit pro-gram Microsoft Office Excel 2010.
|
|
Vícekriteriální hry
Tichá, Michaela ; Dlouhý, Martin (vedoucí práce) ; Lachout, Petr (oponent) ; Čičková, Zuzana (oponent)
Teorie vícekriteriálních her je speciální oblastí z teorie her, kdy jeden či více hráčů mají alespoň dvě výplatní funkce a chtějí je maximalizovat zároveň. V této práci je představena řada nových poznatků. Je zkoumán koncept hledání rovnovážných bodů v ryzích strategiích v nekooperativní vícekriteriální hře. Ukázalo se, že je možné určit všechny rovnovážné body v ryzích strategiích úplným prohledáním a vyřešením dvou lineárních programů pro každý bod. Dále je obecně formulováno, jak pomocí dvou lineárních programů ověřit, zda je libovolně navržený bod rovnovážným bodem hry či nikoli. V nekooperativních hrách je také představen koncept, který při znalosti rovnovážného bodu dvoumaticové hry určí preference hráčů, které musejí mít, aby daný bod byl rovnovážným. Přestože hledání rovnovážného bodu dvoumaticové hry je nelineární úloha, hledání preferencí hráčů při znalosti rovnovážného bodu je úloha lineární. Poslední poznatkem v části nekooperativních her je zobecnění konceptu, který vyřeší vícekriteriální hru přiřazením vah jednotlivým kritériím každým hráčem. V práci je dokázáno, že se nemusí jednat nutně o lineární váhy, ale pro řešení převedením na jednokriteriální hru stačí obecnější funkce, kterou hráč popíše své preference. Zbylá část práce se věnuje poznatkům v kooperativních hrách. V práci se uvažuje, že hráči znají své preference a jsou schopni je vyjádřit pomocí vah. Hra se známými preferencemi je definována a vyřešena za pomoci teorie vyjednávání. Poté je ještě zobecněna na případ, kdy hráči nejen že mají více kritérií, ale mají také více výplatních funkcí, ze kterých si mohou vybrat na základě svého uvážení. Nakonec je definován vícekriteriální případ speciálního typu kooperativní hry - volební hry. Je navržen zcela nový koncept, který vybere vítěznou koalici ve volební hře. Ten je poté aplikován na reálnou situaci po volbách do Poslanecké sněmovny Parlamentu ČR v roce 2013.
|
|
Řízení požadavků na IT v pojišťovací společnosti
Dvorský, Petr ; Bruckner, Tomáš (vedoucí práce) ; Jungmannová, Barbora (oponent)
První část práce se zabývá teoretickými znalostmi, tedy vymezením pojmů a doporučeními z oblasti požadavkového řízení. Druhá část práce je zaměřena na identifikaci, analýzu a následný návrh řešení problémů, vznikajících při práci s požadavky. Metody pro identifikaci problémů jsou uskutečněný workshop, zúčastněné pozorování a rozhovory se zaměstnanci IT úseku pojišťovny. Výstupem této práce jsou návrhy zlepšení správy požadavků, z nichž některé se mi již podařilo v Kooperativě aplikovat. První z návrhů, který byl aplikován, je vytvoření knihovny procesů. Dále, ze čtyř různých druhů prioritizace byla vybrána a použita metoda, kterou definuje ITIL. Dalšími výstupy jsou návrh nového uživatelského rozhraní požadavkového softwaru a započetí navrhování Change Advisory Board, které je oproti ITIL rozšířené o další funkce. Dále bylo zřízeno ddělení business konzultantů, které má za úkol efektivně sbírat požadavky klientů a byly vytvořeny podpůrné dokumenty pro toto oddělení.
|
|
Metody automatizované transformace modelů v analýze IS
Tůma, Jakub ; Merunka, Vojtěch (vedoucí práce) ; Toman, Prokop (oponent)
Tato doktorská disertační práce přispívá k holistickému vývoji informačních systémů v oblasti analytických modelů informačních systémů (IS). Práce se zabývá modely v analýze informačních systémů a jejich metody transformace.
Práce je zaměřena na konkrétní modely a to na Business process modeling notation (BPMN) a Business object relational modeling (BORM). Model BPMN je rozvíjen od roku 2000. Model BORM je starší a je rozvíjen od roku 1993. Obecným cílem této práce bylo rozšíření holistického vývoje informačních systémů. Konkrétním cílem bylo propojení modelu BPMN a modelu BORM.
Práce byla inspirována teorií konečných automatů. Stav problematiky řešení popisuje přístupy k transformacím modelů. V analytické části jsou matematickým zápisem popsány jednotlivé transformace, jakožto vstupní údaje pro realizační část. Realizační část obsahuje algoritmus transformace, postup jeho dosažení a jeho následné ověření na případových studiích. Diskuze obsahuje porovnání přístupu vytvořené metody transformace s ostatními přístupy.
Dosažení cílů je dokumentováno automatizovaným transformačním kalkulem. Příno- sem je automatizované propojení modelů BPMN a modelu BORM pomocí metody transformace. Výsledkem je metoda automatizované transformace z modelu BPMN do modelu BORM pomocí algoritmu. Transformace modelu BPMN do modelu BORM je uskutečněna přes Mealyho automat.
|
|
Neinvazivní metody pro stanovení pohlaví a stereoidních hormonů u gibonů rodu Nomascus
Bolechová, Petra ; Bartoš, Luděk (vedoucí práce) ; Pavel, Pavel (oponent)
Giboni rodu Nomascus patří ke kriticky ohroženému druhu, o kterém zároveň chybí velké množství základních biologických informací. Vzhledem ke statutu těchto zvířat ve volné přírodě i počtu chovaných jedinců v chovu zoologických zahrad je prioritní otázkou zlepšení managmentu chovu, kam patří i znalost reprodukce. Základním cílem této práce je praktické využití neinvazivních metod (polymerázová řetězová reakce k extrakci DNA a enzymové imunotesty), využívajících k analýzám vzorky výkalů. První metoda, polymerázová řetězová reakce, byla využita pro determinaci pohlaví u mláďat, protože kvůli jejich specifickému zbarvení a vzhledové podobnosti vnějších pohlavních orgánů, není diagnostika možná bez odchycení zvířete. Další částí je zodpovězení hypotéz týkajících se ovariálního cyklu samic a faktorů ovlivňujících jejich koncentrace včetně souvislosti nástupu pohlavního cyklu u samic a jejich změny barvy srsti. Hypotézy byly ověřeny sledováním výše koncentrací metabolitů progesteronu a estrogenu ve výkalech a vyhodnocením složení chovné skupiny gibonů a vlivu ZOO. Celkem bylo analyzováno během čtyř let (2010-2014) 51 zvířat z 16 zoologických zahrad v celkovém množství 1618 vzorků výkalů. Výsledky potvrdily využití neinvazivních metod pro determinaci pohlaví a tak zajištění maximálního welfare v chovech. Endokrinologické analýzy potvrdily hypotézy o vlivu prostředí (ZOO) na koncentraci hormonů a vliv březosti samice a jejího věku na výši koncentrace hormonů, ale také vliv březosti na koncentraci hormonů u samců-otců. Prvotní informací v této studii je potvrzení nástupu ovariálního cyklu u mladých samic bez návaznosti na jejich přebarvení a významný faktor vlivu matky a její teritoriality. Tato studie předkládá první dlouhodobější monitoring ovariálního cyklu u samic a koncentrace hormonů u ostatních jedinců ve všech věkových kategoriích i pohlaví. Výsledky umožňují pochopit vliv chovatelského prostředí na reprodukční postavení těchto gibonů a přispívají k celkovému zlepšení managementu chovu.
|
|
Spolupráce středních škol s externími firmami v přípravě školních vzdělávacích programů
Tulach, David ; Lačev, Alek (vedoucí práce) ; Hochel, Matej (oponent)
Tato práce, Spolupráce středních škol s externími firmami v přípravě školních vzdělávacích programů, se zabývá otázkou, zdali je možné a přínosné, aby střední školy spolupracovaly s firmami na přípravě či úpravě svých vzdělávacích programů za cílem zlepšení kvality vzdělávání. Po prvotních příspěvcích ze strany odborníků, které na tuto otázku odpovídaly negativně, byl pohled zaměřen na kořen věci - na čem stojí historické pilíře školství a pedagogiky, co o učení se a výuce říká věda, jak pedagogika reaguje na krizi věd. Při porovnání literárních zdrojů a závěrů z rozhovorů s odborníky v kombinaci s analýzou stop a výsledků činnosti odborníků dalších byla stanovena teorie, že veřejné školství dospívá do bodu krize, ve své podstatě se od svého vzniku nezměnilo a nejlepším řešením může být vytvoření alternativních vzdělávacích institucí.
|
|
Harnessing Forest Automata for Verification of Heap Manipulating Programs
Šimáček, Jiří ; Abdulla, Parosh (oponent) ; Křetínský, Mojmír (oponent) ; Vojnar, Tomáš (vedoucí práce)
This work addresses verification of infinite-state systems, more specifically, verification of programs manipulating complex dynamic linked data structures. Many different approaches emerged to date, but none of them provides a~sufficiently robust solution which would succeed in all possible scenarios appearing in practice. Therefore, in this work, we propose a new approach which aims at improving the current state of the art in several dimensions. Our approach is based on using tree automata, but it is also partially inspired by some ideas taken from the methods based on separation logic. Apart from that, we also present multiple advancements within the implementation of various tree automata operations, crucial for our verification method to succeed in practice. Namely, we provide an optimised algorithm for computing simulations over labelled transition systems which then translates into more efficient computation of simulations over tree automata. We also give a new algorithm for checking inclusion over tree automata, and we provide experimental evaluation demonstrating
|
|
Acceleration of Object Detection Using Classifiers
Juránek, Roman ; Kälviäinen, Heikki (oponent) ; Sojka, Eduard (oponent) ; Zemčík, Pavel (vedoucí práce)
Detection of objects in computer vision is a complex task. One of most popular and well explored approaches is the use of statistical classifiers and scanning windows. In this approach, classifiers learned by AdaBoost algorithm (or some modification) are often used as they achieve low error rates, high detection rates and they are suitable for detection in real-time applications. Object detection run-time which uses such classifiers can be implemented by various methods and properties of underlying architecture can be used for speed-up of the detection. For the purpose of acceleration, graphics hardware, multi-core architectures, SIMD or other means can be used. The detection is often implemented on programmable hardware. The contribution of this thesis is to introduce an optimization technique which enhances object detection performance with respect to an user defined cost function. The optimization balances computations of previously learned classifiers between two or more run-time implementations in order to minimize the cost function. The optimization method is verified on a basic example -- division of a classifier to a pre-processing unit implemented in FPGA, and a post-processing unit in standard PC.
|
|
Network-wide Security Analysis
de Silva, Hidda Marakkala Gayan Ruchika ; Šafařík,, Jiří (oponent) ; Šlapal, Josef (oponent) ; Švéda, Miroslav (vedoucí práce)
The objective of the research is to model and analyze the effects of dynamic routing protocols. The thesis addresses the analysis of service reachability, configurations, routing and security filters on dynamic networks in the event of device or link failures. The research contains two main sections, namely, modeling and analysis. First section consists of modeling of network topology, protocol behaviors, device configurations and filters. In the modeling, graph algorithms, routing redistribution theory, relational algebra and temporal logics were used. For the analysis of reachability, a modified topology table was introduced. This is a unique centralized table for a given network and invariant for network states. For the analysis of configurations, a constraint-based analysis was developed by using XSD Prolog. Routing and redistribution were analyzed by using routing information bases and for analyzing the filtering rules, a SAT-based decision procedure was incorporated. A part of the analysis was integrated to a simulation tool at OMNeT++ environment. There are several innovations introduced in this thesis. Filtering network graph, modified topology table, general state to reduce the state space, modeling devices as filtering nodes and constraint-based analysis are the key innovations. Abstract network graph, forwarding device model and redistribution with routing information are extensions of the existing research. Finally, it can be concluded that this thesis discusses novel approaches, modeling methods and analysis techniques in the area of dynamic networks. Integration of these methods into a simulation tool will be a very demanding product for the network designers and the administrators.
|
host ::
