|
Corporate Identity
Hatlapa, Tomasz ; Zamazalová, Marcela (advisor) ; Lahodná, Radka (referee)
The subject of this thesis is the study of issues of a corporate identity - an instrument which a company (subject) makes an attempt to create a positive image that would allow it to withstand present competetive evironment. The thesis confronts the theoretical basis of a corporate identity creation with the practical reception of this identity. The thesis is supplemented by the marketing research.
|
|
Advanced techniques of micromachining
Šalomoun, Vojtěch ; Prášek, Jan (referee) ; Pekárek, Jan (advisor)
Fabrication of micro-electro-mechanical systems (MEMS) requires advanced level of miniaturization, which is not achievable by technology used in microeletronics. Socalled micromachining covers many unique techniques of material processing to get microstructures with possible dimensions below 1 m. This bachelor’s thesis gives a general introduce to micromachining of MEMS. Its focus is on bulk and surface micromachining by wet and dry etching. The practical part contains design of microstructures, their manufacturing process and creation of computer models in CoventorWare suite.
|
|
Reducing Automata and Syntactic Errors
Procházka, Martin ; Plátek, Martin (advisor) ; Pardubská, Dana (referee) ; Průša, Daniel (referee)
This thesis deals with reducing automata, their normalization, and their application for a (robust) reduction analysis and localization of syntactic errors for deterministic context-free languages (DCFL). A reducing automaton is similar to a restarting automaton with two subtle differences: an explicit marking of reduced symbols (which makes it possible to determine a position of an error accurately), and moving a lookahead window inside a control unit (which brings reducing automata closer to devices of classical automata and formal language theory). In case of reducing automata, it is easier to adopt and reuse notions and approaches developed within classical theory, e.g., prefix correctness or automata minimization. For any nonempty deterministic context-free language specified by a monotone reducing automaton, both prefix correct and minimal, we propose a method of robust analysis by reduction which ensures localization of formally defined types of (real) errors, correct subwords, and subwords causing reduction conflicts (i.e., subwords with ambiguous syntactic structure that can be reduced in different words in different ways). We implement the proposed method by a new type of device (called postprefix robust analyzer) and we briefly show how to implement this method by a deterministic pushdown...
|
|
Social networks in banking
Vohnický, Tomáš ; Očenášek, Vladimír (advisor)
Diploma thesis is about communication activities in banking sector on social media, which are very widespread tool for marketing communications these days. The thesis is divided into two parts, theoretical part or literary research and practical part.
Theoretical part describes the various social networks, including their history and functions. Most of the theoretical part is focused on Facebook. Furthermore, the theoretical part describes tools that are used in the creation of content or in analyzing the success of communication.
In the practical part I will create content, one post each month. I would like to create the most relevant content that would derive from the results that I emerged from my bachelor thesis Bank and social networks. Here I analyzed the most successful content in different months on the Facebook site G2 Komerčky.
At the end of each month, posts created by me will be analyzed in comparison with other posts on the site and I could confirm or deny whether it was content generated by me identified with the results of the analysis of my bachelor thesis.
|
|
Creating templates for common content management systems
Povolný, Jan ; Vojíř, Stanislav (advisor) ; Hradil, Jiří (referee)
This thesis is covering the creation of templates for leading open source CMS systems. For the purposes of thesis, three current most popular open source content management systems were selected - WordPress, Joomla! and Drupal. The main aim of this thesis, and also the main outcome, is to develop a fully responsive templates for each of these systems, which would meet predetermined requirements. Three systems above are compared in terms of creating templates based on the criteria set out. Based on this comparison there is one system selected, which represents the most suitable platform for emerging website covering the topic of smart watches and wearables in general.
|
|
Harnessing Forest Automata for Verification of Heap Manipulating Programs
Šimáček, Jiří ; Abdulla, Parosh (referee) ; Křetínský, Mojmír (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zabývá verifikací nekonečně stavových systémů, konkrétně, verifikací programů využívajích složité dynamicky propojované datové struktury. V minulosti se k řešení tohoto problému objevilo mnoho různých přístupů, avšak žádný z nich doposud nebyl natolik robustní, aby fungoval ve všech případech, se kterými se lze v praxi setkat. Ve snaze poskytnout vyšší úroveň automatizace a současně umožnit verifikaci programů se složitějšími datovými strukturami v této práci navrhujeme nový přístup, který je založen zejména na použití stromových automatů, ale je také částečně inspirován některými myšlenkami, které jsou převzaty z metod založených na separační logice. Mimo to také představujeme několik vylepšení v oblasti implementace operací nad stromovými automaty, které jsou klíčové pro praktickou využitelnost navrhované verifikační metody. Konkrétně uvádíme optimalizovaný algoritmus pro výpočet simulací pro přechodový systém s návěštími, pomocí kterého lze efektivněji počítat simulace pro stromové automaty. Dále uvádíme nový algoritmus pro testování inkluze stromových automatů společně s experimenty, které ukazují, že tento algoritmus překonává jiné existující přístupy.
|
|
Animal personality structure in offspring
JANDA, Patrik
The aim of this work was to build breeding pairs of Endler's guppy (Poecilia wingei), to determine their characteristic traits ("shy" and "bold"). Then to breed offspring from these pairs, in which the same personality traits were determined using identical procedure. Finally, the composition of personality traits observed in the offspring were evaluated, consequently, compared to their parents, their heritability was calculated. Personality traits were determined using a modified "Open Field" test (test of open environment) combined with the so-called standard emergency test (test for measuring the time required to leave the safe shelter). Based on the measured data individuals were divided into "shy" and "bold". Then they composed "shy", "bold" and combined pairs (a pair of "shy" was composed of two "shy" individuals, a pair of "bold" of two "bold" individuals and a combined pair was composed of one "shy" individual and one "bold " individual). After breeding offspring of these pairs, their personality traits ("shy" and "bold") were determined in a similar way. By evaluating the results, the heritability of these traits was calculated. Moreover, during this experiment, individual preferences and positions in the column of water were also monitored when inserted into an experimental aquarium. I also examined whether it is possible to increase the number of offspring by creating a more active ("bold") pair, a less active ("shy") pair or a combined pair.
|
|
Algorithms for adaptive frequency hopping spread spectrum systems
Zunt, Tomáš ; Burda, Karel (referee) ; Pust, Radim (advisor)
This master's thesis deal the system, which use the Frequency Hopping (FH). Is explained principle those techniques and her benefits and disadvantages. Follows description techniques Adaptive Frequency Hopping (AFH) that used the Bluetooth. Follows description other method for setup hopset such as Dynamic Frequency Hopping (DFH), which used standards 802.22. 22. Is an emerging standard for Wireless Regional Area Networks (WRAN) operating on a license-exempt and non-interference basis in the spectrum allocated to TV broadcast services (between 47–910 MHz). Other method introduces the Adaptive Frequency Rolling (AFR), a particular instance of frequency hopping (FH) that enables the collocated WPANs to cooperate and avoid the self-interference. The AFR uses as input solely the observed packet error rate (PER) and it does not require any exchange of information among the collocated WPANs. The effect of the FR over a longer time interval is that the WPANs use the complete set of disposable channels in an implicit time-division and cooperative manner. Last method described in this Thesis is Dynamic Adaptive Frequency Hopping (DAFH). The basic strategy applied in DAFH is a binary search for a hopset that offers smaller PER. The set of admissible hopsets depends on the total number of available channels and the maximal level of binary divisions. Practical part of the master's thesis describes proposal model AFH, with usage of Matlab Simulink programme. In thesis are described function each blocks a their setting. Simulation parameters can change in simple graphic interface. The model is able to simulate influence of static and dynamic interference in transmission band of two communicating devices.
|
|
Creating a functional prototype of mobile application
Vodrážka, Šimon ; Šubrta, Václav (advisor) ; Truhlář, Filip (referee)
The aim of this thesis is to create a functional prototype of mobile application which will serve to the purpose of managing warranty documents. Way how to achieve the objective is to carry out a user survey and subsequent user testing from which the prototype of mobile applications emerges. In the theoretical part I analysed the most common methods of user research and user testing and evaluated them for the purposes of my thesis. In the practical part I used the selected methods to perform user research and user testing and subsequently created a prototype.
|
|
Numerical simulation of cerebrospinal fluid transport
Žáček, Petr ; Maršík, František (advisor) ; Otáhal, Jakub (referee)
Modelling of cerebrospinal fluid flow is important for understanding its influence on central nervous system, especially spinal cord. One of the reasons for its study is a disease called syringomyelia that probably develops as a result of severance of neural pathways by bubbles emerging during the propagation of pressure (expan- sion) disturbances through spinal cord and its surroundings. It is characterized by fluid-filled cavities in spinal cord. In this thesis, a model of fluid-filled co-axial elastic tubes is proposed that can help us simulate pressure disturbances propa- gation through spinal cord including its interactions and possible increase as the result of interferences or reflection. We derive quasi-one-dimensional governing equations in the form of nonlinear hyperbolic system of conservational laws and with its numerical solution by two-step Lax-Wendroff method with added artifi- cial viscosity we can quantitatively estimate almost twofold increase of pressure difference. 1
|
guest ::
