logistyka.net.pl - wortal logistyczny | logistyka | e-logistyka | TSL

PARTNER PORTALU:

A+ A A-

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

Oceń ten artykuł
(0 głosów)
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. (...)

Newsletter

Z ostatniej chwili

  • 1
  • 2
  • 3

„BIELIK” będzie strzegł transportów PKP CARGO

„BIELIK” będzie strzegł transportów PKP CARGO

Nowoczesny, super lekki, wyposażony w jeszcze lepsze niż do tej pory kamery dron „Bielik” rozpoczyna...

PEKAES z nowym połączeniem w Niemczech

 PEKAES z nowym połączeniem w Niemczech

Operator logistyczny PEKAES uruchomił kolejne codzienne połączenie z i do Niemiec. Klienci PEKAES mają teraz...

UPS przejmuje firmę FREIGHTEX LTD.

UPS przejmuje firmę FREIGHTEX LTD.

UPS przejmuje firmę Freightex z siedzibą w Wielkiej Brytanii, świadczącej niskonakładowe usługi transportu całopojazdowego lub...

Ostatnio na forum

 Instytut Logistyki i Magazynowania

Logowanie

LOGOWANIE

Rejestracja

Rejestracja użytkownika
lub Anuluj