National Repository of Grey Literature 37 records found  1 - 10nextend  jump to record: Search took 0.00 seconds. 
Model of Tasks with Constrains and Mechanisms of Their Scheduling in UPPAAL SMC
Palúch, Filip ; Podivínský, Jakub (referee) ; Strnadel, Josef (advisor)
The effort of this thesis is the review of mechanisms of tasks planning in singlecore environment. Each models are designed and implemented in tool UPPAAL using these mechanisms. The main focus in this thesis is the tool UPPAAL. Result of this thesis is verification of each mechanisms properties received from implementation of models in UPPAAL. TimesTool and Cheddar are the tools which are used for comparing our results from UPPAAL.
Implementation of Advanced Real-Time Scheduling Mechanisms for uC/OS-II
Čižinský, Vojtěch ; Mikušek, Petr (referee) ; Strnadel, Josef (advisor)
This thesis deals with extensions of uC/OS-II kernel services. These extensions are about advanced task scheduling mechanisms. Source code of this operating system is wide open and can be, in accordance with licence agreement, modified and extended with additional capabilities. Functionality of implemented scheduling algorithms is at the end verified using tools Cheddar and TimesTool.
Design and Implementation of Continues Integration in Logio Company
Muráň, Michal ; Kreslíková, Jitka (referee) ; Očenášek, Pavel (advisor)
This master's thesis describes the possibility of using a continues integration and testing in real company Logio. The result of thesis is implementation of continuous integration tools Jenkins and specific testing for the company Logio. The theoretical part deals with basic principles, techniques and tools defining continuous integration. Subsequently are describing existing tools designed for PHP programming language. The thesis also analyzes various types and possibilities of application testing. Also explains the problems in product development in company Logio, which are consequence of the need for introducing continues integration techniques. The practical part of thesis describes the implementation of a test framework PwTester and its use in continuous integration. In conclusion, the results are evaluated and outlined the possibility of extension.
Mobile App for Editing and Viewing Simple Weekly Schedules
Džubarová, Romana ; Škandera, Juraj (referee) ; Herout, Adam (advisor)
The aim of this work is to create a mobile application that will write down the regular weekly activities of the user. Users are not only university or high school students, but the application is intended to appeal to all people who need to register for regular activities during the week. Users can create activities which are inserted into the table. These activities can be changed or deleted. The application allows you to create a test task. It is possible to set a notification for the exams, which the user will receive at the time of the exam, or he can change this time in the Settings. The user can also change what his table will look like in Settings. He can change the days on which he wants to record activities or the start and end time of activity. The application can also be set to dark mode to save battery life. The bachelor thesis describes the design, implementation, testing, and also future intentions for my mobile application.
Workflow System Data Layer
Prochocká, Kristína ; Zámečníková, Eva (referee) ; Pospíšil, Milan (advisor)
This bachelor's thesis deals with a specific design for a data layer of a Workflow system. Workflow systems are used for various purposes by many companies. The resulting work proposes a simple and flexible Workflow data representation and implements -- in the PHP language and partly JavaScript -- a minimal kernel using this representation and provides sample processes showcasing the design.
Design and Implementation of a System for Checking the Boxes Completeness
Filipský, Dalibor ; Pásek, Jan (referee) ; Jirgl, Miroslav (advisor)
This thesis describes the design and implementation of a system for checking the boxes completeness. Thesis is divided into several parts. The first part includes an introduction into the manufacturing process and also devices, for which the system is designed. The second part consists of system design and a description of hardware components used for the system. The third part deals with the creation of a scheme used for connection an electrical switchboard. The fourth part is focused on a design of mechanical constructions, such as construction plan used for vision sensors connection, lighting system and design mechanical parts of stopper. A simulator of the system for checking the boxes completeness is described in the fifth part. It is used for a demonstration of functionality and controllability of the system. The sixth part deals with enabling of a communication between particular sub-systems, such as vision sensors, control panel and control system. The seventh part is focused on creation of the software required for the control system, HMI panel and deals with the configuration of pair vision sensors. In the final part there are some illustrations of designed system in real process of manufacturing.
Financial Mathematics in Czech Textbooks from the Marchets's Reform
Melcer, Martin ; Bečvářová, Martina (advisor) ; Hora, Jaroslav (referee) ; Odvárko, Oldřich (referee)
Title: Financial Mathematics in Czech textbooks from the Marchet's Reform Author: Martin Melcer Department: Department of Mathematics Education Supervisor: doc. RNDr. Martina Bečvářová, Ph.D. Abstract: The PhD thesis presents a comprehensive view of the development and the position of financial mathematics in Czech textbooks and collections particularly those used in high schools with consideration of the political situation in our country. The analysed period from 1908, i.e. from the Marchet's Reform, to the present is divided into five principal stages. In each stage textbooks covering financial mathematics instruction in all types of secondary schools are chosen. This shows the level and extent of the presentation, the complexity of the given tasks and problems and the way in which they are integrated into the textbooks or the syllabus, more precisely. At first the basic general characteristics of the textbooks are presented followed by a detailed description of partial topics of study which are then analysed thoroughly and mutually compared. The conclusions of the PhD thesis reflect the current situation of financial mathematics instruction and offer ways leading to the improvement in the level of financial literacy of our citizens. Keywords: financial mathematics, principal, interest, debt, annuity,...
DCSN: Platform for Distributed Computing in Small Networks
Háva, Jakub ; Marek, Lukáš (advisor) ; Falt, Zbyněk (referee)
This thesis describes the platform for distributed computing in small networks. The platform should be very easy to use and suitable for deployment typically in one local network. The implementation follows the client-server architecture and the communication between client and server is based on Remote Method Invocation. The server is responsible for tasks distribution and other computation management. The client receives commands from a user, mediates communication with the server and is also used for the processing of tasks received from the server. The user submits a computation project consisting of two parts: a zip archive containing data files and a JAR archive containing a configuration file together with Java classes needed for the computation on the user data. The user is allowed to query the project state, pause, download or abort the project computation. Powered by TCPDF (www.tcpdf.org)
Problematic Types of Tasks in the Listening Comprehension Part of the Didactic Test of the State Secondary School-leaving Examination in French Language
Fejková, Alžběta ; Suková Vychopňová, Kateřina (advisor) ; Klinka, Tomáš (referee)
The topic of this thesis are problematic types of test items in the listening sub test of the didactic test of common part of Maturita school - leaving exam in French language. Introductory chapter of the theoretical part of the thesis focuses on the description of Maturita school-leaving exam, its origin and contemporary model. The following chapters deal with characteristics of the didactic test, its parts and individual test items. These chapters also provide a description of the examined sample, concise characteristics of grammar schools (Gymnasiums) where the research was conducted, and introduces the analytical tools which were used when examining the listening subtest in French language. On the basis of students' answers the most difficult test items of the sub test were pinpointed. KEYWORDS: didactic test, listening sub test, French language, Maturita school-leaving exam, state high school leaving exam, test item
Problematic multiple-choice problems
Venderová, Markéta ; Jančařík, Antonín (advisor) ; Vondrová, Naďa (referee)
This thesis tries to answer the question what impact on the results in Mathematical Kangaroo competition has inclusion of specific curriculum into the School Education Program. The work focuses on multiple-choice type of tasks, where pupils fall short of success. Pupils can meet such tasks in mathematical competitions and research. The work is divided into theoretical and empirical part. The first part, makes readers familiar with current situation regarding mathematical competitions in Czech environment and defines terms related to the issue. It also characterizes selected competitions in which primary school pupils are involved, and focuses more on competition Mathematical Kangaroo. The empirical part describes methodology of qualitative research, aimed to verify the effect of inclusion specific curriculum in mathematics into the School Education Program on results of competition Mathematical Kangaroo. In this section two surveys are processed and analyzed, that took place during the school years 2014/2015 and 2015/2016 at complete primary school. The surveys were based on an analysis of tasks from competition Mathematical Kangaroo, analysis of textbooks, School Education Program and other school documents. Further there were conducted semi structured interviews with teachers and pupils, which...

National Repository of Grey Literature : 37 records found   1 - 10nextend  jump to record:
Interested in being notified about new results for this query?
Subscribe to the RSS feed.