In the presented thesis, we study an application of nonstandard analysis to dynamical systems, in particular to ω-limit set, stability and global attractor. We recall the definition and properties of elementary embedding, in detail ex- plore the introduction of infinitesimals to the real line and study metric spaces using nonstandard methods, in particular continuity and compactness which are closely related to the theory of dynamical systems. Last we attend to dynamical systems and present nonstandard characterizations of some of its properties such as asymptotic compactness and dissipativity and using these characterizations we prove one of the basic results of this theory - existence of a global attractor. 1

Public tenders procedure - a dynamic purchase system and electronic auction The purpose of public tenders is to serve as an instrument of effective and efficient distribution of public funds, in order to acquire specific goods or services in accordance with the public interest. Therefore, the law defines the process of awarding public tenders. The main purpose of this thesis is to explore and analyze the electronization of the public tenders procedure with an emphasis on dynamic purchase systems and electronic auction. The thesis is based on the current provisions of the Act on Public Tenders No. 137/2006 Coll., and is divided into seven chapters. Chapter one focuses on evolution of public tenders, or public procurement, providing a brief historical outline with an emphasis on national legal regulations. Chapter two explores public procurement law regulations in force that are significant in relation to the aim of the thesis. The first part of the chapter highlights the most important legal documents on the international level, and the second part proceeds with an overview of European Union law. Part three presents a summary of the Act on Public Tenders in force. The third chapter contains a definition of the most essential terms of the Act. Part one deals with the instrument of the public tender...

Title Acute effect of static and dynamic stretching on vertical jump. Objectives The aim of this thesis is to assess whether it is better to warm up by static or dynamic stretching in order to improve performance in the vertical jump. Methods The first part of this thesis is theoretical and is the basis for measurement, which is described in the second part. The tested set consists of ten women volleyball players. Each player underwent three vertical jump measurements on power plates Kistler, which recorded flight time of the player over the plates. All measurements were evaluated afterwards. Five attempts were recorded in each measurement. Measurements were carried out without stretching, after dynamic stretching and after static stretching. The thesis includes a survey that monitors the perception of the players` performance. Results Results of the total tested set measurement show that inclusion of dynamic stretching during the warm up leads to a slight decline in the physical performance. This decrease presents about 0.92%. Another conclusion of this research is that the inclusion of static stretching to the warm up also results in a slight decrease in the athletic performance. In this case the decrease is about 1.72%. In a direct comparison of these two types of stretching, the inclusion of...

Názevpráce Komparace efektivity rozcvičení florbalistů Cíle práce Zjistit, které z vybraných druhů rozcvičení má největší vliv na rychlostní výkon florbalisty. Metoda Data pro komparaci efektivity rozcvičení budou dosažena pomocí srovnávací studie, kdy probandi podstoupí různé druhy rozcvičení. Probandi budou testováni testovou baterií, která je součástí kondičních testů české reprezentace. Využity budou fotobuňky zapůjčené od České florbalové unie. Výsledky Zobrazují efektivitu jednotlivých druhů rozcvičení florbalistů. Klíčová slova Rozcvičení, dynamický strečink, florbal, experiment, komparace

The main objective of this thesis is to make an analysis and to design of a system for the support of distant management staff. An emphasis is placed upon the system design for effective utilization in practice and openness for further development. The theoretical part is divided into three main chapters. The first chapter is about describing the issues of process and project management in terms of the focus of this thesis. The output of this chapter is a list of the general requirements of the system for the support of distant management staff. In the second chapter is an analysis of the market with systems that best meet the defined general requirements. The third chapter is about describing the methods which are used in the practical part of this thesis. The practical part is mainly about realizing the main objective of this thesis. The practical part is divided into three main chapters. The first chapter contains a catalog of requirements for the system for support remote management staff. The second chapter is describing the design of the requirements defined in the first chapter of practical part. The last chapter of this thesis contains a comparison of the designed system and other systems of a similar type.

The objective of this thesis is to present the basics of production scheduling problems for workstations and to create an application of dynamic model. This application should help the UNIKOV company to produce similar schedules for their own operations. The theoretical part provides a brief description of terms and characteristics of the scheduling problems. Detailed characteristics are provided on the open shop problem - the task applied on the real world example. The paper then follows with a practical part, covering an explanation of the heuristics model written in VBA for MS Excel, allowing dynamic expansion and management of the production.

This thesis aims on comparison of rapid development frameworks Nette and Grails. Main objective of this paper is achieved by brief description of both languages (PHP, Groovy) and frameworks. Next is defined relatively complex set of criteria for comparison itself. Frameworks are then compared based on this set. Last part is development of the identical application on both platforms, thanks to which the practicle comparison may be done. The main contribution of this work is in comprehensive comparison of platforms Nette (PHP) and Grails (Groovy), which may be used for making decision about which platform to take for a development of new application. Comparision of course may serve like an information about that what developer should keep an eye on, what can make life easier or harder especially in contrast with that what offers concurent platform.

Different scenarios of the financial situation can take place before the company's bankruptcy. There may be long-term trends in the deteriorating financial situation that indicate the impending corporate bankruptcy, or the bankruptcy may occur unexpectedly, even though the company was ranked among prosperous business units. If the economic situation of the company followed the second scenario, when insolvency was quite predictable, static model, i.e. the model which does not take into account the dynamics of changes in the financial indicators, is a good option to capture the probability of bankruptcy. However, the situation becomes different when the financial indicators fail to show a positive trend throughout some years before the insolvency. In this case, the predictive accuracy of the static model could be increased by a dynamic model by taking into account the fact that the development of the financial indicators in the past periods may affect the company's financial health for the period under consideration.

Diplomová práce je zaměřena na vytvoření simulátoru, jenž na základě variabilního nastavení parametrů v jeho manažerském panelu umožní simulovat politiky komunikace z pozice Informačního manažera. Struktura modelu a parametrizace simulátoru vychází z praktických zkušeností z firmy NETservis s.r.o., která se specializuje na vývoj internetových aplikací pro velké mezinárodní společnosti. Simulátor je tedy určen především pro simulaci politik v této konkrétní firmě, avšak může sloužit i jako referenční model a být používán jinými společnostmi.

This Master thesis is focused on electromagnetic brakes for servomotors. In the first chapter is described principle of operation, later then design and main parameters are explained. The main part of thesis is focused on calculation of dynamic parameters of electromagnetic brakes. Calculations are solved first by analytic method in Matlab–Simulink, then by finite element analysis. Results are compared with measurements on prototype brake.