"One of the most important and enduring problems in programming languages research involves verification of programs that construct, manipulate and dispose of complex heap-allocated data structures."
"This book presents the latest findings on train operation theories and methods in the context of emergencies. It examines and assesses a range of aspects―including the definition of a railway emergency, transport organization modes in emergencies, calculating railway transport capacity in emergencies, line planning in emergencies, train re-pathing in emergencies and train re-scheduling in emergencies―that are urgently needed in the rail ..."
"The proceedings collect the latest research trends, methods and experimental results in the field of electrical and information technologies for rail transportation. The topics cover novel traction drive technologies of rail transportation, safety technology of rail transportation system, rail transportation information technology, rail transportation operational management technology, rail transportation cutting-edge theory and technol ..."
"Proceedings of the 2013 International Conference on Electrical and Information Technologies for Rail Transportation (EITRT2013) collects the latest research in this field, including a wealth of state-of-the-art research theories and applications in intelligent computing, information processing, communication technology, automatic control, etc. The objective of the proceedings is to provide a major interdisciplinary forum for researchers ..."
"Proceedings of the 2013 International Conference on Electrical and Information Technologies for Rail Transportation (EITRT2013) collects the latest research in this field, including a wealth of state-of-the-art research theories and applications in intelligent computing, information processing, communication technology, automatic control, etc. The objective of the proceedings is to provide a major interdisciplinary forum for researchers ..."
"Safe and high-efficiency operation are two main issues in rail transportation. This book focuses on these two key issues, bringing together a wealth of research to offer theoretical and technical support for rail operations and maintenance. In addition, it presents a comprehensive active safety assurance system for rail transportation, which includes the quantitative state identification and prediction of train components; rail transpor ..."
This is not available 001539 by LiminJia Paperback, 256 Pages, Published 2011 by Proquest, Umi Dissertation Publishing ISBN-13: 978-1-243-40967-6, ISBN: 1-243-40967-3
"The proceedings collect the latest research trends, methods and experimental results in the field of electrical and information technologies for rail transportation. The topics cover intelligent computing, information processing, communication technology, automatic control, and their applications in rail transportation etc. The proceedings can be a valuable reference work for researchers and graduate students working in rail transportat ..."
"This book presents the latest findings on train operation theories and methods in the context of emergencies. It examines and assesses a range of aspects―including the definition of a railway emergency, transport organization modes in emergencies, calculating railway transport capacity in emergencies, line planning in emergencies, train re-pathing in emergencies and train re-scheduling in emergencies―that are urgently needed in the rail ..."
"The proceedings collect the latest research trends, methods and experimental results in the field of electrical and information technologies for rail transportation. The topics cover intelligent computing, information processing, communication technology, automatic control, and their applications in rail transportation etc. The proceedings can be a valuable reference work for researchers and graduate students working in rail transportat ..."
"This book reflects the latest research trends, methods and experimental results in the field of electrical and information technologies for rail transportation, which covers abundant state-of-the-art research theories and ideas."
"The proceedings collect the latest research trends, methods and experimental results in the field of electrical and information technologies for rail transportation. The topics cover novel traction drive technologies of rail transportation, safety technology of rail transportation system, rail transportation information technology, rail transportation operational management technology, rail transportation cutting-edge theory and technol ..."
"Proceedings of the 2013 International Conference on Electrical and Information Technologies for Rail Transportation (EITRT2013) collects the latest research in this field, including a wealth of state-of-the-art research theories and applications in intelligent computing, information processing, communication technology, automatic control, etc. The objective of the proceedings is to provide a major ..."
"... main system to continue working, and outputs the generated effective calculation results to the outside. The main ... EIU/EEU (Executive and Indication Units/Electronic Executive Units subsystem). The NE (Network Equipment subsystem) and SE ( ..."
"Transportation Limin Jia, Yong Qin, Jianguo Suo, Jianghua Feng, Lijun Diao, Min
An. Study on Dynamic Characteristics of Metro Stray Current Based on CDEGS ...
....................................... 571 Mingjie Liu, Sheng Lin, Liping Zhao, Xiaohong Lin and
Liang Chen Analysis of Influencing Factors of Energy Saving and Emission
Reduction for Railway Transportation of China .................. 579 Liang Sun, Huiting
Guo, Li Wang, Lian ..."
"Proceedings of the 2013 International Conference on Electrical and Information Technologies for Rail Transportation (EITRT2013) collects the latest research in this field, including a wealth of state-of-the-art research theories and applications in intelligent computing, information processing, communication technology, automatic control, etc. The objective of the proceedings is to provide a major ..."