Consistency argument and classification problem in λ-calculus

Enlightened by Mal'cev theorem in universal algebra, a new criterion for consistency argument in λ-calculus has been introduced. It is equivalent to Jacopini and Baeten-Boerboom' s, but more convenient to use. Based on the new criterion, one uses an enhanced technique to show a few results which provides a deeper insight in the classification problem of λ-terms with no normal forms.     

代数等式系有穷公理化的一个扩充定理

首先介绍两个概念：主同余类的弱可定义性以及次直不可分解类的可定义性.证明了任一有穷代数A,若V(A)具有弱可定义的主同余类以及可定义次直不可分解类,则它的等式系是可以有穷公理化的.进一步的讨论揭示出其结果是新的,是对已有工作的有意义的扩充.     

电子商务安全协议的逻辑验证

作者在以前所做的工作中,已对电子商务安全(secure electronic transactions,简称SET)中抽取的片段进行了证明,也对SET中可能存在的问题进行了初步探讨.该文在此基础上,对SET的整个业务流程进行了严格的逻辑验证,通过形式化逻辑方法的验证,发现了SET协议中存在的一些问题,并对如何解决这些问题进行了初步的探讨.     

国际原子能机构核燃料循环末端及核电站放射性废物管理技术国际研讨会会议概况

国际原子能机构于1999年8月30日～9月3日在韩国召开了“核燃料循环末端及核电站放射性废物管理技术国际研讨会”。会议交流了85篇论文,包括放射性废物管理的技术路线,核电站放射性废物管理,中低放和高放废物的处理、整备和中间储存,中低放和高放废物处置技术,退役废物管理等内容。本文介绍会议概况以及韩国的放射性废物管理概况。     

新版《地质辞典》中将新增“放射性废物地质处置”词条

据悉,新版《地质辞典》将于2001年由地质出版社出版。在新版本中新增加了“放射性废物地质处置”词条52条。“放射性废物”、“放射性废物处置”、“地质处置”、“地质处置库”、“回填材料”、“场址特性评价”、“放射性核素迁移”、“性能评价”、“地下实验室”和“天然类比”等最近十几年才出现的新名词及其解释将第一次出现在《地质辞典》中。     

MALC的公式在其模型间互模拟下的不变性

文献[1]中给出了模态描述逻辑的语法与语义,同时给出了两个模型之间的互模拟关系。目前对各种模态描述逻辑系统的研究主要是它们的语法与语义,对其代数性质做研究很少见,然而研究各种模态描述逻辑系统的模型构造,模型之间互模拟、同构等代数性质有重要的理论与现实意义。文中在文献[1]的基础上,定义了模态描述逻辑的可能世界的理论和两个可能世界的等价,继续研究描述逻辑系统的代数性质,得到了的合式公式在模型间互模拟下的不变性。     

高放废物地质处置新疆预选区天湖地段花岗岩的静态及动态力学特性研究EI北大核心CSCD

基于MTS815及SHPB装置,分别进行了高放废物地质处置新疆预选区天湖地段花岗岩的静态及动态力学特性试验。针对该区域的钻孔花岗岩岩芯,开展了一系列的静态拉伸、静态单轴压缩、动态拉伸、动态压缩,以及一维动静组合拉伸加载试验。特别是,该批次试验所用岩芯均取自同一深度处(深度360 m左右)的花岗岩,所获得的对比与分析结果对于同一岩石力学特性研究更有代表性意义。测试结果显示:该花岗岩的静态拉伸强度约为11.75 MPa,单轴压缩强度约为175 MPa。单轴压缩强度约为抗拉强度的14倍。在加载率为0.34×10~6~0.51×10~6MPa/s时,其动态拉伸强度约为25~35 MPa。在应变率为80~160 s^(-1)时,其动态压缩强度测试值区间为138~208 MPa。并且随着加载率或应变率的提高,无论是动态拉伸强度特性或动态压缩强度特性均随之增大,这说明了花岗岩的率相关加载效应特性。进一步的实施了该花岗岩的一维动静组合拉伸加载试验,发现随着轴向静压的增大,岩石的抗冲击强度呈现出先增大后减小的趋势。大约在静载抗拉强度的50%时,抗冲击拉伸强度达到最大值,随后平缓减小。并且,随着轴向静压的增大,岩石的动静组合拉伸强度亦随之快速增大,最大可达到静载拉伸强度的3倍,抗冲击拉伸动载的1.5倍。同时,在冲击破坏情况下,岩石组合加载破坏模式呈现拉伸破坏,与静态拉伸破坏及一般冲击下的劈裂破坏特征基本一致。综上表明,该地段试验深度处的钻孔岩芯,其力学特性较为稳定,从工程建造角度而言,可作为高放废物地质处置的一个参考预选地段。但试验获取数据尚未充足,需通过不同钻孔以及不同深度处岩石的动、静力学特性试验及渗透试验、地应力测试等其它试验项目,进一步深入研究其在不同轴向静压及不同冲击动载下,岩石承受的临界动载荷值等力学特性。该研究的试验数据与理论可支撑于深部地下工程的爆破开挖及高放废物的深地质处置。     

