|
Programs for design of systems in particle optics
Lencová, Bohumila ; Zlámal, J. ; Jánský, P.
The paper describes a number of programs used by us in the design of systems for surface studies and deposition that simulate the focusing, transport and deflection of charged particles. In deposition and implantation systems often quite intense beams of ions are used where the space charge effects become prohibitive. Therefore we have extended our 2D FEM program EOD, equipped with a Windows graphical interface, with an option to compute space charge limited beams.
|
|
The Effects of the New Deal on the social status of Afro-Americans in selected sectors of the US economy
Schwammenhöfer, Tomáš ; Tajovský, Ladislav (advisor) ; Johnson, Zdenka (referee)
This bachelor thesis deals with the effects of the New Deal legislation on Afro-Americans in the 1930s. Specifically, the thesis analytically focuses on the influence of various politician of this program on their social environment within the US economy. For the ease of understanding of whole issue is needed to know the situation of Afro-Americans in the previous decade as well as in the Great Depression. That is the content of the first two chapters. Subsequently there is the outline of the situation leading to the election of F. D. Roosevelt, US President. The last and as well the most important chapter of the whole thesis is devoted to analysis of individual programs and their impact on Afro-Americans. It concludes that the New Deal had both positive and negative influence on this minority, depending on the economic sector and the relevant administration. New Deal generally meant a huge progress in their economic and political affairs.
|
|
Míry podobnosti pro nominální data v hierarchickém shlukování
Šulc, Zdeněk ; Řezanková, Hana (advisor) ; Šimůnek, Milan (referee) ; Žambochová, Marta (referee)
This dissertation thesis deals with similarity measures for nominal data in hierarchical clustering, which can cope with variables with more than two categories, and which aspire to replace the simple matching approach standardly used in this area. These similarity measures take into account additional characteristics of a dataset, such as frequency distribution of categories or number of categories of a given variable. The thesis recognizes three main aims. The first one is an examination and clustering performance evaluation of selected similarity measures for nominal data in hierarchical clustering of objects and variables. To achieve this goal, four experiments dealing both with the object and variable clustering were performed. They examine the clustering quality of the examined similarity measures for nominal data in comparison with the commonly used similarity measures using a binary transformation, and moreover, with several alternative methods for nominal data clustering. The comparison and evaluation are performed on real and generated datasets. Outputs of these experiments lead to knowledge, which similarity measures can generally be used, which ones perform well in a particular situation, and which ones are not recommended to use for an object or variable clustering. The second aim is to propose a theory-based similarity measure, evaluate its properties, and compare it with the other examined similarity measures. Based on this aim, two novel similarity measures, Variable Entropy and Variable Mutability are proposed; especially, the former one performs very well in datasets with a lower number of variables. The third aim of this thesis is to provide a convenient software implementation based on the examined similarity measures for nominal data, which covers the whole clustering process from a computation of a proximity matrix to evaluation of resulting clusters. This goal was also achieved by creating the nomclust package for the software R, which covers this issue, and which is freely available.
|
|
Multicriteria games
Tichá, Michaela ; Dlouhý, Martin (advisor) ; Lachout, Petr (referee) ; Čičková, Zuzana (referee)
Theory of multicriteria games is a special field of game theory, when one or more players have at least two payoff functions and want to maximize simultaneously. The work introduces a number of new findings. It examined the concept of finding equilibria in pure strategies in noncooperative multicriteria game. It is possible to find all the equilibria in pure strategies by full search and solving two linear programs for each point. Furthermore, two linear programs are formulated for verifying that a selected point is the equilibrium of the game or not. In the noncooperative games is also introduced the concept that with knowledge of the equilibrium of bimatrix game determines preferences of the players. Although finding the equilibrium point of the bimatrix game is nonlinear problem, finding the preferences is linear problem. The latest findings in the noncooperative games is a generalization of the concept that solves multicriteria game by assigning weights to each criterion of each player. The work demonstrates that it may not be necessarily linear weights, but it can be more general function that describes the player's preference. The remaining part is devoted to knowledge in cooperative games. There is considered that the players know their preferences and are able to express them by weights. The game with known preferences is defined and solved with the use of bargaining theory. Then it is generalized to a case where players have more payoff functions, from which they can choose. Finally, the multicriteria case of voting game is defined. It is designed completely new concept, which selects the winning coalition in the voting game. This concept is then applied to the real situation after the elections to the Chamber of Deputies in 2013.
|
|
The analysis of an impact of realised projects of the OP Prague - the competitiveness of program period 2007-2013
Kellnerová, Markéta ; Wokoun, René (advisor) ; Krejčová, Nikola (referee)
The purpose of this dissertation is to evaluate an impact of realized projects of Prague operating program The competitiveness on a development of the Prague region. Theoretical part is dedicated to formation and development of regional politics, consequent establishment of the EU and its dividing into the program periods including given aims. Subsequently, the dissertation examines the possibilities of using the funds of the EU, after, these possibilities are discussed, specifically for the CZ. Due to the fact, that it is the OP which is referred only to the capital city Prague, one chapter is given to this issue. The last section of the theoretical part is an implementation of the OP. The practical part is concerned about quantitative and financial analysis of the OP, which is divided into the program years. In the end of the practical part, an effect of the OP is totally evaluated, mainly its impact on the development of Prague through horizontal subjects and achieving of set indicators. Finally, the effect on the region of Prague is evaluated, in terms of applicants for funds.
|
|
Family housing decision-making
Kačírková, Petra ; Brožová, Helena (advisor) ; Adam, Adam (referee)
This thesis is concerned with choosing the best and most real estate mortgage loans for family with children. The family should be chosen property near his residence momentary, then it should be recommended for this property the best mortgage loan. Selecting the property was affected by the demands of all family members and subsequent mortgage loans was selected from the products offered on the Czech market in November 2016. The thesis can be thematically divided into three main parts. The first part includes a literature search, which is divided into two areas. First described methods of multi-criteria decision making, which will be used in the decision making process. Along with these methods includes a literature review and theoretical part of the program area Super Decisions, which will be used in the practical part. Furthermore, theoretically they recognized concepts related to mortgage loans, according to which are then laid down criteria for assessing mortgage loans. The second part contains already a practical perspective on family issues, which therefore includes the selection of the best and most real estate mortgage loan program with the help of Super Decisions. The third part includes a summary of the work and the interpretation of results obtained through the program Super Decisions.
|
|
Porting of Prawn Library from Ruby to Python 3
Molhanec, Michal ; Pícka, Marek (advisor) ; Mikoláš, Mikoláš (referee)
This work focuses on automatic translation of code written in Ruby programming language into Python 3. First part investigates principles of computer programming languages translation as is described in the literature. Second part compares elements of these two programming languages and suggests ways how these elements can be translated.
Based on this theory I developed Ruby-to-Python translator. Its working is demonstrated on the translation of the Prawn library for generating PDF files.
|
|
Cooperation of high schools with external contractors in preparing school educational programs
Tulach, David ; Lačev, Alek (advisor) ; Hochel, Matej (referee)
This thesis, Cooperation of high schools with external contractors in preparing school educational programs, deals with the question whether it would be possible and beneficial for high schools to cooperate with companies on the preparation or modification of their educational programs, with the goal of improving the quality of education. After initial contributions from experts who provided negative replies to this question, the view was focused on the root of the issue - what are the historical pillars of public schools and pedagogy, what does science say about learning and teaching, how pedagogy reacts to the crisis of science. After comparing literal sources and results from interview with the experts, in combination with a trace and activity analysis, a theory was established that public education is reaching a point of crisis, has not changed in its essence since its beginning and that the best solution might be the establishment of alternative educational institutions.
|
|
Automata in Infinite-state Formal Verification
Lengál, Ondřej ; Jančar, Petr (referee) ; Veith, Helmut (referee) ; Esparza, Javier (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zaměřuje na konečné automaty nad konečnými slovy a konečnými stromy, a použití těchto automatů při formální verifikaci nekonečně stavových systémů. Práce se nejdříve věnuje rozšíření existujícího přístupu pro verifikaci programů které manipulují s haldou (konkrétně programů s dynamickými datovými strukturami), jenž je založen na stromových automatech. V práci je navrženo několik rozšíření tohoto přístupu, jako například jeho plná automatizace či jeho rozšíření o podporu uspořádaných dat. V práci jsou popsány nové rozhodovací procedury pro dvě logiky, které jsou často používány ve formální verifikaci: pro separační logiku a pro slabou monadickou druhořádovou logiku s následníkem. Obě tyto rozhodovací procedury jsou založeny na převodu jejich problému do automatové domény a následné manipulaci v této cílové doméně. Posledním přínosem této práce je vývoj nových algoritmů k efektivní manipulaci se stromovými automaty, s důrazem na testování inkluze jazyků těchto automatů a manipulaci s automaty s velkými abecedami, a implementace těchto algoritmů v knihovně pro obecné použití. Tyto vyvinuté algoritmy jsou použity jako klíčová technologie, která umožňuje použití výše uvedených technik v praxi.
|
|
Retargetable Analysis of Machine Code
Křoustek, Jakub ; Janoušek, Jan (referee) ; Návrat,, Pavol (referee) ; Kolář, Dušan (advisor)
Analýza softwaru je metodologie, jejímž účelem je analyzovat chování daného programu. Jednotlivé metody této analýzy je možné využít i v dalších oborech, jako je zpětné inženýrství, migrace kódu apod. V této práci se zaměříme na analýzu strojového kódu, na zjištění nedostatků existujících metod a na návrh metod nových, které umožní rychlou a přesnou rekonfigurovatelnou analýzu kódu (tj. budou nezávislé na konkrétní cílové platformě). Zkoumány budou dva typy analýz - dynamická (tj. analýza za běhu aplikace) a statická (tj. analýza aplikace bez jejího spuštění). Přínos této práce v rámci dynamické analýzy je realizován jako rekonfigurovatelný ladicí nástroj a dále jako dva typy tzv. rekonfigurovatelného translátovaného simulátoru. Přínos v rámci statické analýzy spočívá v navržení a implementování rekonfigurovatelného zpětného překladače, který slouží pro transformaci strojového kódu zpět do vysokoúrovňové reprezentace. Všechny tyto nástroje jsou založeny na nových metodách navržených autorem této práce. Na základě experimentálních výsledků a ohlasů od uživatelů je možné usuzovat, že tyto nástroje jsou plně srovnatelné s existujícími (komerčními) nástroji a nezřídka dosahují i lepších výsledků.
|