|
|
Parser and Validator of Data Models in YANG Language
Vican, Pavol ; Kekely, Lukáš (referee) ; Kořenek, Jan (advisor)
Computer network administrators need tools for configuration and monitoring of network devices. Therefore, NETCONF protocol was designed for remote devices configuration and YANG modelling language which describes the structure of the configuration data. The aim of this thesis is to extend the libyang library with syntax parser, that processes models written in YANG and stores them into internal structures. This parser is generated by bison and flex tools.
|
|
|
Website Design
Husár, Viliam ; Neuwirth, Bernard (referee) ; Koch, Miloš (advisor)
The aim of this bachelor's thesis is to design a web application for company VHML, spol. s r.o., by help of which employees will be able to create quotations and pricelist and send them to customers. This application will based on following technologies: PHP, MySQL, FLEX and LaTeX.
|
|
|
Online Flash Communication Platform
Krupa, Peter ; Minařík, Miloš (referee) ; Vašíček, Zdeněk (advisor)
This thesis dealt with issue of creating communication platform via Flash technology. It includes study of the possibilities this technology brings along with cooperation of using other available open-source sources for designing communication software. Beside this analysis, my work contains guideline, how to proceed in a matter of designing this kind of a project and working plan I've chosen. I've done my best to put to my work all information about this problem and tried to show a possible way, how to finish the task as this project was.
|
|
|
OLYMPUS E510 Digital Cameras Simulator and Trainer
Hudec, Tomáš ; Drozdová, Martina (referee) ; Kunovský, Jiří (advisor)
Thesis "OLYMPUS E510 Digital Cameras Simulator and Trainer" is possible to divide into 3 parts - general, specific and conclusion. Introductory general part aims to describe Olympus E510 camera - all it's modes' operation is described in a form of a brief manual. Next segment of the general part deals with the technologies used for the implementation, mainly from Adobe. The second, specific part deals with the specifics of the implementation of the Olympus E510 camera simulator, based on the knowledge contained in the first part of the work. The paper is concluded by the evaluation of the implementation from the viewpoint of usage of the specific technology, and compared with possible alternatives, with advantages/disadvantages being highlihted.
|
|
|
General System for Testing of Interprets
Drahošová, Michaela ; Koutný, Jiří (referee) ; Lukáš, Roman (advisor)
This work deals with concept and implementation of General system for testing of interprets. Testing of interprets is based on the principle of comparation of results of the interpretation carried out by the testing with reference results. The set of testing programmes is acquired by translating testing programmes, in the reference language to programmes in the language of tested interpret. The testing system enables generation of a testing set of programmes for an interpret according input and reference result after a preceding analysis of a file consisting of description of the syntax and semantics of the interpret's language. These actions result is translation of a more complex programming language to another.
|
|
|
Educational Tool for Coloured Petri Nets
Navrátil, Ondřej ; Kočí, Radek (referee) ; Rogalewicz, Adam (advisor)
Coloured Petri nets (CPN) are an extension of a standard place-transition Petri nets (P/T PN). Every token and place have its type (and eventually a value) and various inscriptions can be inserted into the net. CPN excel with great readibility and expresivity. At the same time, they carry a well-defined formal basis, which eases its computer simulation and allows limited verification of certain attributes to be performed. Motivation for doing this project is the simple fact that currently only one public software tool is available for CPN creation and simulation - CPNTools developed on the Aarhus university. The program, however, is quite complicated and hard to handle for an unexperienced user. The goal is to research capabilities and properties of both CPNs and CPNTools and on this basis design and implement a didactic application with swift and intuitive interface that helps users without deeper theoretical insight to get a grasp of the problematics.
|
|
|
Modern Technologies in OLAP
Janoška, Daniel ; Kužela, Alois (referee) ; Hruška, Tomáš (advisor)
OLAP systems are sought-after tool which are deployed in companies and industry environment. The fundamental task of these systems are support of executive management. This work is dealing with OLAP analysis and its capabilities. It also discussed FLEX and AIR technology, their base principles and functions.
|
|
|
System for Capability Support of Software Development Processes
Strapáč, Josef ; Burget, Radek (referee) ; Květoňová, Šárka (advisor)
Evaluation of processes during software development is closely associated with theory of quality management. This master's thesis deals with problems of quality management during development from various points of view. Theoretical part is involved in definitions of terms which relates to fundamentals and methods of quality management. Practical part is aimed at technological aspects of prototype realization. Onward contains analysis and system design, implementation description and final resume.
|
|
|
Teaching aids for 2D computer graphics
Malina, Jakub ; Průša, Zdeněk (referee) ; Rajmic, Pavel (advisor)
In this master’s thesis we focus on the basic properties of computer curves and their practical applicability. We explain how the curve can be understood in general, what are polynomial curves and their composing possibilities. Then we focus on the description of Bezier curves, especially the Bezier cubic. We discuss in more detail some of fundamental algorithms that are used for modelling these curves on computers and then we will show their practical interpretation. Then we explain non uniform rational B-spline curves and De Boor algorithm. In the end we discuss topic rasterization of segment, thick line, circle and ellipse. The aim of master’s thesis is the creation of the set of interactive applets, simulating some of the methods and algorithm we discussed in theoretical part. This applets will help facilitate understanding and will make the teaching more effective.
|
|
|
Teaching aids for 2D computer graphics
Malina, Jakub ; Průša, Zdeněk (referee) ; Rajmic, Pavel (advisor)
In this master’s thesis we focus on the basic properties of computer curves and their practical applicability. We explain how the curve can be understood in general, what are polynomial curves and their composing possibilities. Then we focus on the description of Bezier curves, especially the Bezier cubic. We discuss in more detail some of fundamental algorithms that are used for modelling these curves on computers and then we will show their practical interpretation. Then we explain non uniform rational B-spline curves and De Boor algorithm. In the end we discuss topic rasterization of segment, thick line, circle and ellipse. The aim of master’s thesis is the creation of the set of interactive applets, simulating some of the methods and algorithm we discussed in theoretical part. This applets will help facilitate understanding and will make the teaching more effective.
|
guest ::
