|
Experimentální testování teorie znaků: Je oko klíčový znak?
SÝKOROVÁ, Jana
The way, how birds discriminate and categorize their predators exactly, hasn't been known yet. More theoretic conceptions try to explain the mechanism of the categorization, one of them is the feature theory. The theory is based on that object is a compound of neutral and key features. We decided to examine this theory under labor conditions. We tested yellow expressive eyes of a predator, sparrowhawk, as a key stimul for recognition of predator by tits (Parus major). We used wooded dummies of the predator - sparrowhawk (Accipiter nisus) and a nonpredator - pigeon (Columba livia f. domesticus) and made chimeras between those two type that differed in eyes. Our results showed, that eyes really could be a key feature and it may works in a combination with other key stimuli.
|
|
Řízení lidí v multikulturním prostředí
Moryc, Katarzyna Małgorzata ; Dvořáková, Zuzana (vedoucí práce) ; Vávra, Radovan (oponent)
Hlavním cílem této práce bylo definovat a analyzovat klíčové aspekty manažerské práce v multikulturním prostředí, v jednom z útvarů centra sdílených služeb, nadnárodní společnost se sídlem v Praze v České republice. Další cílem práce bylo definovat základní kompetence úspěšného manažera, který řídí výkon zaměstnanců v multikulturním oddělení, a poskytuje doporučení pro zlepšení výkonnosti managementu v klíčových aspektech manažerské práce, jako je komunikace, motivace, řízení výkonu a multikulturní vedení. Tvrdí se, že přítomnost interkurentních interakcí mezi vedoucími oddělení a jejich podřízenými, má dopad na efektivitu manažerské výkonnosti. Práce se skládá z teoretické a praktické části. První část práce zkoumá teoretické koncepty týkající se kultury, komunikace, motivace a vedení ve vztahu k multikulturním specifikům daného prostředí. Ve druhé části,jsou prezentovány použité výzkumné metody, je prezentovány provedena analýza výzkum a jeho výsledky. Dále v praktické části jsou definovávané doporučení navazující na analyzované aspekty manažerské práce, kterých zavedení by vedlo k vyšší efektivitu manažerské výkonnosti a dál k celkové výkonnosti oddělení.
|
|
Komparace dvou modelů vývoje energetického trhu v ČR od roku 2015 do roku 2040
Dvořáková, Jitka ; Zeman, Martin (vedoucí práce) ; Lukášová, Tereza (oponent)
Bakalářská práce se zabývá predikcí vývoje energetického trhu v České republice od roku 2015 do roku 2040 a porovnáním nákladů dvou modelů rozložení energetického portfolia. První model je vypracován dle Státní energetické koncepce z roku 2014 a druhý alternativní model využívající 50 % elektrické energie z obnovitelných zdrojů. Teoretická část objasňuje současný stav na energetickém trhu, definuje typy energetických zdrojů a pojmy úzce spjaté s danou problematikou. V praktické části jsou pomocí výpočtů nejprve stanoveny přímé náklady jednotlivých druhů elektráren na výrobu elektrické energie. Na základě těchto údajů je dále vypočtena ekonomická náročnost obou modelů a následně provedena jejich komparace. Cílem práce je zjistit, který ze stanovených modelů energetického trhu je pro české národní hospodářství ekonomicky výhodnější. Klíčová slova: energetika, energetický trh, přímé náklady, ekonomická výhodnost JEL klasifikace: Q40, Q41, Q43, Q47
|
|
Možnosti a podmínky použití nástrojů pro analýzu chování zákazníků na sociálních sítích
Horák, Vít ; Molnár, Zdeněk (vedoucí práce) ; Měsíček, Libor (oponent)
Diplomová práce se zabývá bezplatnými nástroji, které mohou být použity k analýze koncových zákazníků drobných, malých a středních e-commerce podniků na sociální síti Facebook, za účelem zvýšení jejich konkurenceschopnosti na této sociální síti. Teoretická část je zaměřena na definování klíčových pojmů, rozlišuje typy sociálních médií a popisuje současnou situaci sociálních sítí ve světě i v České republice z pohledu uživatelské oblíbenosti a pro Českou republiku také ještě z hlediska podniků. Dále se teoretická část zabývá možnostmi, které poskytují sociální sítě SME podnikům se zaměřením na sociální síť Facebook a taktéž identifikuje různé typy analytických nástrojů, které mohou být použity pro účely sledování a analýzy zákazníků. Na začátku praktické části je krátce uvedena společnost Dobrutka.EU s.r.o. provozující elektronický obchod pro koncové zákazníky. Poté je prezentována analýza průzkumu o tom, jak SME společnosti, které provozují nejlepší české elektronické obchody, přistupují ke sledování a analýze jejich činnosti a zákazníků ze sociální sítě Facebook. Následně je řešen výběr vhodných nástrojů pro SME společnosti, které jsou analyzovány v předposlední kapitole. Na konci praktické části je na základě skutečností uvedených v předchozích kapitolách přistoupeno k praktickému uplatnění poznatků na facebookové prezentaci společnosti Dobrutka.EU prostřednictvím návrhu a pilotního nasazení vhodných postupů a analytických nástrojů, jejichž efektivnost byla na konci kapitoly zhodnocena. Hlavním přínosem práce je zjištění a ověření bezplatných nástrojů i efektivního způsobu, který umožňuje podrobně analyzovat vlastní zákazníky dokonce také drobným společnostem a díky tomu efektivněji dosahovat kladných hospodářských výsledků také v případech rozvíjejících se facebookových prezentací.
|
|
Návrh procesů obchodního oddělení v IT společnosti a měření jejich výkonnosti
Schütz, Martin ; Oškrdal, Václav (vedoucí práce) ; Bruckner, Tomáš (oponent)
Práce se zabývá návrhem nových procesů obchodního oddělení v IT společnosti poskytující služby serverhostingu, webhostingu a registrace domén. Tyto procesy vycházejí z identifikace a analýzy stávajících procesů a z teorie řízení obchodního oddělení. U vybraných procesů jsou stanoveny klíčové indikátory jejich výkonnosti (KPIs) využitelné pro řízení organizace jako celku. Modely procesů jsou vytvořeny dle notace EPC. Nové procesy jsou navrženy tak, aby při jejich průběhu vznikala v informačním systému CRM data poskytující evidenční a informační podporu nezbytnou pro řízení obchodního oddělení včetně možnosti měření jeho výkonnosti. Procesy také automatizují často se opakující činnosti a poskytují relevantní informace dalším dotčeným organizačním jednotkám společnosti. Přínosem práce jsou výsledky analýzy identifikovaných stávajících procesů, obsahující návrhy řešení objevených problémů a modely nových procesů. Mohou posloužit jako vzor pro optimalizaci stávajících procesů v již existujících organizacích nebo pro tvorbu nového procesního modelu v nových organizacích ze stejného nebo podobného oboru.
|
|
Model dynamiky lidských zdrojů v projektovém řízení
Hančar, Michal ; Mildeová, Stanislava (vedoucí práce) ; Šviráková, Eva (oponent)
Tato diplomová práce se zabývá dynamikou měkkých faktorů působících na pracovníky projektů. Mezi tyto faktory patří zejména motivace, atmosféra na pracovišti, vzájemná synergie pracovníků, jejich emocionální rozpoložení a působení projektového manažera, který projekt řídí. K identifikaci těchto faktorů a jejich vzájemných vztahů bylo dosaženo rešerší odborné literatury z oblasti psychologie a systémové dynamiky. Popsání problematiky řízení projektu bylo dosaženo rešerší odborné literatury zabývající se projektovým managementem. Hlavním cílem práce je vytvoření dynamického modelu, který simuluje chování měkkých faktorů působících na pracovní skupinu. Primárním ukazatelem modelu je výkonost pracovníků projektu v závislosti na nastavených parametrech. Validace modelu proběhla ověřením historického chování klíčových prvků. Výsledky validačních testovacích scénářů odpovídají zhruba z 95 % historickému chování. V závěru práce je vypracována případová studie z oblasti ICT. Nad výsledky simulačních experimentů této studie byla provedena scénářová analýza, která slouží k pojednání a nastínění možných doporučení pro projektové řízení.
|
|
Profil a reflexe tanečního oddělení Julliard school
Červinka, Marek ; JANEČEK, Václav (vedoucí práce) ; KŘENKOVÁ, Mahulena (oponent)
Tato bakalářská práce s názvem Profil a reflexe tanečního oddělení Juilliard School se nejprve stručně věnuje klíčovým událostem v dějinách klasického i moderního tance první poloviny 20. století a dále historii The Bennington School of the Dance, která je považována za předchůdce The Juilliard School. Po všeobecných informacích ohledně historie, vzdělávacích cílů a studijních programů The Juilliard School se zbytek práce detailně zaměřuje na její Taneční fakultu. Popisuje její historii, světoznámé pedagogy, studijní program a přijímací řízení. Všechny tyto informace společně s rozhovory, které poskytl český choreograf a pedagog Jarek Cemerek a současný student čtvrtého ročníku Brennan Clost, se staly podklady pro závěrečnou reflexi této fakulty. Ta obsahuje srovnání The Juilliard School s českým tanečním školstvím.
|
|
Vliv médií na proměnu demokracie
Půlpánová, Barbora ; Pehe, Jiří (vedoucí práce) ; Slačálek, Ondřej (oponent)
Masová média jsou od prvopočátku nedílnou součástí demokracie. Nejen že jsou ukazatelem jejího správného fungování, ale svou podstatou jí rovněž utvářejí. Při pohledu do historie je patrné, že technologický pokrok a změna ve způsobu informování vždy stály také u proměny v politické oblasti. Spolu s narůstajícím vlivem však začala média ztrácet svojí původní funkci prostředníka mezi veřejnou sférou a politikou, a z kritického mezičlánku se postupem času stal významný hybatel společenského dění. Klasická média, tedy tisk, rádio a televize, tak částečně nesou odpovědnost za komercionalizaci veřejného prostoru a depolitizaci občanů - jevů, jež jsou vlastní současné podobě většiny zastupitelských demokracií. Když se k tomu připojí silný vliv globalizace, který významně oslabuje legitimitu národního státu, zjistíme, že řada aspektů klíčových pro demokracii, je v ohrožení. Určitou naději proto představují média nová, internet a sociální sítě, jež svou interaktivní podstatou zatahují občana zpět do centra dění. Od toho si proto řada odborníků slibuje zvýšení občanské angažovanosti a možné vytvoření nového demokratického uspořádání založeného na větší participaci. KLÍČOVÁ SLOVA Masová média, demokracie, veřejná sféra, občanská angažovanost, internet, sociální sítě, participativní demokracie, deliberativní...
|
|
Automata in Infinite-state Formal Verification
Lengál, Ondřej ; Jančar, Petr (oponent) ; Veith, Helmut (oponent) ; Esparza, Javier (oponent) ; Vojnar, Tomáš (vedoucí práce)
The work presented in this thesis focuses on finite state automata over finite words and finite trees, and the use of such automata in formal verification of infinite-state systems. First, we focus on extensions of a previously introduced framework for verifi cation of heap-manipulating programs-in particular programs with complex dynamic data structures-based on tree automata. We propose several extensions to the framework, such as making it fully automated or extending it to consider ordering over data values. Further, we also propose novel decision procedures for two logics that are often used in formal verification: separation logic and weak monadic second order logic of one successor. These decision procedures are based on a translation of the problem into the domain of automata and subsequent manipulation in the target domain. Finally, we have also developed new approaches for efficient manipulation with tree automata, mainly for testing language inclusion and for handling automata with large alphabets, and implemented them in a library for general use. The developed algorithms are used as the key technology to make the above mentioned techniques feasible in practice.
|
|
New Methods for Increasing Efficiency and Speed of Functional Verification
Zachariášová, Marcela ; Dohnal, Jan (oponent) ; Steininger, Andreas (oponent) ; Kotásek, Zdeněk (vedoucí práce)
In the development of current hardware systems, e.g. embedded systems or computer hardware, new ways how to increase their reliability are highly investigated. One way how to tackle the issue of reliability is to increase the efficiency and the speed of verification processes that are performed in the early phases of the design cycle. In this Ph.D. thesis, the attention is focused on the verification approach called functional verification. Several challenges and problems connected with the efficiency and the speed of functional verification are identified and reflected in the goals of the Ph.D. thesis. The first goal focuses on the reduction of the simulation runtime when verifying complex hardware systems. The reason is that the simulation of inherently parallel hardware systems is very slow in comparison to the speed of real hardware. The optimization technique is proposed that moves the verified system into the FPGA acceleration board while the rest of the verification environment runs in simulation. By this single move, the simulation overhead can be significantly reduced. The second goal deals with manually written verification environments which represent a huge bottleneck in the verification productivity. However, it is not reasonable, because almost all verification environments have the same structure as they utilize libraries of basic components from the standard verification methodologies. They are only adjusted to the system that is verified. Therefore, the second optimization technique takes the high-level specification of the system and then automatically generates a comprehensive verification environment for this system. The third goal elaborates how the completeness of the verification process can be achieved using the intelligent automation. The completeness is measured by different coverage metrics and the verification is usually ended when a satisfying level of coverage is achieved. Therefore, the third optimization technique drives generation of input stimuli in order to activate multiple coverage points in the veri\-fied system and to enhance the overall coverage rate. As the main optimization tool the genetic algorithm is used, which is adopted for the functional verification purposes and its parameters are well-tuned for this domain. It is running in the background of the verification process, it analyses the coverage and it dynamically changes constraints of the stimuli generator. Constraints are represented by the probabilities using which particular values from the input domain are selected. The fourth goal discusses the re-usability of verification stimuli for regression testing and how these stimuli can be further optimized in order to speed-up the testing. It is quite common in verification that until a satisfying level of coverage is achieved, many redundant stimuli are evaluated as they are produced by pseudo-random generators. However, when creating optimal regression suites, redundancy is not needed anymore and can be removed. At the same time, it is important to retain the same level of coverage in order to check all the key properties of the system. The fourth optimization technique is also based on the genetic algorithm, but it is not integrated into the verification process but works offline after the verification is ended. It removes the redundancy from the original suite of stimuli very fast and effectively so the resulting verification runtime of the regression suite is significantly improved.
|
host ::
