Zaloguj się

Jednoznaczna metoda opisu funkcji zależnościowych w systemach sterowania ruchem kolejowym

Polega ono na dekompozycji obiektu sterowania ruchem kolejowym (np. odcinka torowego, zwrotnicy) na proste funkcje zależnościowe, które opisywane są za pomocą automatów Moore’a. Przedstawiono sposób opisu takich obiektów z wykorzystaniem teorii automatów oraz struktur hierarchicznych. Zaprezentowano metodę weryfikacji funkcji zależnościowych na obu poziomach realizacji Opracowana przez autorów metoda została zilustrowana na przykładzie obiektu jakim jest odcinek torowy.
W pierwszych latach istnienia kolei bezpieczeństwo ruchu pociągów było zapewniane poprzez wprowadzenie odpowiednich procedur, które nakładało na prowadzących ruch pociągów wykonanie odpowiednich czynności. Niestety człowiek okazał się bardzo zawodnym elementem w tym procesie. Dlatego w celu poprawienia bezpieczeństwa ruchu kolejowego zaprojektowano pierwsze urządzenia sterowania ruchem kolejowym (srk), które weryfikowały wykonanie procedur narzuconych przepisami przez personel prowadzący ruch pociągów. (...)
Zaloguj się by skomentować
Strony internetowe