|
|
Railway Station Podebrady HSR
Piruš, Erik ; Janoušek, Jan (referee) ; Dušek, Erik (advisor)
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.
|
|
|
Design of junction point Jistebník
Talapka, Filip ; Janoušek, Jan (referee) ; Plášek, Otto (advisor)
The aim of this bachelor thesis is to design a rail connection between the corridor track Přerov – Ostrava and a high-speed track Přerov – Ostrava near the village Jistebník. The flyover interconnections are designed in all four directions for a maximum speed of 160 km / h. The proposal is divided into two basic variants – the minimization of land occupation and the minimization of engineering objects.
|
|
|
Synchronous Formal Systems Based on Grammars and Transducers
Horáček, Petr ; Janoušek, Jan (referee) ; Yamamura,, Akihito (referee) ; Meduna, Alexandr (advisor)
Tato disertační práce studuje synchronní formální systémy založené na gramatikách a převodnících a zkoumá jak jejich teoretické vlastnosti, tak i perspektivy praktických aplikací. Práce představuje nové koncepty a definice vycházející ze známých principů řízeného přepisování a synchronizace. Navrhuje alternativní způsob synchronizace bezkontextových gramatik, založený na propojení pravidel. Tento princip rozšiřuje také na řízené gramatiky, konkrétně gramatiky s rozptýleným kontextem a maticové gramatiky. Dále je představen na podobném principu založený nový druh převodníku, tzv. pravidlově omezený převodník. Jedná se o systém složený z konečného automatu a bezkontextové gramatiky. Práce prezentuje nové teoretické výsledky ohledně generativní a přijímajicí síly. Poslední část práce zkoumá možnosti lingvisticky orientovaných aplikací se zameřením na překlad přirozeného jazyka. Diskutuje a srovnává hlavní výhody nových modelů s využitím vybraných případových studií z českého, anglického a japonského jazyka pro ilustraci.
|
|
| |
|
|
HSR (RS42) Design of the Track Section Nova Ves Junction - Louny
Losenický, Miloš ; Janoušek, Jan (referee) ; Dušek, Erik (advisor)
The aim of bachelor thesis is to design a new high-speed line between Nova ves – railway station Louny. Route of HSR is designed only for passenger traffic and for track speed 250 kph. The track section starts by the road II/118. The thesis includes the design of the track junction in front of the railway station Louny with the modification of the existing railway lines and including the design of the exit from the HSR.
|
|
|
Bělotín Junction and Passing Point Study
Piruš, Erik ; Janoušek, Jan (referee) ; Dušek, Erik (advisor)
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 (referee) ; Návrat,, Pavol (referee) ; Kolář, Dušan (advisor)
Analýza softwaru je metodologie, jejímž účelem je analyzovat chování daného programu. Jednotlivé metody této analýzy je možné využít i v dalších oborech, jako je zpětné inženýrství, migrace kódu apod. V této práci se zaměříme na analýzu strojového kódu, na zjištění nedostatků existujících metod a na návrh metod nových, které umožní rychlou a přesnou rekonfigurovatelnou analýzu kódu (tj. budou nezávislé na konkrétní cílové platformě). Zkoumány budou dva typy analýz - dynamická (tj. analýza za běhu aplikace) a statická (tj. analýza aplikace bez jejího spuštění). Přínos této práce v rámci dynamické analýzy je realizován jako rekonfigurovatelný ladicí nástroj a dále jako dva typy tzv. rekonfigurovatelného translátovaného simulátoru. Přínos v rámci statické analýzy spočívá v navržení a implementování rekonfigurovatelného zpětného překladače, který slouží pro transformaci strojového kódu zpět do vysokoúrovňové reprezentace. Všechny tyto nástroje jsou založeny na nových metodách navržených autorem této práce. Na základě experimentálních výsledků a ohlasů od uživatelů je možné usuzovat, že tyto nástroje jsou plně srovnatelné s existujícími (komerčními) nástroji a nezřídka dosahují i lepších výsledků.
|
|
|
Design of Pardubice Connection from HSR Line
Kuchár, Martin ; Janoušek, Jan (referee) ; Dušek, Erik (advisor)
The aim of the work was to design the railway connection of the city of Pardubice to the VRT network Prague - Hradec Králové - Wroclaw. The beginning of the connection is to be located near the village of Olešnice. The end of the connection is to be located near the village of Opočínek on a conventional line in front of the railway stop Pardubice - Opočínek. The new VRT route is to be designed for a maximum speed of 350 km / h according to the DÚR Design Manual. The length of the route should be about 20 km.
|
|
| |
|
|
Study of the highspeed line Hradec Králové - state border CZ/PL
Talapka, Filip ; Janoušek, Jan (referee) ; Plášek, Otto (advisor)
The aim of this master's degree thesis is a design the route of the high-speed railway line between Hradec Králové - state border CZ/PL. The section starts near the town of Jaroměř and ends at the state border of CZ / PL, near the village of Petříkovice. The proposal is developed in two basic variants, variant nr. 1 only for passenger traffic and variant nr. 2 for mixed traffic of passenger and freight transport. Part of both variants is the design of the exit to the conventional network near the town of Trutnov, enabling its connection to the high speed railway in the direction of Hradec Králové - Trutnov. Part of the work is also the calculation of investment costs for the implementation of individual variants.
|
guest ::
RSS feed.