The main goal of the present study was to implement a hybrid pattern of cellular automata model and particle swarm optimization algorithm based on TM and ETM+ imagery of landsat satellite from 1988 to 2010 for simulating the urban sprawling. In this study, an alternative model was implemented in two ways: the first method was based on two images (1988 and 2010) and the second one was based on t...

In the present paper, the idea of braking energy regeneration and reusing that energy during acceleration for a refuse truck is comprehended. According to their driving cycle, the refuse trucks have a good potential for braking energy regeneration. On the other hand, hydraulic hybrid is a powertrain with high power density which is appropriate for energy regeneration. In the primary stage of th...

General framework for hybrid model based identification and optimization of biochemical processes is elaborated. An enhanced hybrid model of the fed-batch biosurfactant production process is presented. The evolutionary programming techniques are applied for the hybrid model identification and optimization of the process. High performance of the applied optimization techniques is reported. The p...

In this paper, novel hybrid MOSFET(HMOS) structure has been proposed to reduce the gate leakage current drastically. This novel hybrid MOSFET (HMOS) uses source/drain-to-gate non-overlap region in combination with high-K layer/interfacial oxide as gate stack. The extended S/D in the non-overlap region is induced by fringing gate electric field through the high-k dielectric spacer. The gate leak...

in the present paper, the idea of braking energy regeneration and reusing that energy during acceleration for a refuse truck is comprehended. according to their driving cycle, the refuse trucks have a good potential for braking energy regeneration. on the other hand, hydraulic hybrid is a powertrain with high power density which is appropriate for energy regeneration. in the primary stage of th...

We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators, thus providing the necessary facilities for reasoning about individual states in a model. This framework, coalgebraic hybrid logic, works at the same level of generality as coalgebraic modal logic, and in particular subsumes, besides normal hybrid logics such as hybr...

This paper analyzes the dynamical properties of a class of hybrid systems simulators. A hybrid system is a dynamical system with a state that can both flow and jump. Its simulator attempts to generate its solutions approximately. The paper presents mild regularity conditions on the hybrid system and its simulator to guarantee that simulated solutions are close to actual solutions on compact (hy...

We report on several abstract interpretation strategies that are designed to improve the performance of HyTech, a symbolic model checker for linear hybrid systems. We (1) simultaneously compute the target region from di erent directions, (2) conservatively approximate the target region by dropping constraints, and (3) iteratively re ne the approximation until su cient precision is obtained. We ...

The problem of model-checking hybrid systems is a long-time challenge in the scientific community. Most of the existing approaches and tools are either limited on the properties that they can verify, or restricted to simplified classes of systems. To overcome those limitations, a temporal logic called HyLTL has been recently proposed. The model checking problem for this logic has been solved by...