高放废物地质处置切缝药包定向爆破技术研究

基于切缝药包定向断裂技术,详细研究了切缝药包在巷道爆破中的爆发过程及其破坏原理;并结合高放废物地质处置爆破工程的特殊性(围岩损伤要求尽可能的小),论述了甘肃北山坑探设施BET项目,设计了切缝药包定向爆破的参数。并从理论上分析了高放废物地质处置工程定向断裂爆破岩石破坏的起裂及破坏判据,其采用动态力学参数(动抗压强度、动抗拉强度、动态弹性模量、动泊松比、动断裂韧性、动应力强度因子等)对该破坏判据进行了刻画。进一步的,在同一巷道掌子面情况下,于不同左、右帮部位置处,实施了切缝药包爆破试验,发现在采用切缝药包的右帮位置处,光面爆破效果良好,并且在切缝药包处的围岩损伤范围与爆破振动速度均较普通药包情况下的损伤范围小,验证了通过上述方法计算得到的爆破参数是合理的,切缝药包技术应用于高放废物地质处置工程是可取的。需指出的是,钻爆施工涵盖多种不同的爆破参数,影响因素众多,该文爆破试验获取的爆破数据仅仅是对切槽药包定向断裂爆破在高放废物地质处置工程的初步探索,该研究可对后续工程开挖提供相应的试验数据与理论支撑,其对于深部地下工程的爆破开挖有一定的理论指导意义。     

应用同位素方法识别高放废物处置库预选场址地下水的形成

Yemaquan region in Beishan area, Gansu province, is one of the preselected sites of disposal repository for high level radioactive waste (HLW) in our country. Hydrogeological condition is an important aspect for site evaluation and the groundwater formation is a key factor to reflect the hydrogeological conditions for a certain area. Isotopic method is the one of the important means to determine the groundwater formation. Through the sampling and analysis of shallow groundwater isotopes of Yemaquan region, combined with geological, hydrogeological and hydrogeochemical characteristics, the issue of groundwater formation in the study region was discussed. The main cognition is that the groundwater in the region was formed from the infiltration of modern rainfall and the strong evaporation was happened for the shallow groundwater, which indicates the circulation conditions were relatively good for the shallow groundwater. This cognition provides very important hydrgeological information and basis for the evaluation of Yemaquan preselected site.     

Am(Ⅲ)在铁氧化物上的吸附行为

为了解放射性核素在可能作为高放废物固化体包装容器材料腐蚀产物上的吸附行为,以我国高放废物处置库预选场址--甘肃北山地区深部地下水为介质,研究了包装容器材料的主要组分铁的腐蚀产物Fe2O3, Fe3O4对Am(Ⅲ)的吸附,讨论了pH值、总CO2-3, SO2-4、腐殖酸、Am(Ⅲ)浓度等对吸附的影响,并就可能的吸附机理进行了探讨.实验结果表明,Am(Ⅲ)在铁氧化物上的吸附分配比随水相pH值增大而增大;地下水的化学组分是影响Am(Ⅲ)存在形态和吸附的关键,Am(Ⅲ)在Fe2O3和Fe3O4上的吸附机理为界面配合,可用Freundlich吸附等温式描述.