|
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.
|
|
Důvěra a reputace v distribuovaných systémech
Samek, Jan ; Návrat,, Pavol (oponent) ; Šafařík,, Jiří (oponent) ; Hanáček, Petr (vedoucí práce)
Tato disertační práce se zabývá problematikou modelování důvěry v distribuovaných systémech, konkrétně pak více-kontextové důvěry v distribuovaných multi-agentních systémech. V současné době existuje velké množství modelů důvěry či reputace, nicméně více-kontextová vlastnost důvěry či reputace v nich není často zohledněna. Z tohoto důvodu se práce zaměřuje především na analýzu více-kontextových modelů založených na důvěře a na jejím základě stanovuje předpoklady pro nový, vlastnost více-kontextovost plně podporující, model důvěry. Stěžejní částí práce je formální návrh nového více-kontextového modelu důvěry, který je schopen vytvářet, aktualizovat a uchovávat důvěru pro různé aspekty (kontexty) jedné entity multi-agentního systému. Důvěru lze v navrženém modelu budovat jak na základě přímých zkušeností, tak i na základě doporučení a reputace. Dalším aspektem navrženého modelu je schopnost odvozovat důvěru v různé kontexty na základě znalosti důvěry v kontexty jiné, což je zajištěno vytvořením hierarchické struktury jednotlivých kontextů jedné entity. Přínosem nového modelu je především zvýšení efektivity rozhodování agentů v rámci multi-agentního systému ve smyslu schopnosti výběru optimálního partnera pro provedení transakce. Návrh modelu byl ověřen implementací prototypu multi-agentního systému, ve kterém se agenti rozhodují a jednají na základě důvěry.
|
|
Stability and convergence of numerical computations
Sehnalová, Pavla ; Dalík, Josef (oponent) ; Horová, Ivana (oponent) ; Kunovský, Jiří (vedoucí práce)
The aim of this thesis is to analyze the stability and convergence of fundamental numerical methods for solving ordinary differential equations. These include one-step methods such as the classical Euler method, Runge-Kutta methods and the less well known but fast and accurate Taylor series method. We also consider the generalization to multistep methods such as Adams methods and their implementation as predictor-corrector pairs. Furthermore we consider the generalization to multiderivative methods such as Obreshkov method. There is always a choice in predictor-corrector pairs of the so-called mode of the method and in this thesis both PEC and PECE modes are considered. The main goal and the new contribution of the thesis is the use of a special fourth order method consisting of a two-step predictor followed by an one-step corrector, each using second derivative formulae. The mathematical background of historical developments of Nordsieck representation, the algorithm of choosing a variable stepsize or an error estimation are discussed. The current approach adapts well to the multiderivative situation in variable stepsize formulations. Experiments for linear and non-linear problems and the comparison with classical methods are presented.
|
|
A NEW DAWN OF NAMING, ADDRESSING AND ROUTING ON THE INTERNET
Veselý, Vladimír ; Muntan,, Jordi Perelló (oponent) ; Grasa, Eduard (oponent) ; Day, John (oponent) ; Švéda, Miroslav (vedoucí práce)
nternet of the year 2015 struggles with problems that are just implications of flawed naming and addressing the concept of TCP/IP, which have an impact on overall routing scalability. Problems such as default-free zone routing table growth, cumbersome multihoming or mobility motivate question whether the Internet deserves major architecture redesign. In the theoretical part, the impact of problems above is evaluated, solutions are discussed and unifying theory compiled and described using formal methods taking into account revered papers about naming, addressing and routing. This work provides in-depth Investigation of two technologies - Locator/Id Separation Protocol a Recursive InterNetwork Architecture. Research contribution is an operational improvement of above-mentioned technologies. New OMNeT++, full-fledged simulation modules compliant with behavior in the specification are used to as verification tool.
|
|
Security of Biometric Systems
Lodrová, Dana ; Busch, Christoph (oponent) ; Provazník, Ivo (oponent) ; Drahanský, Martin (vedoucí práce)
The main contributions of this thesis are two novel approaches for the increase of securing of biometric systems based on fingerprint recognition. The first approach is within the liveness detection and prevents the use of various fake fingers and other spoofing techniques during the capturing processes. This patented approach is based on a combination of change of papillary line color and width caused by pressing of a finger against glass plate. The resultant liveness detection unit can be integrated into an optical fingerprint sensor. The second approach is within standardization and it increases the security and interoperability of minutiae extraction and comparison process. For this purposes, I have created the methodology to determine semantic conformance rates of minutiae extractors. The minutiae extracted by the tested extractors are compared against Ground-Truth-Minutiae obtained by clustering of data provided by dactyloscopic/forensic experts. This proposed methodology is included in the ISO/IEC 29109-2 Amd. 2 WD4.
|
|
Uliční názvosloví v městě Kaplice
JANEČEK, Vít
Bakalářská práce se zabývá jmény ulic, náměstí, význačných staveb a dalších prostranství ve městě Kaplici v okrese Český Krumlov. Na základě archivních pramenů, historické a memoárové literatury sleduje historii města, urbanonyma zděděná ze starších dob a jejich proměny během 20. století až do současnosti. Analyzuje názvy z hlediska jejich motivace a významu, provádí také strukturní třídění názvů podle jejich původu a slovotvorné stavby. Cílem této bakalářské práce je shromáždit starší i novější urbanonyma a přispět k poznání vývoje města i jeho urbanonymie.
|
|
Dynamics of the bow shock and magnetopause
Jelínek, Karel ; Němeček, Zdeněk (vedoucí práce) ; Kudela, Karel (oponent) ; Vandas, Marek (oponent)
vii Název práce: Dynamika okolozemní rázové vlny a magnetopauzy Autor: Karel Jelínek Katedra: Katedra fyziky povrchů a plazmatu Vedoucí disertační práce: Prof. RNDr. Zdeněk Němeček, DrSc. Katedra fyziky povrchů a plazmatu e-mailová adresa: zdenek.nemecek@mff.cuni.cz Abstrakt: Meziplanetární prostor je unikátní laboratoří, která nám pomáhá odhalo- vat (i) chování plazmatu za různých podmínek, (ii) vznik nestabilit a (iii) inter- akci plazmatu s překážkami, například s magnetosférou Země. Předložená dis- ertační práce se zabývá výzkumem vnější magnetosféry Země založeným na dálkovém průzkumu plejádou vědeckých družic, např. IMP-8, INTERBALL-1, MAGION-4, Geotail, Cluster-II a Themis. Sluneční vítr, který je monitorován družicemi WIND a ACE v Lagrangeově bodě L1, působí svým dynamickým tlakem na zemské magnetické pole, které vytváří pro- titlak. Hranici, kde se tlakové působení vyrovnává, nazýváme magnetopauza. Díky nadzvukové rychlosti slunečního větru dochází před magnetopauzou ke vzniku rázové vlny a oblast mezi těmito hranicemi, kde již plazma obtéká překážku, nazýváme přechodová oblast. Výsledkem práce je prohloubení znalostí o závislosti tvaru a polohy rázové vlny a magnetopauzy na (1)...
|
|
Zdanění osobních příjmů zaměstnanců, osob samostatně výdělečně činných a rentiérů v roce 2014
HOUFOVÁ, Petra
Hlavním cílem mé diplomové práce byla analýza daňového zatížení fyzických osob, které mají příjmy ze závislé činnosti, ze samostatné činnosti, z pronájmu movitého i nemovitého majetku a kapitálového majetku. Povinné platby poplatníka byly posuzovány dle předem stanovené různé výše ročních příjmů v rozmezí od 100 000 Kč do 5 000 000 Kč u jednotlivých dílčích základů daně, jak z pohledu daňového, tak i pojistného na veřejné zdravotní pojištění a sociální zabezpečení. V teoretické části jsou vymezeny základní pojmy, které jsou podstatné pro orientaci v problematice zdanění příjmů fyzických osob. Praktická část je rozdělena do čtyř podkapitol podle druhu příjmů, u kterých se stanovila celková daňová povinnost dle výše ročního příjmu. Účelem bylo porovnat dané hodnoty v rámci jednoho dílčího základu daně a zároveň mezi dílčími základy daně navzájem.
|
|
Mechanochemical Preparation of Alumina-Ceria
Jirátová, Květa ; Spojakina, A. ; Tyuliev, G. ; Balabánová, Jana ; Kaluža, Luděk ; Palcheva, R.
Ceria containing catalysts play an essential role in heterogeneous catalytic processes. However, ceria shows poor thermal stability and low specific surface area and therefore, many studies have been done to improve its properties by combination with other oxides. Alumina-ceria is substantial component of the three ways catalysts, due to the ceria ability to function as the buffer of oxygen and to enhance the oxygen storage capacity of the catalysts. Ceria in these catalysts also functions as structural promoting component, increasing alumina stability towards thermal sintering. Promising method of oxides preparation, very interesting and simple but not sufficiently studied yet is a mechanochemical synthesis. Here we report on the synthesis of nano-sized alumina, ceria and ceria-alumina of various compositions by a wet solid phase mechanochemical reaction of hydrous aluminum, and/or cerium nitrate with ammonium bicarbonate after addition of a small amount of water. The aim of this contribution is to study processes being in progress during synthesis of the mixed oxides, interaction between components and their mutual effect on the properties of resulting products. The phase evolution during mechanical milling and the subsequent heat treatment of precursors were studied by X-ray diffraction, DTA/TG, H2-TPR, NH3-TPD, CO2-TPD, N2 adsorption at -195°C, IR, and XPS spectroscopy. Alumina and mixtures of alumina with different quantities of CeO2 (1- 18 wt. %) were synthesized by mechanochemical method from aluminum nitrate, cerium nitrate and ammonia bicarbonate.
Plný tet: SKMBT_C22015083108560 -  PDF
Plný text: content.csg - PDF
|
|
Charakteristika pracovního chování Čechů a Ukrajinců
BYKOVA, Sofia
Tématem mé bakalářské práce je pracovní chování v rámci vybraného podniku, zaměstnávajícího pracovníky českého a cizího (ukrajinského) původu. Cílem teto práce je vytvoření přehledné a srovnatelné charakteristiky jevu pracovního chování v rámci kultur uvedených států co mají společného a rozdílného, případně neslučitelného, analýza případných konfliktů a souvislost těchto aspektů s mentalitou. Zdůvodněním tohoto cíle je především obor, který studuji. Práce obsahuje informace, které by mohly být zajímavé a přínosné, nejen pro mé osobní účely a budoucí povolání, ale také pro role nadřízených i podřízených, případně pro manažery. Přehled zkoumané problematiky obsahuje specifické body, jako např. základy ekonomické psychologie a behaviorální ekonomie (symbióza psychologického a ekonomického názoru na motivaci a racionalitu jedince), teorie pracovní motivace a reakce na různorodé podněty, charakteristiku pojmu "mentalita", obecná východiska o působení člověka ve světě ekonomiky. Pro naplnění cílů mé práce jsem stanovila následující hypotézy: - Ukrajinská a česká mentalita mají určité podstatné rozdíly, i když jsou tyto národy kulturně blízké. - Pracovníci ukrajinského a českého původu dokážou efektivně fungovat v týmu a vycházet mezi sebou v pracovní činnosti. Rozdíl v mentalitě jim v tom nebrání. - Ukrajinští pracovníci by mohli být žádoucí pro zaměstnavatele v ohledu na vyšší zájem a motivaci. Všechny tři stanovené hypotézy byly přijaté na základě zjištěných údajů a srovnání charakteristik mentality. Češi jsou často tolerantní k jiným kulturám, navíc ukrajinská kultura se tolik neliší a nezpůsobuje komplikace v pracovních vztazích. S ohledem na to, že ve vybraném podniku nebyly zjištěné žádné problémy, spojené s pracovním chováním a rozdíly v mentalitě, těžko se definuje nějaký přínos pro danou organizaci.
|
host ::
