| Author | : Bin Ning |
| Publisher | : WIT Press |
| Total Pages | : 1025 |
| Release | : 2010 |
| Genre | : Transportation |
| ISBN | : 1845644689 |
These conference proceedings update 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 transport systems.
| Author | : C. A. Brebbia |
| Publisher | : WIT Press |
| Total Pages | : 781 |
| Release | : 2013 |
| Genre | : Transportation |
| ISBN | : 1845646169 |
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
| Author | : John J. Allan |
| Publisher | : WIT Press |
| Total Pages | : 1009 |
| Release | : 2006 |
| Genre | : Technology & Engineering |
| ISBN | : 1845641779 |
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.
| Author | : John J. Allan |
| Publisher | : WIT Press |
| Total Pages | : 897 |
| Release | : 2008 |
| Genre | : Transportation |
| ISBN | : 1845641264 |
This volume features the proceedings of the Eleventh International Conference on Computer System Design and Operation in the Railway and other Transit Systems. It provides the latest information on the use of computer-based techniques, and promotes a general awareness of these throughout the business management, design, manufacture and operation of railways and other advanced passenger, freight and transit systems. Of interest to railway managers, consultants, railway engineers (including signal and control engineers), designers of advanced train systems and computer specialists, the proceedings will also be of interest to planners of railway network systems, manufacturers of the track, rolling stock, locomotives and other ancillary equipment and systems; who all have a common interest in the development and application of computer techniques for the solution of problems in the railway and other mass transit systems. Papers included in this volume cover the following topics: Planning; Safety and security; Passenger interface systems; Decision support systems, Computer techniques; Driverless operations; Advanced train control; Train location; Dynamic train regulations; Timetable planning; Operations quality; Communications, Energy management; Power supply; Dynamics and wheel/rail interface; Freight; Condition monitoring; Asset management; Maglev and high speed railway.
| Author | : G. Passerini |
| Publisher | : WIT Press |
| Total Pages | : 426 |
| Release | : 2020-09-07 |
| Genre | : Transportation |
| ISBN | : 1784664030 |
It is important to continue to update the use of advanced systems by promoting general awareness throughout the management, design, manufacture and operation of railways and other emerging passenger, freight and transit systems. Originating from presentations at the 17th International Conference on Railway Engineering Design and Operation, this volume contains selected research works on the topic. The included papers help to facilitate the use of advanced systems and place a key focus on the applications of computer systems in advanced railway engineering. These research studies will be of interest to all those involved in the development of railways, including managers, consultants, railway engineers, designers of advanced train control systems and computer specialists.
| Author | : Dan Craigen |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 246 |
| Release | : 2013-11-11 |
| Genre | : Computers |
| ISBN | : 1447135326 |
The 1989 Workshop on the Assessment of Formal Methods for Trustworthy Com puter Systems (FM89} was an invitational workshop that brought together repre sentatives from the research, commercial and governmental spheres of Canada, the United Kingdom, and the United States. The workshop was held in Halifax, Nova Scotia, Canada, from July 23 through July 27, 1989. This document reports the activities, observations, recommendations and conclusions resulting. from FM89. 1. 1 Purpose of Workshop The primary purpose for holding FM89 was to assess the role of formal methods in the development and fielding of trustworthy critical systems. The need for this assessment was predicated upon four observations: 1. Critical systems are increasingly being controlled by computer systems; 2. Existing techniques for developing, assuring and certifying computer-based critical systems are inadequate; 3. Formal methods have the potential for playing the same role in the devel opment of computer-based systems as applied mathematics does for other engineering disciplines; and 4. Formal methods have had limited impact on the development of comput- based systems and supporting technologies. · The goal of the workshop was to complete the following tasks: 1. Assess the problems retarding the development of trustworthy critical systems; 2. Determine the (potential) impact of applying formal methods techniques to the development of trustworthy critical systems; 3. Determine the research and development required to facilitate a broader ap plication of formal methods techniques; 4.
| Author | : Qi Liu |
| Publisher | : Springer Nature |
| Total Pages | : 1506 |
| Release | : 2022-10-19 |
| Genre | : Technology & Engineering |
| ISBN | : 9811969019 |
This conference proceeding is a collection of the papers accepted by the CENet2022 – the 12th International Conference on Computer Engineering and Networks held on November 4-7, 2022 in Haikou, China. The topics focus but are not limited to Internet of Things and Smart Systems, Artificial Intelligence and Applications, Communication System Detection, Analysis and Application, and Medical Engineering and Information Systems. Each part can be used as an excellent reference by industry practitioners, university faculties, research fellows and undergraduates as well as graduate students who need to build a knowledge base of the most current advances and state-of-practice in the topics covered by this conference proceedings. This will enable them to produce, maintain, and manage systems with high levels of trustworthiness and complexity.
| Author | : United States. Congress. House. Committee on Science. Subcommittee on Technology |
| Publisher | : |
| Total Pages | : 168 |
| Release | : 1998 |
| Genre | : Business & Economics |
| ISBN | : |
| Author | : Liangzhong Jiang |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 689 |
| Release | : 2011-11-24 |
| Genre | : Technology & Engineering |
| ISBN | : 3642251854 |
The volume includes a set of selected papers extended and revised from the International Conference on Informatics, Cybernetics, and Computer Engineering. Intelligent control is a class of control techniques, that use various AI computing approaches like neural networks, Bayesian probability, fuzzy logic, machine learning, evolutionary computation and genetic algorithms. Intelligent control can be divided into the following major sub-domains: Neural network control Bayesian control Fuzzy (logic) control Neuro-fuzzy control Expert Systems Genetic control Intelligent agents (Cognitive/Conscious control) New control techniques are created continuously as new models of intelligent behavior are created and computational methods developed to support them. Networks may be classified according to a wide variety of characteristics such as medium used to transport the data, communications protocol used, scale, topology, organizational scope, etc. ICCE 2011 Volume 1 is to provide a forum for researchers, educators, engineers, and government officials involved in the general areas of Intelligent Control and Network Communication to disseminate their latest research results and exchange views on the future research directions of these fields. 90 high-quality papers are included in the volume. Each paper has been peer-reviewed by at least 2 program committee members and selected by the volume editor Special thanks to editors, staff of association and every participants of the conference. It’s you make the conference a success. We look forward to meeting you next year.
