有单位元的环的主同余

通过构造有单位元的环的主同余公式,给出了有单位元的环的主同余刻画;归纳于有单位元的环的一元项的形成和主同余公式的长度,从而给出有单位元的交换环和单位元的环的主同余的判定条件.     

高放废物地质处置：进展与挑战

随着我国核能事业的飞速发展,高水平放射性废物的处理和处置,即将成为一个重大的安全和环保问题。在介绍国内外进展的基础上,重点讨论了高放废物地质处置面临的挑战：处置库场址地质演化的精确预测、深部地质环境特征、多场耦合条件下(中(高)温、应力作用、水力作用、化学作用、生物作用和辐射作用等)深部岩体、地下水和工程材料的行为、低浓度超铀放射性核素的地球化学行为与随地下水迁移行为及处置系统的安全评价。     

甘肃北山预选区地质处置系统初步FEPs分析

特征、事件和过程(简称FEPs)分析是高放废物地质处置性能评价中的一个至关重要的步骤,基于瑞典SKB FEPs数据库,论文利用特征、事件和过程分析方法,结合我国甘肃北山地区实际情况,修正、排除和增加了FEPs,列举了适合于北山高放废物处置库系统的FEPs,对我国高放废物处置系统性能评价具有重要参考意义.     

模态描述逻辑的模型

本文主要讨论描述逻辑ALC的模态扩充,介绍扩充后所得的模态描述逻辑MALC 的语法与语义,然后定义了模态描述逻辑的不交并模型、生成子模型的模型构造方法,并且证明他们具有的性质.     

基于Petri网分解的系统范例分析

以生产者一消费者系统和多处理机系统为例子,讨论了基于库所指标和变迁指标的两种Petri网分解方法在系统分析中的作用,分析了分解后的子系统与原系统的结构和行为方面的对应关系,为基于Petri网的复杂系统分析提供了有效的方法.     

半分配同余簇主同余的研究

分配同余簇是半分配同余簇的真子类,给出了半分配同余簇上的一个重要的相仿于分配同余簇上的结论.     

关于力迫方法的注记

本文证明了脱殊集合的几个初等性质,从而对力迫方法的性质作了几点说明。     

离散裂隙网络模拟在地下硐室稳定性中的应用——以甘肃北山地下实验室为例

以甘肃北山地下实验室为研究对象,开展了离散裂隙网络-离散元（DFN-DEM）耦合方法在花岗岩地下硐室围岩稳定性分析方面的探索研究。选取地下实验室工程勘察范围内代表性勘察钻孔和地表露头裂隙数据进行统计分析,利用三维离散单元软件3DEC构建离散裂隙网络（DFN）和等效岩体模型,模拟分析了地下实验室-560 m水平试验巷道的硐室的稳定性。结果表明：硐室开挖引起硐室围岩应力重分布,裂隙与硐室开挖面相交部位发生应力集中现象,硐室围岩出现位移变形;在现有条件下,硐室围岩变形量较小,应力集中程度不高,地下硐室稳定性较好。     

掏槽方式对光面爆破效果的影响研究

基于光面爆破施工方法,设计了甘肃北山坑探设施项目光面爆破的爆破参数。进而,着重研究了掌子面掏槽方式对光面爆破效果的影响。针对相同的地质条件、围岩及爆破耗材条件下,分别设计了直眼掏槽、单楔形掏槽、双楔形掏槽共计三种掏槽方式。进一步地实施了在不同掏槽方式下光面爆破的施工,获得了直眼掏槽方式更有利于爆破的硐室成型;而单楔形和双楔形掏槽更有利于岩石的破碎及岩渣抛掷。同时,需指出的是,钻爆施工涵盖多种不同的爆破参数,影响因素众多,此爆破试验获取的爆破数据仅仅是对不同掏槽方式的初步探索。研究可对后续工程开挖提供相应的试验数据与理论支撑,其对于深部地下工程的爆破开挖及高放废物的深地质处置,有一定的理论指导意义。     

周边孔炮眼间距对光面爆破效果的影响研究

基于光面爆破施工方法,设计了甘肃北山坑探设施项目光面爆破的爆破参数,得到了适宜于本项目的爆破实施方案。进而,着重研究了周边炮孔间距对光面爆破效果的影响,分别从爆破原理、断裂力学原理、经验方法的角度,计算了适宜于本项目爆破的周边炮眼间距,其间距值约为50cm。进一步的实施了在不同周边孔间距情况下光面爆破的施工效果,验证了通过上述方法计算得到的周边孔间距是合理的。同时,需指出的是,钻爆施工涵盖多种不同的爆破参数,影响因素众多,本文爆破试验获取的爆破数据仅仅是对不同周边孔间距的初步探索,本研究可对后续工程开挖提供相应的试验数据与理论支撑,其对于深部地下工程的爆破开挖及高放废物的深地质处置,有一定的理论指导意义。