Analysis of coupled thermo-hydro-mechanical behavior of unsaturated soils based on theory of mixtures I

This paper analyzes a coupled thermo-hydro-mechanical behavior of unsaturated soils based on the theory of mixtures. Unsaturated soil is considered as a mixture composed of soil skeleton, liquid water, vapor, dry air, and dissolved air. In addition to the mass and momentum conservation equations of each component and the energy conservation equation of the mixture, the system is closed using other 37 constitutive （or restriction） equations. As the change in water chemical potential is identical to the change in vapor chemical potential, a thermodynamic restriction relationship for the phase transition between pore water and pore vapor is formulated, in which the impact of the change in gas pressure on the phase transition is taken into account. Six final govern- ing equations are given in incremental form in terms of six primary variables, i.e., three displacement components of soil skeleton, water pressure, gas pressure, and temperature. The processes involved in the coupled model include thermal expansions of soil skeleton and soil particle, Soret effect, phase transition between water and vapor, air dissolution in pore water, and deformation of soil skeleton.     

高放废物深地质处置及国内研究进展

核能在产生电力造福社会的同时 ,也留下了放射性废物。我们有责任对这些废物实施安全和正确的管理。本文阐述了高放废物深地质处置的一般概念及处置库选址研究中的若干问题 ,同时介绍了国内高放废物深地质处置研究的进展.     

unless和ensure的代数性质——Ⅱ.unity的代数语义研究

进一步研究了unity逻辑中,程序性质的两个基本概念unless和ensure的代数性质。试图通过代数语义,将unity逻辑与计算。特别是与计算机的计算联系起来。     

线性逻辑相空间的分层结构

本文研究了相空间的代数结构,定义了多层相空间,给出了一个相空间的最小子空间的性质.并据此讨论了线性重言式的某些特点.