描述逻辑系统εLN中概念的匹配算法研究

分析了描述逻辑非标准推理的重要性,总结了描述逻辑中概念的匹配推理研究现状和存在的问题,针对匹配推理在处理数量限制和存在量词的不足研究了描述逻辑系统εLN中概念的匹配推理。将概念变量引入描述语言εLN,定义出了εLN中概念模式,进而给出了εLN中概念的匹配算法,证明了算法的可靠性并指出该算法计算出的匹配极小完全集的基数是随着匹配问题的大小(size)呈指数增长的。     

描述逻辑μALCQO 的语义及推理

循环术语集是描述逻辑长期以来的研究难点,其最基本的问题即语义及推理问题没有得到合理的解决.基于混合分级μ-演算将不动点构造算子引入到含有枚举构造算子的描述逻辑ALCQO 中,提出了一种允许包含循环术语集的描述逻辑μALCQO.给出了μALCQO 的语法、语义和不动点构造算子的性质,证明了μALCQO 的可满足性推理等价于混合分级μ-演算的可满足性推理.基于混合分级μ-演算可满足性推理算法,并利用完全强化自动机给出了μALCQO的可满足性推理算法,以及给出了推理算法正确性证明和复杂性定理.μALCQO为进一步给出同时含有不动点构造算子和枚举构造算子的表达能力强的描述逻辑推理算法提供了理论基础.     

DDS并行模型及其形式化

DDS(deadline-driven scheduler)模型是实时系统研究中的一个经典模型,但其原始设置中未提及空间因素.在DDS模型的原始设置上进行扩展,给出了DDS并行模型并在该模型设置下研究带空间限制的任务调度问题.提出了极大空间相容组的概念,并给出了全局调度算法和该算法可行的条件.最后还引入分离逻辑的思想对时段演算进行扩充,得到了新的形式系统DC*,利用DC*把DDS并行模型形式化.     

描述逻辑μALCIO的语义及推理

循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,基于混合μ-演算将不动点构造算子引入到含有枚举构造算子的描述逻辑ALCIO中,提出了一种允许包含循环术语集的描述逻辑μALCIO.给出了μALCIO的语法和语义,证明了μALCIO的可满足性推理等价于混合μ-演算的可满足性推理,并利用树自动机理论给出了μALCIO的可满足性推理算法以及给出了推理算法正确性证明和复杂性定理.     

Aospoe地下实验室在瑞典高放废物深部处置库计划中的作用

瑞典核电站的乏燃料将在500m深的基岩坑道系统之中进行处置。瑞典政府于1984年原则上接受了代号为KBS一3的处置方案，其基本设想是将乏燃料包容在多重屏障之中，利用这些屏障在甚长时间内把乏燃料与环境隔离。在置于深部处置库之前，乏燃料组件被包容于带有钢质内衬的圆柱形铜罐之中。在处置坑道的底板上开挖一些专门的处置孔用于放置废物罐，而在每个废物罐周围放置压实的膨润土。深部处置库将分阶段建造。预计2008年将建成处置库的首期工程，其容量约为乏燃料总数的5％～10％。当所有乏燃料放置完毕后，处置库的所有巷道将用膨润土和砂回填、封闭。     

Effect of temperature on soil-water characteristics and hysteresis of compacted Gaomiaozi bentonite

Laboratory tests under different constraint conditions were carried out to obtain the soil-water retention curves (SWRCs) of highly-compacted confined/unconfined Gaomiaozi (GMZ) bentonite at 20, 40 and 80 °C, respectively. The effect of temperature on the soil-water characteristics of the highly-compacted GMZ bentonite was analyzed. The results show that the water retention capacity of the highly-compacted GMZ bentonite decreases as the temperature increases under unconfined and confined conditions. At a certain temperature, the constraint conditions have little influence on the water retention capacity of the compacted bentonite at high suction, but the water retention capacity of the confined specimen is lower than that of the unconfined specimen at low suction. Under unconfined conditions, the hysteretic behaviour of the compacted bentonite decreases with increasing temperature. At high suction (>4 MPa), the hysteretic behaviour of the unconfined bentonite tends to increase with the decrease of the suction. In summary, the hysteretic behaviour of the compacted bentonite is not significant.     

