We propose a t rans la t ion approach f r o m moda l logics to f i rst-order predicate logic which combines advantages f r o m b o t h , the (s tandard) rela t iona l t rans la t ion and the ( rather compact) func t iona l t rans la t ion m e t h o d and avoids many of their respective disadvantages (exponent ia l g row th versus equal i ty hand l ing ) . In par t i cu la r in the app l ica t i...

This study numerically investigates the vortex-induced vibration (VIV) of an elastically mounted rigid cylinder by using Reynolds-averaged Navier-Stokes (RANS) equations with computational fluid dynamic (CFD) tools. CFD analysis is performed for a fixed-cylinder case with Reynolds number (Re) = 104 and for a cylinder that is free to oscillate in the transverse direction and possesses a low mass...

The gas turbine presents significant challenges to any computational fluid dynamics techniques. The combination of a wide range of flow phenomena with complex geometry is difficult to model in the context of Reynolds-averaged Navier–Stokes (RANS) solvers. We review the potential for large eddy simulation (LES) in modelling the flow in the different components of the gas turbine during a practic...

The gas turbine presents significant challenges to any computational fluid dynamics techniques. The combination of a wide range of flow phenomena with complex geometry is difficult to model in the context of Reynolds-averaged Navier-Stokes (RANS) solvers. We review the potential for large eddy simulation (LES) in modelling the flow in the different components of the gas turbine during a practic...

The self-noise generated by a flat plate immersed in low Mach number flow is predicted using a hybrid RANS-BEM technique. A Reynolds Averaged Navier-Stokes (RANS) simulation is performed of the turbulent flow over the flat plate. The predicted flow field data, such as mean velocity, turbulent kinetic energy and turbulent dissipation rate, is then processed using a statistical noise model and co...

A novel method is proposed for blending RANS and VMS-LES approaches in a hybrid model. To this purpose, the ow variables are decomposed in a RANS part (i.e. the averaged ow eld), a correction part that takes into account the turbulent large-scale uctuations, and a third part made of the unresolved or SGS uctuations. The basic idea is to solve the RANS equations in the whole computational domain...

For jets, large eddy resolving simulations are compared for a range of numerical schemes with no subgrid scale (SGS) model and for a range of SGS models with the same scheme. There is little variation in results for the different SGS models, and it is shown that, for schemes which tend towards having dissipative elements, the SGS model can be abandoned, giving what can be termed numerical large...