Modelowanie systemów sterowania ruchem kolejowym - struktury informacji i elementy opisu formalnego

• Autorzy: Zabłocki W.

Warianty tytułu

EN

The modelling of rail traffic control systems - structures of the information and formal description of elements

• Języki publikacji: PL

Abstrakty

PL

W publikacji przedstawiono zarys formalizacji systemu srk oraz podstawowe struktury informacji istotne w opisie tego systemu. Struktury informacji są podstawą konstrukcji relacji, które zostaną zastosowane do sformułowania funkcji sterowania w systemie srk.

EN

This paper presents a method of the formalization and the setting of values of the interlocking function for a ststic structure which contains the information about the conflict of railroads. This information about the structure is essential when describing the relationship between different traffic control systems at the station, as well as for creating control functions.

Słowa kluczowe

PL

sterowanie; sterowanie ruchem kolejowym; systemy sterowania; struktury informacji; funkcje sterowania

EN

control; control in railway; control systems; structure of information; control function

• Wydawca: Oficyna Wydawnicza Politechniki Warszawskiej
• Czasopismo: Prace Naukowe Politechniki Warszawskiej. Transport
• Rocznik: 2006
• Tom: z. 57
• Strony: 23--48
• Opis fizyczny: Bibliogr. 18 poz., wykr., tab., schem.

Twórcy

autor

Zabłocki W.

• Wydział Transportu Politechnika Warszawska Warszawa

Bibliografia

• [1] Analiza systemowa - podstawy i metodologia. Praca zbiorowa. Findeisen W. (red.). PWN, Warszawa 1985.
• [2] Apuniewicz S.: Synteza podstawowych układów automatyki sterowania ruchem kolejowym. Prace Naukowe Politechniki Warszawskiej, Elektryka, Nr 16, 1970.
• [3] Apuniewicz S.: Zasady modelowania matematycznego procesów sterowania ruchem kolejowym. Zeszyty Naukowe Politechniki Świętokrzyskiej, z.T-5, 1977.
• [4] Dąbrowa-Bajon M. i inni: Zasady projektowania systemów i urządzeń sterowania ruchem kolejowym. WKŁ, Warszawa 1981.
• [5] Dąbrowa-Bajon M.: Automatyzacja sterowania ruchem kolejowym. WPW, Warszawa 1989.
• [6] Dąbrowa-Bajon M., Dutkiewicz J., Zabłocki W.: Metodyka budowy komputerowych systemów sterowania ruchem na stacjach kolejowych. Postępy Cybernetyki, nr 4/1988.
• [7] Dąbrowa-Bajon M.: Podstawy sterowania ruchem kolejowym. Oficyna Wydawnicza PW, Warszawa 2002.
• [8] Findeisen W.: Struktury sterowania dla złożonych systemów. Oficyna Wydawnicza PW, Warszawa 1997.
• [9] Fredholm D.: Specifying an Interlocking System: The Alister Project. FMERail Workshop 4, May 1999, Netherland.
• [10] Gutenbaum J.: Modelowanie matematyczne systemów. EXIT, Warszawa 2003.
• [11] König N.H.: The Euro-Interlocking Project Standards for Interlocking Systems in Europe Project. Presentation for Polish Railways 8 June 2004.
• [12] Kochan A., Łapiak G., Zabłocki W.: Podstawy modelowania systemów srk - wybrane zagadnienia, Międzynarodowa Konf. Naukowa "Transport XXI wieku", Politechnika Warszawska, Wydział Transportu, Warszawa 2004.
• [13] Komputerowy system dla badania struktur sterowania ruchem kolejowym S2000, Politechnika Warszawska, Wydział Transportu, grant dziekański cz. 1-4, odpowiednio w latach 1998/1999, 1999/2000, 2000/2001 i 2003.
• [14] Ł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.
• [15] Tarnai G., Schneider E.: Formal Methods for Railway Operation and Control Systems. Proc. of Symp. FORMS 2003, Budapest, May 15-16, 2003.
• [16] Traczyk W.: Układy cyfrowe. Podstawy teoretyczne i metody syntezy. WNT, Warszawa 1984.
• [17] van Vlijmen S.F.M.: Verification of the Vital Processor Interlocking. FMERail Workshop 1, 8-9 June 1996, Netherland.
• [18] Zabłocki W.: Model stacyjnych urządzeń sterowania ruchem. IV Krajowe Symp. "Komputerowe systemy wspomagania prac inżynierskich w przemyśle i transporcie", Zakopane, grudzień 2000.