Ning B., Brebbia C.A. (eds.) Computers in Railways XII: Computer System Design and Operation in Railways and Other Transit Systems

WIT Press, 2010. — 1024 p. — ISBN: 978-1-84564-468-0, eISBN: 978-1-84564-469-7. — (WIT Transactions on The Built Environment. Volume. 114).This book contains the papers presented at the Twelfth International Conference on Computer System Design and Operation in Railways and Other Transit Systems being held Auguste 31 to September 2 in Beijing China.This biennial conference is the latest in a successful series that began in 1987. The conference provides a platform for transportation professionals to examine the new achievements and applications of computer based technologies in management, design and operation of passenger and freight transit systems. Rail transport has many advantages over other transportation systems in terms of capacity, punctuality, resistance to weather, fuel and land economies, and fairly low pollution. More and more governments are thus turning to high-speed rail systems as a backbone of sustainable transportation systems. Safety and efficiency are two major issues for railway operators. Computer based technologies have always played an important role in the safety and efficiency of transit systems. The book addresses all these topics, among others.Design, development, application, safety assessment and simulation of the railway signaling system
B. Ning; T. Tang; C. Gao; J. Xun;Research on the simulation of an Automatic Train over speed Protection driver-machine interface based on Model Driven Architecture
B. Y. Guo; W. Du; Y. J. Mao;A framework for modeling train control systems based on agent and cellular automata
J. Xun; B. Ning; T. Tang;A new train GPS positioning algorithm in satellite incomplete condition based on optimization and the digital track map
X. Jia; D. Chen; H. Wang;Simulation of a high-speed train control system based on High Level Architecture and its credibility analysis
Wei ShangGuan; J.-Q. Chen; B. Li; L.-N. Guo; M. Li; L.-Y. Chen;Research on a hybrid map matching algorithm for Global Navigation Satellite System based train positioning
J. Liu; B. Cai; T. Tang; J. Wang; Wei ShangGuan;Automated system testing of an automatic train protection system
B. Friman; T. Andreiouk;Design and implementation of a distributed railway signalling simulator
X. Hei; W. Ma; L. Wang; N. Ouyang;Train tracking problem using a hybrid system model
Y. Wang; R. Luo; F. Cao; B. Ning;Latent energy savings due to the innovative use of advisory speeds to avoid occupation conflicts
F. Mehta; C. Rößiger; M. Montigel;How the punctuality of the Shinkansen has been achieved
N. Tomii;Linkage of a conventional line dispatch system with the Shinkansen dispatch system
Y. Yoshino;Train scheduling of Shinkansen and relationship to reliable train operation
S. Sone; Y. Zhongping;Rescue operations on dedicated high speed railway lines
R. Takagi;Track measurement by Kyushu Shinkansen cars in commercial service
H. Moritaka; T. Matsumoto;Development of a high-speed overhead contact line measurement device for the Kyushu Shinkansen
N. Kinoshita; Y. Himeno; R. Igata;The analysis of train reliability for the Taiwan High Speed Rail
J.-C. Jong; T.-H. Lin; C.-K. Lee; H.-L. Hu;Development of a railway signaling device based on mixed digital and analog signals using digital signal processors
R. Ishikawa; D. Koshino; H. Mochizuki; S. Takahashi; H. Nakamura; S. Nishida; M. Sano;A multi scalable model based on a connexity graph representation
L. Gély; G. Dessagne; P. Pesneau; F. Vanderbeck;Universal communication infrastructure for locomotives
U. Lieske;Research on a novel train positioning method with a single image
B. Guo; T. Tang; Z. Yu;Software redundancy design for a Human-Machine Interface in railway vehicles
G. Zheng; J. Chen;Study on the method of traction motor load simulation on railway vehicles
F. Lu; S. Li; L. Xu; Z. Yang;Formalizing train control language: automating analysis of train stations
A. Svendsen; B. Møller-Pedersen; Ø. Haugen; J. Endresen; E. Carlson;Design and operation assessment of railway stations using passenger simulation
D. Li; B. Han;Modeling of an interoperability test bench for the on-board system of a train control system based on Colored Petri Nets
L. Yuan; T. Tang; K. Li; Y. Liu;How regular is a regular-interval timetable? From theory to application
P. Tzieropoulos; D. Emery; D. Tron;Port Hinterland traffic: modern planning IT methods
A. Radtke;Generating optimal signal positions
E. A. G. Weits; D. van de Weijenberg;A method for the improvement need definition of large, single-track rail network analysis and infrastructure using Rail Traffic System Analysis
T. Kosonen;Automatic location-finding of train crew using GSM technology
F. Makkinga; B. Sturm;Alignment analysis of urban railways based on passenger travel demand
J. L. E. Andersen; A. Landex;Maintenance plan optimization for a train fleet
K. Doganay; M. Bohlin;SAT.engine: automated planning and validation tools for modern train control systems
B. Wenzel; J. Schuette; S. Jurtz;Case studies in planning crew members
J. P. Martins; E. Morgado;Generating and optimizing strategies for the migration of the European Train Control System
C. Lackhove; B. Jaeger; K. Lemmer;Synthesis of railway infrastructure
J. Spönemann; E. Wendler;Dimensioning of a railway station for unknown operation
O. Lindfeldt; A.-I. Lundberg;The simulation of passengers’ time-space characteristics using ticket sales records with insufficient data
J.-C. Jong; E.-F. Chang;Headway generation with ROBERTO
A. D. Middelkoop;Development and implementation of new principles and systems for train traffic control in Sweden
B. Sandblad; A. W. Andersson; A. Kauppi; G. Isaksson-Lutteman;A model for the coordination between high-speed railway lines and conventional rail lines in a railway passenger transportation corridor
Y. Bao;Derivation of the safety requirements for control systems based on the interoperability property of the Maglev train
W. Zheng; J. R. Müeller; K. Li;Dynamic characteristics modelling and adaptability research of the balise transmission module in high speed railways
H. Zhao; S. Sun; W. Li;CBTC test simulation bench
J. M. Mera; I. Gómez-Rey; E. Rodrigo;Development of the new CBTC system simulation and performance analysis
R. Chen; J. Guo;Efficient design of Automatic Train Operation speed profiles with on board energy storage devices
M. Domínguez; A. Fernández; A. P. Cucala; J. Blanquer;Research on the load spectrum distribution and structure optimization of locomotive traction seats
W. Wang; M. Wang; Z. Liu;Generation of emergency scheme for urban rail transit by case-based reasoning
F. Li; R. Xu; W. Zhu;Application and perspectives for interoperable systems in Italy and Europe
R. Bozzo; R. Genova; F. Ballini;A method to optimise train energy consumption combining manual energy efficient driving and scheduling
C. Sicre; P. Cucala; A. Fernández; J. A. Jiménez; I. Ribera; A. Serrano;Driving equipment with three-phase inverters and asynchronous traction motors for trolleys and trams
V. Radulescu; I. Strainescu; L. Moroianu; S. Gherorghe; E. Tudor; V. Lupu; F. Bozas; A. Dascalu; G. Mitroi; D. Braslasu;Development, testing and implementation of the pantograph damage assessment system (PANDAS)
A. Daadbin; J. Rosinski;Strategies for less motion sickness on tilting trains
R. Persson; B. Kufver;Railway vehicle and bridge interaction: some approaches and applications
G. Mikheev; E. Krugovova; R. Kovalev;Certain aspects of the CEN standard for the evaluation of ride comfort for rail passengers
B. Kufver; R. Persson; J. Wingren;Latest development on the simulation of rolling contact fatigue crack growth in rails
L. Zhang; S. Mellings; J. Baynham; R. Adey;Disruption handling in large railway networks
F. Corman; A. D’Ariano; I. A. Hansen;A multi-stage linear prediction model for the irregularity of the longitudinal level over unit railway sections
H. Chang; R. Liu; Q. Li;Systematic analyses of train run deviations from the timetable
T. Richter;A novel peak power demand reduction strategy under a moving block signalling system
Q. Gu; L. Pei; F. Cao; T. Tang;Development of an ES2-type point machine (monitoring of point machine)
N. Obata; T. Ichikura; H. Narita; H. Tanaka;A heuristic approach to railway track maintenance scheduling
L. M. Quiroga; E. Schnieder;Track test monitoring system using a multipurpose experimental train
H. Matsuda; M. Takikawa; T. Nanmoku; E. Yazawa;Verification of quantitative requirements for GNSS-based railway applications
H. Mocek; A. Filip; L. Bažant;Modelling and design of the formal approach for generating test sequences of ETCS level 2 based on the CPN
X. Zhao; Y. Zhang; W. Zheng; T. Tang; R. Mu;The experimental evaluation of the EGNOS safety-of-life services for railway signalling
A. Filip; L. Bažant; H. Mocek;System safety property-oriented test sequences generating method based on model checking
Y. Zhang; X. Q. Zhao; W. Zheng; T. Tang;Scenario-based modeling and verification of system requirement specification for the European Train Control System
W. Tang; B. Ning; T. Xu; L. Zhao;ROSA – a computer based safety model for European railways
J. Schütte; M. Geisler;An IP network-based signal control system for automatic block signal and its functional enhancement
K. Hayakawa; T. Miura; R. Ishima; H. Soutome; H. Tanuma; Y. Yoshida;The improvement of the safety-case process in practice: from problems and a promising approach to highly automated safety case guidance
J. R. Müeller; W. Zheng; E. Schnieder;State-based risk frequency estimation of a rail traffic signal system
Y. Zhang; J. Guo; L. Liu;Use of model transformation for the formal analysis of railway interlocking models
T. Xu; O. M. Santos; X. Ge; J. Woodcock;A model-based framework for the safety analysis of computer-based railway signalling systems
R. Niu; T. Tang;A scenario-based safety argumentation for CBTC safety case architecture
C. Liu; X. Sha; F. Yan; T. Tang;The cost benefit analysis of level crossing safety measures
R. Ben Aoun; E.-M. El Koursi; E. Lemaire;Proposal of the standard-based method for communication safety enhancement in railway signalling systems
H.-J. Jo; J.-G. Hwang; B.-H. Kim; K.-M. Lee; Y.-K. Kim;A heuristic algorithm for the circulation plan of railway electrical motor units
J. Miao; Y. Yu; Y. Wang;Working out an incomplete cyclic train timetable for high-speed railways by computer
D. Yang; L. Nie; Y. Tan; Z. He; Y. Zhang;A novel research on the relation between the number of passengers and the braking distance of a metro
L. Wang; Y. Li; X. Hei;Computation and evaluation of scheduled waiting time for railway networks
A. Landex;Computation of a suburban night train timetable based on key performance indicators
B. Schittenhelm; A. Landex;A cooperative strategy framework of train rescheduling for portal junctions leading into bottleneck sections
L. Chen; F. Schmid; B. Ning; C. Roberts; T. Tang;Circle rail transit line timetable scheduling using Rail TPM
J. Zhibin; G. Jia; X. Ruihua;A simulation analysis of train rescheduling strategies on Chinese passenger dedicated lines
Z. He; L. Meng; H. Li; L. Nie;An efficient MIP model for locomotive routing and scheduling
M. Aronsson; P. Kreuger; J. Gjerdrum;Timetable attractiveness parameters
B. Schittenhelm;