The seemingly trivial moving boundary problem of the crystallization of a solid phase from a cooled wall comes under the rubric of the so-called Stefan problems describing a wide range of physical processes. Their rich nonlinear behavior has attracted substantial scientific interest and their ubiquity in fields ranging from metallurgy to geophysics stimulates developing new mathematical approac...

The presence of an icy crust covering several satellites of the solar system (e.g. Europa, the jovian satellite) suggested us to accomplish the numerical simulation of the Rayleigh-Benard convection flow of a horizontal layer of mushy water, covered at the top by its own ice and immersed in a low gravity field. The phase transition occurring at the ice/mushy water interface, with release/absorp...

Abstract This study, the effect of constitutional supercooling appearing ahead crystallization front and leading to mushy layer origination is considered. An approximate analytical theory determining time initiation constructed. Theoretical predictions are in good agreement with numerical simulations carried out previous studies.

The present paper proposes an iterative implicit numerical method for simulating the thaw depth of permafrost soil. For this purpose, enthalpy-porosity model was used phase change process, and finite difference scheme FTCS (Forward Time Centered Space) discretization. An artificial mushy zone maintained with same thickness by keeping regularization parameter proportional to temperature gradient...

region πa2 (26,50) πa1 (13,98) Figure 7 – Phase Transition curves in (L,m) and (N,L) plane with the useful area for abstraction Ideally, if a ground problem lies in the mushy region and has solution, then a useful abstraction operator shall map it into an abstract problem lying in the YES region. On the contrary, if a ground problem lies in the mushy region and has no solutions, then a useful a...