Acceleration methods are commonly used for speeding up the convergence of loops in reachability analysis of counter machine models. Applying these methods to synchronous data-flow programs with Boolean and numerical variables, e.g., Lustre programs, requires the enumeration of the Boolean states in order to obtain a control flow graph (CFG) with numerical variables only. Our goal is to apply ac...

This research presents an experimental analysis of a counter flow spray drying process using water and skim milk as feed. The study was performed by examining the droplet size distribution sprays temperature profiles in dryer. influence air inlet temperature, mass rate, feed on temperatures dryer evaluated. evaporation deposition zones were found to be highly dependent size. obtained results sh...

The dynamical behavior of a model for body fluids in response to an external electric field is computationally investigated for communication frequencies. The effect of an applied potential difference between two electrodes in a saline solution containing a rodlike macromolecule is studied by solving the Poisson and ion continuity equations simultaneously using the finite element method (FEM). ...

In this study, the effect of some processing parameters on bulk density, particle density, particle size and some of powder reconstruction properties such as dispersibility, Wettability and water solubility index of spray dried barberry (Berberis vulgaris) juice powders were investigated. A Pilot Spray Dryer (Two- Flow nozzle, counter- current, one cyclone) was employed for the spray d...