运用属性探索构建完备描述逻辑本体

分析描述逻辑本体构建的重要性和研究现状。针对描述逻辑本体构建中本体的完备性问题,研究属性探索算法在描述逻辑本体构建中的应用,分析目前运用属性探索算法构建本体时假设专家必须具备全部领域知识的不足,研究在领域专家不具备全部领域知识情况下的完备描述逻辑本体构建。在描述背景下给出描述逻辑本体完备性的定义,设置描述背景下的不完备背景,构造一种在不完备背景下领域专家不能判断属性集合间的蕴含关系的描述逻辑本体构建算法。该算法可与领域专家交互获取蕴含知识从而构建本体知识库,并且证明利用该方法构建的本体是完备本体。     

美国尤卡山高放废物处置库场址水文地质特征评价进展

美国劳伦斯伯克利国家实验室(LBNL)核废物地质处置研究室主任Bodvarsson GS博士应邀于1998年11月15～20日来核工业北京地质研究院进行了为期4天的讲学。讲学主要内容为: (1)高放废物处置的一般概念以及美国的政策、法规; (2)美国尤卡山处置场址基本水文地质特征; (3)场地水文地质及现场加热实验研究;     

Np(IV)，Pu(IV)，Am(III)在北山花岗岩 裂隙水中存在形式的模拟研究

 以高放废物中的关键核素Np(IV),Pu(IV),Am(III)为例,应用地球化学软件包EQ3/6的EQ3NR程序,模拟计算Np(IV),Pu(IV),Am(III)在花岗岩裂隙水中存在形式,从而为研究Np,Pu,Am的水文地球化学行为提供基础依据。根据计算结果, NpO2＋,Pu(OH)5－,AmCO3＋,Am3＋,Am(OH)2＋为这3种锕系元素在北山3#井440 m深花岗岩裂隙水中的主要存在形式。对由于人为因素可能引起的地下水中的pH值变化以及Cl－,SO42－,F－,HCO3－离子浓度变化对Np(IV),Pu(IV),Am(III)存在形式的影响进行研究。研究结果表明,pH值是影响Np(IV),Pu(IV),Am(III)在花岗岩裂隙水中的主要存在形式的因素,而Cl－,SO42－,F－,HCO3－离子浓度变化的影响次之。     

北山深部花岗岩弹塑性损伤模型研究

 基于力学特性试验和三维声发射监测技术,研究北山花岗岩在压应力条件下的力学行为特征和损伤演化机制,并构建岩石的力学损伤模型。试验结果表明,在低围压条件下岩石主要发生的是脆性破坏;随围压增大,岩石力学行为逐渐向延性转化,表现出剪胀、塑性变形等非线性行为。结合微裂隙产生和扩展规律,对岩石在外力作用下的损伤演化过程和破坏机制进行分析,认为北山花岗岩的破坏及非线性行为是损伤和塑性变形共同作用的结果。基于这一认识,在热动力学框架下提出北山花岗岩准唯象弹塑性损伤模型。模型引入非关联的塑性流动方程,以反映岩石在压应力作用下体积变形从压缩到膨胀的转化过程。基于已有的损伤理论建立损伤演化方程,并通过在塑性屈服面中引入独立损伤变量,建立塑性和损伤发展的耦合关系。数值模拟和试验数据的对比表明,模型可以很好地描述北山花岗岩在不同应力水平下的损伤演化规律和力学行为,特别是随围压增大岩石力学行为从脆性到延性的转化过程以及岩石峰前塑性硬化和峰后应力软化等行为特征。