|
Legal aspects of software interoperability
Myslivec, David ; Holcová, Irena (referee)
This thesis addresses the legal aspects of software interoperability. Interoperability of software is achieved through an interface that is part of a computer program. The computer program is protected by copyright. The thesis deals with the scope of interface protection and the possibilities of access to unprotected interfaces. It measures the interests of the author in protecting the work against the public interests and proposes solutions that would be able to ensure a greater degree of interoperability or sharing the information necessary to ensure it.
|
|
Design and lay-out of high pressure pumping station.
Václavík, Tomáš ; Franc, Zdeněk (referee) ; Habán, Vladimír (advisor)
The aim of diploma thesis is design and lay-out of high pressure pumping station with plunger pumps for splash of scales from slabs of hot-rolled. Theoretic (introduction) part of this thesis contain description of formation of scales and description of ways how it is possible remove these scales. And this part contains also explication of effect of water jet on solid material. The practical part of diploma thesis is focused on design of pumping station including of dimensioning of machinery. Part of this work is also technical documentation for proposed pumping station and specification of main machines and devices.
|
| |
| |
|
Assemblying effect on cable lines quality
Dočkal, Martin ; Křepelka, Václav (referee) ; Filka, Miloslav (advisor)
In the first part is explained what actually a structured cabling is. Its beginning, from what and why it was created. Its history when at the beginning were applied unbalanced coaxial cables, those were later replaced by balanced cables. In cabling for TVs are still used coaxial cables. Balanced cables are according to type named UTP, STP, FTP, and so on. Whit growing popularity of this type of cabling and its wide spread application was necessary to set some rules, standards, specifications and demands, how to build up the cabling from project to realization. According to these rules is the system built so there are strict rules for length of subsystems and interfaces and the whole appearance of the structure cabling. Next important point is projecting of cabling that is related to the previous points and when it’s finished, we should strictly follow it. With the project is closely connected characteristic of this cabling as attenuations, cross-talks and other transmission parameters which are measured in the practical part. In the second part is spoken about all the parts of which the structured cabling consists - metallic and optical connecting elements and cables. There are also mentioned their mechanical, electrical and transmission features. In the third part is described influence of man on the quality of structured cabling and the most common causes of lower quality and the ways how to prevent this from happening and how to manipulate with cabling not to destroy it. The final (fourth) part considers the measurement. There are measured qualities of metallic wires as the attenuations, delay, cross-talks on the near- and far-end, impedance and resistance. To all the features are mentioned schemes of the measurement on the twisted pairs. The measurement is divided into two parts. In the first part are measured five types of balanced cables of different length, category and damage influencing quality of these cables. In the second part is measured one balanced cable if it’s corresponding with category 5 for that t was made and if it would be possible to use it also for higher category 6. Values are tabularly sorted in tables.
|
|
Residential house Jihlava-technological phase of construction site
Novák, Jan ; Mesiarkin, Jan (referee) ; Henková, Svatava (advisor)
The subject of my bachelor´s thesis is to implement the rough upper construction of residential house in Jihlava. Processing Technology in detail the rules for building and assembly of prefabricated panels SPIROLL. It also contains a technical report, technical report building equipment, building equipment, mechanical assembly design, safety and environmental protection, inspection and test plan, schedule, itemized budget and the export ceiling panels SPIROLL.
|
|
Specifications Database of Security Protocols
Papež, Zdeněk ; Trchalík, Roman (referee) ; Očenášek, Pavel (advisor)
This bachelor's thesis is about the security protocols which are necessary for safe communication in the Internet. There are various kinds of security protocols in use but this work covers only selection of most important of them. I have tried to gather all available information and work them out into uniform database which can be used for further processing. In my opinion, main aid of this work is precise description of knowledge baseand prediction base of each protocol. Also all possible conditions and states are described. The end of part of this work sums up all concerned protocols into a user-friendly table which is used in web-side database accessible from the Internet.
|
|
Verification of Textual Use-Cases
Vinárek, Jiří ; Šimko, Viliam (advisor) ; Hauzar, David (referee)
The aim of this thesis is to create a tool for formal verification of systems specified using textual use- cases. The tool should allow for automated verification of temporal invariants specified in temporal logic (CTL and LTL formulae). The textual specification is transformed to a formal model that is verified using the NuSMV symbolic model-checker. Potential errors are shown to the user in the form of an HTML report. Using this feedback, the user is able to iteratively develop valid textual use-case specifications. The tool's architecture should be focused on reusability of its components and extensibility. Powered by TCPDF (www.tcpdf.org)
|
| |
|
Specifications Database of Security Protocols
Papež, Zdeněk ; Trchalík, Roman (referee) ; Očenášek, Pavel (advisor)
This bachelor's thesis is about the security protocols which are necessary for safe communication in the Internet. There are various kinds of security protocols in use but this work covers only selection of most important of them. I have tried to gather all available information and work them out into uniform database which can be used for further processing. In my opinion, main aid of this work is precise description of knowledge baseand prediction base of each protocol. Also all possible conditions and states are described. The end of part of this work sums up all concerned protocols into a user-friendly table which is used in web-side database accessible from the Internet.
|