Pregled bibliografske jedinice broj: 204735
Formal model of railway automatic block section applied in educational environment
Formal model of railway automatic block section applied in educational environment // Proceedings of Symposium FORMS 2003 / Tarnai, Geza ; Schnieder, Eckehard (ur.).
Budimpešta: L'Harmattan, 2003. str. 165-172 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 204735 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Formal model of railway automatic block section applied in educational environment
(Formal Model Of Railway Automatic Block Section Applied In Educational Environmen)
Autori
Toš, Zdravko ; Gold, Hrvoje
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
Proceedings of Symposium FORMS 2003
/ Tarnai, Geza ; Schnieder, Eckehard - Budimpešta : L'Harmattan, 2003, 165-172
ISBN
963-9457-45-0
Skup
Proceedings of Symposium FORMS 2003
Mjesto i datum
Budimpešta, Mađarska, 15.05.2003. - 16.05.2003
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
Railway Safety; Automatic Block Section; Unified Modelling Language
(.Railway Safety; Automatic Block Section; Unified Modelling Language)
Sažetak
To establish the model of Automatic Block Section (ABS) System as the operative formalization of knowledge, we need to understand the system’ s operating principals and its structural and functional behaviour. Block section can be modelled with data and methods inherited from signalling and train control railway system ontology. For specification of the system and construction of its model Unified Modelling Language has been used. The educational module is realised by the small-scale model of railway system using personal computers, Windows operating system and object-oriented authoring software..
Izvorni jezik
Engleski
Znanstvena područja
Tehnologija prometa i transport
