Monografia jest poświęcona cyfrowemu odwzorowaniu aplikacji ETCS. Aplikację taką należy rozumieć jako system ERTMS/ETCS zastosowany na określonym obszarze sieci kolejowej np. Linii kolejowej. System ERTMS/ETCS realizuje zadania systemu automatycznego zabezpieczenia pociągu ATP (ang.
Automatic Train Protection), do których należą: − wyznaczanie zezwolenia na jazdę; − wyznaczanie dynamicznego profilu prędkości dopuszczalnej w obszarze zezwolenia na jazdę; − nadzór nad przestrzeganiem dynamicznego profilu prędkości dopuszczalnej; − automatyczne hamowanie pociągu w przypadku zagrożenia bezpieczeństwa ruchu kolejowego.
Poprawna realizacja tych funkcji gwarantuje bezpieczeństwo ruchu kolejowego na obszarze sieci kolejowej, nadzorowanego przez aplikację ETCS. Poprawność realizacji funkcji jest kluczowym wymaganiem dla systemu ERTMS/ETCS.
Przeprowadzone przez autora badania w ramach projektu „Cyfrowa kolej. Cyfrowy bliźniak aplikacji ETCS. Wirtualne prototypowanie i symulacja scenariuszy operacyjnych" są oryginalnym osiągnięciem indywidualnego dorobku autora i obejmują składowe zagadnienia badawcze, takie jak: − koncepcja infrastruktury Cyfrowego Bliźniaka Aplikacji ETCS (rozdz.
4.1); − identyfikacja i opracowanie modelu Aplikacji ETCS i jej otoczenia (rozdz. 4.4); − koncepcja wirtualnego laboratorium i metodyki projektowania aplikacji ETCS; poprzez wirtualne prototypowanie (rozdz.
4.5.2); − formalny model infrastruktury kolejowej w postaci Multigrafu IS (rozdz. 5.2); − algorytmy weryfikacji poprawności modelu infrastruktury kolejowej (rozdz. 5.3); − formalny model procesu weryfikacji aplikacji ETCS z zastosowaniem symulacji scenariuszy operacyjnych, w tym: formalna specyfikacja scenariusza operacyjnego (rozdz.
5.4.1) i koncepcja obrazu symulacji scenariusza operacyjnego (rozdz. 5.4.3); − implementacja weryfikacji modelowej z wykorzystaniem czasowych, rozproszonych automatów współbieżnych, jako formalnej metody zezwalającej na kompleksową weryfikację modelu aplikacji ETCS (rozdz.
5.5). Opis wymienionych nowatorskich zagadnień jest uzupełniony charakterystyką powiązanych, istniejących rozwiązań, które stanowią środowisko łączące aktualny stan wiedzy z dorobkiem autora.
Dążenie do podwyższania jakości wszystkich aspektów życia człowieka to podstawowe zadanie jednocześnie na gruncie teorii, jak i praktyki naukowej....15,87 zł
Rodzina za każdym razem była najistotniej autentycznym łącznikiem pomiędzy życiem prywatnym i publicznym. Prawdę tę najlepiej wyrażają słowa...23,82 zł
Nigdy nie był piłkarzem, którego wybryki trafiały na czołówki gazet. Na co dzień małomówny, opanowany i skromny. Ale kiedy wychodził na boisko,...30,73 zł
W pracy podjęto ważką tematykę relacji bank – przedsiębiorstwo na tle zagrożenia upadłością. Zagadnienie kryzysu w przedsiębiorstwie, kryteria...38,11 zł
The issue of health constitutes a crucial komponent of reflections over both human condition and contemporary world. It significantly embraces...32,77 zł
Sześć opracowań zawartych w niniejszym tomie składa się na narrację, której celem jest poszukiwanie odpowiedzi na pytanie o to, jak osoby starsze...18,41 zł
"Problem wymuszonych zaginięć jest we współczesnym świecie bardzo ważny i aktualny. Wymuszone zaginięcia godzą w niejedno z międzynarodowo bronionych...19,00 zł
Formula to postępowy, sprężysty i wyjątkowy kurs przygotowawczy do egzaminów Cambridge. Pionierskie podejście do budowy kursu i tematyki rozdziałów...53,75 zł
W książce ujęto świeże zjawiska telewizyjne (niekoniecznie oglądane w tradycyjnie rozumianej telewizji stąd skupienie się w wielu tekstach na...32,30 zł
Tytuł Naśladownictwo opakowań produktów markowych w świetle prawa własności intelektualnej Autor Katarzyna Jasińska Język polski Wydawnictwo...65,89 zł
(...) Rodzina w toku swego rozwoju przechodzi najróżniejsze etapy i kryzysy, które pokonuje i których przezwyciężanie rodzi nowe wartości. Jednak...42,75 zł
\n\nW książce przedstawiono instytucję odpowiedzialności dyscyplinarnej zawodów prawniczych służby publicznej: sędziego i prokuratora,, a także...144,40 zł
Opinie i recenzje użytkowników
Dodaj opinie lub recenzję dla Teoretyczne podstawy cyfrowego bliźniaka aplikacji ETCS. Twój komentarz zostanie wyświetlony po moderacji.