As one of the most important urban commuter transportation modes, urban rail transit (URT) has been acting as a key solution for supporting mobility needs in high-density urban areas. However, in recent years, high frequency of unexpected events has caused serious service disruptions in URT system, greatly harming passenger safety and resulting in severe traffic delays. Therefore, there is an u...

In this paper we consider the location of stops along the edges of an already existing public transportation network. This can be the introduction of bus stops along some given bus routes, or of railway stations along the tracks in a railway network. The positive effect of new stops is given by the better access of the customers to the public transport network, while the traveling time increase...

This paper presents the results of an industrial case-study concerning the use of formal methods for the validation of hardware design. The case-study focuses on PowerScale TM , a multi-processor architecture based on PowerPC TM microprocessors and used in Bull's Escala TM series of servers and workstations x. The speciication language Lotos (Iso International Standard 8807) was used to describ...

BACKGROUND We previously reported an association between infant wheezing and residence < 100 m from stop-and-go bus and truck traffic. The use of a proximity model, however, may lead to exposure misclassification. OBJECTIVE Results obtained from a land use regression (LUR) model of exposure to truck and bus traffic are compared with those obtained with a proximity model. The estimates derived...

Human Anomaly Detection can be used in order to identify thefts, terrorist attacks, fighting, and fires susceptible areas including banks, parking areas, hospitals, shopping malls, universities, colleges, schools, borders, airports, bus railway stations, etc. Video surveillance crowded anomalies analyse human behaviour detect theft vandalism. It will also help prevent inappropriate such as figh...

The rapid increase of photovoltaic (PV) penetration in active distribution networks (ADN) is posing great challenges to traditional voltage control schemes. A two-stage strategy ADN proposed by the authors based on alternating direction method multipliers (ADMM) with refined power hydrogen (P2H) model, considering multiple types PV forms such as residential cluster (RPVC) and small-scale statio...

In this study, the effects of electric vehicles, whose usage rate is increasing day by in world, on existing electricity grid have been studied. EV charging stations and similar non-linear loads cause various harmful power systems such as phase imbalances, effect harmonic formation, energy quality, voltage, current imbalance. The study focuses at point where they are connected to lower voltage ...

Fuel cell-based hybrid electric vehicles are one of the most promising options to achieve zero-emission city buses. Efficient Energy Management (EM) plays a critical role make such buses more efficient and practical. In this research, an available all-electric bus consisting fuel cell (FC) battery is considered efficiency adding Wireless Power Transfer (WPT) system it assessed. The proposed WPT...