|
| |
|
|
Platform for Mobile Agents in Wireless Sensor Networks
Horáček, Jan ; Kočí, Radek (referee) ; Zbořil, František (advisor)
This work deals with implementation of an agent platform, which is able to run agent code in wireless sensor networks. Implementation has been done for MICAz platform, which uses TinyOS operating system for developing applications. This work contains list of chosen TinyOS parts and illustrates, how such a platform can be used for our purposes. We will describe main features of ALLL language and we will also demonstrate some examples of agents.
|
|
| |
|
|
Automated Planning and Scheduling in Manufacturing
Bucher, Michal ; Kočí, Radek (referee) ; Hrubý, Martin (advisor)
Thesis deals with a problem of automated planning and scheduling in manufacturing. Problem is formally defined by mathematical model Resource Constrained Project Scheduling Problem. Based on this model scheduling system was developed, which is using the optimizer based on Genetic algoritms. Developed system was then tested in real manufacturing. System can also visualize schedules in form of Gantt chart.
|
|
|
iOS Client Interface for Production Scheduling System
Tomala, Tomáš ; Kočí, Radek (referee) ; Hrubý, Martin (advisor)
The aim of this bachelor thesis is to create mobile application for iOS operating system, which will serve as an interface to access PlannerLoop service. The PlannerLoop production scheduling system targets mainly smaller manufacturing companies that cannot afford to invest large sums in automated production scheduling tools. The client application of this service ensures the acquisition of the necessary user data, which it processes and sends to the computing server provided by the service. The user entered operations are scheduled by the service and placed by the client application on a timeline in the schedule, where it is possible to manipulate the operations.
|
|
|
Watermarking as Document Protection
Segedy, Patrik ; Kočí, Radek (referee) ; Hanáček, Petr (advisor)
This thesis is dealing with document protection using a digital watermarking. First, a watermark characteristics are presented. Then, different usages of the watermarking are discussed. Next part of the thesis is dedicated to current development in watermarking field. It is aimed at various principles of watermark embedding into different multimedia types. Subsequently, a watermarking scheme for still images is proposed and implemented. Finally, the watermarking scheme undergoes attacks, which should damage embedded watermark. Attacked watermark is then extracted and compared to the embedded watermark.
|
|
|
A Tool for Analysis of Cooperative Games
Kessner, Filip ; Kočí, Radek (referee) ; Hrubý, Martin (advisor)
Cooperative games are most frequently used to simulate systems of the real world in which deal with cooperation and mutual agreement. Systems under investigation can be as simple as dispute over a shirt but investigated problems can be as crucial as designing of an electoral system, pollution cost allocation or protection of market competition as well. This thesis includes a graphical application capable of computation of some well-known solution types and selection of properties in cooperative games context.
|
|
|
Object Oriented Petri Net Tool
Neužil, Antonín ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This work deals with the development and use of a graphical editor of object-oriented Petri nets implemented in the PNtalk language. First, Petri nets that expand over time are described here. They are followed by a description of the object-oriented paradigm. Next, the structure of object-oriented Petri nets in the implementation of PNtalk is described here. Further work presents a description of the application design, which shows the entire structure of the application from the perspective of views. The main motivation for creating this tool is the effort to make object-oriented Petri nets accessible to their users. The application was implemented in the JavaFX framework and the whole procedure is given in the following chapter together with testing. The result of the work is presented in the examples contained in the last chapter, which also contains detailed manuals for controlling the application. The tool in cooperation with the PNtalk server enables users to work more pleasantly with OOPN and their visual appearance.
|
|
|
SAP Modul for Encoding Invoices to QR Codes
Švancar, Boris ; Hrubý, Martin (referee) ; Kočí, Radek (advisor)
The master's thesis deals with encoding payment data invoices into QR codes in accordance with the by square standard. The SAP system along with a process of encoding data into QR codes and by square PAY standard is introduced in my thesis. In compliance with the standard function module is designed for the SAP system which is in the ABAB language, using Smartforms form allowing the QR codes to generate the invoice. The module is then subjected to testing. The results are evaluated in conclusion of the master's thesis and a description of potential further development is assessed as a final step.
|
|
|
Code Generation from Object Oriented Petri Nets
Cibák, Michal ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The goal of this thesis is to analyze the current solution of a code generator from Object oriented Petri nets written in PNTalk language to Java language, propose changes and implement them. First the overall scheme was analyzed and missing parts were specified, then the source code of the compiler was analyzed and errors were found. The proposed corrections of errors in the compiler were made and some missing parts from the scheme were partially implemented within the compiler.
|
guest ::
