Download or read book Computers in Railways V Railway technology and environment written by John J. Allan and published by Computational Mechanics. This book was released on 1996 with total page 576 pages. Available in PDF, EPUB and Kindle. Book excerpt: These conference proceedings discuss computer aided systems in the railway and other transit industries, the advantages of which are widely recognized. Computers are now being used in every field of activity from initial feasibility studies to the actual construction of the track and rolling stock.

Download or read book Computers in Railways XIII written by C. A. Brebbia and published by WIT Press. This book was released on 2013 with total page 781 pages. Available in PDF, EPUB and Kindle. Book excerpt: Containing the proceedings of the Thirteenth International Conference on Design and Operation in Railway Engineering, this book presents the latest developments in the use of computer-based techniques in the design and operation of railways. The COMPRAIL conference series serves as the forum for major advances in this important field. The book covers such topics as Advanced Train Control; Planning; Timetable Planning; Rescheduling; Risk Management; Safety and Security; Maglev and High-speed Railways; Traffic Control and Safety of High-speed Railways; Metro and Other Transit Systems; Communications and Signalling; Energy Supply and Consumption; Driverless and Automatic Train Operation; Operations Quality; Computer Techniques and Simulations; Railway Vehicle Dynamics; Dynamics and Wheel/Rail Interface; Monitoring and Maintenance; Crack, Damage and Fatigue Problems.The book will be of interest to railway managers, consultants, railway engineers (including signal and control engineers), designers of advanced train control systems and computer specialists

Download or read book Computers in Railways X written by John J. Allan and published by WIT Press. This book was released on 2006 with total page 1009 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book updates the use of computer-based techniques, promoting their general awareness throughout the business management, design, manufacture and operation of railways and other advanced passenger, freight and transit systems. Including papers from the Tenth International Conference on Computer System Design and Operation in the Railway and Other Transit Systems, the book will be of interest to railway management, consultants, railway engineers (including signal and control engineers), designers of advanced train control systems and computer specialists. Themes of interest include: Planning; Human Factors; Computer Techniques, Management and languages; Decision Support Systems; Systems Engineering; Electromagnetic Compatibility and Lightning; Reliability, Availability, Maintainability and Safety (RAMS); Freight; Advanced Train Control; Train Location; CCTV/Communications; Operations Quality; Timetables; Traffic Control; Global Navigation using Satellite Systems; Online Scheduling and Dispatching; Dynamics and Wheel/Rail Interface; Power Supply; Traction and Maglev; Obstacle Detection and Collision Analysis; Railway Security.

Download or read book Subject Guide to Books in Print written by and published by . This book was released on 1997 with total page 3310 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Computers in Railways XV written by C.A. Brebbia and published by WIT Press. This book was released on 2016-09-15 with total page 499 pages. Available in PDF, EPUB and Kindle. Book excerpt: This title incorporates the 15th proceedings of the very successful International Conference on Railway Engineering Design and Operation (COMPRAIL) series, which began in Frankfurt 1987 and continued in Rome (1990); Washington (1992); Madrid (1994); Berlin (1996); Lisbon (1998); Bologna (2000); Lemnos (2002); Dresden (2004); Prague (2006); Toledo (2008); Beijing (2010); the New Forest, home of the Wessex Institute (2012) and, again in Rome in 2014. The papers presented at this conference aim to update the use of advanced systems, promoting their general awareness throughout the management, design, manufacture and operation of railways and other emerging passenger, freight and transit systems. With the conference attracting a variety of specialists, including railway engineers, designers of advanced train control systems and computer specialists, the book particularly emphasises the use of computer systems in advanced railway engineering. Topics include but are not restricted to: Advanced train control Operations quality; Risk management; Planning and policy; Energy supply and consumption; Communications and signalling; Operational planning; Interface management; Systems integration; Maglev; High speed technology; Interoperability; Passenger flow management; Computer simulations and Driverless and automatic train operation.

