A new lattice Boltzmann model (LBM) for chemically reactive mixtures is presented. The approach capitalizes on the recently introduced thermodynamically consistent LBM multicomponent of ideal gases. Similar to non-reactive case, present features Stefan–Maxwell diffusion chemical species and a fully on-lattice mean-field realization momentum energy flow. Besides introducing reaction mechanism in...

Because of its kinetic nature and computational advantages, the Lattice Boltzmann method (LBM) has been well accepted as a useful tool to simulate micro-scale flows. The slip boundary model plays a crucial role in the accuracy of solutions for micro-channel flow simulations. The most used slip boundary condition is the Maxwell slip model. The results of Maxwell slip model are affected by the ac...

References: 1) Husain Aljazzar and Stefan Leue: Debugging of Dependability Models Using Interactive Visualization of Counterexamples, to appear in proceedings of QEST 2008. 2) Husain Aljazzar and Stefan Leue: Directed explicit state-space search in the generation of counterexamples for probabilistic reachability, 2008, submitted for journal publication. 3) Husain Aljazzar and Stefan Leue: Count...

must be profitable. But how profitable and how successful spam campaigns are has not been quantitatively measured. One reason that this has yet to have been studied is that designing a methodology for the inquiry into the strategies and success of spammers has presented a number of knotty problems for researchers. But in a bold move, CNS faculty researchers Geoffrey Voelker and Stefan Savage (p...

In the case of heterogeneous reactions, diffusion is the only mechanism, locally, of transport of species to and from a surface. Thus, accurate prediction of diffusive transport is a prerequisite for accurate prediction of the operation of devices in which heterogeneous reactions occur. Three different diffusion models are examined from the standpoint of both accuracy and efficiency. Two of the...

We introduce and discuss the Homotopy perturbation method, the Adomian decomposition method and the variational iteration method for solving the stefan problem with kinetics. Then, we give an example of the stefan problem with  kinetics and solve it by these methods.

Dynamics of inelastic gases are studied within the framework of random collision processes. The corresponding Boltzmann equation with uniform collision rates is solved analytically for gases, impurities, and mixtures. Generally, the energy dissipation leads to a significant departure from the elastic case. Specifically, the velocity distributions have overpopulated high energy tails and differe...