1
|
Li X, Li Z, Duan W, Shan X. Self-consistent force scheme in the spectral multiple-relaxation-time lattice Boltzmann model. Phys Rev E 2024; 109:015301. [PMID: 38366523 DOI: 10.1103/physreve.109.015301] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Abstract] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Received: 12/07/2022] [Accepted: 11/19/2023] [Indexed: 02/18/2024]
Abstract
In the present work, the force term is first derived in the spectral multiple-relaxation-time high-order lattice Boltzmann model. The force term in the Boltzmann equation is expanded in the Hermite temperature rescaled central moment space (RCM), instead of the Hermite raw moment space (RM). The contribution of nonequilibrium RCM moments beyond second order are neglected. For the collision operator in the RCM space, each order of the force term can be incorporated directly. Through the transformation between the RCM space and the RM space, the force term for practical numerical implementation in the RM space can be derived. It can be demonstrated that the present force scheme is self-consistent for the isothermal flow and compressible thermal flow with adjustable Prandtl number via the numerical experiments.
Collapse
Affiliation(s)
- Xuhui Li
- College of ShipBuilding Engineering, Harbin Engineering University, Harbin, Heilongjiang 150001, China
| | - Zuoxu Li
- Department of Mechanics and Aerospace Engineering, Southern University of Science and Technology, Shenzhen, Guangdong 518055, China
| | - Wenyang Duan
- College of ShipBuilding Engineering, Harbin Engineering University, Harbin, Heilongjiang 150001, China
| | - Xiaowen Shan
- BNU-HKBU United International College, Zhuhai, Guangdong 519087, China
| |
Collapse
|
2
|
Zhang Q, Jiang M, Zhuo C, Zhong C, Liu S. Theoretical and numerical study on the well-balanced regularized lattice Boltzmann model for two-phase flow. Phys Rev E 2023; 108:055309. [PMID: 38115487 DOI: 10.1103/physreve.108.055309] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Abstract] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Received: 03/08/2023] [Accepted: 10/23/2023] [Indexed: 12/21/2023]
Abstract
In the multiphase flow simulations based on the lattice Boltzmann equation (LBE), the spurious velocity near the interface and the inconsistent density properties are frequently observed. In this paper, a well-balanced regularized lattice Boltzmann (WB-RLB) model with Hermite expansion up to third order is developed for two-phase flows. To this end, the equilibrium distribution function and the modified force term proposed by Guo [Phys. Fluids 33, 031709 (2021)1070-663110.1063/5.0041446] are directly introduced into the regularization of the transformed distribution functions when considering the LBE with trapezoidal integral. First, to give a detailed comparison of the well-balanced lattice Boltzmann equation (WB-LBE), WB-RLB, and second-order mixed difference scheme (SOMDS) proposed by Lee and Fischer [Phys. Rev. E 74, 046709 (2006)1539-375510.1103/PhysRevE.74.046709], the theoretical analyses on the force balance of LBE with two different gradient operators, isotropic central scheme (ICS) and SOMDS, as well as the numerical simulations of the stationary droplet are carried out. The force analysis shows that SOMDS can achieve a higher accuracy than ICS for the force balance, which has been validated in the simulations of stationary droplet cases. For the stationary droplet cases, all three models (WB-LBE, WB-RLB, and SOMDS) can capture the physical equilibrium state even at a large density ratio of 1000. Also, the numerical investigations of the WB-RLB model with third-order expansion (WB-RLB3) demonstrate that adjusting the relaxation parameters of the third-order moment can further improve the accuracy and stability of the WB-RLB model. Then, both the droplet coalescence and the phase separation cases are investigated with considering the effect of different interface thickness, which demonstrates that the performance of the WB-RLB for the two-phase dynamic problems is still quite well, and it exhibits better numerical stability when compared with the WB-LBE. In addition, the contact angle problem is investigated by the present WB-RLB model; the numerical results show that the predicted values of the contact angles agree well with the analytical solutions, but the well-balance property is not validated, especially near the three-phase junction. Overall, the present WB-RLB model exhibits excellent numerical accuracy and stability for both static and dynamic interface problems.
Collapse
Affiliation(s)
- Qingdian Zhang
- School of Aeronautics, Northwestern Polytechnical University, Xi'an, Shaanxi 710072, China
| | - Mengyuan Jiang
- School of Aeronautics, Northwestern Polytechnical University, Xi'an, Shaanxi 710072, China
| | - Congshan Zhuo
- School of Aeronautics, Northwestern Polytechnical University, Xi'an, Shaanxi 710072, China and National Key Laboratory of Science and Technology on Aerodynamic Design and Research, Northwestern Polytechnical University, Xi'an, Shaanxi 710072, China
| | - Chengwen Zhong
- School of Aeronautics, Northwestern Polytechnical University, Xi'an, Shaanxi 710072, China and National Key Laboratory of Science and Technology on Aerodynamic Design and Research, Northwestern Polytechnical University, Xi'an, Shaanxi 710072, China
| | - Sha Liu
- School of Aeronautics, Northwestern Polytechnical University, Xi'an, Shaanxi 710072, China and National Key Laboratory of Science and Technology on Aerodynamic Design and Research, Northwestern Polytechnical University, Xi'an, Shaanxi 710072, China
| |
Collapse
|
3
|
Shan X, Li X, Shi Y. A multiple-relaxation-time collision model by Hermite expansion. PHILOSOPHICAL TRANSACTIONS. SERIES A, MATHEMATICAL, PHYSICAL, AND ENGINEERING SCIENCES 2021; 379:20200406. [PMID: 34455846 DOI: 10.1098/rsta.2020.0406] [Citation(s) in RCA: 2] [Impact Index Per Article: 0.5] [Reference Citation Analysis] [Abstract] [Key Words] [Track Full Text] [Subscribe] [Scholar Register] [Accepted: 05/19/2021] [Indexed: 06/13/2023]
Abstract
The Bhatnagar-Gross-Krook (BGK) single-relaxation-time collision model for the Boltzmann equation serves as the foundation of the lattice BGK (LBGK) method developed in recent years. The description of the collision as a uniform relaxation process of the distribution function towards its equilibrium is, in many scenarios, simplistic. Based on a previous series of papers, we present a collision model formulated as independent relaxations of the irreducible components of the Hermite coefficients in the reference frame moving with the fluid. These components, corresponding to the irreducible representation of the rotation group, are the minimum tensor components that can be separately relaxed without violating rotation symmetry. For the 2nd, 3rd and 4th moments, respectively, two, two and three independent relaxation rates can exist, giving rise to the shear and bulk viscosity, thermal diffusivity and some high-order relaxation process not explicitly manifested in the Navier-Stokes-Fourier equations. Using the binomial transform, the Hermite coefficients are evaluated in the absolute frame to avoid the numerical dissipation introduced by interpolation. Extensive numerical verification is also provided. This article is part of the theme issue 'Progress in mesoscale methods for fluid dynamics simulation'.
Collapse
Affiliation(s)
- Xiaowen Shan
- Guangdong Provincial Key Laboratory of Turbulence Research and Applications, Southern University of Science and Technology, Shenzhen 518055, People's Republic of China
- Department of Mechanics and Aerospace Engineering, Southern University of Science and Technology, Shenzhen 518055, People's Republic of China
| | - Xuhui Li
- Department of Mechanics and Aerospace Engineering, Southern University of Science and Technology, Shenzhen 518055, People's Republic of China
| | - Yangyang Shi
- Department of Mechanics and Aerospace Engineering, Southern University of Science and Technology, Shenzhen 518055, People's Republic of China
| |
Collapse
|
4
|
Li X, Shan X. Rotational symmetry of the multiple-relaxation-time collision model. Phys Rev E 2021; 103:043309. [PMID: 34005863 DOI: 10.1103/physreve.103.043309] [Citation(s) in RCA: 2] [Impact Index Per Article: 0.5] [Reference Citation Analysis] [Abstract] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Received: 07/25/2020] [Accepted: 04/12/2021] [Indexed: 11/07/2022]
Abstract
We point out that the minimal components of the tensorial moments of the distribution that can be independently relaxed in collision without violating rotational symmetry are its irreducible representation (irrep) of SO(3), and a generic multiple-relaxation-time collision model can be constructed by independently relaxing these components. As the simplest example the irreps of the second moment are the traceless deviatoric stress and an isotropic tensor which is conserved in monatomic gases. Applying the decomposition to the thermal lattice Boltzmann model for polyatomic gases [Phys. Rev. E 77, 035701(R) (2008)PRESCM1539-375510.1103/PhysRevE.77.035701], the shear and bulk viscosities are decoupled by two independent relaxation times. The hydrodynamic equation of the model is obtained via Chapman-Enskog calculation and verified by numerical simulation.
Collapse
Affiliation(s)
- Xuhui Li
- Department of Mechanics and Aerospace Engineering, Guangdong Provincial Key Laboratory of Turbulence Research and Applications, Shenzhen Key Laboratory of Complex Aerospace Flows, Southern University of Science and Technology, Shenzhen 518055, China
| | - Xiaowen Shan
- Department of Mechanics and Aerospace Engineering, Guangdong Provincial Key Laboratory of Turbulence Research and Applications, Shenzhen Key Laboratory of Complex Aerospace Flows, Southern University of Science and Technology, Shenzhen 518055, China
| |
Collapse
|
5
|
Wissocq G, Coreixas C, Boussuge JF. Linear stability and isotropy properties of athermal regularized lattice Boltzmann methods. Phys Rev E 2020; 102:053305. [PMID: 33327122 DOI: 10.1103/physreve.102.053305] [Citation(s) in RCA: 12] [Impact Index Per Article: 2.4] [Reference Citation Analysis] [Abstract] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Received: 06/13/2020] [Accepted: 10/14/2020] [Indexed: 11/07/2022]
Abstract
The present work proposes a general methodology to study stability and isotropy properties of lattice Boltzmann (LB) schemes. As a first investigation, such a methodology is applied to better understand these properties in the context of regularized approaches. To this extent, linear stability analyses of two-dimensional models are proposed: the standard Bhatnagar-Gross-Krook collision model, the original precollision regularization, and the recursive regularized model, where off-equilibrium distributions are partially computed thanks to a recursive formula. A systematic identification of the physical content carried by each LB mode is done by analyzing the eigenvectors of the linear systems. Stability results are then numerically confirmed by performing simulations of shear and acoustic waves. This work allows drawing fair conclusions on the stability properties of each model. In particular, among the aforementioned models, recursive regularization turns out to be the most stable one for the D2Q9 lattice, especially in the zero-viscosity limit. Two major properties shared by every regularized model are highlighted: (1) a mode filtering property and (2) an incorrect, and broadly anisotropic, dissipation rate of the modes carrying physical waves in under-resolved conditions. The first property is the main source of increased stability, especially for the recursive regularization. It is a direct consequence of the reconstruction of off-equilibrium populations before each collision process, decreasing the rank of the system of discrete equations. The second property seems to be related to numerical errors directly induced by the equilibration of high-order moments. In such a case, this property is likely to occur with any collision model that follows such a stabilization methodology.
Collapse
Affiliation(s)
| | - Christophe Coreixas
- Department of Computer Science, University of Geneva, 1204 Geneva, Switzerland
| | | |
Collapse
|
6
|
Latt J, Coreixas C, Beny J, Parmigiani A. Efficient supersonic flow simulations using lattice Boltzmann methods based on numerical equilibria. PHILOSOPHICAL TRANSACTIONS. SERIES A, MATHEMATICAL, PHYSICAL, AND ENGINEERING SCIENCES 2020; 378:20190559. [PMID: 32833583 PMCID: PMC7333948 DOI: 10.1098/rsta.2019.0559] [Citation(s) in RCA: 10] [Impact Index Per Article: 2.0] [Reference Citation Analysis] [Abstract] [Key Words] [Track Full Text] [Subscribe] [Scholar Register] [Accepted: 04/28/2020] [Indexed: 05/22/2023]
Abstract
A double-distribution-function based lattice Boltzmann method (DDF-LBM) is proposed for the simulation of polyatomic gases in the supersonic regime. The model relies on a numerical equilibrium that has been extensively used by discrete velocity methods since the late 1990s. Here, it is extended to reproduce an arbitrary number of moments of the Maxwell-Boltzmann distribution. These extensions to the standard 5-constraint (mass, momentum and energy) approach lead to the correct simulation of thermal, compressible flows with only 39 discrete velocities in 3D. The stability of this BGK-LBM is reinforced by relying on Knudsen-number-dependent relaxation times that are computed analytically. Hence, high Reynolds-number, supersonic flows can be simulated in an efficient and elegant manner. While the 1D Riemann problem shows the ability of the proposed approach to handle discontinuities in the zero-viscosity limit, the simulation of the supersonic flow past a NACA0012 aerofoil confirms the excellent behaviour of this model in a low-viscosity and supersonic regime. The flow past a sphere is further simulated to investigate the 3D behaviour of our model in the low-viscosity supersonic regime. The proposed model is shown to be substantially more efficient than the previous 5-moment D3Q343 DDF-LBM for both CPU and GPU architectures. It then opens up a whole new world of compressible flow applications that can be realistically tackled with a purely LB approach. This article is part of the theme issue 'Fluid dynamics, soft matter and complex systems: recent results and new methods'.
Collapse
Affiliation(s)
- Jonas Latt
- Department of Computer Science, University of Geneva, 1204 Geneva, Switzerland
- FlowKit-Numeca Group Ltd, Route d’Oron 2, 1010 Lausanne, Switzerland
- e-mail:
| | - Christophe Coreixas
- Department of Computer Science, University of Geneva, 1204 Geneva, Switzerland
| | - Joël Beny
- Department of Computer Science, University of Geneva, 1204 Geneva, Switzerland
| | - Andrea Parmigiani
- FlowKit-Numeca Group Ltd, Route d’Oron 2, 1010 Lausanne, Switzerland
| |
Collapse
|
7
|
Coreixas C, Wissocq G, Chopard B, Latt J. Impact of collision models on the physical properties and the stability of lattice Boltzmann methods. PHILOSOPHICAL TRANSACTIONS. SERIES A, MATHEMATICAL, PHYSICAL, AND ENGINEERING SCIENCES 2020; 378:20190397. [PMID: 32564722 DOI: 10.1098/rsta.2019.0397] [Citation(s) in RCA: 11] [Impact Index Per Article: 2.2] [Reference Citation Analysis] [Abstract] [Key Words] [Track Full Text] [Subscribe] [Scholar Register] [Accepted: 04/29/2020] [Indexed: 06/11/2023]
Abstract
The lattice Boltzmann method (LBM) is known to suffer from stability issues when the collision model relies on the BGK approximation, especially in the zero viscosity limit and for non-vanishing Mach numbers. To tackle this problem, two kinds of solutions were proposed in the literature. They consist in changing either the numerical discretization (finite-volume, finite-difference, spectral-element, etc.) of the discrete velocity Boltzmann equation (DVBE), or the collision model. In this work, the latter solution is investigated in detail. More precisely, we propose a comprehensive comparison of (static relaxation time based) collision models, in terms of stability, and with preliminary results on their accuracy, for the simulation of isothermal high-Reynolds number flows in the (weakly) compressible regime. It starts by investigating the possible impact of collision models on the macroscopic behaviour of stream-and-collide based D2Q9-LBMs, which clarifies the exact physical properties of collision models on LBMs. It is followed by extensive linear and numerical stability analyses, supplemented with an accuracy study based on the transport of vortical structures over long distances. In order to draw conclusions as generally as possible, the most common moment spaces (raw, central, Hermite, central Hermite and cumulant), as well as regularized approaches, are considered for the comparative studies. LBMs based on dynamic collision mechanisms (entropic collision, subgrid-scale models, explicit filtering, etc.) are also briefly discussed. This article is part of the theme issue 'Fluid dynamics, soft matter and complex systems: recent results and new methods'.
Collapse
Affiliation(s)
- C Coreixas
- Department of Computer Science, University of Geneva, 1204 Geneva, Switzerland
| | - G Wissocq
- CERFACS, 42 Avenue G. Coriolis, 31057, Toulouse Cedex, France
| | - B Chopard
- Department of Computer Science, University of Geneva, 1204 Geneva, Switzerland
| | - J Latt
- Department of Computer Science, University of Geneva, 1204 Geneva, Switzerland
| |
Collapse
|
8
|
Hosseini SA, Darabiha N, Thévenin D. Compressibility in lattice Boltzmann on standard stencils: effects of deviation from reference temperature. PHILOSOPHICAL TRANSACTIONS. SERIES A, MATHEMATICAL, PHYSICAL, AND ENGINEERING SCIENCES 2020; 378:20190399. [PMID: 32564724 PMCID: PMC7333953 DOI: 10.1098/rsta.2019.0399] [Citation(s) in RCA: 3] [Impact Index Per Article: 0.6] [Reference Citation Analysis] [Abstract] [Key Words] [Grants] [Track Full Text] [Subscribe] [Scholar Register] [Accepted: 03/04/2020] [Indexed: 05/05/2023]
Abstract
With growing interest in the simulation of compressible flows using the lattice Boltzmann (LB) method, a number of different approaches have been developed. These methods can be classified as pertaining to one of two major categories: (i) solvers relying on high-order stencils recovering the Navier-Stokes-Fourier equations, and (ii) approaches relying on classical first-neighbour stencils for the compressible Navier-Stokes equations coupled to an additional (LB-based or classical) solver for the energy balance equation. In most cases, the latter relies on a thermal Hermite expansion of the continuous equilibrium distribution function (EDF) to allow for compressibility. Even though recovering the correct equation of state at the Euler level, it has been observed that deviations of local flow temperature from the reference can result in instabilities and/or over-dissipation. The aim of the present study is to evaluate the stability domain of different EDFs, different collision models, with and without the correction terms for the third-order moments. The study is first based on a linear von Neumann analysis. The correction term for the space- and time-discretized equations is derived via a Chapman-Enskog analysis and further corroborated through spectral dispersion-dissipation curves. Finally, a number of numerical simulations are performed to illustrate the proposed theoretical study. This article is part of the theme issue 'Fluid dynamics, soft matter and complex systems: recent results and new methods'.
Collapse
Affiliation(s)
- S. A. Hosseini
- Laboratory of Fluid Dynamics and Technical Flows, University of Magdeburg ‘Otto von Guericke’, 39106 Magdeburg, Germany
- Laboratoire EM2C, CNRS, CentraleSupélec, Université Paris-Saclay, 3 rue Joliot Curie, 91192 Gif-sur-Yvette Cedex, France
- International Max Planck Research School (IMPRS) for Advanced Methods in Process and Systems Engineering, Magdeburg, Germany
| | - N. Darabiha
- Laboratoire EM2C, CNRS, CentraleSupélec, Université Paris-Saclay, 3 rue Joliot Curie, 91192 Gif-sur-Yvette Cedex, France
| | - D. Thévenin
- Laboratory of Fluid Dynamics and Technical Flows, University of Magdeburg ‘Otto von Guericke’, 39106 Magdeburg, Germany
| |
Collapse
|
9
|
Hosseini SA, Coreixas C, Darabiha N, Thévenin D. Extensive analysis of the lattice Boltzmann method on shifted stencils. Phys Rev E 2020; 100:063301. [PMID: 31962484 DOI: 10.1103/physreve.100.063301] [Citation(s) in RCA: 10] [Impact Index Per Article: 2.0] [Reference Citation Analysis] [Abstract] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Received: 09/21/2019] [Indexed: 11/07/2022]
Abstract
Standard lattice Boltzmann methods (LBMs) are based on a symmetric discretization of the phase space, which amounts to study the evolution of particle distribution functions (PDFs) in a reference frame at rest. This choice induces a number of limitations when the simulated flow speed gets closer to the sound speed, such as velocity-dependent transport coefficients. The latter issue is usually referred to as a Galilean invariance defect. To restore the Galilean invariance of LBMs, it was proposed to study the evolution of PDFs in a comoving reference frame by relying on asymmetric shifted lattices [N. Frapolli, S. S. Chikatamarla, and I. V. Karlin, Phys. Rev. Lett. 117, 010604 (2016)].PRLTAO0031-900710.1103/PhysRevLett.117.010604 From the numerical viewpoint, this corresponds to overcoming the rather restrictive Courant-Friedrichs-Lewy conditions on standard LBMs and modeling compressible flows while keeping memory consumption and processing costs to a minimum (therefore using the standard first-neighbor stencils). In the present work systematic physical error evaluations and stability analyses are conducted for different discrete equilibrium distribution functions (EDFs) and collision models. Thanks to them, it is possible to (1) better understand the effect of this solution on both physics and stability, (2) assess its viability as a way to extend the validity range of LBMs, and (3) quantify the importance of the reference state as compared to other parameters such as the equilibrium state and equilibration path. The results clearly show that, in theory, the concept of shifted lattices allows the scheme to deal with arbitrarily high values of the nondimensional velocity. Furthermore, just like the zero-Mach flow for the standard stencils, it is observed that setting the shift velocity to the fluid velocity results in optimal physical and numerical properties. In addition, a detailed analysis of the obtained results shows that the properties of different collision models and EDFs remain unchanged under the shift of stencil. In other words, by introducing a velocity shift in the stencil, the optimal operating point, in terms of physics and numerics, will also be shifted by the same vector regardless of the EDF or collision model considered. Eventually, while limited to the D2Q9 stencil with the nine possible first-neighbor shifts, the present study and corresponding conclusions can be extended to other stencils and velocity shifts in a straightforward manner.
Collapse
Affiliation(s)
- S A Hosseini
- Laboratory of Fluid Dynamics and Technical Flows, University of Magdeburg "Otto von Guericke," D-39106 Magdeburg, Germany.,Laboratoire EM2C, CNRS, CentraleSupélec, Université Paris-Saclay, 91192 Gif-sur-Yvette Cedex, France.,International Max Planck Research School (IMPRS) for Advanced Methods in Process and Systems Engineering, Magdeburg, Germany
| | - C Coreixas
- Department of Computer Science, University of Geneva, 1204 Geneva, Switzerland
| | - N Darabiha
- Laboratoire EM2C, CNRS, CentraleSupélec, Université Paris-Saclay, 91192 Gif-sur-Yvette Cedex, France
| | - D Thévenin
- Laboratory of Fluid Dynamics and Technical Flows, University of Magdeburg "Otto von Guericke," D-39106 Magdeburg, Germany
| |
Collapse
|
10
|
Coreixas C, Chopard B, Latt J. Comprehensive comparison of collision models in the lattice Boltzmann framework: Theoretical investigations. Phys Rev E 2019; 100:033305. [PMID: 31639944 DOI: 10.1103/physreve.100.033305] [Citation(s) in RCA: 24] [Impact Index Per Article: 4.0] [Reference Citation Analysis] [Abstract] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Received: 11/09/2018] [Indexed: 05/05/2023]
Abstract
Over the last decades, several types of collision models have been proposed to extend the validity domain of the lattice Boltzmann method (LBM), each of them being introduced in its own formalism. This article proposes a formalism that describes all these methods within a common mathematical framework, and in this way allows us to draw direct links between them. Here, the focus is put on single and multirelaxation time collision models in either their raw moment, central moment, cumulant, or regularized form. In parallel with that, several bases (nonorthogonal, orthogonal, Hermite) are considered for the polynomial expansion of populations. General relationships between moments are first derived to understand how moment spaces are related to each other. In addition, a review of collision models further sheds light on collision models that can be rewritten in a linear matrix form. More quantitative mathematical studies are then carried out by comparing explicit expressions for the post-collision populations. Thanks to this, it is possible to deduce the impact of both the polynomial basis (raw, Hermite, central, central Hermite, cumulant) and the inclusion of regularization steps on isothermal LBMs. Extensive results are provided for the D1Q3, D2Q9, and D3Q27 lattices, the latter being further extended to the D3Q19 velocity discretization. Links with the most common two and multirelaxation time collision models are also provided for the sake of completeness. This work ends by emphasizing the importance of an accurate representation of the equilibrium state, independently of the choice of moment space. As an addition to the theoretical purpose of this article, general instructions are provided to help the reader with the implementation of the most complicated collision models.
Collapse
Affiliation(s)
- Christophe Coreixas
- Department of Computer Science, University of Geneva, 1204 Geneva, Switzerland
| | - Bastien Chopard
- Department of Computer Science, University of Geneva, 1204 Geneva, Switzerland
| | - Jonas Latt
- Department of Computer Science, University of Geneva, 1204 Geneva, Switzerland
| |
Collapse
|