The growth of a two-phase cloud of a liquid fuel in a stagnant atmosphere is studied using computational fluid dynamic techniques. In order to predict the danger and hazard of such cloud in open atmosphere it is very important to determine the fuel concentration in the cloud, especially in the far field region from the fuel reservoir. The results show that with omission of droplets break up...

In this investigation, the structure of one-dimensional flame propagation in uniform cloud of volatile organic particles has been analyzed in which the structure of flame is divided into three zones. The first zone is preheat zone which is divided into three subzones itself. In first subzone (heating), particle cloud heated until the moisty particles reach to vapor vaporization temperature. In ...

We analyze a method of compressing a cloud of cold atoms by dynamic control of a far off resonance optical lattice. We show that by reducing the lattice spacing either continuously or in discrete steps while cooling the atoms with optical molasses large compression factors can be achieved. Particle motion in the time dependent lattice is studied numerically using a three dimensional semiclassic...

Abstract Planetary climates are strongly affected by planetary orbital parameters such as obliquity, eccentricity, and precession. In exoplanetary systems, exoterrestrial planets should have various obliquities. High-obliquity would extreme seasonal cycles due to the change of distribution insolation. Here, we introduce Non-hydrostatic ICosahedral Atmospheric Model (NICAM), a global cloud-resol...

Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dynamic properties of systems where complete, agreed upon models of the system are not available. In this paper, we present an implementation of a symbolic model checker for multi-valued temporal logics. The model checker...