Railway line data optimization and formal modelling and verification of generation mothed

The research on upgrading and modification of the existing railway signal system found that the existing line basic datasheet and line data engineering datasheet cannot satisfy the application requirement, and it is necessary to study data optimization on the existing railway line. This paper presen...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	IOP conference series. Materials Science and Engineering 2019-11, Vol.688 (3), p.33013
Hauptverfasser:	Zhang, Zihan, Liu, Zhongtian
Format:	Artikel
Sprache:	eng
Schlagworte:	Data models Data sheets Optimization R&D Research & development Signal processing Verification
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!