Computers in Railways XII: Computer System Design and Operation in Railways and Other Transit Systems

Cover......Page 1
Computers In railways XII: Computer System Design and Operation in Railways and Other Transit Systems......Page 10
Copyright page......Page 11
Preface......Page 12
Contents......Page 14
Section 1: Advanced train control......Page 23
Design, development, application, safety assessment and simulation of the railway signaling system......Page 25
Research on the simulation of an Automatic Train over speed Protection driver-machine interface based on Model Driven Architecture......Page 35
A framework for modeling train control systems based on agent and cellular automata......Page 45
A new train GPS positioning algorithm in satellite incomplete condition based on optimization and the digital track map......Page 57
Simulation of a high-speed train control system based on High Level Architecture and its credibility analysis......Page 67
Research on a hybrid map matching algorithm for Global Navigation Satellite System based train positioning......Page 81
Automated system testing of an automatic train protection system......Page 93
Design and implementation of a distributed railway signalling simulator......Page 103
Train tracking problem using a hybrid system model......Page 111
Latent energy savings due to the innovative use of advisory speeds to avoid occupation conflicts......Page 121
Section 2: Traffic control and safety of high-speed railways in Asia Special session organised by N. Tomii......Page 131
How the punctuality of the Shinkansen has been achieved......Page 133
Linkage of a conventional line dispatch system with the Shinkansen dispatch system......Page 143
Train scheduling of Shinkansen and relationship to reliable train operation......Page 155
Rescue operations on dedicated high speed railway lines......Page 163
Track measurement by Kyushu Shinkansen cars in commercial service......Page 169
Development of a high-speed overhead contact line measurement device for the Kyushu Shinkansen......Page 177
The analysis of train reliability for the Taiwan High Speed Rail......Page 191
Section 3: Communications......Page 203
Development of a railway signaling device based on mixed digital and analog signals using digital signal processors......Page 205
A multi scalable model based on a connexity graph representation......Page 215
Universal communication infrastructure for locomotives......Page 227
Section 4: Computer techniques......Page 233
Research on a novel train positioning method with a single image......Page 235
Software redundancy design for a Human-Machine Interface in railway vehicles......Page 243
Study on the method of traction motor load simulation on railway vehicles......Page 255
Formalizing train control language: automating analysis of train stations......Page 267
Design and operation assessment of railway stations using passenger simulation......Page 279
Modeling of an interoperability test bench for the on-board system of a train control system based on Colored Petri Nets......Page 293
Section 5: Planning......Page 303
How regular is a regular-interval timetable? From theory to application......Page 305
Port Hinterland traffic: modern planning IT methods......Page 317
Generating optimal signal positions......Page 329
A method for the improvement need definition of large, single-track rail network analysis and infrastructure using "Rail Traffic System Analysis"......Page 341
Automatic location-finding of train crew using GSM technology......Page 349
Alignment analysis of urban railways based on passenger travel demand......Page 359
Maintenance plan optimization for a train fleet......Page 371
SAT.engine: automated planning and validation tools for modern train control systems......Page 381
Case studies in planning crew members......Page 393
Generating and optimizing strategies for the migration of the European Train Control System......Page 405
Synthesis of railway infrastructure......Page 417
Dimensioning of a railway station for unknown operation......Page 429
The simulation of passengers' time-space characteristics using ticket sales records with insufficient data......Page 441
Headway generation with ROBERTO......Page 453
Development and implementation of new principles and systems for train traffic control in Sweden......Page 463
Section 6: Maglev and high speed railways......Page 473
A model for the coordination between high-speed railway lines and conventional rail lines in a railway passenger transportation corridor......Page 475
Derivation of the safety requirements for control systems based on the interoperability property of the Maglev train......Page 489
Dynamic characteristics modelling and adaptability research of the balise transmission module in high speed railways......Page 497
Section 7: Metro and other transit systems......Page 505
CBTC test simulation bench......Page 507
Development of the new CBTC system simulation and performance analysis......Page 519
Efficient design of Automatic Train Operation speed profiles with on board energy storage devices......Page 531
Research on the load spectrum distribution and structure optimization of locomotive traction seats......Page 543
Generation of emergency scheme for urban rail transit by case-based reasoning......Page 551
Application and perspectives for interoperable systems in Italy and Europe......Page 559
Section 8: Energy supply and consumption......Page 569
A method to optimise train energy consumption combining manual energy efficient driving and scheduling......Page 571
Driving equipment with three-phase inverters and asynchronous traction motors for trolleys and trams......Page 583
Development, testing and implementation of the pantograph damage assessment system (PANDAS)......Page 595
Section 9: Dynamics and wheel/rail interface......Page 601
Strategies for less motion sickness on tilting trains......Page 603
Railway vehicle and bridge interaction: some approaches and applications......Page 615
Certain aspects of the CEN standard for the evaluation of ride comfort for rail passengers......Page 627
Latest development on the simulation of rolling contact fatigue crack growth in rails......Page 637
Section 10: Operations quality......Page 649
Disruption handling in large railway networks......Page 651
A multi-stage linear prediction model for the irregularity of the longitudinal level over unit railway sections......Page 663
Systematic analyses of train run deviations from the timetable......Page 673
A novel peak power demand reduction strategy under a moving block signalling system......Page 685
Section 11: Monitoring and maintenance......Page 697
Development of an ES2-type point machine (monitoring of point machine)......Page 699
A heuristic approach to railway track maintenance scheduling......Page 709
Track test monitoring system using a multipurpose experimental train......Page 723
Section 12: Safety and security......Page 731
Verification of quantitative requirements for GNSS-based railway applications......Page 733
Modelling and design of the formal approach for generating test sequences of ETCS level 2 based on the CPN......Page 745
The experimental evaluation of the EGNOS safety-of-life services for railway signalling......Page 757
System safety property-oriented test sequences generating method based on model checking......Page 769
Scenario-based modeling and verification of system requirement specification for the European Train Control System......Page 781
ROSA - a computer based safety model for European railways......Page 793
An IP network-based signal control system for automatic block signal and its functional enhancement......Page 805
The improvement of the safety-case process in practice: from problems and a promising approach to highly automated safety case guidance......Page 817
State-based risk frequency estimation of a rail traffic signal system......Page 827
Use of model transformation for the formal analysis of railway interlocking models......Page 837
A model-based framework for the safety analysis of computer-based railway signalling systems......Page 849
A scenario-based safety argumentation for CBTC safety case architecture......Page 861
The cost benefit analysis of level crossing safety measures......Page 873
Proposal of the standard-based method for communication safety enhancement in railway signalling systems......Page 885
Section 13: Timetable planning......Page 897
A heuristic algorithm for the circulation plan of railway electrical motor units......Page 899
Working out an incomplete cyclic train timetable for high-speed railways by computer......Page 911
A novel research on the relation between the number of passengers and the braking distance of a metro......Page 923
Computation and evaluation of scheduled waiting time for railway networks......Page 933
Computation of a suburban night train timetable based on key performance indicators......Page 945
A cooperative strategy framework of train rescheduling for portal junctions leading into bottleneck sections......Page 957
Circle rail transit line timetable scheduling using Rail TPM......Page 967
A simulation analysis of train rescheduling strategies on Chinese passenger dedicated lines......Page 975
An efficient MIP model for locomotive routing and scheduling......Page 985
Timetable attractiveness parameters......Page 997
K......Page 1007
R......Page 1008
Z......Page 1009