ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables for railway systems. For simulation the whole closed-loop traffic control system is modelled within FALKO. The railway process model part of FALKO was formally specified using the ASM approach. C++ code is generated ...

Energy consumption for multiple trains on the urban subway line is predominantly affected by the operation strategy. This paper proposed an energy-saving operation strategy for multiple trains, which is suitable for various line conditions and complex train schedules. The model and operation modes of the strategy are illustrated in detail, aiming to take full use of regenerative braking energy ...

In this paper we will describe our experiences with modelling and simulating realistic railroad systems, based on component-oriented Petri Nets. Several libraries of railroad components are presented, including nets permitting the train to control the routers in the net. Petri Nets are translated into Maude in an automated way, and executed by the Maude interpreter. Since railroad models are la...

Indoor air pollution is an increasing health concern, especially in enclosed environments such as underground subway stations because of increased global usage by urban populations. This study measured the indoor air quality of underground platforms at 10 metro stations of the Taipei Rapid Transit system (TRTS) in Taiwan, including humidity, temperature, carbon monoxide (CO), carbon dioxide (CO...

© 2014 ETRI Journal, Volume 36, Number 5, October 2014 http://dx.doi.org/10.4218/etrij.14.2214.0007 In this paper, we present a walking guidance system for the visually impaired for use at subway stations. This system, which is based on environmental knowledge, automatically detects and recognizes both exit numbers and arrow signs from natural outdoor scenes. The visually impaired can, therefor...

We can’t preclude the possibility of the use of chemical agents by terrorists I can recall the attempt committed with Sarin in the Tokyo-subway in 1995. For that reason it is necessary to know the chemical situation in the battlefield and in our urban environment as well, for example in the subway. Actually the possible detection principles of toxic-agent-detection-devices are chemical (simple ...

Kathleen Vogel is a post-doctoral fellow at the Center for Nonproliferation Studies at the Monterey Institute of International Studies in Monterey, California. She received a Ph.D. in Chemistry from Princeton University. March 20, 1995, is a date etched in history. On that day, in a crowded Tokyo subway, the religious cult Aum Shinrikyo staged the first major terrorist use of chemical weapons (...

Planning allows actions to be structured in pursuit of a future goal. However, in natural environments, planning over multiple possible future states incurs prohibitive computational costs. To represent plans efficiently, states can be clustered hierarchically into "contexts". For example, representing a journey through a subway network as a succession of individual states (stations) is more co...

For sustainability and energy saving, the problem to optimize the control of heating, ventilating, and air-conditioning (HVAC) systems has attracted great attentions, but analyzing the signatures of thermal environments and HVAC systems and the evaluation of the optimization policies has encountered inefficiency and inconvenient problems due to the lack of public dataset. In this paper, we pres...

This article considers all 87 attacks worldwide against air and rail transport systems that killed at least two passengers over the 30-year period of 1982-2011. The data offer strong and statistically significant evidence that successful acts of terror have "gone to ground" in recent years: attacks against aviation were concentrated early in the three decades studied whereas those against rail ...