Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
The modified Łukasiewicz notation for effective visualization systems
Języki publikacji
Abstrakty
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.
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.
Czasopismo
Rocznik
Tom
Strony
143--154
Opis fizyczny
Bibliogr. 5 poz., rys., tab.
Twórcy
autor
- 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.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BWM8-0023-0015