Kolej
Adam Dylewski
Mija prawie dwieście lat od czasu, gdy wybitne, doskonalone przez pokolenia osiągnięcie techniki, jakim jest kolej, zaczęło zmieniać świat na lepsze. Pociągi zrewolucjonizowały życie społeczeństw, nadały nieznaną dotąd dynamikę gospodarce, odcisnęły się też trwałym śladem w kulturze. Książka Historia polskich kolei zabiera Czytelnika w podróż najważniejszymi polskimi liniami kolejowymi – od chwili ich powstania aż po czasy współczesne. Zawiera także opisy najciekawszych lokomotyw, które przemierzały szlaki w zaborach rosyjskim, austriackim i pruskim oraz w niepodległej już Polsce.
Lokomotywy. Polskie konstrukcje
Tadeusz Irteński
Książka prezentuje ponad pięćdziesiąt lokomotyw polskiej produkcji: parowozy, spalinowozy i elektrowozy. Część z nich to już tylko obiekty muzealne uruchamiane podczas parad i innych uroczystości. Większość jednak nadal porusza się po polskich torach i służy tak dobrze jak w pierwszych latach produkcji. Archiwalne oraz współczesne fotografie zostały dobre tak, by pokazać, jak zmieniły się te maszyny na przestrzeni lat.
Lucyna Sokołowska
Celem monografii jest przekazanie czytelnikowi podstawowej wiedzy o metodach i narzędziach wspierających projektowanie i eksploatację systemów w zakresie rozwiązywania skomplikowanych zagadnień związanych z szacowaniem niezawodności i wyznaczaniem wskaźników bezpieczeństwa w systemach sterowania ruchem kolejowym, mających istotny wpływ na bezpieczeństwo prowadzenia ruchu kolejowego, szczególnie jako środek niezbędny do planowania działania awaryjnego w sytuacjach losowych. Przedstawiona została metodologia i narzędzia do oceny bezpieczeństwa i niezawodności systemów w fazie projektowania, eksploatacji i utrzymania. Kolejno w poszczególnych rozdziałach zawarto: - charakterystykę systemów srk, przedstawiając definicje i obszary podsystemu sterowanie, uwzględniając podział urządzeń ze względu na przeznaczenie funkcjonalne i według poziomu nienaruszalności bezpieczeństwa SIL (rozdz. 1), - podstawy teorii niezawodności i bezpieczeństwa, poprzez zrozumienie awaryjności systemów i cykl życia systemu (rozdz. 2), - wprowadzenie do wymagań kolejowych RAMS, przedstawiając definicje i wskaźniki RAMS oraz podstawowe metody i narzędzia wykorzystywane do analizy bezpieczeństwa systemów srk (rozdz. 3), - metodę oceny niezawodności, a tym samym bezpieczeństwa systemów srk poprzez analizę strategii utrzymywania i monitoringu, uwzględniającą rzeczywiste warunki eksploatacji każdego systemu/urządzenia (rozdz. 4), - ogólną koncepcję modelowania bezpieczeństwa, głównie z wykorzystaniem metod probabilistycznych, a także zasady oraz procedury modelowania i analizowania bezpieczeństwa i niezawodności systemów srk. Modelowanie zostało przeprowadzone z wykorzystaniem procesów Markowa na przykładach zarówno systemów instalowanych w infrastrukturze, jak i na pojeździe kolejowym: systemy sygnalizacji przejazdowej, system dodatkowego ostrzegania czy system wspomagający koordynację działań służb ratowniczych przy usuwaniu skutków katastrof i wypadków kolejowych (rozdz. 5).
Teoretyczne podstawy cyfrowego bliźniaka aplikacji ETCS
Andrzej Kochan
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.