基于混合物理论的非饱和土的热-水-力耦合分析模型Ⅰ

以混合物理论为基础研究了非饱和土的热-水-力多场耦合问题.将非饱和土视为由土骨架、液态水、水蒸气、干燥气体及溶解气体共5种组分构成的混合物,在组分的质量、动量守恒方程及整体能量守恒方程的基础上,引入了37个补充方程以形成封闭方程组.其中,利用水与水蒸气的化学势改变量相同,推导了在气压力变化条件下水与水蒸气相变平衡所满足的限制方程.最终控制方程以增量形式给出,6个方程求解6个未知量(3个土骨架位移、水压力、气压力及温度),充分反映了热膨胀、热渗流、水的相变、气体溶解及土骨架变形等多种现象的耦合过程.     

关于 Baker 假设的证明

1983年 K.Baker 发现:在代数簇 V(M_3)中存在任意长的代数投射,因而是不可定义的.但在保持主同余类结构不变的意义下,V(M_3)中任何一个代数投射都可以由若干个长度小于6的代数投射所代替.他将后面这个性质称为有穷主长度性质.由于 V(M_3)是一个同余分配簇,他问:是否所有由有穷代数生成的同余分配簇都具有有穷主长度性质?他认为答案是肯定的.这就是Baker 假设.(参见[1])本文将此问题作了理论化处理,并在泛代数领域中首先引入了所谓“最小板块”的概念.在此基础上,本文给出 Baker 假设的一个完整的证明.     

关于可构成实数在Lω1中分布的几个定理

任何一个可构成实数都是在L_ω1中构成的。本文指出,并不是L_ω1前面的每一层都会产生新的实数,并用元数学的方法(或者就是模型的方法)对这样的层作了宏观上的描述。     

一致极小对,一致有界性及有穷基定理

本文使用最小板块的思想，揭示了泛代数领域中任一分配簇的任一代数都具有两个性质；（１）投射意义下一致极小对是存在的。（２）存在相对于整个族而言的极小对投射的一致上界。用以上的结果，给出了著名的有穷基定理的一个简单的、构造性的证明。     

裂隙岩体渗透系数确定方法研究

裂隙岩体渗透系数以及渗透主方向的确定对研究岩体渗透性大小及各向异性具有重要意义。高放废物地质处置库介质岩体的渗透性能将直接影响其使用安全性。本文运用离散裂隙网络模拟的方法对我国高放废物处置库甘肃北山预选区3#钻孔附近裂隙岩体进行了渗透性质分析。通过对3#钻孔1715～1780m段压水试验数据的反演,标定了离散裂隙网络渗流模型中的裂隙渗透参数(导水系数T)。利用标定的离散裂隙网络模型对场区裂隙岩体进行了渗流模拟,确定了该区域裂隙岩体的渗流表征单元体(REV)的尺寸大小以及渗透主值和主渗透方向。运用离散裂隙网络模型计算得出的渗透主值的几何均值与现场压水试验计算结果较接近,证明了计算结果的有效性。     

甘肃北山地质处置库围岩节理抗剪强度经验估算

节理抗剪强度参数是地质处置库预选地段工程地质对比和围岩稳定性分析的重要指标。本文在旧井地段英云闪长岩节理分组的基础上,运用定向统计测量方法估测节理粗糙度系数,通过评价节理粗糙度系数的尺寸效应,确定节理抗剪强度经验估算有效长度,由JRC-JCS模型求得各组节理4个方向的抗剪强度参数,并评价了地质处置库围岩节理抗剪强度的各向异性特征。     

ω_1-OrdinalDefinable Setsand ChangsModelC

§１．　ＩｎｔｒｏｄｕｃｔｉｏｎＴｈｉｓｐａｐｅｒｗｏｒｋｓｉｎＺＦｓｅｔｔｈｅｏｒｙ（ｓｏｍｅｔｉｍｅｓ，ｉｔｎｅｅｄｓａｘｉｏｍｏｆｃｈｏｉｃｅ（ＡＣ）ｏｒｉｔｓｗｅａｋｆｏｒｍｓ）．Ｔｈｅｎｏｔａｔｉｏｎｓａｎｄｔｅｒｍｉｎｏｌｏｇｉｅｓｅｍｐｌｏｙｅｄｉｎｔｈｉｓｐａｐｅｒａｒｅｓｔａｎｄａｒｄ．Ｆｏｒｅｘａｍｐｌｅ，ｌｏｗｅｒｃａｓｅＧｒｅｅｋｌｅｔｔｅｒｓα，β，γ，…ｄｅｎｏｔｅｏｒｄｉｎａｌｓ；κ，λ，μ，…ｃａｒｄｉｎａｌｓ．Ｔｈｅｃｌａｓｓｏｆａｌｌｏｒｄｉ－ｎａｌｓｉｓｄｅ…     

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

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

Morita Context的右正规性

本文讨论了Muller提出的第3个公正问题，证明了当PR是忠帝的拟投射生成元，PT＝P，且T作为右R－模有限生成时，PR导出的Morita Context一定是右正规性的，这里T为P在R中的变理想。