Narzędzia help

Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
first last
cannonical link button

http://yadda.icm.edu.pl:80/baztech/element/bwmeta1.element.baztech-f321022f-4dcd-4bbc-ba8b-64c2cee88093

Czasopismo

Prace Naukowe Politechniki Warszawskiej. Transport

Tytuł artykułu

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

Autorzy Koliński, D. 
Treść / Zawartość http://www.wt.pw.edu.pl/index.php/Badania-i-nauka/Prace-Naukowe-Politechniki-Warszawskiej-Transport
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.
Kolekcja BazTech
Identyfikator YADDA bwmeta1.element.baztech-f321022f-4dcd-4bbc-ba8b-64c2cee88093
Identyfikatory