PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Czasopismo
2014 | nr 4, CD 3 | 2907--2913
Tytuł artykułu

Modelling of Interlocking Functions in Railway Station Traffic Control Systems

Warianty tytułu
Modelowanie funkcji zależnościowych w stacyjnych systemach sterowania ruchem kolejowym
Języki publikacji
EN
Abstrakty
W artykule przedstawiono nowy sposób specyfikacji funkcji zależnościowych realizowanych przez obiekty systemów sterowania ruchem kolejowym. Na przykładzie odcinka torowego krótkiego, pokazano mechanizm zapisu funkcji obiektu w postaci macierzy stanów, macierzy tranzycji oraz macierzy priorytetów. Pokazano mechanizm intuicyjnego przejścia od tych macierzy do grafu przejść automaty skończonego Moore'a w edytorze FSM. Taki zapis funkcji obiektu pozwala na automatyczne wygenerowanie kodu języka VHDL, pozwalającego na wykorzystanie narzędzi wspomagania komputerowego w projektowaniu takich obiektów w układach FPGA. (abstrakt oryginalny)
EN
The paper presents a new specification method for the interlocking functions executed railway traffic control objects. On the example of short track section object, the procedure of creating the description in the form of state matrices, transition matrices and priorities matrices was presented. The intuitive transition from these matrices to the Moore machine in FSM editor was also shown. This description of object's interlocking functions allows to automatically generate the VHDL output file which, using the computer aided design environment, can be used for designing such object in FPGA structures. (original abstract)
Czasopismo
Rocznik
Numer
Strony
2907--2913
Opis fizyczny
Twórcy
  • Warsaw University of Technology, Poland
  • Egis Poland Sp. z o.o.
Bibliografia
  • [1] Apuniewicz S.: Układy przekaźnikowe w automatyce zabezpieczenia ruchu kolejowego. WPW, Warszawa 1969 r.
  • [2] Dąbrowa-Bajon M.: Podstawy sterowania ruchem kolejowym. Funkcje, wspomagania, zarys techniki. Wydanie 2 poprawione. Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa, 2007 r.
  • [3] Kawalec P.: Analiza i synteza specjalizowanych układów modelowania i sterowania ruchem w transporcie. Politechnika Warszawska, Prace Naukowe - Transport, z. 68, Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa, 2009 r.
  • [4] Kawalec P., Koliński D.: Synteza i analiza niezawodnościowa urządzeń sterowania ruchem kolejowym zrealizowanych w układach FPGA. Pomiary Automatyka Kontrola, vol.53, 7'2007, Warszawa, 2007, pp. 57 - 59.
  • [5] Kawalec P., Koliński D., Mocki J.: Zastosowanie programowalnych struktur logicznych w projektowaniu urządzeń sterowania ruchem kolejowym. Problemy kolejnictwa, Nr 140, CNTK, Warszawa, 2005, pp. 66 - 88.
  • [6] Koliński D.: Formalny opis funkcji zależnościowych systemów srk dla współczesnych posterunków ruchu. Politechnika Warszawska, Prace Naukowe - Transport, z. 86, Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa, 2012, pp. 35 - 52.
  • [7] Koliński D.: Metoda specyfikacji i weryfikacji funkcji zależnościowych w systemach sterowania ruchem kolejowym. Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa, 2013 r.
  • [8] Korzan B.: Elementy teorii grafów i sieci. Metody i zastosowania. WNT, Warszawa, 1978 r.
  • [9] Łuba T. Synteza układów logicznych. Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa, 2005 r.
  • [10]Zbysiński P., Pasierbiński J.: Układy programowalne - w praktyce. WKŁ, Warszawa, 2002 r.
  • ---
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.ekon-element-000171360533

Zgłoszenie zostało wysłane

Zgłoszenie zostało wysłane

Musisz być zalogowany aby pisać komentarze.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.