FORMAL MODEL OF RAILWAY AUTOMATIC BLOCK SECTION APPLIED IN EDUCATIONAL ENVIRONMENT (CROSBI ID 28731)
Prilog u knjizi | izvorni znanstveni rad
Podaci o odgovornosti
Toš, Zdravko ; Gold, Hrvoje
engleski
FORMAL MODEL OF RAILWAY AUTOMATIC BLOCK SECTION APPLIED IN EDUCATIONAL ENVIRONMENT
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.
Railway Safety, Automatic Block Section, Unified Modelling Language
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
165-172-x.
objavljeno
Podaci o knjizi
Formal methods for railway operation and control systems
Tarnai, G. ; Schnieder, E
Budimpešta: L'Harmattan
2003.
963 9457 45 0