Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi !

FORMAL MODEL OF RAILWAY AUTOMATIC BLOCK SECTION APPLIED IN EDUCATIONAL ENVIRONMENT (CROSBI ID 28731)

Prilog u knjizi | izvorni znanstveni rad

Toš, Zdravko ; Gold, Hrvoje FORMAL MODEL OF RAILWAY AUTOMATIC BLOCK SECTION APPLIED IN EDUCATIONAL ENVIRONMENT // Formal methods for railway operation and control systems / Tarnai, G. ; Schnieder, E (ur.). Budimpešta: L'Harmattan, 2003. str. 165-172-x

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

Povezanost rada

Tehnologija prometa i transport