Pregled bibliografske jedinice broj: 135077
FORMALNI MODEL ŽELJEZNIČKOG AUTOMATSKOG PRUŽNOG BLOKA PRIMIJENJEN U EDUKACIJSKOM OKRUŽENJU
FORMALNI MODEL ŽELJEZNIČKOG AUTOMATSKOG PRUŽNOG BLOKA PRIMIJENJEN U EDUKACIJSKOM OKRUŽENJU // Formal methods for railway operation and control systems / Tarnai, G. ; Schnieder, E (ur.).
Budimpešta: L'Harmattan, 2003. str. 165-172
CROSBI ID: 135077 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
FORMALNI MODEL ŽELJEZNIČKOG AUTOMATSKOG PRUŽNOG BLOKA PRIMIJENJEN U EDUKACIJSKOM OKRUŽENJU
(FORMAL MODEL OF RAILWAY AUTOMATIC BLOCK SECTION APPLIED IN EDUCATIONAL ENVIRONMENT)
Autori
Toš, Zdravko ; Gold, Hrvoje
Vrsta, podvrsta i kategorija rada
Poglavlja u knjigama, znanstveni
Knjiga
Formal methods for railway operation and control systems
Urednik/ci
Tarnai, G. ; Schnieder, E
Izdavač
L'Harmattan
Grad
Budimpešta
Godina
2003
Raspon stranica
165-172
ISBN
963 9457 45 0
Ključne riječi
Sigurnost željezničkog prometa, Automatski pružni blok, UML
(Railway Safety, Automatic Block Section, Unified Modelling Language)
Sažetak
Za stvaranje modela Automatskog pružnog bloka kao operativne formalizacije znanja, potrebno je razumjeti operativne sistemske principe i njegovo strukturno i funkcionalno ponašanje. Pružni blok se može modelirati pomoću podataka i metoda korištenih u klasičnoj željezničkoj signalizaciji i vođenju prometa vlakova. Za pobliže označavanje sustava i izrade modela korišten je UML (Unified Modelling Language) programski jezik. Edukacijski modul je realiziran na modelu željeznice, upravljan osobnim računalom u Windows okruženju i objektno orjentiranom programskom podrškom.
Izvorni jezik
Engleski
Znanstvena područja
Tehnologija prometa i transport
