Formalny opis funkcji zależnościowych systemów srk dla współczesnych posterunków ruchu

• Autorzy: Koliński D.

Warianty tytułu

EN

Formal Description of Interlocking Functions of Railway Traffic Control Systems

• Języki publikacji: PL

Abstrakty

PL

W artykule podjęto próbę opracowania formalnego opisu funkcji zależnościowych. Wychodząc z odwzorowania systemu zależnościowego w postaci obiektów, zaproponowano formalny opis funkcji zależnościowych, obiektów tworzonych z opracowanych funkcji oraz opis systemu zależnościowego tworzonego z obiektów. Zastosowanie elementów teorii grafów, automatów, zbiorów pozwoliło na opracowanie opisu formalnego, umożliwiającego opis funkcji zależnościowych.

EN

The article indicates the need for designing a formal description of interlocking functions. Based on the currently used representation of interlocking system in the form of objects, a formal description of interlocking functions has been proposed of objects created from designed functions and a description of interlocking system created of objects. The application of some elements of the theory of graphs, automata and sets allowed for designing a formal description in which interlocking system is no longer a “black box”. The designed description method allows for tracking the history of changes within interlocking system. The division of objects of interlocking system into interlocking functions has also been presented.

Słowa kluczowe

PL

sterowanie ruchem kolejowym; system zależnościowy; formalizacja opisu

EN

railway traffic control; dependence system; formal description

• Wydawca: Oficyna Wydawnicza Politechniki Warszawskiej
• Czasopismo: Prace Naukowe Politechniki Warszawskiej. Transport
• Rocznik: 2012
• Tom: z. 86
• Strony: 35--52
• Opis fizyczny: Bibliogr. 23 poz., rys., tab.

Twórcy

autor

Koliński D.

• Egis Poland sp. z o.o.

Bibliografia

• 1. PKP – Centrum Naukowo Techniczne Kolejnictwa: Wymagania bezpieczeństwa dla urządzeń sterowania ruchem kolejowym. CNTK, Warszawa, luty 1998.
• 2. Dąbrowa-Bajon M.: Podstawy sterowania ruchem kolejowym. Funkcje, wspomagania, zarys techniki. Wydanie 2 poprawione. Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa, 2007 r.
• 3. Dąbrowa-Bajon M., Karbowiak H., Grochowski K.: Zasady projektowania systemów i urządzeń sterowania ruchem kolejowym. WKŁ, Warszawa, 1981 r.
• 4. Centralne Biuro Projektowo-Badawcze Budownictwa Kolejowego: Album schematów przekaźnikowych urządzeń zabezpieczenia ruchu kolejowego typu E. Aktualizacja 1989. Warszawa, 1989 r.
• 5. Firląg K.: Metoda projektowania urządzeń sterowania ruchem drogowym w reprogramowalnych strukturach logicznych, Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa, 2010r.
• 6. Kacprzyk J.: Zbiory rozmyte w analizie systemowej. PWN, Warszawa, 1986 r.
• 7. Kawalec P., Koliński D.: Algorytmizacja funkcji sterujących samoczynnych sygnalizacji przejazdowych. Materiały VII Konferencji „Komputerowe systemy wspomagania nauki, przemysłu i transportu TRANSCOMP”, Zakopane, 2003, str. 255-260.
• 8. Kawalec P., Koliński D.: Specyfikacja i weryfikacja elektronicznych komparatorów funkcji sterujących urządzeń srk. Politechnika Radomska, Prace Naukowe – Elektryka nr 2 (8) 2004, Radom, 2004, str. 87 – 92.
• 9. 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 nr 1 (9) 2005, Radom, 2005, str. 107 – 112.
• 10. Kawalec P., Koliński D.: Modelowanie obwodów przekaźnikowych urządzeń srk w językach opisu sprzętu. Politechnika Radomska, Prace Naukowe – Elektryka nr 1 (9) 2005, Radom, 2005, str. 101 – 106.
• 11. Kawalec P., Koliński D.: Analiza i synteza trójkanałowej samoczynnej sygnalizacji przejazdowej w strukturach FPGA. Politechnika Warszawska, Prace Naukowe –Transport, z 56, OWPW, Warszawa, 2006, str. 61 – 85.
• 12. Kawalec P., Koliński D.: Modelowanie Interlocking’u z zastosowaniem języka opisu sprzętu. Logistyka 6/2010, Poznań, 2010, str. 1329 – 1337.
• 13. Kawalec P., Koliński D.: Jednoznaczna metoda opisu funkcji zależnościowych w systemach sterowania ruchem kolejowym. Logistyka 6/2011, Poznań, 2011, str. 1585 – 1594.
• 14. 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.
• 15. 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.
• 16. Korzan B.: Elementy teorii grafów i sieci. Metody i zastosowania. WNT, Warszawa, 1978 r.
• 17. Lewiński A.: Problemy oprogramowania bezpiecznych systemów komputerowych w zastosowaniach transportu kolejowego. Politechnika Radomska, Monografie Nr 49, Radom, 2001 r.
• 18. Łuba T., Nowicka M., Perkowska M., Rawski M.: Nowoczesna synteza logiczna. Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa, 1998 r.
• 19. Mikulczyński T., Samsonowicz Z.: Automatyzacje dyskretnych procesów produkcyjnych. Metody modelowania procesów dyskretnych i programowania PLC. WNT, Warszawa, 1997 r.
• 20. PKP Dyrekcja Generalna: Wytyczne techniczne budowy urządzeń sterowania ruchem kolejowym w przedsiębiorstwie Polskie Koleje Państwowe (WTB-E10). Warszawa, 1996 r.
• 21. Sapożnikow V. V., Hristov H. A., Gawzow D. W.: Mietody postrojenia biezopastnych mikroeliektronnych sistiem żelieznodorożnoj avtomatiki. Transport. Moskwa, 1995 r.
• 22. Traczyk W.: Układy cyfrowe – podstawy teoretyczne i metody syntezy. WNT, Warszawa, 1982 r.
• 23. Zabłocki W.: Modelowanie stacyjnych systemów sterowania ruchem kolejowym. Politechnika Warszawska, Prace Naukowe – Transport, z. 65, Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa, 2008 r.