|
|
Detached House in Rybany
Sokolík, Patrik ; Hoffmann, Petr (referee) ; Brzoň, Roman (advisor)
The aim of this bachelor thesis is to create a project documentation for the new family house in village Rybany. I tis two-storey stand-alone object with cellar under part of the house. House is designed for one generation. The construction system is walled from lost formwork Velox. The roof is designed as flat and covered with vegetation. The drawing part is created in software ArchiCAD.
|
|
|
Apartment building in Humpolec
Novák, Tomáš ; Hoffmann, Petr (referee) ; Brzoň, Roman (advisor)
The bachelor thesis deals with the design of an apartment building with a bicycle shop in the town of Humpolec. The thesis contains complete documentation for the execution of the construction, assessment in terms of building physics and fire safety report. The building is divided into two operational units. The first unit is a bicycle shop, which includes staff facilities and bicycle service facility. The second unit consists of individual apartments and their facilities. In the basement, there are cellars for each apartment, a technical room and a workshop. On the ground floor, there is a accessible flat for handicapped persons in size 2 rooms plus kitchen corner. The second floor consists of four apartments two available in size of 1 room plus kitchen corner and two size of which is 2 rooms plus kitchen corner. On the last third utility floor, there are two apartments size of which is 3 room plus kitchen corner which is layout designed for a 4-5 member family. The house have masonry system, where the vertical structures on the underground floor are made of concrete block cast by concrete. Overground vertical structures are made of Porotherm clay blocks. Horizontal constructions are made of pre-stressed Spiroll ceiling panels. The roof is cold roof and its supporting structure consists of timer truss girder mounted on the perimeter walls.
|
|
|
Apartment building Skalky
Svobodová, Olga ; Hoffmann, Petr (referee) ; Brzoň, Roman (advisor)
This bachelo‘r thesis deals with the project of an apartment building in Svitávka. The apartnem building have ten flats. It has four above-ground floors and one basement floor. In the basement is utility room and cellars. The external load-bearing structure of the basement is designed as monilitic reinforced concrete. The external wall of the above-ground part of the project is designed of clay blocks Heluz complemented with a contact thermal insulation system according to ETICS. The horizontal load-bearing structures are projected of monilitic reinforced concrete. The whole building is roofed with a warm flat roof with a screed to fall of thermal insulation.
|
|
|
Searching for similar secondary structures in RNA
Vojtek, Daniel ; Mráz, František (advisor) ; Hoffmann, Petr (referee)
In contrast to DNA, the RNA strings fold into complicated secondary structures, which are highly important for their function. Main goal of this work was to create an application, which allows designing a detailed pattern of RNA secondary structure and then finding similar ones in the given set of RNA. The application has also direct access to GenBank database, from which it can download RNA sequences according to the user-defined query. Sequences without secondary structure are folded using a function from Vienna RNA Package. A part of the application is a graphic user interface, which provides comfortable way to design a pattern and allows the browsing found similar secondary structures. The work also presents basic principles of searching of similar RNA secondary structures and its usage in building phylogenetic trees. Description of all used algorithms is present too.
|
|
|
A database for RNA secondary structures
Tattermusch, Jan ; Mráz, František (advisor) ; Hoffmann, Petr (referee)
In the presented work we study RNA primary and secondary structures and we select suitable models for their computational representation. Next, we state criteria for primary and secondary structure comparison. Based on this criteria, we select tree alignment as a suitable method for implementation of structural search. We also mention some speci cs of structural search task and propose some possible modi cations that can speed-up the search. An important part of this work is web application "RNA Secondary Structure Database", which implements structural and sequence-structural search.
|
|
|
An application for testing automata learning algorithms
Vyšohlíd, Jan ; Hoffmann, Petr (advisor) ; Krčah, Peter (referee)
In the present work we study methods for testing regular inference algorithms. First there are introduced some theoretical basics for finite state automata and regular inference. Next we present some finite state automata learning algorithms, their principles and used testing methods, which find out algorithms quality via testing resulting automata. Following text makes the training and testing data generating process clear, describes format for saving this data and for saving finite state automata and finally the algorithms testing run alone, too. The application implementing present testing methods is a part of this work as well. It saves result statistics in chosen format. In appendices we append user and programmer documentation for this application.
|
|
|
Tools for handling bibliographic data
Hlušičková, Šárka ; Žemlička, Michal (advisor) ; Hoffmann, Petr (referee)
In this work we study conversions of bibliographic records between different bibliographic formats and making lists of bibliographic references. We have focused on the formats that are native for the most used citation managers or can be easily imported to them. The formats are the BibTeX format (BibTeX), the RIS format (Reference Manager, Procite, EndNote) a the Tagged "EndNote Import"e (EndNote). We also support conversions from the MARC 21 format, in which libraries store their records. The bibliographic references are created according to the rules of two standards ČSN ISO 960 and ČSN ISO 960-2, we do not consider making the in-text citations.
|
|
| |
|
|
A tool for testing of algorithms for learning languages
Krejčová, Martina ; Hoffmann, Petr (advisor) ; Kukačka, Marek (referee)
Goal of this work was to develop a tool for testing algorithms of grammatical inference of context-free languages. Grammatical inference is a process of learning of grammars and languages from data. Learning could mean finding a suitable model that describes data. Due to this model we could for instance compress this data, create new data or find out which data are consistent with this model. The model in our tool is context-free grammar. We describe how to generate the context-free grammar and data from which the algorithm can try to learn the language of this grammar. The problem of context-free grammar complexity was solved in order to evaluate success achieved by an algorithm in different learning tasks. Also some alternatives of evaluating success of an algorithm are described. This tool is also useful to create data for publishing results of the algorithm.
|
|
|
An environment for restarting automata
Černo, Peter ; Mráz, František (advisor) ; Hoffmann, Petr (referee)
Restarting automata are linguistically motivated models of automata that can be used e.g. in checking correctness of a sentence. The main subject of this work is to design a specialized program which allows an easy design and testing of these automata and provides specialized tools for learning finite automata and defining languages. The thesis presents theoretical background and gives formal definition of restarting automaton. Then the possibilities of implementation of such system are discussed and the actual implementation is described. The user guide is included in the thesis.
|
guest ::
RSS feed.