|
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.
|
|
Serverless single page application in JavaScript
Zikmund, Marian ; Pecinovský, Rudolf (advisor) ; Suchan, Vladimír (referee)
The goal of this thesis is to design and develop a framework for building modern single- page application in the JavaScript programming language and describe this approach to development. The work also contains the documentation for a more comfortable use and customization. The content is divided into eight chapters. The introduction is followed by the retrieval of information resources, including the specifics of the JavaScript programming language and explanation of the formation of single-page application. The description of the basic principles of their functioning, motivation and justification, when and why this approach is appropriate is also included. The work is primarily focused on the issue of single-page application, for which the use of the JavaScript programming language is crucial. For this reason, this work provides a whole chapter about this programming language, also including a description of its history and role in the context of others. Below are the common characteristics of single-page applications frameworks, built on top of the library ReactJS, whose formation is engaged in the following chapter. The developed framework also contains the user guide. The practical outcome of this work is an open source framework for creating serverless single-page applications, which is due to its architecture and documentation appropriately adaptable.
|
|
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.
|
|
Evaluation of chat bots
Hazdra, Jan ; Sigmund, Tomáš (advisor) ; Čermák, Radim (referee)
This thesis deals with the evaluation of theability of machines to imitate human behavior. Presents a brief history of the development on the field of artificial intelligence and intelligent machines, specifically chat botsand describes their evolution throughout the 20th century. It describes the most important features and building blocks of chat bots, including the most widely used programming languages for creating them.It also describes the theory of A. Turing, the test and the imitation game, on which is based methodology for evaluating chat bots. Then it also examines the criticism of the Turing's test by J. R. Searle's chinese room argument that is used for its better understanding and finding its boundaries. The work also describes H. Dreyfus's assumptions, which led to optimism in the late 90s in development in artificial intelligence and limits of artificial intelligence, on which he pointed out. The main objective is the metodology proposed in the second part, which is used for comparing selected chat bots and then used for their evaluation. Overall evaluation consists of evaluations in the sub-categories in which will be individual chat bots scored. The methodology is based on the Turing test, which slightly modifies, but also extends thanks to the ideas of other authors.
|
|
Analysis of drawing contributions from the Regional Operational Programme in the Košice Region 2007 - 2013
Hupka, Peter ; Kalábová, Markéta (advisor) ; Abrhám, Josef (referee)
Regional policy is becoming one of the strategic priorities of the European Union after its extension. The main tools of the policy are subsidies for less advanced regions in EU. This work aims to evaluate the Regional operational programme in the Košice region during the programming period 2007 to 2013. In the theoretical part author describes the process of forming the European Union, the overall characteristics specified by EU funds and gives basic information on Slovak Republic and Košice Region. The analytical section is dedicated to the characteristics of the Regional operational program. This work compares the individual priority axes of the operational program and the successful utilization of the allocation. For an objective assessment Košice region is compared with other regions of the Slovak Republic at the level of priority axis. Based on the analysis the author reviewed the regional operational programme in the Košice region as successful with space for improvement in the fulfilment of allocations
|
|
Profile and reflections of dance department of the Juilliard school
Červinka, Marek ; JANEČEK, Václav (advisor) ; KŘENKOVÁ, Mahulena (referee)
This bachelor thesis, called Profile and Reflection of Juilliard School’s Dance Division, first of all briefly touches the key events in history of both classical and modern dance in the first half of the twentieth century and then approaches the history of The Bennington School of the Dance which is considered to be the Juilliard’s predecessor. After a general historical overview, descriptions of the educational goals and study programs, is the rest of the work focussing on Juilliard’s Dance Division in detail. Its past accomplishments, famous teachers, study programs and the admission procedures are discussed. All these information, including the interviews with Jarek Cemerek, a Czech choreographer and dance teacher, and with Brennan Clost, a current student of the fourth year at The Juilliard School, were used as a final reflection of Juilliard’s Dance Division. The comparison of Czech dance schools with The Juilliard School is comprised in this section.
|
|
NiCd, NiMH and Li-ion accumulator charger supplied and controlled via USB
Nosek, Petr ; Mišurec, Jiří (referee) ; Zeman, Václav (advisor)
Deals with analysis and battery charging NiCd, NiMH, Li-Ion through a series of microcontroller from Atmel AVR controlled and powered from a PC via USB. Part is devoted to the characteristics of the USB interface and software capabilities to the enumeration AVR microcontroller. It also contains the basic characteristics of charged batteries, including the known methods of charging. The second half of the tehesis then provides a complete design and implementation of battery chargers, which consists of electronic parts, ATMEGA168 microcontroller program and the program for the PC. Presents circuit diagram of the charger and flowcharts of the main features of the program. The result of this thesis is functional battery charger above types. Attachments include a proposal DPS, a full circuit diagram and the charge and discharge characteristics of cells. The thesis is also referred to annex to the optical disk. Here it is mainly programs for microcontroller and PC. They are listed here as well as individual projects for AVR Studio, Borland Builder C + + and Eagle, which was created by chargers.
|
|
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.
|
|
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ů.
|
guest ::
