Related papers: Semi-automatic construction of Lattice Boltzmann m…
Randomly generating structured objects is important in testing and optimizing functional programs, whereas generating random $'l$-terms is more specifically needed for testing and optimizing compilers. For that a tool called QuickCheck has…
A general lattice Boltzmann method for simulation of fluids with tailored transport coefficients is presented. It is based on the recently introduced quasi-equilibrium kinetic models, and a general lattice Boltzmann implementation is…
Let $X$ be a finite set in $Z^d$. We consider the problem of optimizing linear function $f(x) = c^T x$ on $X$, where $c\in Z^d$ is an input vector. We call it a problem $X$. A problem $X$ is related with linear program $\max\limits_{x \in…
Lattice Boltzmann models are briefly introduced together with references to methods used to predict their ability for simulations of systems described by partial differential equations that are first order in time and low order in space…
The discretized equilibrium distributions of the lattice Boltzmann method are presented by using the coefficients of the Lagrange interpolating polynomials that pass through the points related to discrete velocities and using moments of the…
The relativistic Boltzmann equation for a single particle species generally implies a fixed, unchangeable equation of state that corresponds to that of an ideal gas. Real-world systems typically have more complicated equation of state which…
We present an approach to automatically synthesize synchronized models from lightweight formal specifications. Our approach takes as input a specification of a distributed system along with a global linear time constraint, which must be…
Lattice Boltzmann model for viscoelastic flow simulation is proposed; elastic effects are taken into account in the framework of Maxwell model. The following three examples are studied using the proposed approach: a transverse velocity…
A quadrature-based finite-difference lattice Boltzmann model is developed that is suitable for simulating relativistic flows of massless particles. We briefly review the relativistc Boltzmann equation and present our model. The quadrature…
The lattice Boltzmann method (LBM) has gained increasing popularity in incompressible viscous flow simulations, but it uses many more variables than necessary. This defect was overcome by a recent approach that solves the more actual…
We present a systematic procedure for the construction of relativistic lattice Boltzmann models (R-SLB) appropriate for the simulation of flows of massless particles. Quadrature rules are used for the discretization of the momentum space in…
The scientific code generation package lbmpy supports the automated design and the efficient implementation of lattice Boltzmann methods (LBMs) through metaprogramming. It is based on a new, concise calculus for describing multiple…
This paper deals with solutions of the nonlinear Boltzmann equation for spatially uniform freely cooling inelastic Maxwell models for large times and for large velocities, and the nonuniform convergence to these limits. We demonstrate how…
We present the first top-down ansatz for constructing lattice Boltzmann methods (LBM) in d dimensions. In particular, we construct a relaxation system (RS) for a given scalar, linear, d-dimensional advection-diffusion equation.…
Boltzmann codes are used extensively by several groups for constraining cosmological parameters with Cosmic Microwave Background and Large Scale Structure data. This activity is computationally expensive, since a typical project requires…
The classical method for deriving the macroscopic dynamics of a lattice Boltzmann system is to use a combination of different approximations and expansions. Usually a Chapman-Enskog analysis is performed, either on the continuous Boltzmann…
We obtain off-critical (elliptic) Boltzmann weights for lattice models whose continuum limits correspond to massive, $N=2$ supersymmetric, quantum integrable field theories. We also compute the free energies of these models and show that…
Entropic lattice Boltzmann methods have been developed to alleviate intrinsic stability issues of lattice Boltzmann models for under-resolved simulations. Its reliability in combination with moving objects was established for various…
Extracting automatically the complex set of features composing real high-dimensional data is crucial for achieving high performance in machine--learning tasks. Restricted Boltzmann Machines (RBM) are empirically known to be efficient for…
A hybrid lattice Boltzmann method (LBM) for binary mixtures based on the free-energy approach is proposed. Non-ideal terms of the pressure tensor are included as a body force in the LBM kinetic equations, used to simulate the continuity and…