|
|
System for Support of Dynamic Data Structures Learning
Trávníček, Jiří ; Grulich, Lukáš (referee) ; Křena, Bohuslav (advisor)
The main objective of this work is to design and implement an application that can be used as an aid for the education of programming essentials. Particularly, the attention focuses on the domain of dynamic data structures. The target application will be implemented with the use of web technologies so that it can be run in an ordinary WWW browser. First of all, a brief introduction recapitulates the data structures to be covered. Then the work summarizes the usable technologies available within the web browsers with the focus on the particular technology (which is DHTML) that will become the target platform. The most significant part of this work then discusses the design of the final application. This rather theoretical part is then followed by the description of the practical implementation. A short user manual is also included.
|
|
|
Model Checking Infinite-State Systems Using Language Inference
Rozehnal, Pavel ; Křena, Bohuslav (referee) ; Vojnar, Tomáš (advisor)
Regular model checking is a method for verifying infinite-state systems based on coding their configurations as words over a finite alphabet, sets of configurations as finite automata, and transitions as finite transducers. We implement regular model checking using inference of regular languages. The method builds upon the observations that for infinite-state systems whose behavior can be modeled using length-preserving transducers, there is a finite computation for obtaining all reachable configurations. Our new approach to regular model checking via inference of regular languages is based on the Angluin's L* algorithm that is used for finding out an invariant which can answer our question whether the system satisfies some property. We also provide an intro to the theory of finite automata, model checking, SAT solving and Anguin's L* and Bierman algorithm of learning finite automata.
|
|
|
Ubiquitous Learning
Sobotka, Miroslav ; Zbořil, František (referee) ; Křena, Bohuslav (advisor)
Tato práce se věnuje všudypřítomnému vzdělávání (u-learning) a mapování ontologií, je součástí dlouhodobého projektu MAPLE a vypracoval jsem ji během studijního pobytu na francouzské univerzitě v La Rochelle, v rámci mezinárodního výměnného programu Socrates-Erasmus. Hlavní cíle práce lze rozdělit na dvě související části. První část má za úkol seznámit čtenáře s prostředím pro všudypřítomné vzdělávání a s vhodnými dostupnými nástroji. Jedním z těchto nástrojů je i komerční program LMA, který je určený pro tvorbu mobilních prezentací a kurzů, důraz je kladen na jejich přenositelnost mezi jednotlivými mobilními platformami. Cílem je demonstrace jeho funkčnosti a vytvoření zkušební mobilní prezentace. Dalším krokem je seznámení čtenáře s virtuálním výukovým prostředím (VLE) a systémy pro správu a řízení výukových kurzů (CMS). Vybraný, volně dostupný CMS se jménem Moodle jsem nainstaloval, nakonfiguroval a vytvořením fiktivního kurzu otestoval a vyzkoušel jeho vlastnosti a funkčnost. Druhá část práce se zabývá ontologiemi, dostupnými nástroji pro práci s nimi a mapovacími algoritmy. Čtenář je seznámen s patřičnou teorií i s motivacemi pro využití ontologií v projektu MAPLE, větší prostor je věnován volně dostupnému programu Protégé, který slouží hlavně jako editor ontologií, ale díky jeho rozšiřitelné architektuře může být využit k nejrůznějším účelům. Důležitým bodem práce je analýza a realizace doporučeného mapovacího algoritmu, který jsem implementoval jako zásuvný modul pro program Protégé. Cílem projektu MAPLE je návrh a realizace pedagogického systému pro mobilní, aktivní a participativní výukové prostředí, které obohatí tradiční model prezenční výuky. Díky mobilním zařízením, spolupracujícím s pracovní stanicí vyučujícího, budou mít studenti možnost okamžité zpětné vazby na probíranou látku. Dalšími záměry projektu jsou mobilní přístup k datům a výukovým kurzům, online komunikace a spolupráce zúčastněných osob, efektivní vedení a administrace kurzů pro vyučující a také spolupráce a propojení již existujících systémů v jeden funkční celek. Motivací pro využití ontologií v projektu MAPLE je správa výukových modulů a prezentací, jejich efektivní katalogizace, znázornění závislostí a vztahů mezi uloženými daty a jejich rychlé a přesné vyhledání. Mapovací algoritmus umožní spolupráci mezi moduly a ostatními databázemi, které používají rozdílné ontologie pro popis a charakterizaci uložených dat.
|
|
|
Heuristic Solving of Planning Problems
Novotná, Kateřina ; Křena, Bohuslav (referee) ; Letko, Zdeněk (advisor)
This thesis deals with the implementation of the metaheuristic algorithms into the Drools Planner. The Drools Planner is an open source tool for solving optimization problems. This work describes design and implementation of Ant colony optimization metaheuristics in the Drools Planner. Evaluation of the algorithm results is done by Drools Planner benchmark with different kinds of optimization problems.
|
|
|
Medical System Based on IZIP and Its Security
Janečka, Lukáš ; Křena, Bohuslav (referee) ; Jurka, Pavel (advisor)
The work discusses the analysis, proposal and implementation of simplified outpatient information system of general practitioner (GP), which communicates with IZIP information system. The proposal of system uses the Model-View-Controller architecture; the design patterns and subject simulated technique use UML. The way of communication with IZIP system, the structure of sent data and the communication security is also described in the work. C++ programming language is used for the implementation of the proposed system, parser Xerces-C++ for XML documents processing, toolkit Qt for graphical user's interface; and the data are stored into the Firebird relational database.
|
|
|
Software for Management of Advertisements
Maleček, Václav ; Jurka, Pavel (referee) ; Křena, Bohuslav (advisor)
This master's thesis describes development of information system for management of printed paper advertisements, including the problem description, definition of requirements, design, implementation and discussion of planned extensions. During design and implementation, special attention was paid to intuitive and easy user interface. System is programmed in Java language. Hibernate is used for data persistence. Graphical user interface makes use of the Swing framework. MySQL is used as the database system.
|
|
|
Bounded Model Checking Using Java PathFinder
Dudka, Vendula ; Češka, Milan (referee) ; Křena, Bohuslav (advisor)
This thesis deals with the application of bounded model checking method for self-healing assurance of concurrency related problems. The self-healing is currently interested in the Java programming language. Therefore, it concetrate mainly on the model checker Java PathFinder which is built for handling Java programs. The verification method is implemented like the Record&Replay trace strategy for navigation through a state space and performance bounded model checking from reached state through the use of Record&Replay trace strategy. Java PathFinder was extended by new moduls and interfaces in order to perform the bounded model checking for self-healing assurance. Bounded model checking is applied at the neighbourhood of self-healing.
|
|
|
Sorting Algorithms in C Language
Vaněk, Jiří ; Křena, Bohuslav (referee) ; Honzík, Jan M. (advisor)
This thesis deals with the sorting algorithms in the context of studying them. The purpose is to provide the students with materials, which can help them with the understanding of these algorithms. The work consists of the rewriting of the study-supporting materials into the C language, the creation of a test program for the appropriate algorithms and the creation of an animation to demonstrate the functionality of the selected algorithms.
|
|
|
Ethical and Law Issues in IT
Žila, Milan ; Honzík, Jan M. (referee) ; Křena, Bohuslav (advisor)
This thesis deals with the problem of software piracy. It analyses the legal issues and copyright law, describes the posibilities of copy protection and the impact software piracy has on society. It also describes various forms of software piracy and presents possible solutions to this problem.
|
|
|
Conjuction and Disjunction in Fuzzy Logic
Havlena, Vojtěch ; Kunovský, Jiří (referee) ; Křena, Bohuslav (advisor)
This thesis deals with triangular norms and their generalizations - uninorms, in particular with their transformation using a unit function and also with modeling of fuzzy conjunction and disjunction based on empirical data. The conditions under which transformations of certain uninorms give again uninorms are established. Conditions of invariance transformations for certain class of uninorms are found. Transformations of uninorms extend class of connectives. The study of these transformations faciliates the search of modeling conditions. An algorithm for modeling of fuzzy connectors is also proposed and analyzed. An experiment based on implementation of the algorithm is evaluated. This experiment aims at modeling of fuzzy conjunction for human use.
|
guest ::
