|
Motivační program a jeho uplatnění ve vybraném podniku
RYCHTÁŘ, Milan
Primární cílem práce je provést analýzu stávajících přístupů k motivaci pracovníků a navrhnout motivační program. Mezi dílčí cíle patří především vymezení základních pojmů souvisejících s motivací (z pohledu odborné literatury) a identifikace moderních trendů pracovní motivace. Naplnění dílčích cílů by mělo zajistit dostatečné množství informací pro realizaci cíle primárního. Před splněním primárního cíle však došlo k realizaci celé řady nezbytných činností a využití různých metod.
|
|
Attacks on active network elements
Ščepko, Richard ; Kacálek, Jan (oponent) ; Polívka, Michal (vedoucí práce)
The bachelor thesis deals with the topic of the security of computer networks. The tasks of the bachelor thesis are the attacks on active network elements with the aim of the catching of data between two users. In the created structure with a stellate topology, the user stations have connect to the active element (switch). In the thesis, the individual ways of attacks and the significance of ARP proceedings to MAC addresses have describ. Several programmes have use in order to take control over the device. Due to a big amount of these active elements the source code of the programmes had to be alter. The work with the programmes ARPtool and ARPoison demanded the operational system Linux, in our case the distribution of Ubunt. The programme WinArpAttacker could be set off under the system Windows XP as well. The achieved results and the description of the practical part are discuss in detail in the summary of the thesis. The result is the catching communication with the help of the programme WireShark.
|
|
Marketingový plán společnosti MAGICAM HD SOLUTIONS, s.r.o.
Pařízek, Aleš ; Hesková, Marie (vedoucí práce) ; Harantová, Monika (oponent)
Cílem bakalářské práce je vytvořit marketingový plán na období kalendářního roku 2017, který bude v souladu se stávající dlouhodobou marketingovou strategií. Bakalářská práce je vytvářena pro použití v obchodní společnosti MAGICAM HD SOLUTIONS, s.r.o. Jádro bakalářské práce se dělí na část teoretickou a část praktic-kou. V první části jsou položeny teoretické základy základních pojmů používaných v marketingovém plánování, je popsán vztah marketingové strategie, plánu a taktiky a role marketingového plánu ve fungování obchodní společnosti. Druhá část obsahuje charakteristiku výše uvedené společnosti, analýzu externí a interních faktorů půso-bících na firmu, SWOT analýzu, stanovení cílů a navržení postupů, pomocí kterých společnost stanovených cílů dosáhne. Součástí praktické části je navržení konkrétních kroků v akčních programech a jejich časový harmonogram. Závěr práce hodnotí jednotlivé části a přínos pro společnost.
|
|
Míry podobnosti pro nominální data v hierarchickém shlukování
Šulc, Zdeněk ; Řezanková, Hana (vedoucí práce) ; Šimůnek, Milan (oponent) ; Žambochová, Marta (oponent)
Tato disertační práce se zabývá mírami podobnosti pro nominální data v hierarchickém shlukování, které umožňují zacházet s proměnnými s více než dvěma kategoriemi a které si kladou za cíl nahradit postupy založené na koeficientu prosté shody, které se v této oblasti běžně používají. Tyto míry podobnosti uvažují dodatečné informace ohledně datového souboru, jako je rozdělení četností kategorií u dané proměnné nebo počet jejích kategorií. Tato práce se věnuje třem hlavním cílům. Prvním cílem je prozkoumání a ohodnocení kvality shlukování vybraných měr podobnosti pro hierarchické shlukování objektů a proměnných. K dosažení tohoto cíle bylo provedeno několik experimentů, které se zabývají jak shlukováním objektů, tak proměnných. Tyto experimenty zkoumají kvalitu shluků vytvořených za pomocí zkoumaných měr podobnosti pro nominální data ve srovnání běžně používanými mírami podobnostmi využívajícími binární transformaci a dále s několika alternativními metodami pro shlukování nominálních dat. Toto porovnání je provedeno na reálných i generovaných souborech. Výstupy těchto experimentů vedou ke zjištění, které míry podobnosti jsou vhodné k obecnému použití, které podávají dobré výsledky v konktrétních situacích a které nejsou doporučeny pro shlukování objektů nebo proměnných. Druhým cílem práce je navržení míry podobnosti vycházející z teoretických předpokladů a její následné porovnání s ostatními zkoumanými mírami podobnosti. Na základě tohoto cíle byly představeny dvě nové míry podobnosti, Variable Entropy a Variable Mutability. Obzvláště prvně zmíněná míra podává velmi dobré výsledky u souborů s nižším počtem proměnných. Třetím cílem této práce je poskytnout komfortní sofwarové řešení založené na zkoumaných mírách podobnosti pro nominální data, které pokrývá celý proces shlukování od výpočtu matice vzdálenosti po hodnocení výsledných shluků. Tento cíl byl dosažen vytvořením balíčku nomclust pro program R, který řeší tuto problematiku a který je volně dostupný.
|
|
Požadavky podniků na profil absolventa – softwarového vývojáře
Trnková, Michaela ; Pecinovský, Rudolf (vedoucí práce) ; Pavlíčková, Jarmila (oponent)
Předmětem bakalářské práce je zmapování požadavků, které jsou kladeny na absolventy - softwarové vývojáře. Cíle je dosaženo pomocí rozhovorů s odborníky z praxe. Důležitou částí práce je zhodnocení různých metodik výuky programování s blížším zaměřením na metodiku. Přístupy jsou zhodnoceny z pohledu zástupců podniků, učitelů programování a obdobných předmětů na vysokých školách i studentů informatických oborů. Hlavním přínosem práce je souhrn doporučení pro školy pro výuku studentů, která vyplývají z názorů vývojářů a vedoucích vývojářských týmů z technologických firem a názorů studentů, kteří předměty programování absolvovali. Práce obsahuje i doporučení pro studenty, kteří se chtějí v budoucnu zabývat vývojem softwaru.
|
|
Portace knihovny Prawn z Ruby do Pythonu 3
Molhanec, Michal ; Pícka, Marek (vedoucí práce) ; Mikoláš, Mikoláš (oponent)
Práce se zabývá automatickým překladem kódu napsaného v jazyku Ruby do Pythonu 3. Nejprve jsou prozkoumány principy překladu, jak je popisuje odborná literatura. V další části se porovnávají jednotlivé jazykové konstrukce a jsou navrženy způsoby jejich překladu.
Na základě této teorie byl vyvinut překladač, který svou funkčnost ukazuje na překladu knihovny Prawn pro generování PDF souborů.
|
|
Energy assessment of building
Žůrek, Petr ; Horák, Petr (oponent) ; Hirš, Jiří (vedoucí práce)
The diploma thesis deals with the energy sector in Russian Federation with emphasis on building sector and its energy efficiency. There is created a basic overview of regulati-ons and standards regarding the building sector and also overview of subsidy programs established by Russian government to decrease an energy intensity. In the practcal part is undertaken energy assessment of specific building under conditi-ons in Czech Republic and Russian Federation. The calculation of the energy balance of the building is carried out with consideration of climate conditions and in compliance of national regulations. On the basis of energy balances are designed measures to reach energy saving. As a conclution is undertaken economic calculation of measures in which are taken in account their different costs and energy price in the Czech Republic and Russian Federation.
|
|
Retargetable Analysis of Machine Code
Křoustek, Jakub ; Janoušek, Jan (oponent) ; Návrat,, Pavol (oponent) ; Kolář, Dušan (vedoucí práce)
Program analysis is a computer-science methodology whose task is to analyse the behavior of a given program. The methods of program analysis can also be used in other methodologies such as reverse engineering, re-engineering, code migration, etc. In this thesis, we focus on program analysis of a machine-code and we address the limitations of a nowadays approaches by proposing novel methods of a fast and accurate retargetable analysis (i.e. they are designed to be independent of a particular target platform). We focus on two types of analysis - dynamic analysis (i.e. run-time analysis) and static analysis (i.e. analysing application without its execution). The contribution of this thesis within the dynamic analysis lays in the extension and enhancement of existing methods and their implementation as a retargetable debugger and two types of a retargetable translated simulator. Within the static analysis, we present a concept and implementation of a retargetable decompiler that performs a program transformation from a machine code into a human-readable form of representation. All of these tools are based on several novel methods defined by the author. According to our experimental results and users feed-back, all of the proposed tools are at least fully competitive to existing solutions, while outperforming these solutions in several ways.
|
|
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.
|
host ::
