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 zaprezentowano 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 obiektu jakim jest odcinek torowy.

EN

The paper presents a new approach to the 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 presented 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

system zależnościowy; odcinek torowy; modelowanie

EN

explicit method of interlocking functions; interlocking system

• Wydawca: Sieć Badawcza Łukasiewicz - Poznański Instytut Technologiczny
• Czasopismo: Logistyka
• Rocznik: 2011
• Tom: nr 6
• Opis fizyczny: Pełny tekst na CD, Bibliogr. 10 poz., rys., tab.

Twórcy

autor

Kawalec P.

autor

Koliński D.

• Politechnika Warszawska, Wydział transportu; 00-662 Warszawa; ul. Koszykowa 75. tel: + 48 234-75-85,

Bibliografia

• [1] Dąbrowa-Bajon M.: Podstawy sterowania ruchem kolejowym. Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa, 2002.
• [2] Dyduch J. (red.): Innowacyjne systemy sterowania ruchem. Wydawnictwo Politechniki Radomskiej, Radom, 2010.
• [3] Kawalec P.: Analiza i synteza specjalizowanych układów modelowania i sterowania ruchem w transporcie, Prace Naukowe – Transport, z. 68, OWPW, Warszawa, 2009.
• [4] 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.
• [5] 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.
• [6] 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 nr1 (9) 2005, Radom, 2005. str. 107-112.
• [7] Kawalec P., Koliński D.: Modelowanie interlocking`u z zastosowaniem języka opisu sprzętu. Logistyka 6/2010, Poznań, 2010, str. 1329 – 1337.
• [8] 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.
• [9] Zabłocki W.: Modelowanie stacyjnych systemów sterowania ruchem kolejowym, Prace Naukowe – Transport, z. 65, OWPW, Warszawa, 2008.
• [10] Instrukcja o prowadzeniu ruchu pociągów Ir-1, PKP Polskie Linie Kolejowe S.A., Warszawa, 2011.