|
|
Checking SQL Code Properties
Bali, Filip ; Bartík, Vladimír (referee) ; Rychlý, Marek (advisor)
This thesis focuses on checking the properties of SQL code based on static analysis using predefined rules. The rule represents a basic element of the check. The user can define their own rule and include it in the check. A rule usually contains a set of conditions that are contained in an algorithm that checks nodes in an abstract syntactic tree. Abstract syntactic tree is created from an input SQL statement and customized so that rules can be applied over its nodes. If the rule detects an error, then it can generate a report. These reports are then displayed on the selected output. Based on the thesis, an open source program in the Python3 programming language was implemented. This program is publicly available.
|
|
|
Artificial Intelligence in Bang! Game
Kolář, Vít ; Lodrová, Dana (referee) ; Orság, Filip (advisor)
The goal of this master's thesis is to create an artificial intelligence for the Bang! game. There is a full description of the Bang! game, it's entire rules, player's using strategy principles and game analysis from UI point of view included. The thesis also resumes methods of the artificial intelligence and summarizes basic information about the domain of game theory. Next part describes way of the implementation in C++ language and it's proceeding with use of Bayes classification and decision trees based on expert systems. Last part represent analysis of altogether positive results and the conclusion with possible further extensions.
|
|
|
Formula Student Vehicle Frame Optimization
Krkoška, Kamil ; Porteš, Petr (referee) ; Ramík, Pavel (advisor)
The goal of this diploma thesis was to create optimalizated frame design for Formula Student/SAE. Basic requirements were, that new design must meet the newest Formula Student/SAE rules and other various requirements. In the thesis are built up an overview of most important rules and also an overview of previous frame designs. Next are described design process of the new frame and its stress analysis in FEM software. Main attention is given to analysis of torsional stiffness. The results of analysis are compared to previous frame designs and to parameters of Formula Ford. There are also given recommendations and other possibilities for further frame design development.
|
|
|
Information System Assessment and Proposal for ICT Modification
Placzková, Monika ; Sydorová, Yvona (referee) ; Koch, Miloš (advisor)
The master's thesis deals with the assessment of the current information system in a company, which does not want to disclose its trade name. It will be referred to as ČTKH. Assessing of the company's information system will be based on the results of two questionnaires. The output of the surveys will be to evaluation of the current information system in the company. Further on there will be recommendations, suggestion for improvement and consideration of the possible risks which are associated with the selection of a new information system company.
|
|
|
Financing of Projects by the Help of EU Funds
Bureš, Ondřej ; Poláková, Veronika (referee) ; Boušková, Štěpánka (advisor)
The Bachelor thesis deals with with the EU funds. The theoretical part describes the programs which enable to obtain the necessary finance to partial or full covering of cost of the project. Another part of the thesis describes significant facts for the receiver of dotation especially explaining the phase of cashing.The practical part mainly focuses on common mistakes and recommends ways of solving frequently made mistakes during running of the project.
|
|
|
The Rings
Cendelínová, Kateřina ; Záhora, Zdeněk (referee) ; Vaněk, Vojtěch (advisor)
The project with the title “The Rings” is a simple card game designed for two players. The theme and content of the game is thematically related to rings, which I have been working on for a long time (also on the material level of jewellery making). The card game can be played by players of any age, but I primarily targeted preschool and school-age children. The aim of my bachelor thesis is to introduce children to the craft of ring making in a fun way. An important element of the visual part of the game is the recognition of the images (illustrations) and their correct composition. This leads to the application of stylized drawings that illustrate selected parts of the ring-making process.
|
|
|
Dungeon Lords Board Game
Kawulok, Lukáš ; Kubát, David (referee) ; Doležel, Michal (advisor)
In this work I am describing transformation board game Dungeon lords into computer game. Computer version of the game will have the same rules as board version.Final build of the game allows network playing, saving of game and loading of the saved game. During development of the game is aviable only board version. In documentation I describe steps of developing and also rules of the game. In the end is described the way of testing and also revieling of bugs and their repair. Projet was created in C# language in MS Visual Studio 2010. To creation of GUI is used WDF technique.
|
|
| |
|
|
Formula Student Chassis Rear Part Design
Hajer, Václav ; Svída, David (referee) ; Ramík, Pavel (advisor)
This diploma thesis deals with description of the design of the rear of the vehicle structure of Formula Student processed by using a 3D CAD system. Formula have to fulfill all requirements Formula Student rules. The requirements and rules are given by building of engine and other considered engine components. The final version of the design of the rear part is assembled with the supplied front and the computational model is created to simulate the torsional stiffness of the FEM system. Another analysis model is created for a foreign supplied frame construction. Both of these frames are in terms of torsional stiffness evaluated and mutually compared. There are also mentioned selected Formula Student rules and overview of the formula frames and their overview.
|
|
|
Automated Weight Tuning for Rule-Based Knowledge Bases
Valenta, Jan ; Pokorný, Miroslav (referee) ; Zbořil, František (referee) ; Jirsík, Václav (advisor)
This dissertation thesis introduces new methods of automated knowledge-base creation and tuning in information and expert systems. The thesis is divided in the two following parts. The first part is focused on the legacy expert system NPS32 developed at the Faculty of Electrical Engineering and Communication, Brno University of Technology. The mathematical base of the system is expression of the rule uncertainty using two values. Thus, it extends information capability of the knowledge-base by values of the absence of the information and conflict in the knowledge-base. The expert system has been supplemented by a learning algorithm. The learning algorithm sets weights of the rules in the knowledge base using differential evolution algorithm. It uses patterns acquired from an expert. The learning algorithm is only one-layer knowledge-bases limited. The thesis shows a formal proof that the mathematical base of the NPS32 expert system can not be used for gradient tuning of the weights in the multilayer knowledge-bases. The second part is focused on multilayer knowledge-base learning algorithm. The knowledge-base is based on a specific model of the rule with uncertainty factors. Uncertainty factors of the rule represents information impact ratio. Using a learning algorithm adjusting weights of every single rule in the knowledge base structure, the modified back propagation algorithm is used. The back propagation algorithm is modified for the given knowledge-base structure and rule model. For the purpose of testing and verifying the learning algorithm for knowledge-base tuning, the expert system RESLA has been developed in C#. With this expert system, the knowledge-base from medicine field, was created. The aim of this knowledge base is verify learning ability for complex knowledge-bases. The knowledge base represents heart malfunction diagnostic base on the acquired ECG (electrocardiogram) parameters. For the purpose of the comparison with already existing knowledge-basis, created by the expert and knowledge engineer, the expert system was compared with professionally designed knowledge-base from the field of agriculture. The knowledge-base represents system for suitable cultivar of winter wheat planting decision support. The presented algorithms speed up knowledge-base creation while keeping all advantages, which arise from using rules. Contrary to the existing solution based on neural network, the presented algorithms for knowledge-base weights tuning are faster and more simple, because it does not need rule extraction from another type of the knowledge representation.
|
guest ::
