You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This textbook provides, in a compact form, the very basic knowledge in the science of railway operation in a close connection to signalling principles and traffic control technologies. It was written both as a tutorial for students of railway-related programs and as a reference for people in the industry. Although written from an European point of view, this book tries an independent look at railway operation without concentrating on the operating philosophy of a single railway.
This tutorial E-book is based on the long-standing experience of teaching railway operations and signalling at TU Braunschweig and other universities and higher vocational training institutions in different parts of the world. It explains the fundamental principles all railway signalling systems have in common. This is done in a generic way that does not focus on specific national solutions. It covers basic elements and terms, principles for safe train separation, interlocking principles, automatic train protection, and level crossing protection. It also contains a glossary with definitions of relevant terms.
A railway system is a complex system. With the assistance of a railway operation control system, railway traffic is managed according to an operation plan. During the operation process, especially in railway networks with complex topology and high traffic flow, disturbances are likely to occur, which may result in severe deviations of train movements from the pre-designed operation plan. Once conflicts have occurred or potential conflicts between trains have been detected, suitable dispatching actions should be executed to minimize the negative impacts of the disturbances. In order to support dispatchers, a dispatching optimization algorithm was developed in this dissertation. In the develop...
Servitization and Physical Asset Management, third edition, was developed to provide a structured source of guidance and reference information on the business opportunities linked to servitization and the management of physical assets. A growing trend in the global economy, servitization focuses on the actual deliverables of an asset from the perspective of the customer: electricity instead of the power plant, thrust instead of the engine, mobility instead of a plane or a car. The book offers high-level overviews of how to servitized and manage assets from a variety of perspectives, reviewing nearly 1,500 books, magazine articles, papers and presentations and websites. Written by Michael J. ...
This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG). It includes main contributions of the projects of the priority program and of additional international experts in the field. Some of the papers included were presented at the related Third International Workshop on the topic, INT 2004, held in Barcelona, Spain in March 2004. The 25 revised full papers presented together with 6 section introductions by the volume editors were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on reference case study production automation, reference case study traffic control systems, petri nets and related approaches in engineering, charts, verification, and integration modeling.
The rail-based transit system is a popular public transportation option, not just with members of the public but also with policy makers looking to install a form of convenient and rapid travel. Even for moving bulk freight long distances, a rail-based system is the most sustainable transportation system currently available. The Handbook of Research on Emerging Innovations in Rail Transportation Engineering presents the latest research on next-generation public transportation infrastructures. Emphasizing a diverse set of topics related to rail-based transportation such as funding issues, policy design, traffic planning and forecasting, and engineering solutions, this comprehensive publication is an essential resource for transportation planners, engineers, policymakers, and graduate-level engineering students interested in uncovering research-based solutions, recommendations, and examples of modern rail transportation systems.
Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal techniques provide next to correctness and integrity checkups – especially for safety relevant systems – the possibility to model, prove, simulate and check the specification of the system as well as to generate the system implementations. Requirements of the CENELEC- and IEC-Standards on formal techniques, particularly with regard to the handling of safety analysis, are to be treated in FORMS/FORMAT 2010. The main focus lies on topics facing formal techniques for railway applications and intelligent transportation systems as well as for automotive applications. Gained findings, experiences and also difficulties associated with the handling of the subject matter as well as description means and tools are to be shown.