The Experts below are selected from a list of 176280 Experts worldwide ranked by ideXlab platform

P. Zhuang - One of the best experts on this subject based on the ideXlab platform.

Renaud De Landtsheer - One of the best experts on this subject based on the ideXlab platform.

  • solving csp including a universal quantification
    Lecture Notes in Computer Science, 2004
    Co-Authors: Renaud De Landtsheer
    Abstract:

    This paper presents a method to solve constraint satisfaction problems including a universally quantified variable with Finite Domain. Similar problems appear in the field of bounded model checking. The presented method is built on top of the Mozart constraint programming platform. The main principle of the algorithm is to consider only representative values in the Domain of the quantified variable. The presented algorithm is similar to a branch and bound search. Significant improvements have been achieved both in memory consumption and execution time compared to a naive approach.

  • MOZ - Solving CSP including a universal quantification
    Lecture Notes in Computer Science, 2004
    Co-Authors: Renaud De Landtsheer
    Abstract:

    This paper presents a method to solve constraint satisfaction problems including a universally quantified variable with Finite Domain. Similar problems appear in the field of bounded model checking. The presented method is built on top of the Mozart constraint programming platform. The main principle of the algorithm is to consider only representative values in the Domain of the quantified variable. The presented algorithm is similar to a branch and bound search. Significant improvements have been achieved both in memory consumption and execution time compared to a naive approach.

Yaolin Jiang - One of the best experts on this subject based on the ideXlab platform.

Jing Wu - One of the best experts on this subject based on the ideXlab platform.

  • minimum Domain impulse theory for unsteady aerodynamic force
    Physics of Fluids, 2018
    Co-Authors: Linlin Kang, Weidong Su, Jing Wu
    Abstract:

    We extend the impulse theory for unsteady aerodynamics from its classic global form to Finite-Domain formulation then to minimum-Domain form and from incompressible to compressible flows. For incompressible flow, the minimum-Domain impulse theory raises the finding of Li and Lu [“Force and power of flapping plates in a fluid,” J. Fluid Mech. 712, 598–613 (2012)] to a theorem: The entire force with discrete wake is completely determined by only the time rate of impulse of those vortical structures still connecting to the body, along with the Lamb-vector integral thereof that captures the contribution of all the rest disconnected vortical structures. For compressible flows, we find that the global form in terms of the curl of momentum ∇ × (ρu), obtained by Huang [Unsteady Vortical Aerodynamics (Shanghai Jiaotong University Press, 1994)], can be generalized to having an arbitrary Finite Domain, but the formula is cumbersome and in general ∇ × (ρu) no longer has discrete structures and hence no minimum-Domain...

Silke Guenther - One of the best experts on this subject based on the ideXlab platform.

  • New Scaling Laws of Shear-Free Turbulent Diffusion and Diffusion-Waves
    IUTAM Symposium on Reynolds Number Scaling in Turbulent Flow, 2004
    Co-Authors: Martin Oberlack, Silke Guenther
    Abstract:

    We consider the problem of turbulence generation at a vibrating grid in the x 2-x 3 plane. Turbulence diffuses in the x 1 direction. Analyzing the multi-point correlation equation using Lie-group analysis we find three different solutions (scaling laws): classical diffusion-like solution (heat equation like), decelerating diffusion-wave solution and Finite Domain diffusion due to rotation. All solution have been obtained using Lie- group (symmetry) methods. It is shown that models based on Reynolds averaging are only capable to model either the diffusion-like solution or the decelerating diffusion-wave solution. The latter solution is only admitted under certain algebraic constraints on the model constants. Turbulent diffusion on a Finite Domain induced by rotation is not admitted by any of the classical models.

  • shear free turbulent diffusion classical and new scaling laws
    Fluid Dynamics Research, 2003
    Co-Authors: Martin Oberlack, Silke Guenther
    Abstract:

    Abstract We consider the problem of turbulence generation at a vibrating grid in the x 2 – x 3 plane. Turbulence diffuses in the x 1 -direction. Analyzing the multi-point correlation equation using Lie-group analysis, we find three different invariant solutions (scaling laws): classical diffusion-like solution (heat equation like), decelerating diffusion-wave solution and Finite Domain diffusion due to rotation. All solutions have been obtained using Lie-group (symmetry) methods. It is shown that if only one spatial dimension is considered, models based on Reynolds averaging are only capable to model either the diffusion-like solution or the decelerating diffusion-wave solution. The latter solution is only admitted under certain algebraic constraints on the model constants; e.g. in case of the K – e model the model constants need to obey the relation c e 2 σ e / σ K =2. Turbulent diffusion on a Finite Domain induced by rotation is not admitted by any of the classical models. Finally, in the appendix it is shown that Lele's transformation (Phys. Fluids 28(1) (1985) 64) leads to a complete analytic solution of the steady diffusion problem modelled by the K – e equation.