Large-eddy simulation of the flow in a lid-driven cubical cavity

Large-eddy simulations of the turbulent flow in a lid-driven cubical cavity have been carried out at a Reynolds number of 12000 using spectral element methods. Two distinct subgrid-scales models, namely a dynamic Smagorinsky model and a dynamic mixed model, have been both implemented and used to perform long-lasting simulations required by the relevant time scales of the flow. All filtering levels make use of explicit filters applied in the physical space (on an element-by-element approach) and spectral (modal) spaces. The two subgrid-scales models are validated and compared to available experimental and numerical reference results, showing very good agreement. Specific features of lid-driven cavity flow in the turbulent regime, such as inhomogeneity of turbulence, turbulence production near the downstream corner eddy, small-scales localization and helical properties are investigated and discussed in the large-eddy simulation framework. Time histories of quantities such as the total energy, total turbulent kinetic energy or helicity exhibit different evolutions but only after a relatively long transient period. However, the average values remain extremely close

Ice-templated porous alumina structures

International audienceThe formation of regular patterns is a common feature of many solidification processes involving cast materials. We describe here how regular patterns can be obtained in porous alumina by controlling the freezing of ceramic slurries followed by subsequent ice sublimation and sintering, leading to multilayered porous alumina structures with homogeneous and well-defined architecture. We discuss the relationships between the experimental results, the physics of ice and the interaction between inert particles and the solidification front during directional freezing. The anisotropic interface kinetics of ice leads to numerous specific morphologies features in the structure. The structures obtained here could have numerous applications including ceramic filters, biomaterials, and could be the basis for dense multilayered composites after infiltration with a selected second phase

Improving Prolog Programs: Refactoring for Prolog

Refactoring is an established technique from the OO-community to restructure code: it aims at improving software readability, maintainability and extensibility. Although refactoring is not tied to the OO-paradigm in particular, its ideas have not been applied to Logic Programming until now. This paper applies the ideas of refactoring to Prolog programs. A catalogue is presented listing refactorings classified according to scope. Some of the refactorings have been adapted from the OO-paradigm, while others have been specifically designed for Prolog. Also the discrepancy between intended and operational semantics in Prolog is addressed by some of the refactorings. In addition, ViPReSS, a semi-automatic refactoring browser, is discussed and the experience with applying \vipress to a large Prolog legacy system is reported. Our main conclusion is that refactoring is not only a viable technique in Prolog but also a rather desirable one.Comment: To appear in ICLP 200