In this paper, we present extensions, extensive validations and applications of our previously published hybrid volume-of-fluid-based (VOF)model for the simulation of freesurface flow problems. For the solution of the flow field, the lattice Boltzmann method is used, where the free surface is represented by a VOF approach. The advection equation for the VOF fill level is discretized with a fini...

In this paper, an experiment is conducted to optimize the kerf width of wire electrical discharge machining (WEDM) on Aluminum hybrid composite with Zinc coated brass wire using Taguchi method. Aluminum metal matrix composites (MMCs) reinforced with silicon carbide particulate (SiCp) find several applications due to their improved mechanical properties for a wide variety of aerospace and automo...

We introduce sampled data hybrid automata (SDHA) as a formal model of hybrid systems that result from clock-driven computer control of continuous dynamic sytems. In contrast to standard hybrid automata, the discrete state transitions in the SDHA can occur only at valid sampling times when the guard conditions are evaluated. Sequences of valid sampling times are defined by a clock structure that...

The modeling and analysis of hybrid systems is a recent and challenging research area which is actually dominated by two main lines: a functional analysis based on the description of the system in terms of discrete state (hybrid) automata (whose goal is to ascertain for conformity and reachability properties), and a stochastic analysis (whose aim is to provide performance and dependability meas...

The application of formal methods to analog and mixed signal circuits requires efficient methods for constructing abstractions of circuit behaviors. This paper concerns the verification of properties of oscillator circuits. Generic monitor automata are proposed to facilitate the application of hybrid system reachability computations to characterize time domain features of oscillatory behavior, ...

in regions with deficient or no data, it is necessary to apply indirect methods to estimate the peak flow. regional flood analysis is the most accurate and reliable technique in such cases. one of the regional flood methods for flood analysis in arid and semi arid regions is hybrid technique, which was applied on data of khorasan razavi province watersheds to estimate the peak flow. hybrid meth...

In this paper, a hybrid meta-heuristic algorithm, based on imperialistic competition algorithm (ICA), harmony search (HS), and simulated annealing (SA) is presented. The body of the proposed hybrid algorithm is based on ICA. The proposed hybrid algorithm inherits the advantages of the process of harmony creation in HS algorithm to improve the exploitation phase of the ICA algorithm. In addition...