Computers in Railways: v. 12 Computer System Design and Operation in Railways and Other Transit Systems(No. 14 WIT Transactions on the Built Environment)

The International Conference on System Design and Operation in Railways and other Transit Systems (COMPRAIL) has become the most successful conference in its field in the world since it started in 1987. This book contains papers accepted for presentation at the 12th meeting in the series, held in Beijing, China in 2010. Rail transport has many advantages over other systems in terms of capacity, punctuality, being weather resistant, savings in fuel and land, and fairly low pollution. It is a low-carbon emission transport mode and ought to be the backbone of any regional and city comprehensive travel system. Many countries have recently become interested in using high speed railways, resulting in up to now, more than 10,000 km of high speed track in the world. By 2020, the total length of high speed railways will reach 16,000 km in China alone. Safety is one of the central topics of rail systems, which together with efficiency represents the main targets. Computer based technologies have always played an important role in the safety and efficiency of transit systems.These topics are discussed in this book and it is expected that they will become even more important in future COMPRAIL meetings for the designers, manufacturers, operators and professionals attending this conference series. The above are just some of the themes presented in this book, which contains a substantial number of sections covering topics such as planning, timetable and operation quality, safety and security, advanced train control, rolling stock, train regulation, communication, power supply, catenary, train location, obstacle detection and collision analysis.

Table of Contents:
Contents Section 1: Advanced train control Design, development, application, safety assessment and simulation of the railway signaling system; Research on the simulation of an Automatic Train over speed Protection driver-machine interface based on Model Driven Architecture; A framework for modeling train control systems based on agent and cellular automata; A new train GPS positioning algorithm in satellite incomplete condition based on optimization and the digital track map; Simulation of a high-speed train control system based on High Level Architecture and its credibility analysis; Research on a hybrid map matching algorithm for Global Navigation Satellite System based train positioning; Automated system testing of an automatic train protection system; Design and implementation of a distributed railway signalling simulator; Train tracking problem using a hybrid system model; Latent energy savings due to the innovative use of advisory speeds to avoid occupation conflicts Section 2: Traffic control and safety of high-speed railways in Asia Special session organised by N. Tomii How the punctuality of the Shinkansen has been achieved; Linkage of a conventional line dispatch system with the Shinkansen dispatch system; Train scheduling of Shinkansen and relationship to reliable train operation; Rescue operations on dedicated high speed railway lines; Track measurement by Kyushu Shinkansen cars in commercial service; Development of a high-speed overhead contact line measurement device for the Kyushu Shinkansen; The analysis of train reliability for the Taiwan High Speed Rail Section 3: Communications Development of a railway signaling device based on mixed digital and analog signals using digital signal processors; A multi scalable model based on a connexity graph representation; Universal communication infrastructure for locomotives Section 4: Computer techniques Research on a novel train positioning method with a single image; Software redundancy design for a Human-Machine Interface in railway vehicles; Study on the method of traction motor load simulation on railway vehicles; Formalizing train control language: automating analysis of train stations; Design and operation assessment of railway stations using passenger simulation; Modeling of an interoperability test bench for the on-board system of a train control system based on Colored Petri Nets Section 5: Planning How regular is a regular-interval timetable? From theory to application; Port Hinterland traffic: modern planning IT methods; Generating optimal signal positions; A method for the improvement need definition of large, single-track rail network analysis and infrastructure using Rail Traffic System AnalysisA"; Automatic location-finding of train crew using GSM technology; Alignment analysis of urban railways based on passenger travel demand; Maintenance plan optimization for a train fleet; SAT.engine: automated planning and validation tools for modern train control systems; Case studies in planning crew members; Generating and optimizing strategies for the migration of the European Train Control System; Synthesis of railway infrastructure; Dimensioning of a railway station for unknown operation; The simulation of passengers' time-space characteristics using ticket sales records with insufficient data; Headway generation with ROBERTO; Development and implementation of new principles and systems for train traffic control in Sweden Section 6: Maglev and high speed railways A model for the coordination between high-speed railway lines and conventional rail lines in a railway passenger transportation corridor; Derivation of the safety requirements for control systems based on the interoperability property of the Maglev train; Dynamic characteristics modelling and adaptability research of the balise transmission module in high speed railways Section 7: Metro and other transit systems CBTC test simulation bench; Development of the new CBTC system simulation and performance analysis; Efficient design of Automatic Train Operation speed profiles with on board energy storage devices; Research on the load spectrum distribution and structure optimization of locomotive traction seats; Generation of emergency scheme for urban rail transit by case-based reasoning; Application and perspectives for interoperable systems in Italy and Europe Section 8: Energy supply and consumption A method to optimise train energy consumption combining manual energy efficient driving and scheduling; Driving equipment with three-phase inverters and asynchronous traction motors for trolleys and trams; Development, testing and implementation of the pantograph damage assessment system (PANDAS) Section 9: Dynamics and wheel/rail interface Strategies for less motion sickness on tilting trains; Railway vehicle and bridge interaction: some approaches and applications; Certain aspects of the CEN standard for the evaluation of ride comfort for rail passengers; Latest development on the simulation of rolling contact fatigue crack growth in rails Section 10: Operations quality Disruption handling in large railway networks; A multi-stage linear prediction model for the irregularity of the longitudinal level over unit railway sections; Systematic analyses of train run deviations from the timetable; A novel peak power demand reduction strategy under a moving block signalling system Section 11: Monitoring and maintenance Development of an ES2-type point machine (monitoring of point machine); A heuristic approach to railway track maintenance scheduling; Track test monitoring system using a multipurpose experimental train Section 12: Safety and security Verification of quantitative requirements for GNSS-based railway applications; Modelling and design of the formal approach for generating test sequences of ETCS level 2 based on the CPN; The experimental evaluation of the EGNOS safety-of-life services for railway signalling; System safety property-oriented test sequences generating method based on model checking; Scenario-based modeling and verification of system requirement specification for the European Train Control System; ROSA - a computer based safety model for European railways; An IP network-based signal control system for automatic block signal and its functional enhancement; The improvement of the safety-case process in practice: from problems and a promising approach to highly automated safety case guidance; State-based risk frequency estimation of a rail traffic signal system; Use of model transformation for the formal analysis of railway interlocking models; A model-based framework for the safety analysis of computer-based railway signalling systems; A scenario-based safety argumentation for CBTC safety case architecture; The cost benefit analysis of level crossing safety measures; Proposal of the standard-based method for communication safety enhancement in railway signalling systems Section 13: Timetable planning A heuristic algorithm for the circulation plan of railway electrical motor units; Working out an incomplete cyclic train timetable for high-speed railways by computer; A novel research on the relation between the number of passengers and the braking distance of a metro; Computation and evaluation of scheduled waiting time for railway networks; Computation of a suburban night train timetable based on key performance indicators; A cooperative strategy framework of train rescheduling for portal junctions leading into bottleneck sections; Circle rail transit line timetable scheduling using Rail TPM; A simulation analysis of train rescheduling strategies on Chinese passenger dedicated lines; An efficient MIP model for locomotive routing and scheduling; Timetable attractiveness parameters