Author: Bin Ning
Publisher: WIT Press
ISBN: 1845644689
Category : Transportation
Languages : en
Pages : 1025
Book Description
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.
Computers in Railways 12
Author: Bin Ning
Publisher: WIT Press
ISBN: 1845644689
Category : Transportation
Languages : en
Pages : 1025
Book Description
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.
Publisher: WIT Press
ISBN: 1845644689
Category : Transportation
Languages : en
Pages : 1025
Book Description
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.
Computers in Railways XIII
Author: C. A. Brebbia
Publisher: WIT Press
ISBN: 1845646169
Category : Transportation
Languages : en
Pages : 781
Book Description
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
Publisher: WIT Press
ISBN: 1845646169
Category : Transportation
Languages : en
Pages : 781
Book Description
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
Computers in Railways X
Author: John J. Allan
Publisher: WIT Press
ISBN: 1845641779
Category : Technology & Engineering
Languages : en
Pages : 1009
Book Description
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.
Publisher: WIT Press
ISBN: 1845641779
Category : Technology & Engineering
Languages : en
Pages : 1009
Book Description
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.
Computers in Railways XVII
Author: G. Passerini
Publisher: WIT Press
ISBN: 1784664030
Category : Transportation
Languages : en
Pages : 426
Book Description
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.
Publisher: WIT Press
ISBN: 1784664030
Category : Transportation
Languages : en
Pages : 426
Book Description
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.
Computers in Railways XIV
Author: C. A. Brebbia
Publisher: WIT Press
ISBN: 184564767X
Category : Technology & Engineering
Languages : en
Pages : 941
Book Description
This book contains the 14th proceedings of the, very successful, International conference on Railway Engineering Design and Optimization (COMPRAIL 2014), which began in 1987.
Publisher: WIT Press
ISBN: 184564767X
Category : Technology & Engineering
Languages : en
Pages : 941
Book Description
This book contains the 14th proceedings of the, very successful, International conference on Railway Engineering Design and Optimization (COMPRAIL 2014), which began in 1987.
Formal Methods for Trustworthy Computer Systems (FM89)
Author: Dan Craigen
Publisher: Springer Science & Business Media
ISBN: 1447135326
Category : Computers
Languages : en
Pages : 246
Book Description
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.
Publisher: Springer Science & Business Media
ISBN: 1447135326
Category : Computers
Languages : en
Pages : 246
Book Description
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.
Proceedings of the 12th International Conference on Computer Engineering and Networks
Author: Qi Liu
Publisher: Springer Nature
ISBN: 9811969019
Category : Technology & Engineering
Languages : en
Pages : 1506
Book Description
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.
Publisher: Springer Nature
ISBN: 9811969019
Category : Technology & Engineering
Languages : en
Pages : 1506
Book Description
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.
Computers in Railways XI
Author: John J. Allan
Publisher: WIT Press
ISBN: 1845641264
Category : Transportation
Languages : en
Pages : 897
Book Description
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.
Publisher: WIT Press
ISBN: 1845641264
Category : Transportation
Languages : en
Pages : 897
Book Description
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.
Computers in Railways XV
Author: C.A. Brebbia
Publisher: WIT Press
ISBN: 1784661236
Category : Transportation
Languages : en
Pages : 499
Book Description
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.
Publisher: WIT Press
ISBN: 1784661236
Category : Transportation
Languages : en
Pages : 499
Book Description
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.
Computer Supported Cooperative Work and Social Computing
Author: Yuqing Sun
Publisher: Springer Nature
ISBN: 9811513775
Category : Computers
Languages : en
Pages : 805
Book Description
This book constitutes the refereed proceedings of the 14th CCF Conference on Computer Supported Cooperative Work and Social Computing, ChineseCSCW 2019, held in Kunming, China, in August 2019. The 52 revised full papers and 10 short papers were carefully reviewed and selected from 169 submissions. The papers of this volume are organized in topical sections on: collaborative models, approaches, algorithms, and systems; social computing (online communities, crowdsourcing, recommendation, sentiment analysis, etc.); AI for CSCW and social computing.
Publisher: Springer Nature
ISBN: 9811513775
Category : Computers
Languages : en
Pages : 805
Book Description
This book constitutes the refereed proceedings of the 14th CCF Conference on Computer Supported Cooperative Work and Social Computing, ChineseCSCW 2019, held in Kunming, China, in August 2019. The 52 revised full papers and 10 short papers were carefully reviewed and selected from 169 submissions. The papers of this volume are organized in topical sections on: collaborative models, approaches, algorithms, and systems; social computing (online communities, crowdsourcing, recommendation, sentiment analysis, etc.); AI for CSCW and social computing.