Download or read book Formal Methods and Hybrid Real Time Systems written by Cliff B. Jones and published by Springer. This book was released on 2007-09-04 with total page 551 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. The volume includes 25 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Macao, China, in the course of the International Colloquium on Theoretical Aspects of Computing, ICTAC 2007. The papers cover a broad spectrum of subjects.

Download or read book Scientific and Technical Aerospace Reports written by and published by . This book was released on 1994 with total page 892 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book ERDA Energy Research Abstracts written by United States. Energy Research and Development Administration and published by . This book was released on 1977 with total page 776 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Technical Abstract Bulletin written by and published by . This book was released on 1978 with total page 314 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Urban Transportation Abstracts written by and published by . This book was released on 1982 with total page 596 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book 3rd PhD Symposium in Vienna Austria Vol2 written by FIB – International Federation for Structural Concrete and published by FIB - Féd. Int. du Béton. This book was released on 2000-10-01 with total page 493 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Development of Transport by Telematics written by Jerzy Mikulski and published by Springer. This book was released on 2019-08-02 with total page 449 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes selected papers from the 19th International Conference on Transport Systems Telematics, TST 2019, held in Jaworze, near Bielsko-Biala, Poland, in March 2019. The 31 full papers presented in this volume were carefully reviewed and selected from 104 submissions. They were organized in topical sections named: telematics in rail transport; telematics in road transport; telematics in marine transport; telematics in air transport; and general about telematics.

Download or read book Artificial Intelligence for Robotics and Autonomous Systems Applications written by Ahmad Taher Azar and published by Springer Nature. This book was released on 2023-05-15 with total page 488 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book addresses many applications of artificial intelligence in robotics, namely AI using visual and motional input. Robotic technology has made significant contributions to daily living, industrial uses, and medicinal applications. Machine learning, in particular, is critical for intelligent robots or unmanned/autonomous systems such as UAVs, UGVs, UUVs, cooperative robots, and so on. Humans are distinguished from animals by capacities such as receiving visual information, adjusting to uncertain circumstances, and making decisions to take action in a complex system. Significant progress has been made in robotics toward human-like intelligence; yet, there are still numerous unresolved issues. Deep learning, reinforcement learning, real-time learning, swarm intelligence, and other developing approaches such as tiny-ML have been developed in recent decades and used in robotics. Artificial intelligence is being integrated into robots in order to develop advanced robotics capable of performing multiple tasks and learning new things with a better perception of the environment, allowing robots to perform critical tasks with human-like vision to detect or recognize various objects. Intelligent robots have been successfully constructed using machine learning and deep learning AI technology. Robotics performance is improving as higher quality, and more precise machine learning processes are used to train computer vision models to recognize different things and carry out operations correctly with the desired outcome. We believe that the increasing demands and challenges offered by real-world robotic applications encourage academic research in both artificial intelligence and robotics. The goal of this book is to bring together scientists, specialists, and engineers from around the world to present and share their most recent research findings and new ideas on artificial intelligence in robotics.

Download or read book Applied Mechanics Reviews written by and published by . This book was released on 1989 with total page 1518 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Energy Research Abstracts written by and published by . This book was released on 1989 with total page 1332 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Proceedings of the Estonian Academy of Sciences Physics and Mathematics written by and published by . This book was released on 2003-12 with total page 112 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Leveraging Applications of Formal Methods Verification and Validation written by Tiziana Margaria and published by Springer. This book was released on 2012-09-25 with total page 376 pages. Available in PDF, EPUB and Kindle. Book excerpt: The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topical sections on adaptable and evolving software for eternal systems, approaches for mastering change, runtime verification: the application perspective, model-based testing and model inference, learning techniques for software verification and validation, LearnLib tutorial: from finite automata to register interface programs, RERS grey-box challenge 2012, Linux driver verification, bioscientific data processing and modeling, process and data integration in the networked healthcare, timing constraints: theory meets practice, formal methods for the developent and certification of X-by-wire control systems, quantitative modelling and analysis, software aspects of robotic systems, process-oriented geoinformation systems and applications, handling heterogeneity in formal development of HW and SW Systems.