|
|
Design of the High Speed Track between Brno and Znojmo
Repko, Michal ; Velebil, Jiří (referee) ; Valehrach, Jan (advisor)
The aim of this diploma thesis is to design a new track route of high speed line from Brno to Znojmo, specifically between the planned terminal of high speed line Unkovice and existing railway station Hrušovany nad Jevišovkou. The track is designed for a maximum speed of 250 km/h. The alignment and profile of the line were designed, including the design of the railway superstructure and track geometry parameters.
|
|
|
Design of the High Speed Track between Brno and Znojmo
Repko, Michal ; Velebil, Jiří (referee) ; Valehrach, Jan (advisor)
The aim of this diploma thesis is to design a new track route of high speed line from Brno to Znojmo, specifically between the planned terminal of high speed line Unkovice and existing railway station Hrušovany nad Jevišovkou. The track is designed for a maximum speed of 250 km/h. The alignment and profile of the line were designed, including the design of the railway superstructure and track geometry parameters.
|
|
|
Gentzen's Consistency Proof
Horská, Anna ; Švejdar, Vítězslav (advisor) ; Velebil, Jiří (referee)
This paper contains detailed description of two consistency proofs, which state that in the system called Peano arithmetic no contradiction can be obtained. The proofs were first published in 1936 and 1938 by the German mathematician Gerhard Gentzen. For the purpose of this paper, the proofs were read and studied from the original articles called "Die Widerspruchsfreiheit der reinen Zahlentheorie" and "Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie". The first mentioned proof is interesting from the historical point of view. Gentzen used a natural deduction sequent calculus and ordinal numbers in an unusual form he invented. The second proof is similar to the consistency proof, which is commonly known as a consistency proof for Peano arithmetic nowadays.
|
|
|
The care of woody plants and their preservation in garden art monuments
Velebil, Jiří ; Bulíř, Pavel ml. ; Vrabec, Vladimír ; Andreas, Michal ; Businský, Roman ; Tábor, Ivo
Cílem metodiky je podat návod, jakým způsobem racionálně pečovat o dřeviny v památkách zahradního umění tak, aby bylo docíleno co nejdelší doby jejich existence na stanovišti při zachování všech požadovaných funkcí. Cílem je také zohlednit různé, často protichůdné aspekty péče o dřeviny, diskutované na teoretické i praktické úrovni. Metodika může být použita jako metodická podpora jak pracovníků péče o památkové objekty, tak praktiků vykonávajících pravidelnou údržbu a péči o dřeviny v památkách zahradního umění i v jiných objektech zahradní a krajinářské tvorby. Lze ji využít i jako předlohový materiál pro pracovníky odborů životního prostředí příslušných správních orgánů. Tato metodika najde využití také jako příručka pro výuku speciálních předmětů na odborných středních nebo vysokých školách či jako praktický návod pro zájemce z řad široké veřejnosti.
Fulltext:  PDF
|
guest ::
RSS feed.