一种模糊动态描述逻辑

分析了目前描述逻辑DL的研究现状和存在的问题,特别是动态描述逻辑DDL作为语义Web逻辑基础所存在的问题。针对语义Web需要处理模糊和不精确知识的特点和需求,对DDL进行了模糊化扩充,提出了一种新的描述逻辑,即模糊动态描述逻辑FDDL。给出了FDDL的语法和语义,研究了FDDL的推理机制。与动态描述逻辑DDL相比,该FDDL可以为语义Web提供更为合理的逻辑基础,弥补了DDL作为语义Web逻辑基础的不足。     

基于描述逻辑的模糊ER模型

分析了描述逻辑ALNUI与ER模型的关系,特别是如何将ER模型转化为ALNUI的知识库,从而利用ALNUI的推理机制对ER模型进行自动推理的有效性,在此基础上,进一步研究了基于描述逻辑的模糊ER模型.针对模糊ER模型的特点和需求,在描述逻辑ALNUI的基础上,对描述逻辑ALNUI进行了模糊化推广,提出了一种新的描述逻辑,即模糊描述逻辑FALNUI.研究了基于FALNUI的模糊ER模型,即研究了如何将模糊ER模型转化为FALNUI的知识库,并利用FALNUI的推理机制研究了模糊ER模型的可满足性、冗余性和包含关系等自动推理问题,证明了这些推理问题的正确性.     

论高放废物地质处置库围岩

介绍了各国高放废物处置库的围岩类型,讨论了花岗岩、黏土岩、塑性黏土、凝灰岩和岩盐的基本特征及其工程特性。综合对比了各类围岩的有利条件和不足。研究表明,以花岗岩和黏土岩为围岩的处置库均能满足长期安全要求。针对中国花岗岩、黏土岩、凝灰岩、岩盐和黄土的分布特点,提出中国宜选择花岗岩为主攻方向,同时也可探讨选择产状平缓、厚度稳定的黏土岩的可行性。     

香山科学会议召开“高放废物地质处置”学术研讨会

香山科学会议于2005年9月6～8日在北京召开了以“高水平放射性废物地质处置”为主题的第260次学术讨论会。会议邀请中国核工业集团公司潘自强院士、香港大学李焯芬院士和核工业北京地质研究院王驹研究员担任会议执行主席。钱七虎院士、王思敬院士、谢和平院士、柯伟院士、鲜学福院士和40多位从事高放废物安全处置地质、水文、工程、材料、化学、岩石力学、辐射防护和安全评价研究的专家学者参加了会议。     

高放废物地质处置库预选场址水文地质研究进展

深地质处置是目前国际上普遍接受的高放废物最终处置方案。对于这种处置方案而言，最有可能使处置库系统中放射性核素释放并进入生物圈的机制是地下水的作用。本文阐述了这种地下水的作用，包括地下水与工程屏障的相互作用、地下水在地质屏障中的核素迁移作用及核素滞留作用；介绍了处置库场址评价中水文地质研究的国际进展和动向；重点介绍了我国高放废物处置库预选场址水文地质研究进程和概况。     

专家控制器在燃烧系统中的应用

传统的电解槽预焙烧方法对电解槽寿命的影响很大，为延长电解槽的寿命，提出了燃料直接焙烧启动法，并设计其控制系统。该控制系统以PLC为核心，并采用基于专家控制器的PID算法。应用结果表明，该方法克服传统方法的缺点，为提高电解铝生产技术提供了一种切实可行的方案。     

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

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)具有弱可定义的主同余类以及可定义次直不可分解类,则它的等式系是可以有穷公理化的.进一步的讨论揭示出其结果是新的,是对已有工作的有意义的扩充.