|
Corporate Identity
Hatlapa, Tomasz ; Zamazalová, Marcela (vedoucí práce) ; Lahodná, Radka (oponent)
Obsahem této práce je problematika firemní identity - nástroje pomocí kterého se firma (subjekt) snaží vybudovat pozitivní image, díky kterému bude schopná obstát v dnešním konkurenčním prostředí. Práce konfrontuje teoretická východiska při tvorbě firemní identity s praktickým vnímáním této identity. Práci doplňujou výsledky marketingového výzkumu.
|
|
Pokročilé techniky mikroobrábění
Šalomoun, Vojtěch ; Prášek, Jan (oponent) ; Pekárek, Jan (vedoucí práce)
Výroba mikro-elektro-mechanických systémů (MEMS) vyžaduje pokročilý stupeň miniaturizace, kterého nelze dosáhnout klasickými mikroelektronickými technologiemi. Tzv. mikroobrábění zahrnuje celou řadu specifických technik, kterými lze zpracovat materiál, nejčastěji křemík, do podoby mikrostruktury, jejíž rozměry mohou klesat až pod 1 m. V úvodu této bakalářské práce je nastíněn obecný úvod do problematiky mikroobráběcích technologií a MEMS. Pozornost je věnována objemovému a povrchovému mikroobrábění prostřednictvím mokrého a suchého leptání. Na základě uvedených skutečností jsou dále navrženy typické mikrostruktury a jejich výrobní postup. Jejich mechanické chování je modelováno prostřednictvím počítačového prostředí CoventorWare 2012.
|
|
Redukční automaty a syntaktické chyby
Procházka, Martin ; Plátek, Martin (vedoucí práce) ; Pardubská, Dana (oponent) ; Průša, Daniel (oponent)
Tato práce se zabývá redukčními automaty, jejich normalizacemi a využitím pro (robustní) redukční analýzu a lokalizaci syntaktických chyb pro jazyky ze třídy DCFL. Redukční automat navazuje na restartovací automat, od kterého se odlišuje explicitním určením redukovaných symbolů (to umožňuje přesné určení místa chyby) a přesunem výhledového okna do stavu řídící jednotky (ten ho přibližuje zařízením studovaným klasickou teorií automatů a formálních jazyků). Pro redukční automat pak lze snadněji než pro automat restartovací přebírat pojmy a postupy klasické teorie, jako je např. prefixová korektnost nebo minimalizace množiny stavů. Pro libovolný neprázdný jazyk ze třídy DCFL zadaný monotónním redukčním automatem, navíc ještě prefixově korektním a stavově minimálním, navrhujeme metodu robustní redukční analýzy, která zaručuje lokalizaci formálně definovaných typů skutečných (nezavlečených) chyb, bezchybných podslov a míst redukčních konfliktů (podslov s nejednoznačnou syntaktickou strukturou redukovatelných v různých slovech různými způsoby). Navrhovanou metodu implementujeme novým typem zařízení (postprefixovým robustním analyzátorem) a stručně ukazujeme, jak jí implementovat deterministickým zásobníkovým převodníkem pracujícím v lineárním čase vzhledem k délce slova.
|
|
Sociální sítě v bankovnictví
Vohnický, Tomáš ; Očenášek, Vladimír (vedoucí práce)
Diplomová práce se zabývá komunikačními aktivitami v oboru bankovnictví na sociálních sítích, které jsou v dnešní době velice rozšířeným nástrojem marketingové komunikace. Práce je rozdělena na dvě části, na teoretickou část neboli literární rešerši, a na část praktickou.
V teoretické části jsou jednotlivé sociální sítě popsány, včetně jejich stručné historie a funkčnosti. Nejvíce je teoretická část soustředěna na sociální síť Facebook. Dále jsou v teoretické části popsány nástroje, které se používají při tvorbě obsahové komunikace či při analýzách úspěšnosti komunikace.
V praktické části bude tvořen obsah, jeden příspěvek na každý měsíc. Rád bych vytvořil co nejvíce relevantní obsah, který bych odvodil z výsledků, které vzešly z mé bakalářské práce Banka a sociální sítě. Zde jsem analyzoval nejúspěšnější obsah v jednotlivých měsících na sociální síti Facebook stránky G2 od Komerčky.
Mnou vytvořené příspěvky budou na konci každého měsíce analyzovány oproti ostatním příspěvkům na stránce a mohl bych tak potvrdit či vyvrátit, zdali byl mnou vytvořený obsah ztotožněn s výsledky analýzy mé bakalářské práce.
|
|
Tvorba šablon pro běžné CMS systémy
Povolný, Jan ; Vojíř, Stanislav (vedoucí práce) ; Hradil, Jiří (oponent)
Tato práce se zabývá tvorbou šablon do nejrozšířenějších open source CMS systémů. Pro účely práce byly vybrány tři aktuálně nejpopulárnější open source systémy pro správu obsahu - WordPress, Joomla! a Drupal. Hlavním cílem a také výstupem práce je vytvoření plně responzivních šablon pro každý z těchto systémů, které budou splňovat předem stanovené požadavky. Tři výše vybrané systémy budou následně srovnány z hlediska tvorby šablon na základě vytyčených kritérií. Na základě tohoto srovnání pak bude vybrán jeden systém, který bude nejvhodnější variantou pro nasazení pro nově vznikající článkový web o chytrých hodinkách a wearables obecně.
|
|
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
|
|
Struktura osobnostních rysů u potomstva
JANDA, Patrik
Úkolem této práce bylo sestavit chovné páry živorodek Endlerových (Poecilia wingei), stanovit jejich osobnostní rysy ("shy" a "bold"). Poté od těchto párů odchovat potomstvo, u kterého jsem stanovoval téže osobnostní rysy jako u jejich rodičů pomocí stejného postupu. Nakonec by měla být zhodnocena skladba sledovaných osobnostních rysů v potomstvu, porovnána se stavem u rodičů a vypočítána jejich dědivost. Osobnostní rysy byly stanoveny pomocí modifikovaného "Open field" testu (test otevřeného prostředí) kombinovaného s tzv. standard emergence testem (test pro měření doby potřebné k opuštění bezpečného úkrytu). Na základě naměřených dat došlo k rozdělení jedinců na "shy" a "bold" jedince. Poté byly složeny "shy", bold a kombinované páry (pár "shy" byl složen ze dvou jedinců "shy", pár "bold" ze dvou jedinců "bold" a kombinovaný pár vždy z jednoho jedince "shy" a jednoho jedince "bold"). Po odchování potomků těchto párů byly stejným způsobem určeny jejich osobnostní znaky ("shy" a "bold"). Vyhodnocením výsledků byla spočítána dědivost těchto znaků. Při tomto experimentu byla navíc sledována u každého jedince i preference pozice ve sloupci vody při vložení do experimentálního akvária. Dále jsem zjišťoval, zda lze zvýšit počet potomků složením aktivnějšího ("bold") páru, méně aktivního ("shy") páru nebo jejich kombinací.
|
|
Algoritmy pro systémy s technikou adaptivního frekvenčního skákání
Zunt, Tomáš ; Burda, Karel (oponent) ; Pust, Radim (vedoucí práce)
Tato diplomová práce pojednává o systémech, které využívají techniku frekvenčního skákání FH (Frequency Hopping). Je vysvětlen princip této techniky a její výhody a nevýhody. Následuje popis techniky adaptivního frekvenčního skákání AFH (Adaptive Frequency Hopping), kterou využívá systém Bluetooth. Následuje popis dalších metod na úpravu skokové posloupnosti jako například dynamické frekvenční skákání DFH (Dynamic Frequency Hopping), které využívá standart 802.22. Tento standart se zabývá použitím části spektra, které dosud využívá TV vysílání (47–910 MHz) pro použití ve WRAN (Wireless Regional Area Network). Další technika úpravy skokové posloupnosti se jmenuje adaptivní rotace nosných frekvencí AFR (Adaptive Frequency Rolling). Rotace nosných tvz. „rolling“ je nová technika umožňující více pikosítím, které by se normálně vzájemně ovlivňovaly využívat stejné kanály v různých časových úsecích. Poslední technika, která je v práci představena se jmenuje dynamické adaptivní frekvenční skákání nosné DAFH (Dynamic Adaptive Frequency Hopping). Tato technika taktéž řeší vzájemné ovlivňování více pikosítí pomocí zmenšování nebo zvětšování skokové posloupnosti. Praktická část diplomové práce popisuje návrh modelu AFH systému za pomocí programu Matlab Simulink. V práci jsou popsány funkce jednotlivých bloků a jejich nastavení. Dále je uveden popis grafického rozhraní pomocí, kterého můžeme jednoduše měnit parametry simulace. Výsledný model dokáže simulovat vliv statických a dynamických růšiču v přenosovém pásmu při komunikaci dvou zařízení.
|
|
Tvorba funkčního prototypu mobilní aplikace
Vodrážka, Šimon ; Šubrta, Václav (vedoucí práce) ; Truhlář, Filip (oponent)
Cílem práce je vytvoření funkčního prototypu mobilní aplikace na správu záručních listů. Způsobem pro dosažení tohoto cíle je provedení uživatelského průzkumu a následného testování, ze kterého vzejde prototyp mobilní aplikace. V teoretické části proto provádím rozbor nejčastějších metod uživatelského výzkumu a testování a jejich zhodnocení pro účely práce. V praktické části pak používám vybrané metody k provedení uživatelského výzkumu a testování pro následnou tvorbu prototypu.
|
|
Numerical simulation of cerebrospinal fluid transport
Žáček, Petr ; Maršík, František (vedoucí práce) ; Otáhal, Jakub (oponent)
Modelování proudění mozkomíšního moku je důležité pro pochopení jeho vlivu na centrální nervovou soustavu, obzvlášť míchu. Jednou z motivací studia je nemoc zvaná syringomyelie, která pravděpodobně vzniká přerušením nervových drah bublinkami vznikajícími při průchodu tlakových (expanzních) poruch míchou a jejím okolím, a jejíž znakem jsou tekutinou naplněné dutinky v míše. V práci je navržen model tekutinou naplněných koaxiálních elastických trubic, pomocí kterého lze simulovat šíření tlakových poruch míchou včetně jejich vzájemné interakce a možného zvětšení v důsledku interferencí nebo odrazu. Odvodíme kvazilineární řídící rovnice ve tvaru nelineárního hyperbolického systému zákonů zachování, jejichž numerickým řešením pomocí dvoukrokové Lax-Wendroffovy metody s přidanou umělou viskozitou lze i kvantitativně odhadnout až dvoj- násobný nárůst tlakové diference. 1
|
host ::
