|
|
Small wind turbines in urban enviroment
Ondráček, David ; Škorpík, Jiří (referee) ; Linda, Jakub (advisor)
This thesis is focused on the problematics of smaller wind turbines usage in the urban environment. The beginning of the thesis deals with the basic theory of wind, its origin, and specifics of air flow in the urban environment. Furthermore, a search of currently available wind turbines suitable for the urban built environment is performed, and regarding the specific air flow in this environment, possibilities are proposed to increase the efficiency of these turbines. The next part of the thesis analyses the experience from real world applications. At the end of the thesis, the energy gains generated by the selected turbine and photovoltaic panels in given locality are calculated, ending with a comparison of the suitability of these two sources of renewable energy.
|
|
|
Specifications Database of Security Protocols
Ondráček, David ; Trchalík, Roman (referee) ; Očenášek, Pavel (advisor)
Original protocols, which were created during early development of computer networks, no longer provide sufficient security. This is the reason why new protocols are developed and implemented. The important component of this process is formal verification, which is used to analyze the developed protocols and check whether a successful attack is possible or not. This thesis presents selected security protocols and tools for their formal verification. Further, the selected protocols are specified in LySa calculus and results of their analysis using LySatool are presented and discussed.
|
|
|
On-line calculators for the design of renewable energy installations
Ondráček, David ; Pospíšil, Jiří (referee) ; Linda, Jakub (advisor)
This thesis focuses on the field of renewable energy sources (RES). It focuses on the topic of computational tools that manage the design process of a system using RES. These tools are introduced, their calculation methodology is described and then they are evaluated. As a part of this thesis there is also introduced a design of a unique calculation tool. This tool calculates the energy balance of a dwelling using solar energy and a heat pump.
|
|
|
Small wind turbines in urban enviroment
Ondráček, David ; Škorpík, Jiří (referee) ; Linda, Jakub (advisor)
This thesis is focused on the problematics of smaller wind turbines usage in the urban environment. The beginning of the thesis deals with the basic theory of wind, its origin, and specifics of air flow in the urban environment. Furthermore, a search of currently available wind turbines suitable for the urban built environment is performed, and regarding the specific air flow in this environment, possibilities are proposed to increase the efficiency of these turbines. The next part of the thesis analyses the experience from real world applications. At the end of the thesis, the energy gains generated by the selected turbine and photovoltaic panels in given locality are calculated, ending with a comparison of the suitability of these two sources of renewable energy.
|
|
|
Specifications Database of Security Protocols
Ondráček, David ; Trchalík, Roman (referee) ; Očenášek, Pavel (advisor)
Original protocols, which were created during early development of computer networks, no longer provide sufficient security. This is the reason why new protocols are developed and implemented. The important component of this process is formal verification, which is used to analyze the developed protocols and check whether a successful attack is possible or not. This thesis presents selected security protocols and tools for their formal verification. Further, the selected protocols are specified in LySa calculus and results of their analysis using LySatool are presented and discussed.
|
guest ::
RSS feed.