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

• Autorzy: Kawalec P. , Koliński D.

Warianty tytułu

EN

Explicit method of interlocking functions description within interlocking system

• Języki publikacji: PL

Abstrakty

PL

W artykule prezentujemy nowe podejście do problemu opisu funkcji zależnościowych. 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 odcinka torowy.

EN

The paper presents a new approach to issue of interlocking functions descriptions. It consists in decomposition of an interlocking complex (e.g. insulated section, points) into simple interlocking functions which are described by means of Moore automata. The manner of description has been pre sented of such complexes with the use of automata theory and hierarchical structures. Verification method has also been presented of interlocking functions on both realization levels. The method designed by the authors of the paper has been illustrated on the example of the insulated section.

Słowa kluczowe

PL

kolej; sterowanie ruchem kolejowym; teoria automatów; funkcje zależnościowe

EN

turn; signaling; automata theory; dependence function

• Wydawca: Media-Pro Polskie Media Profesjonalne Ewelina Nawara
• Czasopismo: Drogi : budownictwo infrastrukturalne
• Rocznik: 2012
• Tom: Nr 3 (5)
• Strony: 39--45
• Opis fizyczny: Bibliogr. 9 poz., fot., rys.

Twórcy

autor

Kawalec P.

autor

Koliński D.

• Politechnika Warszawska, Wydział Transportu,

Bibliografia

• 1.Dąbrowa-Bajon M.: Podstawy sterowania ruchem kolejowym. Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa, 2002.
• 2.Kawalec P.: Analiza i synteza specjalizowanych układów modelowania i sterowania ruchem w transporcie, Prace Naukowe - Transport, z. 68, OWPW, Warszawa, 2009.
• 3.Kawalec P., Koliński D.: Algorytmizacja funkcji samoczynnych sygnalizacji przejazdowych z wykorzystaniem wspomagania komputerowego. Materiały VII Konferencji „Komputerowe systemy wspomagania nauki, przemysłu i transportu TRANSCOMP”, Zakopane, 2003, str. 255-260.
• 4.Kawalec P., Koliński D.: Modelowanie obwodów przekaźnikowych urządzeń srk językach opisu sprzętu. Politechnika Radomska, Prace Naukowe - Elektryka nr 1 (9) 2005, Radom, 2005. str. 101-106.
• 5.Kawalec P., Koliński D.: Zastosowanie języków opisu sprzętu do modelowania elementów srk o charakterystyce przekaźnikowej. Politechnika Radomska, Prace Naukowe - Elektryka nrl (9) 2005, Radom, 2005. str. 107-112.
• 6.Kawalec P., Koliński D.: Modelowanie interlocking'u z zastosowaniem języka opisu sprzętu. Logistyka 6/2010, Poznań, 2010, str. 1329 -1337.
• 7.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, str. 66 - 88.
• 8.Zabłocki W.: Modelowanie stacyjnych systemów sterowania ruchem kolejowym, Prace Naukowe - Transport, z. 65, OWPW, Warszawa, 2008.
• 9.Instrukcja o prowadzeniu ruchu pociągów Ir 1, PKP Polskie Linie Kolejowe S.A., Warszawa, 2011