The only source of ice formation in the Arctic during summer is a layer of ice called false-bottoms between an under-ice melt pond and the underlying ocean. Of interest is to give a mathematical model in order to determine the simultaneous growth and ablation of false-bottoms, which is governed by both of heat fluxes and salt fluxes. In one dimension, this problem may be considered mathematical...

Possible phase transformation kinetic pathways from the high temperature b phase to the low temperature (a+ b) two-phase Ti alloys were analyzed using the graphical thermodynamic method and the assumption that diffusionless and displacive transformations take place much faster than phase separation which requires long-range diffusion. It is shown that depending on the composition of a b-stabili...

Modem physics théories claim that the dynamics of interfaces between the two-phase is described by the évolution équations involving the curvature and various kinematic énergies. We consider the motion of spiral-shaped polygonal curves by its crystalline curvature, which deserves a mathematical model of real crystals. Exploiting the comparison principle, we show the local existence and uniquene...

this paper studied the mathematical method of flow with regard to two-phase boundary layer that created over the iced surface. based on experimental results, skin drag over the iced surface compared with this force that compute with slip condition. based on this results, for iced surface blasius equation solving at non-slip condition, can replace with solving the blasius equation with slip cond...

in this paper, a non-isothermal two-phase flow in the cathode gas diffusion layer (gdl) of pem fuel cell is modeled. the governing equations including energy, mass and momentum conservation equations are solved by numerical methods. also, the optimal values of the effective parameters such as the electrodes porosity, gas diffusion layer (gdl) thickness and inlet relative humidity are calculated...

flow regime in dam's bottom outlet is divided in pressurized flow and free surface flow by the gate located for discharge control. down stream tunnel involves high velocity multi component air –water flow studied by mathematical model. in this research work, we used finite volume mixture two phase flow model. because of high reynolds number, standard two equations k-e turbulence model was ...

rock chutes are natural river training structures and are efficient energy dissipaters too. from the hydraulic and environmental point of view, rock chutes have become important structures in the natural river morphology. a physical study was conducted and flow properties were measured over rough bed materials of a rock chute, which was assembled at the pitlab center of the university of pisa, ...

In hardware verification, the introduction of symbolic model checking has been considered a breakthrough, allowing to verify systems clearly out-of-reach of any explicit-state model checker. In contrast, in the verification of concurrent software, model checking is still predominantly performed by explicitstate model checkers such as SPIN. These methods gain much of their efficiency from state-...

Using Monte Carlo histogram methods, the microcanonical caloric curve is computed for the Ising model in two and three dimensions with fixed magnetization. Whereas the signatures of a possible first order phase transition are clearly visible for large systems, intriguing finite size effects are revealed for smaller system sizes. The behaviour of the caloric curve is studied in a systematic way....