Zmodyfikowana notacja Łukasiewicza a efektywne systemy wizualizacji

• Autorzy: Jasiński S.

Warianty tytułu

EN

The modified Łukasiewicz notation for effective visualization systems

• Języki publikacji: PL

Abstrakty

PL

W referacie zaprezentowano innowacyjną metodę zapisu operacji logicznych umożliwia sprawną transformację zbioru stanów urządzenia w jego reprezentację graficzną. Przytoczone zostały zasady tworzenia znanych sposobów notacji w logice - notacji Łukasiewicza (zwanej również notacją polską lub notacją prefiksową), odwrotnej notacji Łukasiewicza i notacji infiksowej. Zastosowanie zmodyfikowanej notacji Łukasiewicza efektywnie wspomaga budowę uniwersaInych systemów wizualizacji na potrzeby systemów sterowania ruchem kolejowym i umożliwia sprawne odwzorowanie sytuacji ruchowej. Ze względu na sposób implementacji generowanie symboli graficznych przebiega w sposób wyjątkowo sprawny, gwarantując wysoki poziom niezawodności i bezpieczeństwa systemu sterowania ruchem kolejowym. Część teoretyczną uzupełniają przykłady odwzorowania sytuacji ruchowej.

EN

This article presents an innovative method of entry of logical operations enabling efficient transform device a set of states into its graphical representation. It has been raised new rules creation known way of notation in logics - Lukasiewicz notation (also known as Polish notation prefix notation), reverse Lukasiewicz notation and infix notation. Usage of modified Lukasiewicz notation assists effectively image of movement situation and allows to constructs universal systems of visualization. Because of way of implementation, generation of graphical symbols is going exceptional efficient way with guarantee of high level of infallible and security of the railway traffic control system. The theory part is complete with examples of representations railway mo situations.

Słowa kluczowe

PL

ruch kolejowy; transformacje zbiorów; automatyka

EN

rail traffic; collection transitions; automatic

• Wydawca: Akademia Marynarki Wojennej im. Bohaterów Westerplatte
• Czasopismo: Zeszyty Naukowe Akademii Marynarki Wojennej
• Rocznik: 2009
• Tom: R. 50 nr 177B
• Strony: 143--154
• Opis fizyczny: Bibliogr. 5 poz., rys., tab.

Twórcy

autor

Jasiński S.

• Kontron East Europe Sp. z.o.o

Bibliografia

• [1] Dyduch J., Kornaszewski M., Systemy sterowania ruchem kolejowym, Wydawnictwo Politechniki Radomskiej, Radom 2007.
• [2] Masaki K., Shigenobu Y., Toshihide U., Takuya N., Recent Train Traffic Control System, "Hitachi Hyoron", 1999, Vol. 81, No. 3, 231-236.
• [3] Wirth N., Algorytmy+ struktury danych = program)', Wydawnictwo Naukowo-Techniczne, Warszawa 1989.
• [4] PN-EN 50128:2002, Zastosowania kolejowe – łączność, sygnalizacja i systemy sterowania - Programy dla kolejowych system6w sterowania i zabezpieczenia (oryg.).
• [5] Grochowski K., Jasiński S., Maciejewski M., Sitek I., Nastawnica WT UZm sposobem na niezawodne sterowanie ruchem kolejowym, PAR 11/008, 19-23.