W dniu dzisiejszym kontakt z Biurem Obsługi Klienta jest możliwy jedynie drogą mailową.
Przepraszamy za niedogodności. więcej

Teoretyczne podstawy cyfrowego bliźniaka aplikacji ETCS

Kochan Andrzej
25,20 zł -30%
36,00 zł
Cena okładkowa
36,00 zł Najniższa cena Najniższa cena z 30 dni przed obniżką

Ostatnie sztuki

Szczegóły produktu

Data wydania
11 paź 2023
Format pliku
eBook (pdf)
Autor/Redaktor
Kochan Andrzej

Teoretyczne podstawy cyfrowego bliźniaka aplikacji ETCS

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.

 

Recenzje (0)

Zainspiruj się kategoriami tego produktu

Książki tego autora

Teoretyczne podstawy cyfrowego bliźniaka aplikacji ETCS: Nowoczesne podejście do bezpieczeństwa kolejowego

Zapraszamy do lektury monografii poświęconej cyfrowemu odwzorowaniu systemu ETCS, kluczowego elementu zapewniającego bezpieczeństwo i niezawodność ruchu kolejowego. W naszej ofercie znajdą Państwo również rekomendacje dotyczące zastosowań nowoczesnych baz danych, oceny bezpieczeństwa systemów sterowania ruchem oraz optymalizacji procesów przemysłowych, które uzupełniają wiedzę na temat innowacyjnych rozwiązań w branży kolejowej.

Po jakie produkty jeszcze warto sięgnąć:

  1. Wybrane zagadnienia zastosowań współczesnych baz danych w modelowaniu: Ta monografia zagłębia się w możliwości wykorzystania nowoczesnych baz danych w modelowaniu i symulacji procesów transportowych. Przedstawia przegląd modeli NoSQL oraz schematy systemów informatycznych, które mogą zrewolucjonizować transportowe rozwiązania informatyczne.
  2. Ocena bezpieczeństwa i niezawodności systemów sterowania ruchem kolejo: Poznaj podstawowe metody i narzędzia oceny bezpieczeństwa systemów sterowania ruchem kolejowym. Ta publikacja jest niezbędna dla każdego, kto chce zrozumieć, jak zapewnić niezawodność i bezpieczeństwo w krytycznych systemach transportu kolejowego.
  3. Optymalizacja i modelowanie procesu wytłaczania tworzyw polimerowych: Odkryj innowacyjne narzędzie optymalizujące proces wytłaczania tworzyw polimerowych. Dzięki zastosowaniu algorytmów genetycznych, praca ta oferuje nowoczesne rozwiązania dla przemysłu tworzyw sztucznych, poprawiając efektywność i jakość produkcji.
  4. Metody analizy nowych systemów nagrzewania indukcyjnego: Zanurz się w przyszłościowe rozwiązania w dziedzinie nagrzewania indukcyjnego. Praca opisuje autorskie konstrukcje urządzeń grzejnych i układów sterowania, które mogą zrewolucjonizować przemysłowe procesy termiczne.
  5. Modelowanie procesów magazynowych w zastosowaniu do oceny wydajności i: Ta monografia prezentuje metodykę modelowania procesów magazynowych, skupiając się na ocenie ich wydajności i bezpieczeństwa. Idealna dla menedżerów i inżynierów dążących do optymalizacji operacji magazynowych.
  6. Ilościowe metody analizy incydentów w ruchu lotniczym: Poznaj nowoczesne metody ilościowej analizy zdarzeń w transporcie lotniczym. Ta publikacja łączy klasyczne techniki z innowacyjnymi rozwiązaniami, aby poprawić bezpieczeństwo i zarządzanie w lotnictwie.
  7. Cyberbezpieczeństwo. Podejście systemowe: Dowiedz się, jak systemowe podejście i normy międzynarodowe mogą zwiększyć bezpieczeństwo informacji. Ta książka jest niezbędna dla przyszłych menedżerów i specjalistów ds. bezpieczeństwa cyfrowego.
  8. Ocena funkcjonowania terminali intermodalnych w aspekcie realizowanych: Poznaj metodykę modelowania procesów w terminalach intermodalnych, która pozwala na ocenę czasu i kosztów obsługi jednostek transportowych. Idealne narzędzie dla specjalistów w logistyce i transporcie.
  9. Projektowanie w procesie BIM: Zmodyfikuj swoje podejście do projektowania budynków dzięki metodzie BIM. Ta książka wprowadza w nowoczesne technologie modelowania informacji o budynku, od koncepcji po rozbiórkę.
  10. Młyn elektromagnetyczny. Teoria projektowania i badania eksperymentaln: Poznaj najnowsze rozwiązania w konstrukcji młynów elektromagnetycznych. Praca zawiera teoretyczne podstawy, modele matematyczne i praktyczne wskazówki dla inżynierów i badaczy.
Zobacz inne z tej samej serii
Teoretyczne podstawy cyfrowego bliźniaka aplikacji ETCS

Teoretyczne podstawy cyfrowego bliźniaka aplikacji ETCS

25,20 zł -30%
36,00 zł
Cena okładkowa
36,00 zł Najniższa cena Najniższa cena z 30 dni przed obniżką