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

       WYDAWCA            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

Druk 3D zmienia przemysł

Druk 3D zmienia przemysł

Naukowcy z Singapore University of Technology and Design ogłosili właśnie, że opracowali nowy materiał, który...

Fracht FWO Polska w nowej siedzibie

Fracht FWO Polska w nowej siedzibie

Fracht FWO Polska - globalny operator logistyczny dla przemysłu, specjalizujący się w spedycji drogowej, lotniczej,...

Po raz pierwszy tytuł Mistrza Kadry BHP zdobywa kobieta

Po raz pierwszy tytuł Mistrza Kadry BHP zdobywa kobieta

Test pierwszego etapu wypełniło blisko 800 osób, z których pięćdziesiąt najlepszych przystąpiło do etapu finałowego....

Ogłoszenia

Brak aktywnych ogłoszeń.

 Instytut Logistyki i Magazynowania

Logowanie

LOGOWANIE

Rejestracja

Rejestracja użytkownika
lub Anuluj