ODBIERZ TWÓJ BONUS :: »

Teoretyczne podstawy cyfrowego bliźniaka aplikacji ETCS Andrzej Kochan

Teoretyczne podstawy cyfrowego bliźniaka aplikacji ETCS Andrzej Kochan - okladka książki

Teoretyczne podstawy cyfrowego bliźniaka aplikacji ETCS Andrzej Kochan - okladka książki

Autor:
Andrzej Kochan
Ocena:
Bądź pierwszym, który oceni tę książkę
Stron:
216
Dostępny format:
     PDF

Ebook 25,15 zł najniższa cena z 30 dni

35,00 zł (-23%)
26,80 zł

Dodaj do koszyka lub Kup na prezent Kup 1-kliknięciem

25,15 zł najniższa cena z 30 dni

Poleć tę książkę znajomemu Poleć tę książkę znajomemu!!

Przenieś na półkę

Do przechowalni

Prezent last minute w ebookpoint.pl

Monografia jest poświęcona cyfrowemu odwzorowaniu aplikacji ETCS. Aplikację taką należy rozumieć jako system ERTMS/ETCS zaimplementowany 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 zapewnia 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; przez 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 wykorzystaniem 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 pozwalają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.

Wybrane bestsellery

Oficyna Wydawnicza Politechniki Warszawskiej - inne książki

Zamknij

Przenieś na półkę
Dodano produkt na półkę
Usunięto produkt z półki
Przeniesiono produkt do archiwum
Przeniesiono produkt do biblioteki

Zamknij

Wybierz metodę płatności

Ebook
26,80 zł
Dodaj do koszyka
Sposób płatności
Zabrania się wykorzystania treści strony do celów eksploracji tekstu i danych (TDM), w tym eksploracji w celu szkolenia technologii AI i innych systemów uczenia maszynowego. It is forbidden to use the content of the site for text and data mining (TDM), including mining for training AI technologies and other machine learning systems.