Powiadomienia systemowe
- Sesja wygasła!
- Sesja wygasła!
- Sesja wygasła!
Tytuł artykułu
Autorzy
Identyfikatory
Warianty tytułu
Explicit method of interlocking functions description within interlocking system
Języki publikacji
Abstrakty
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.
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.
Czasopismo
Rocznik
Tom
Opis fizyczny
Pełny tekst na CD, Bibliogr. 10 poz., rys., tab.
Twórcy
autor
autor
- Politechnika Warszawska, Wydział transportu; 00-662 Warszawa; ul. Koszykowa 75. tel: + 48 234-75-85, pka@it.pw.edu.pl
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.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BPG8-0089-0019