We address the problem of verifying timed properties of Markovian models of large populations of interacting agents, modelled as finite state automata. In particular, we focus on time-bounded properties of (random) individual agents specified by Deterministic Timed Automata (DTA) endowed with a single clock. Exploiting ideas from fluid approximation, we estimate the satisfaction probability of ...

The unsaturated zone consists of a complex arrangement of solid, liquid, and gaseous phases, most of them interconnected. The spatial distribution and geometrical arrangement of each phase, and the partitioning of solutes between phases, are controlled by physical, chemical, and biological processes. Since the upper part of the vadose zone is the most dynamic region, and controls the further do...

By tracking the divergence of two initially close trajectories in phase space in an Eulerian approach to forced turbulence, the relation between the maximal Lyapunov exponent λ and the Reynolds number Re is measured using direct numerical simulations, performed on up to 2048^{3} collocation points. The Lyapunov exponent is found to solely depend on the Reynolds number with λ∝Re^{0.53} and that ...

nano fillers are part of new studies to enhance various properties of fluids and solids. for example, adding nanoparticles as an enforcement in nanocomposites or as an additive to improve thermal or electrical properties in nano-fluids are of extreme importance in science and industry. there are numerous methods to uniformly disperse nanoparticles in fluid and solid phase. one of the well-used ...

We present a systematic study of the thermodynamic properties of a polydisperse fluid mixture. The size of the particles, σ , is assumed to be distributed according to a continuous distribution function fΣ(σ) , for which we have chosen a Γ -distribution. The interatomic potentials are given by a hard core repulsion plus an adjacent attractive tail in the form of a squarewell or a Yukawa potenti...

We explore analytically, numerically, and experimentally the spectral properties of the flexural vibrations of micron scale cantilevers in a viscous fluid that are driven externally or by Brownian motion. Although the physical origins of driven and thermal cantilever dynamics are quite different, we show that in each case the dynamics can be calculated deterministically using an impulse or step...

it introduced an innovative bioengineering method of consolidating incompact sand by urea-hydrolysis producing calcite cementation under the inducement of urease producing microbe. in the paper it discussed the effects of cementation methods and time on porosity and mechanical properties of microbe-inspired cementing sand columns. method a adopted reaction fluid gravitational permeating and ext...

The explosive viscous liquid becomes inject to warhead by discharge system. The injection device is consisted of a piston to move down and leads the viscous fluid through the cylindrical pipe towards the end of the duct. Then the viscous fluid leads into a convergent path that will be injected to the warhead or other injection equipment. In this project, the path of viscous fluid flow is divide...

The phase behavior of a binary symmetric fluid in thermal equilibrium with a porous matrix has been studied with the optimized random phase approximation and grand canonical Monte Carlo simulations. Depending on the matrix properties and the matrix-fluid and fluid-fluid interactions we find three types of phase diagram characterized by a tricritical point, a tricritical point with a triple poin...