Analýza vlastností vlakového provozu řízeného pomocí ERTMS/ETCS
| but.committee | doc. RNDr. Milan Češka, Ph.D. (předseda) doc. Ing. Vladimír Janoušek, Ph.D. (člen) Ing. Vladimír Bartík, Ph.D. (člen) doc. Ing. Jan Kořenek, Ph.D. (člen) doc. Ing. Michal Španěl, Ph.D. (člen) | cs |
| but.defence | Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných, např. ohledně věrohodnosti realizovaného modelu a jeho verifikace. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm C - dobře. | cs |
| but.jazyk | čeština (Czech) | |
| but.program | Informační technologie | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Strnadel, Josef | cs |
| dc.contributor.author | Ondroušek, Adam | cs |
| dc.contributor.referee | Šimek, Václav | cs |
| dc.date.created | 2024 | cs |
| dc.description.abstract | Cílem této práce je analýza vlakového provozu řízeného ERTMS/ETCS především na území České republiky. Byl vytvořen model pomocí softwaru Uppaal, který simuluje vlakový provoz. Následně byl navržen scénář, který podstatně zvýšil efektivitu modelované tratě. Tento scénář byl verifikován pomocí simulačních a pravděpodobnostních dotazů Uppaal SMC. Povedlo se dosáhnout příznivých výsledků zdvojnásobením intervalů osobní dopravy ve frekventovaných hodinách a doplnit nákladní vlakové jednotky do provozu v této době s minimální časovou prodlevou při zachování bezpečnosti provozu. Model je koncipován tak, aby dokázal simulovat libovolnou vlakovou jednotku a traťový úsek a mohl by tedy sloužit jako nástroj pro plánování a analýzu vlakové dopravy po zavedení ERTMS/ETCS. | cs |
| dc.description.abstract | The aim of this thesis is to analyze train operations controlled by ERTMS/ETCS, primarily within the Czech Republic. A model was created using the Uppaal software, which simulates train operations. Subsequently, a scenario was designed that significantly increased the efficiency of the modeled track. This scenario was verified using Uppaal SMC's simulation and probabilistic queries. Favourable results were achieved by doubling the intervals of passenger transport during peak hours and adding a freight train unit to the operation during this time with minimal time delay while maintaining operational safety. The model is designed to simulate any train unit and track section and could thus serve as a tool for planning and analyzing train transport after the implementation of ERTMS/ETCS. | en |
| dc.description.mark | C | cs |
| dc.identifier.citation | ONDROUŠEK, A. Analýza vlastností vlakového provozu řízeného pomocí ERTMS/ETCS [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2024. | cs |
| dc.identifier.other | 150946 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/247808 | |
| dc.language.iso | cs | cs |
| dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
| dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
| dc.subject | ERTMS | cs |
| dc.subject | ETCS | cs |
| dc.subject | simulace | cs |
| dc.subject | modelování | cs |
| dc.subject | vlakový zabezpečovač | cs |
| dc.subject | Uppaal | cs |
| dc.subject | Uppaal SMC | cs |
| dc.subject | česká železnice | cs |
| dc.subject | ERTMS | en |
| dc.subject | ETCS | en |
| dc.subject | simulation | en |
| dc.subject | modelling | en |
| dc.subject | train control system | en |
| dc.subject | Uppaal | en |
| dc.subject | Uppaal SMC | en |
| dc.subject | Czech railways | en |
| dc.title | Analýza vlastností vlakového provozu řízeného pomocí ERTMS/ETCS | cs |
| dc.title.alternative | Analysis of Characteristics of Train Traffic Controlled by ERTMS/ETCS | en |
| dc.type | Text | cs |
| dc.type.driver | bachelorThesis | en |
| dc.type.evskp | bakalářská práce | cs |
| dcterms.dateAccepted | 2024-06-13 | cs |
| dcterms.modified | 2024-06-17-08:45:11 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 150946 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.18 21:01:40 | en |
| sync.item.modts | 2025.01.16 00:11:21 | en |
| thesis.discipline | Informační technologie | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav počítačových systémů | cs |
| thesis.level | Bakalářský | cs |
| thesis.name | Bc. | cs |