|
|
Railway Station Podebrady HSR
Piruš, Erik ; Janoušek, Jan (oponent) ; Dušek, Erik (vedoucí práce)
The master´s thesis deals with the design of the transfer terminal on the proposed high speed railway Prague - Hradec Kralove - Wroclaw near the town of Podebrady and exit 39 from the D11 motorway. The work includes the design of station layout, platforms, access roads, bus stops and parking house. As part of the railway station design naintenance base with the loading area. The integral parts of the thesis is design of the railway superstructure, substructure and drainage system.
|
|
|
Návrh odbočky Jistebník
Talapka, Filip ; Janoušek, Jan (oponent) ; Plášek, Otto (vedoucí práce)
Cílem této bakalářské práce je navrhnutí kolejového propojení mezi koridorovou tratí Přerov – Ostrava a vysokorychlostní trati VRT Přerov – Ostrava u obce Jistebník. Mimoúrovňová kolejová propojení jsou navržena ve všech čtyřech směrech s maximální rychlostí 160 km/h. Návrh je zpracován ve dvou základních variantách, a to s minimalizací záboru pozemků a s minimalizací inženýrských objektů.
|
|
|
Synchronous Formal Systems Based on Grammars and Transducers
Horáček, Petr ; Janoušek, Jan (oponent) ; Yamamura,, Akihito (oponent) ; Meduna, Alexandr (vedoucí práce)
This doctoral thesis studies synchronous formal systems based on grammars and transducers, investigating both theoretical properties and practical application perspectives. It introduces new concepts and definitions building upon the well-known principles of regulated rewriting and synchronization. An alternate approach to synchronization of context-free grammars is proposed, based on linked rules. This principle is extended to regulated grammars such as scattered context grammars and matrix grammars. Moreover, based on a similar principle, a new type of transducer called the rule-restricted transducer is introduced as a system consisting of a finite automaton and context-free grammar. New theoretical results regarding the generative and accepting power are presented. The last part of the thesis studies linguistically-oriented application perspectives, focusing on natural language translation. The main advantages of the new models are discussed and compared, using select case studies from Czech, English, and Japanese to illustrate.
|
|
| |
|
| |
|
|
Bělotín Junction and Passing Point Study
Piruš, Erik ; Janoušek, Jan (oponent) ; Dušek, Erik (vedoucí práce)
The bachelor's thesis is focused on design of the separated level connection of the High speed line Prerov - Ostrava to the conventional line Prerov - Ostrava near Hranice na Morave station (connected from the Ostrava side). The thesis should include the track geometry design of the conventional line and design of the Belotin Junction, consisting of two overtaking tracks, each one for one of the directions.
|
|
|
Retargetable Analysis of Machine Code
Křoustek, Jakub ; Janoušek, Jan (oponent) ; Návrat,, Pavol (oponent) ; Kolář, Dušan (vedoucí práce)
Program analysis is a computer-science methodology whose task is to analyse the behavior of a given program. The methods of program analysis can also be used in other methodologies such as reverse engineering, re-engineering, code migration, etc. In this thesis, we focus on program analysis of a machine-code and we address the limitations of a nowadays approaches by proposing novel methods of a fast and accurate retargetable analysis (i.e. they are designed to be independent of a particular target platform). We focus on two types of analysis - dynamic analysis (i.e. run-time analysis) and static analysis (i.e. analysing application without its execution). The contribution of this thesis within the dynamic analysis lays in the extension and enhancement of existing methods and their implementation as a retargetable debugger and two types of a retargetable translated simulator. Within the static analysis, we present a concept and implementation of a retargetable decompiler that performs a program transformation from a machine code into a human-readable form of representation. All of these tools are based on several novel methods defined by the author. According to our experimental results and users feed-back, all of the proposed tools are at least fully competitive to existing solutions, while outperforming these solutions in several ways.
|
|
|
Návrh napojení VRT do Pardubic
Kuchár, Martin ; Janoušek, Jan (oponent) ; Dušek, Erik (vedoucí práce)
Cílem práce bylo navrhnout napojení města Pardubice na síť VRT Praha – Hradec Králové – Wroclaw. Začátek napojení se nachází u obce Olešnice. Konec napojení se nachází u obce Opočínek na konvenční trať před žel. zastávkou Pardubice – Opočínek. Nová trasa VRT bude navržena na maximální rychlost 350 km/h podle Manuálu pro projektování DÚR. Délka trasy bude cca 20 km.
|
|
|
Návrh VRT (RS42) v úseku Louny - Most
Kulhavá, Daniela ; Janoušek, Jan (oponent) ; Dušek, Erik (vedoucí práce)
Bakalářská práce se zabývá návrhem nové dvoukolejné trasy VRT v úseku Louny – Most. Trať je navržena pro osobní dopravu na maximální rychlost 250 km/h. Byly navrženy směrové a sklonové poměry trati, včetně vykreslení zemního tělesa. Bylo řešeno umístění železničních mostů, silničních nadjezdů, propustků a umístění opěrných zdí.
|
|
|
Studie vysokorychlostní trati Hradec Králové – státní hranice CZ/PL
Talapka, Filip ; Janoušek, Jan (oponent) ; Plášek, Otto (vedoucí práce)
Cílem této diplomové práce je návrh trasy vysokorychlostní trati Hradec Králové - státní hranice CZ/PL. Řešený úsek začíná u města Jaroměř a končí v přechodovém bodu na státní hranici CZ/PL u obce Petříkovice. Návrh je vypracovaný ve dvou základních variantách, a to pouze pro osobní provoz a pro smíšený provoz osobní a nákladní dopravy. Součástí obou variant je návrh sjezdu do konvenční sítě u města Trutnov umožňující jeho napojení na VRT ve směru Hradec Králové – Trutnov. Součástí práce je také výpočet investičních nákladů na realizaci jednotlivých variant.
|
host ::
RSS.