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

Cyberbezpieczeństwo w 2018 roku

Cyberbezpieczeństwo w 2018 roku

W mijającym roku cyberataki spędzały szefom firm sen z powiek. Największe z nich były ukierunkowane...

Panattoni Europe rusza z budową w Białymstoku

Panattoni Europe rusza z budową w Białymstoku

Panattoni Europe startuje z budową pierwszego centrum logistycznego w Białymstoku. Nowa lokalizacja dewelopera - Panattoni...

Pol-Aqua wybuduje fragment drogi ekspresowej S6

Pol-Aqua wybuduje fragment drogi ekspresowej S6

Generalna Dyrekcja Dróg Krajowych i Autostrad poinformowała, że wybrano firmę, która odpowiedzialna będzie za wykonanie...

Ostatnio na forum

Ogłoszenia

Brak aktywnych ogłoszeń.

 Instytut Logistyki i Magazynowania

Logowanie

LOGOWANIE

Rejestracja

Rejestracja użytkownika
lub Anuluj