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. (...)

Z ostatniej chwili

  • 1
  • 2
  • 3

OT Logistics wspiera promocyjny rejs barki Wisłą z Gdańska do…

OT Logistics wspiera promocyjny rejs barki Wisłą z Gdańska do Warszawy

Grupa OT Logistics wspiera inicjatywę promocyjnego towarowego rejsu Wisłą z Gdańska do Warszawy, który ma...

Nowa marka na rynku TSL

Nowa marka na rynku TSL

Wraz z początkiem kwietnia br., na rynku TSL pojawił się nowy gracz - firma VIAON....

Nowy magazyn FM Logistic w Robakowie pod Poznaniem

Nowy magazyn FM Logistic w Robakowie pod Poznaniem

W odpowiedzi na rosnące potrzeby swoich klientów, firma FM Logistic uruchomiła magazyn „przycross-docking’owy” w Robakowie...

Ostatnio na forum

Ogłoszenia

Brak aktywnych ogłoszeń.

 Instytut Logistyki i Magazynowania

Logowanie

LOGOWANIE

Rejestracja

Rejestracja użytkownika
lub Anuluj