this with the integration of distributed generation (dg) to meshed distribution systems, the operating time of the protective system becomes a major concern in order to avoid nuisance dg tripping. this paper proposes a new tripping characteristic for directional overcurrent relays (docrs) that can achieve a higher possible reduction of overall relays operating time in meshed distribution networ...

Future mobile networks are expected to involve systems that are based on different technologies, such as WiFi, WiMAX, 2G/3G/3G1, LTE, and satellite. To address this scenario, ITU has defined integrated and hybrid networks in the framework of Next-Generation Networks. The interest is to exploit the cooperation of different wireless communication systems (segments) to provide service to mobile us...

This paper presents a model-based approach to diagnosis of dynamic systems that combine continuous and discrete behaviors, i.e., hybrid systems. Typically these systems have been abstracted into discrete event models or approximated by continuous models with steep slopes so that existing algorithms can be applied for fault isolation tasks. To overcome the limitations of these approaches, we hav...

Hybrid logics are modal logics with names for worlds. Tableau systems for various hybrid logics were proposed in [6, 7, 20]. We present an improved tableau system for hybrid logic that handles equality for nominals by substitution and generation of inequality constraints. This compiles out the equalities while storing the inequalities, thus allowing for efficient equality reasoning. The proof p...

With continuous rise of oil price, how to develop alternative energy source has become a hot topic around the world. This study discussed the dynamic characteristics of an island power system operating under random wind speed lower than nominal wind speeds of wind turbines. The system primarily consists of three diesel engine power generation systems, three constant-speed variable-pitch wind tu...

This paper deals with the problem of automatic rule generation for fuzzy systems design. The proposed approach is based on hybrid artificial bee colony (ABC) optimization and weighted least squares (LS) method and aims to find the structure and parameters of fuzzy systems simultaneously. More precisely, two ABC based fuzzy modeling strategies are presented and compared. The first strategy uses ...

Artificial Intelligence technologies enable the implementation of cognitive systems with advanced planning and reasoning capabilities. This article presents an approach to use hybrid planning – a method that combines reasoning about procedural knowledge and causalities – to provide user-centered assistance. Based on a completely declarative description of actions, tasks, and solution methods, h...

South Korea’s main industry is the manufacturing industry, and it requires stable energy. Korea heavily relies on importing oils to produce energy, thus efficient energy management is critical. This is why many renewable and smart energy policies and infrastructure planning are being set up currently. Supplying reliable and sustainable renewable energy to remote areas has especially been questi...

The wind and solar energy are omnipresent, freely available, and environmental friendly. The wind energy systems may not be technically viable at all sites because of low wind speeds and being more unpredictable than solar energy. The combined utilization of these renewable energy sources are therefore becoming increasingly attractive and are being widely used as alternative of oil-produced ene...

Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the implementation process. Although there are appropriate models to design such systems and some tools that support automatic code generation from such models, several issues related to ensuring correctness of the imple...