|
Possibilities of Big Data use for Competitive Intelligence
Verníček, Marek ; Molnár, Zdeněk (vedoucí práce) ; Šperková, Lucie (oponent)
Tato diplomová práce se zabývá analýzou možností využití Big Data pro metody a postupy Competitive Intelligence. Cílem práce je navrhnout nástrojové sady pro práci s Big Data pro malé a velké firmy a následný návrh efektivního řešení pro získání konkurenční výhody podniku. Teoretická část této práce zpracovává dostupnou odbornou literaturu v České republice i v zahraničí a popisuje aktuální stav Competitive Intelligence, jeho možné zdroje a Big Data jako jeden z nich. Následně se práce věnuje charakteristice Big Data, jejich odlišnosti od práce s běžnými daty, nutností důsledné přípravy a možnosti jejich využití pro metody Competitive Intelligence. Praktická část práce se zabývá analýzou dostupných nástrojů Big Data na trhu s ohledem na celý proces práce od sběru dat, přes analýzu až po přípravu reportů a integrace celého řešení do automatizovaného stavu. Výstupem této části je návrh softwarové sady nástrojů Big Data pro malé a velké firmy podle možností jejich rozpočtu. Návrhová část práce se následně věnuje klasifikaci nejperspektivnějších oblastí trhu pro využití Big Data, možnými způsoby získání konkurenční výhody v jednotlivých oblastech a návrhem efektivního řešení pro podniky. Přínosem této práce je rozšíření palety zdrojů pro Competitive Intelligence a hloubková analýza možností využití Big Data, která má pomoci profesionálům využít tento dosud neobjevený potenciál ke zlepšení postavení na trhu, získání nových zákazníků a posílení současné uživatelské základny.
|
|
Informovanost vegetariánů o deficitu konkrétních nutričních látek ve vegetariánské stravě a jejich kompenzaci
VORLÍČKOVÁ, Markéta
Tato bakalářská práce se zabývá informovaností vegetariánů o nedostatku konkrétních nutričních látek ve vegetariánské stravě a jejich kompenzaci. Cílem práce bylo zmapovat, zda mají vegetariáni dostatečné informace o nutričním složení jejich výživy, zda mají zájem si tyto informace hledat a zda jim informace přijdou dostupné a dostačující. Dále jsem zjišťovala, zda se lidé s touto stravovací preferencí snaží předcházet možným nutričním deficitům a následným zdravotním problémům. Byly stanoveny tyto 3 výzkumné otázky: "Jak často a kde si nejčastěji vegetariáni vyhledávají informace o bezmasé výživě?", "Jakým způsobem dosahují vegetariáni plnohodnotného jídelníčku?" a "Jaká je informovanost veganů o možném nedostatku v jejich výživě a jakým způsobem se mu snaží předcházet?". V teoretické části se zabývám především vegetariánstvím jako životním stylem, rozdělením vegetariánství na jeho podskupiny, důvody pro přechod na tento způsob života, poté složením vegetariánské stravy se zaměřením na složky výživy, které mohou být deficitní, také vegetariánstvím a jeho dopadem na organismus v různých fázích vývoje a nakonec dopadem bezmasé stravy na zdraví člověka. Praktickou část jsem zpracovala formou kvalitativního výzkumu, konkrétně jsem zvolila polostrukturované rozhovory. Sběr dat jsem provedla pomocí rozhovorů. Rozhovor obsahoval čtrnáct nebo patnáct otázek, ženy byly navíc dotazovány ohledně období těhotenství. Rozhovory jsem směřovala k problematice vegetariánství, veganství či vitariánství. Zajímala jsem se o individuální stravovací návyky, znalosti z oblasti výživy a vlastní zkušenosti respondentů. Sběr dat probíhal v období mezi lednem 2014 až březnem 2014. Výzkumný soubor tvořilo 6 respondentů. Skupina byla tvořena ženami i muži ve věkovém rozmezí od 20-ti do 30-ti let. Respondenti byli z řad vegetariánů, veganů i vitariánů a doba, po kterou preferovali specifický způsob života, se různila. Všichni respondenti byli obeznámeni s účelem poskytování rozhovoru a souhlasili s publikováním. Rozhovory jsem prováděla vždy osobně a zaznamenávala je na diktafon v mobilním telefonu. Z výsledků mé práce vyplývá, že většina respondentů si informace o bezmasé stravě vyhledává. Nejintenzivnější vyhledávání učinili logicky při přechodu k jinému stravovacímu způsobu, ale i nyní se dozvídají stále nové informace. Nejčastěji využívají internet, konkrétně často zaznívala webová stránka www.soucitne.cz nebo www.vegan- fighter.com. Dalšími využívanými zdroji jsou knihy, články, studie, a nebo informace předané od přátel či členů rodiny. Respondenti uvádějí, že díky takto získaným informacím se stravují vyváženě. Často se snaží o pestrost, kombinují různé potraviny, jako jsou luštěniny s obilovinami. Vitariáni uvádějí, že často konzumují klíčky, semínka, ořechy a samozřejmě velké množství syrové zeleniny a ovoce. Všichni vegani i vitariáni vědí o možném nedostatku vitaminu B12, někteří z tohoto důvodu využívají suplementy. Také jsou zmiňovány suplementy proteinů čikomplexní suplementy určené přímo pro vegany.
|
|
E-learningová podpora celoživotního vzdělávání
Žažo, David ; Husa, Jiří (vedoucí práce) ; Marek, Marek (oponent)
Bakalářská práce se zabývá vytvořením elektronického vzdělávacího kurzu pro pracovníky obsluhující kamerový systém městské policie Chomutov. Tento kurz je tvořen na základě potřeby seznámení stávajících i nových zaměstnanců s řídícím softwarem IndigoVison Control Center, který slouží k ovládání kamerového systému. Při absolvování kurzu se účastníci seznamují s funkcemi, možnostmi a principy ovládání tohoto softwaru. V závěru kurzu jsou vědomosti, získané absolvováním kurzu ověřeny závěrečným testem. Celý kurz je následně zhodnocen na základě výsledků testů a rozhovoru s jeho účastníky. Teoretická část práce se zabývá e-learningem, zmiňuje jeho přednosti a zápory a také specifika spojená se vzděláváním dospělých. V praktické části práce je podrobně představen e-learningový kurz, který je plně realizován v prostředí MoodleCloud a který je praktickým výsledkem této práce.
|
|
Optický rezonátor s nízkou disperzí pro účely délkového senzoru využivající optický frekvenční hřeben
Pravdová, Lenka ; Hucl, Václav ; Lešundák, Adam ; Lazar, Josef ; Číp, Ondřej
Ultra přesná měření délky jsou doménou laserových interferometrů. Na našem pracovišti jsme navrhli a experimentálně ověřili metodu měření s optickým rezonátorem, která využívá širokospektrálního záření optického frekvenčního hřebene. Měřená délka, tj. délka rezonátoru, je pak převedena na hodnotu opakovací frekvence pulsního laseru se synchronizací modů optického frekvenčního hřebene. V našem příspěvku nyní představujeme porovnání absolutní stupnice optického rezonátoru se stupnicí inkrementálního interferometru. Inkrementální interferometr je do sestavy implementován pro provedení požadované verifikace stupnice optického rezonátoru. Dvousvazkový inkrementální interferometr pracuje na vlnové délce 633 nm a měřicí zrcadlo rezonátoru vybavené piezo posuvem je s výhodou použito zároveň i jako zpětný odrážeč pro tento interferometr. Jako markantní chybový signál se zde projevuje periodická nelinearita stupnice inkrementálního interferometru. Relativní rozlišení naší metody tak dosahuje hodnoty až 10-9 při zachování absolutní stupnice měření.\n
|
|
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
|
|
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.
|
|
Grammars with Restricted Derivation Trees
Koutný, Jiří ; Janoušek, Jan (oponent) ; Vojnar, Tomáš (oponent) ; Meduna, Alexandr (vedoucí práce)
This doctoral thesis studies theoretical properties of grammars with restricted derivation trees. After presenting the state of the art concerning this investigation area, the research is focused on the three main kinds of the restrictions placed upon the derivation trees. First, it introduces completely new investigation area represented by cut-based restriction and examines the generative power of the grammars restricted in this way. Second, it investigates several new properties of path-based restriction placed upon the derivation trees. Specifically, it studies the impact of erasing productions on the generative power of grammars with restricted path and introduces two corresponding normal forms. Then, it describes a new relation between grammars with restricted path and some pseudoknots. Next, it presents a counterargument to the generative power of grammars with controlled path that has been considered as well-known so far. Finally, it introduces a generalization of path-based restriction to not just one but several paths. The model generalized in this way is studied, namely its pumping, closure, and parsing properties.
|
|
Formal Systems Based on Automata and Grammars
Čermák, Martin ; Rybička, Jiří (oponent) ; Šaloun, Petr (oponent) ; Meduna, Alexandr (vedoucí práce)
The present thesis continues with study of grammar and automata systems. First of all, it deals with regularly controlled CD grammar systems with phrase-structure grammars as components. Into these systems, three new derivation restrictions are placed and their effect on the generative power of these systems are investigated. Thereafter, this thesis defines two automata counterparts of canonical multi-generative nonterminal and rule synchronized grammar systems, generating vectors of strings, and it shows that these investigated systems are equivalent. Furthermore, this thesis generalizes definitions of these systems and establishes fundamental hierarchy of n-languages (sets of n-tuples of strings). In relation with these mentioned systems, automaton-grammar translating systems based upon finite automaton and context-free grammar are introduced and investigated as a mechanism for direct translating. At the end, in this thesis introduced automata systems are used as the core of parse-method based upon n-path-restricted tree-controlled grammars.
|
|
Navigace mobilních robotů
Rozman, Jaroslav ; Matoušek,, Václav (oponent) ; Šolc, František (oponent) ; Zbořil, František (vedoucí práce)
Mobilní robotika je v posledních letech velice diskutované a rozšířené téma. Souvisí to především se stále se zdokonalující výpočetní technikou, která tak umožňuje vyvíjet stále složitější a dokonalejší roboty. Cílem tohoto snažení je vytvořit robota, schopného se autonomně pohybovat ve zvoleném prostředí. Pro tento úkol je nutné, aby si robot vytvořil mapu, ve které bude svůj pohyb plánovat. V současné době se za standard v mapování považují pravděpodobnostní algoritmy založené na metodě SLAM. Tato disertační práce se zabývá návrhem plánovacího algoritmu právě pro metodu SLAM. Popisuje plánování pohybu pro robota vybaveného dvojicí kamer, tzv. stereokamerou, umístěnou na pohyblivé platformě. Plánování pohybu je navržené s ohledem na použití algoritmů, které budou v obraze ze stereokamery vyhledávat význačné body a z těch pak pomocí triangulace tvořit mapu, nebo také model prostředí. Přínos práce by se dal rozdělit do tří částí. V první je popsán způsob vyznačování plochy, ve které pak bude robot plánovat svůj pohyb. Druhá část se zabývá samotným plánováním pohybu robota v této mapě. Bere při tom v úvahu vlastnosti algoritmu SLAM a snaží se tedy toto plánování navrhnout tak, aby vytvořená mapa byla co nejpřesnější. Ve třetí části je pak popsán pohyb platformy, která nese kamery. V této části se využívá toho, že robot může svými kamerami sledovat i jiná místa, než jsou ta ve směru jeho pohybu. To mu umožní prozkoumat mnohem větší prostor bez přílišné ztráty informace o své přesné poloze.
|
|
Synchronous Formal Systems Based on Grammars and Transducers
Horáček, Petr ; Janoušek, Jan (oponent) ; Yamamura,, Akihito (oponent) ; Meduna, Alexandr (vedoucí práce)
This doctoral thesis studies synchronous formal systems based on grammars and transducers, investigating both theoretical properties and practical application perspectives. It introduces new concepts and definitions building upon the well-known principles of regulated rewriting and synchronization. An alternate approach to synchronization of context-free grammars is proposed, based on linked rules. This principle is extended to regulated grammars such as scattered context grammars and matrix grammars. Moreover, based on a similar principle, a new type of transducer called the rule-restricted transducer is introduced as a system consisting of a finite automaton and context-free grammar. New theoretical results regarding the generative and accepting power are presented. The last part of the thesis studies linguistically-oriented application perspectives, focusing on natural language translation. The main advantages of the new models are discussed and compared, using select case studies from Czech, English, and Japanese to illustrate.
|
host ::
