|
|
Semi-detached Multifunctional Building in Prostějov
Janeček, Jan ; Vlček, Karel (referee) ; Vlček, Milan (advisor)
This thesis is focused on the design and preparation of project documentation multifunctional building in Prostejov. Building has a basement, six floors and the last floor is the attic. The structural system is longitudinal wall and is made of Porotherm system. Floors are made of ceramic panels Heluz. Roof is designed as Gambrel roof. The building is connected to the next building.
|
|
|
Double arm juggling machine movement cotrol
Janeček, Jan ; Marada, Tomáš (referee) ; Němec, Zdeněk (advisor)
The diploma thesis is a part of the project Intelligent double arm juggling machine. The project is divided into two diploma thesis. This thesis deals with the motion control of juggling arms. Information about hardware and software resources used in this project is in the first part of thesis. There is explanation of the control loop, explanation of used communication protocols and implementation of program proceeding in the second part of thesis.
|
|
|
DETERMINATION OF THE DIFFERENCE OF GARAGE PRICES IN PROSTĚJOV
Janeček, Jan ; Nováková, Tereza (referee) ; Pertl, Marek (advisor)
This thesis compares the selected type of property valuation methods in the garage area of the Prostějov. Due to instructions of the work, the methods of valuation were chosen: cost method, comparison according to law and comparison based on databases. The thesis consists of a theoretical part, where is the introduction of basic concepts, market analysis and valuation of real estate. This is followed by a practical part, where is the description of the site and the actual value of selected garages with their descriptions and photographs. Differences of ways of valuation and their causes, which are based on obtained data, are discussed at the end of work.
|
|
|
Design of ČKD Roundabout of Roads I/11, I/33 and I/35
Vencl, Martin ; Janeček, Jan (referee) ; Radimský, Michal (advisor)
Subject of this thesis is a modification of an existing arrangement junction which does not meet current traffic demands. The adjustment includes two lane roundabout road I/11,1/33 and I/35 near ČKD in Hradec Králové. The proposed solution is based on requirements of the regional office of Hradec Králové region. One part of the thesis includes the capacity assessment of the proposed amendments.
|
|
|
Control and data structures in programming languages
Janeček, Jan ; Smrž, Jaroslav (referee) ; Dvořák, Jiří (advisor)
The essence of this work is to give basic information about the algorithm development and general pieces of knowledge of the structures in programming languages. These pieces of knowledge are specified for selected programming languages, to comparison is performed and application examples based on specific patterns for corresponding language are presented.
|
|
|
Trust Management Systems in P2P Networks
Novotný, Miroslav ; Zavoral, Filip (advisor) ; Janeček, Jan (referee) ; Fujita, Satoshi (referee)
The architecture of certain class of services, such as distributed computing, distributed storages or content delivering networks shifts from the traditional client-server model to more scalable and robust peer to peer networks. Providing proper protection to such complex, open and anonymous systems is very complicated. Malicious peers can cooperate and develop sophisticated strategies to bypass existing security mechanisms. Recently, many trust management systems for P2P networks have been proposed. However, their effectiveness is usually tested only against simple malicious strategies. Moreover, a complex comparison of resistance of a particular method is missing. In this thesis, we (1) propose a new trust management system called BubbleTrust and (2) develop a simulation framework for testing trust management systems against various malicious strategies. Our simulation framework defines several criteria which determine the success of each malicious strategy in the network with a given system. We present results of four trust management systems that represent main contemporary approaches and BubbleTrust.
|
|
| |
|
|
Automated verification of software
Šerý, Ondřej ; Plášil, František (advisor) ; Janeček, Jan (referee) ; Ghezzi, Carlo (referee)
Despite the research e ort being invested into the eld of automated veri cation of software, its adoption in industry is still rather slow. Several reasons for this hesitation may be identi ed. The thesis focuses on the following two (i) dificulty of assessment of di erent tools, and (ii) difficulty of tools usage and integration in the development process. To facilitate tool assessment, we provide a comprehensive overview of code model checking techniques with evaluation based on a common set of criteria. In addition, we contribute by an industrial case study on applicability of the BLAST model checker. Since also proper education is necessary for the ability of tool assessment, we include our experience report on preparation of two master-level formal method courses. By incorporating an easy to use speci cation language into the BLAST model checker, the thesis contributes to facilitating tools usage. In addition, we introduce the concept of unit checking, a combination of unit testing and code model checking, which helps integration of code model checking in the software development process.
|
|
|
Universality in Amorphous Computing
Petrů, Lukáš ; Wiedermann, Jiří (advisor) ; Janeček, Jan (referee) ; Neruda, Roman (referee)
Amorphous computer is a theoretical computing model consisting of randomly located tiny devices (called nodes) in some target area. The nodes of an amorphous computer can communicate using short-range radio. The communication radius is small compared to the size of the target area. The nodes are all identical, initially have no identi ers, work asynchronously and there is no standard communication protocol. An amorphous computer must work for any number of nodes under reasonable statistical assumptions concerning the spatial distribution of nodes. Moreover, the computation should use very limited amount of memory on each node. For the just described concept of amorphous computer we investigate the question whether a universal computation is possible at all in a corresponding theoretical model. To answer this question, several subsequent steps are performed. In the rst step, we design a formal minimalist model of a node and of the amorphous computer as a whole. In the second step, we develop communication protocol for the amorphous computer. In the last step, we show the universality by simulating a computation of a universal machine. The size of the amorphous computer will depend on the space complexity of the simulated machine. All the previously mentioned steps are described in detail in this work....
|
|
|
Security in wireless networks
Mlčochová, Ivana ; Janeček, Jan (advisor) ; Peterka, Jiří (referee)
The more the popularity of wireless networks grows the more threatsb appear of being attacked or misused, either intentionally or by accident. This bachelor work describes security protocols in use, such as WEP, WPA and WPA2, analyses their vulnerabilities and discusses the danger of possible attacks against them. As the security protocol itself cannot entirely protect any wireless network there are additional security measures suggested that minimize the risk of an successful attack. One of the goals was to prove experimentaly that WEP is really as bad a protocol as it is said and should not be used for securing any networks not even the home ones. In connection with that a survey has been made examining how wireless networks in Prague are secured, what protocols are used. This survey showed an alarming fact that most wireless networks are still using deprecated protocol WEP or no security protocol at all.
|
guest ::
RSS feed.