Napredna pretraga

Pregled bibliografske jedinice broj: 135077

FORMALNI MODEL ŽELJEZNIČKOG AUTOMATSKOG PRUŽNOG BLOKA PRIMIJENJEN U EDUKACIJSKOM OKRUŽENJU


Toš, Zdravko; Gold, Hrvoje
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.).
Budapest: L'Harmattan, 2003. str. 165-172


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
Budapest

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



POVEZANOST RADA


Projekt / tema
0135006

Ustanove
Fakultet prometnih znanosti, Zagreb

Autor s matičnim brojem:
Zdravko Toš, (153002)
Hrvoje Gold, (58945)