Interlocking functions of ATC station system

• Autorzy: Zabłocki W.

Warianty tytułu

PL

Funkcje zależnościowe stacyjnego systemu sterowania ruchem kolejowym

• Języki publikacji: EN

Abstrakty

EN

The paper presents a method for formalising and determining the value of interlocking function in a context of static and dynamic framework, containing information about train routing conflict. The information framework is an element necessary for description of relations in traffic controI systems at the station, as well as for creating control functions. The publication also presents a new method of defining ATC system and creating its model.

PL

W publikacji omówiono metodę formalizacji funkcji sterowania, a następnie na podstawie zaproponowanych statycznych i dynamicznych struktur informacji przedstawiono sposób określania wartości funkcji zależnościowych. Struktury informacji są także niezbędne do określania wartości funkcji sprzeczności dróg przebiegów i tworzenia równań zależnościowych. Ponadto w publikacji przedstawiono nowy sposób definiowania systemu SRK i metodę tworzenia jego modelu.

Słowa kluczowe

EN

railway traffic; Automatic Train Control (ATC); interlocking functions

PL

ruch kolejowy; sterowanie ruchem kolejowym (SRK); funkcje zależnościowe

• Wydawca: Warsaw University of Technology, Faculty of Transport
• Czasopismo: Archives of Transport
• Rocznik: 2008
• Tom: Vol. 20, iss. 4
• Strony: 89--108
• Opis fizyczny: Bibliogr. 20 poz., rys., tab.

Twórcy

autor

Zabłocki W.

• Politechnika Warszawska, Wydział Transportu, 00-662 Warszawa, ul. Koszykowa 75

Bibliografia

• 1. Apuniewicz S.: Zasady modelowania matematycznego procesów sterowania ruchem kolejowym. Zeszyty Naukowe Politechniki Świętokrzyskiej, Zeszyt T-5, Kielce, 1977.
• 2. Dąbrowa-Bajon M., Dutkiewicz J., Zabłocki W.: Metodyka budowy komputerowych systemów sterowania ruchem na stacjach kolejowych. Postępy Cybernetyki, nr 4, Warszawa, 1988.
• 3. Dąbrowa-Bajon M.: Automatyzacja sterowania ruchem kolejowym. Wydawnictwa Politechniki Warszawskiej, Warszawa, 1989.
• 4. Dąbrowa-Bąjon M.: Podstawy sterowania ruchem kolejowym. Skrypt. Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa, 2002.
• 5. Findeisen W. (red.) - praca zbiorowa: Analiza systemowa - podstawy i metodologia. PWN, Warszawa, 1985.
• 6. Fredholm D.: Specifying an Interlocking System: The Alister Project. FMERail Workshop 4, Netherland, may 1999.
• 7. Konig N.H.: The Euro-Interlocking Project Standards for Interlocking Systems in Europe Project. Presentation for Polish Railways, 8 June 2004.
• 8. Kochan A., Łapiak G., Zabłocki W.: Podstawy modelowania systemów srk - wybrane zagadnienia. Międzynarodowa Konferencja Naukowa "Transport XXI wieku", Politechnika Warszawska, Wydział Transportu, Warszawa, 2004.
• 9. Łapiak G.: Wybrane programy sterowania w środowisku systemu operacyjnego OS9. Symulator funkcji zależnościowych SYMZAL 2004. Praca magisterska. Wydział Transportu Politechniki Warszawskiej, Warszawa, 2004.
• 10. Komputerowy system dla badania struktur sterowania ruchem kolejowym S2000. Politechnika Warszawska, Wydział Transportu. Grant dziekański cz. l, cz. 2, cz. 3, cz. 4 odpowiednio w latach 1998/1999, 1999/2000, 2000/200 l, 2003.
• 11. Tarnai G., Schneider E.: Formal Methods for Railway Operation and Control Systems. Proceedings of Symposium FORMS 2003, Budapest, 15-16 May 2003.
• 12. Traczyk W.: Układy cyfrowe. Podstawy teoretyczne i metody syntezy. WNT, Warszawa,1984.
• 13. Van Vlijmen S.F.M.: Verification of the Vital Processor Interlocking. FMERail Workshop l, Netherland, 8-9 June 1996.
• 14. Zabłocki W.: Model stacyjnych urządzeń sterowania ruchem. IV Krajowe Sympozjum "Komputerowe systemy wspomagania prac inżynierskich w przemyśle i transporcie". Zakopane, grudzień 2000.
• 15. Zabłocki W.: Podstawy modelowania struktur funkcjonalnych systemów srk. Międzynarodowa Konferencja Naukowa Transport XXI wieku, Wydział Transportu PW i PAN, Warszawa, 19-21 września 200l.
• 16. Zabłocki W.: Modelowanie systemów sterowania ruchem kolejowym. "Komputerowe systemy wspomagania nauki, przemysłu i transportu", Zakopane, grudzień 2003. Prace Naukowe Politechniki Radomskiej, nr 1(17),2003.
• 17. Zabłocki W.: Wybrane zagadnienia modelowania systemów sterowania ruchem kolejowym. "Komputerowe systemy wspomagania nauki, przemysłu i transportu", Zakopane, grudzień 2005.
• 18. Zabłocki W.: Modelowanie systemów sterowania ruchem kolejowym - struktury informacji i elementy opisu formalnego. Prace Naukowe TRANSPORT Politechniki Warszawskiej, z. 57, Warszawa, 2006.
• 19. Zabłocki W.: A Formal Analysis of Conflict Functions Used in Rail Traffic Control Systems. The Archives of Transport, Vol. 18, Warszawa, 2006.
• 20. Zabłocki W.: Podstawy opisu formalnego zależności stacyjnych. Prace Naukowe TRANSPORT Politechniki Warszawskiej, z. 62, Warszawa, 2007.