|
|
High-Quality Visualization of Petri Nets for Publishing Purposes
Bednář, Drahoslav ; Kočí, Radek (referee) ; Janoušek, Vladimír (advisor)
This work is trying to solve the problem of graphical visualization of Petri nets in text publications. The aim of the thesis is to create a tool that will simplify generating of Petri nets and at the same time provide a more aesthetic graphical output than existing tools do. A simplex algorithm was used for automatic network layout. The program has both graphical interface and text mode and can cooperate well with existing tools for working with Petri nets, which the text also mentions. The program is able to load a pnml file and produce a usable image in png, pdf, and svg formats.
|
|
|
Graphics Intro 64kB Using Ray Tracing
Dočkal, Jiří ; Chudý, Peter (referee) ; Herout, Adam (advisor)
This thesis is concerned with the description of the aplication which was determined by the assignment of the bachelor thesis. The main focus are the problems and principles connected with the topic of the thesis. Further on, the thesis describes the actual realization of the aplication and the achieved results. The conclusion covers the evaluation of thesis and possible ways for further improvement of the project.
|
|
|
Practical Efficiency of Containers
Halámka, Jan ; Letko, Zdeněk (referee) ; Holík, Lukáš (advisor)
This thesis is about theorethical and practical comparrison of following data containers: vector, deque, list, hash table, avl-tree, rb-tree, splay-tree, sg-tree, treap, B-tree, binomial heap, fibonacci heap, rope and skiplist while implementing sets. Asymptotic, amortized and average-case complexity for each of those structures are noted, as well as details about their implementation and description of how are they stored in computer memory. There was also created a set of tests for comparrison purposes, its results are also part of this paper.
|
|
|
Generating Realistic Tree Models
Kučerňák, Martin ; Nečas, Ondřej (referee) ; Polok, Lukáš (advisor)
This thesis deals with generating realistic tree models. It describes briefly growth of trees and factors that influence growth. Next, it describes development of methods for tree generation, and describes few chosen methods. After that, simple stochastic method for generating trees is designed, and application, in which the method is implemented, is described. Trees created by this method are then compared with existing methods and aplications, and its qualities are discussed. Then areas with room for improvement are named.
|
|
|
Transformer models for educational purposes
Beran, Vojtěch ; Ctibor, Jiří (referee) ; Pazdera, Ivo (advisor)
The aim of the bachelor's thesis is to project and realize models of transformers in Matlab and Simulink program. Projected models explain the theoretical precondition of the models. The aim is also to create manuals for models usage. The theoretical part bachelor's thesis is focused on transformer theory, which defines the properties, physical quantities, parameters and relations between them. In this part is defined transition from the basic model to models of current and voltage transformer, which forms the basis for the realization of simulations in Simulink. The next part describes vector transformation needed for modeling three phase system, defining the power, voltage and current of the transformer and for change of winding connection. Last part describes non-linear magnetic field. The practical part of the bachelor's thesis is the practical implementation of transformer models in Simulink. Realized models are models of current and voltage transformers. Each model has a form of linear and non-linear model and can work in single-phase or three-phase system. The output of simulation are values and voltage, current and power waveforms for a given load. There is a brief manual for usage for each model.
|
|
|
Design and evaluation of vehicle steering controller
Margetaj, Martin ; Vejlupek, Josef (referee) ; Grepl, Robert (advisor)
V této práci je prezentován a popsán FlexRay komunikační protokol se sběrnicí. Je představeno několik matematických modelů vozidel pro simulaci a pro vývoj řídících systémů. Dále je popsána tvorba signálové brány pro testovací vozidlo. Software pro úpravu signálu je implementován a odzkoušen v testovacím vozidle. Matematick0 modely byli parametrizovány aby odpovídali skutečnému vozidlu. Vyvinuté řídící systémy pro ovládání vozidla skrze losí test byli implementovány do automobilu a jejich vlastnosti byli otestovány. Závěrem jsou prezentovány výsledky testů jednotlivých řídících systémů.
|
|
|
Analysis of the communication between car's electronic control units
Zouhar, Štěpán ; Matějásko, Michal (referee) ; Spáčil, Tomáš (advisor)
This bachelor thesis has 3 basic parts. In the first part is the main topic testing stand which was made for purpose of developing and testing electronic devices for cars. The next part deals with communication on the CAN bus and interface between tools CANoe and Simulink for simulation purposes of ECU‘s (Electronic Control Unit) behaviour. At the end were created 2 examples: one for CANoe and the second one for interface between CANoe and Simulink.
|
|
|
Preparation and characterisation of mRNA/DNA transfection vectors
Horák, Tomáš ; Chmelíková, Larisa (referee) ; Skopalík, Josef (advisor)
This diploma thesis deals with genetic engineering, especially the transfection of DNA into MSCs (Mesenchymal stromal cells) and dendritic cells. Both lipoplexes and metal magnetic nanoparticles were tested to introduce the vector into cells. The research was focused on finding more efficient methods of transfection. According to analysis on MADLS and gel electrophoresis, aspects playing an important role in conjugation and subsequent transfection were found. Conjugation occurs after only 4 minutes, as evidenced by an increase in zeta potential, but to achieve full conjugation it is necessary to incubate the sample for 20 minutes. Incomplete conjugation to iron nanoparticles resulted in strong carrier-carrier interactions, which formed an unwanted conglomerates. Encapsulation into liposomes with cationic surface treatment was without complications. The success rate of GFP-labeled protein expression after transfection by these methods was calculated to be 95%, resp. 91%. This result is due to low cytotoxicity. However, commercial tested kits on dendritic cells had a success rate below 5% with high cytotoxicity.
|
|
|
Preparation and characterisation of mRNA/DNA transfection vectors
Horák, Tomáš ; Chmelíková, Larisa (referee) ; Skopalík, Josef (advisor)
This diploma thesis deals with genetic engineering, especially the transfection of DNA into MSCs (Mesenchymal stromal cells) and dendritic cells. Both lipoplexes and metal magnetic nanoparticles were tested to introduce the vector into cells. The research was focused on finding more efficient methods of transfection. According to analysis on MADLS and gel electrophoresis, aspects playing an important role in conjugation and subsequent transfection were found. Conjugation occurs after only 4 minutes, as evidenced by an increase in zeta potential, but to achieve full conjugation it is necessary to incubate the sample for 20 minutes. Incomplete conjugation to iron nanoparticles resulted in strong carrier-carrier interactions, which formed an unwanted conglomerates. Encapsulation into liposomes with cationic surface treatment was without complications. The success rate of GFP-labeled protein expression after transfection by these methods was calculated to be 95%, resp. 91%. This result is due to low cytotoxicity. However, commercial tested kits on dendritic cells had a success rate below 5% with high cytotoxicity.
|
|
|
Znovupoužitelný 2D editor pro webové aplikace
Schneider, Martin ; Hradiš, Michal (referee) ; Herout, Adam (advisor)
The goal of this work is to implement a 2D editor as a library for web applications together with a test application. The library primarily targets segmentation neural network and remote use environments with optimizations for data transfer. First, the reader is introduced to frontend application development with a focus on 2D graphics editing and image data display. Next, an analysis of the needs for a 2D editor with applications to annotation editing and displaying results in computer vision tasks is presented. The result of the analysis is then converted into a system design, which is subsequently implemented and tested.
|
guest ::
