The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from computer science, in particular from process algebra and hybrid automata. In this paper, we first provide an overview of χ. Then, the χ formalism is related to other formalisms by means of translation schemes: a translation...

In order to simulate accurately the interaction of shock wave/complex flows, hybrid schemes combining the compact scheme and weighted essentially non-oscillatory(WENO) scheme are beneficial, especially the high order low diffusion schemes used in smooth regions. There are two key issues, one is how to detect the discontinuity, the other is how to choose the high order low diffusion scheme to en...

The hybrid fuzzy differential equations have a wide range of applications in science and engineering. We consider the problem of nding their numerical solutions by using a novel hybrid method based on fuzzy neural network. Here neural network is considered as a part of large eld called neural computing or soft computing. The proposed algorithm is illustrated by numerical examples and the result...

We describe a parallel implementation of a difference scheme for the advection equation with time delay on a hybrid architecture computation system. The difference scheme has the second order in space and the first order in time and is unconditionally stable. Performance of a sequential algorithm and several parallel implementations with the MPI technology in the C++ language has been studied.

We introduce a multi-dimensional point-wise multi-domain hybrid Fourier-Continuation/WENO technique (FC-WENO) that enables high-order and non-oscillatory solution of systems of nonlinear conservation laws, and essentially dispersionless, spectral, solution away from discontinuities, as well as mild CFL constraints for explicit time stepping schemes. The hybrid scheme conjugates the expensive, s...

Recently DRAM and PRAM hybrid main memory organization has been studied in order to address the high levels of energy dissipation in DRAM based main memory. It is expected that this new memory architecture will be used soon in mobile computers which use NAND Flash memory based storages. In such computers, legacy operating system functionalities like file system and memory system should be modif...

this paper proposes a hybrid control scheme for the synchronization of two chaotic duffing oscillator system, subject to uncertainties and external disturbances. the novelty of this scheme is that the linear quadratic regulation (lqr) control, sliding mode (sm) control and gaussian radial basis function neural network (grbfnn) control are combined to chaos synchronization with respect to extern...

This paper expands the notion of a KEM–DEM hybrid encryption scheme to the signcryption setting by introducing the notion of a signcryption KEM, a signcryption DEM and a hybrid signcryption scheme. We present the security criteria that a signcryption KEM and DEM must satisfy in order that the overall signcryption scheme is secure against outsider attacks. We also present ECISS–KEM — a simple, e...