不同逻辑间翻译的逻辑性质

如果考虑逻辑间模型的翻译并且一个逻辑的模型类被翻译为另一个逻辑的模型类的真子类,那么可靠的(the soundness)和完备的(the completeness)翻译可以将不可满足的公式翻译为可满足的公式.针对上述问题,该文提出了语义忠实(the faithfulness)和语义满(the fullness)两条逻辑性质来确保可满足的公式翻译为可满足的公式,不可满足公式翻译为不可满足公式.该文例证了二阶逻辑在标准语义下到一阶逻辑的翻译是语义忠实的但不是语义满的,在Henkin语义下是语义忠实的和语义满的.     

描述逻辑εL循环术语集的混合推理

循环术语集是描述逻辑长期以来的研究难点,它最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader和Brandt的基础上进一步研究了描述逻辑εL循环术语集的混合推理问题.给出了εL的混合循环知识库的语法和语义(包括不动点语义和描述语义).针对εL循环术语集混合推理的需要.提出了TBox-完全的概念,并重新定义了描述图(包括语法描述图和语义描述图).使用描述图之间的模拟关系和TBox-完全概念给出了最大不动点语义和描述语义下εL混合循环知识库的实例检测推理算法,证明了推理算法的正确性,并给出了推理算法的复杂性定理.     

RCC的可数核心模型

空间逻辑是人工智能领域中的研究热点,RCC系统(GRCC系统)是其中最受关注的一个形式化系统。从连接关系的冗余和非冗余性质出发,给出了核心模型的定义,并且证明了核心模型的存在性定理。讨论了RCC模型的个体(相当于空间中的物体)内部连通性,证明了该内部连通性是一阶语义可定义的。基于内部连通性,证明了核心模型的外延定理。     

本体知识库的模块与保守扩充

模块化是软件工程的一种方法,近年来被引入到本体领域,用以支持本体的重用和本体的整合。已有的工作没有讨论同时含有TBox和ABox的本体知识库的模块化的相关问题。在定义本体知识库的模块和知识库的保守扩充的基础之上,给出了知识库保守扩充的验证算法,并且从理论上证明可用知识库的保守扩充的验证算法来验证一个知识库是否为另外一个知识库的模块。     

高放废物处置库花岗岩热-力耦合模拟研究

根据典型高放废物处置库概念模型,应用FLAC3D有限差分程序模拟计算了数百年内热-力耦合(TM)条件下高放废物地质处置库围岩的温度场、应力场和变形场的变化特征,初步得到在一定废物罐热源强度及衰变函数条件下花岗岩体的热力学特征及处置巷道工程设计的合理间距.模拟结果表明:在-500 m水平建造处置库,按设定的释热强度,处置坑合理间距为8～12 m,废物罐表面温度为130 ℃,处置坑中线岩体最高温度为40 ℃,并保持数百年左右.     

不同距离计算标准和有效性指标组合方案对节理优势组划分的影响研究

 通过对随机逼近法的扩展,实现不同距离计算标准下的优势组划分,研究不同的距离计算标准和有效性指标组合方案的性能。分析结果表明：欧几里德距离、球面最小弧长和夹角正弦平方均可作为节理优势组划分的距离计算标准,但在不同的距离计算标准下,有效性指标的性能存在明显差异。CH指标仅在球面最小弧长标准下有效;I指标则在欧几里德距离和夹角正弦平方标准下均能给出正确分组结果;DB和XB指标在3种距离计算标准下均可以对优势组数目作出合理的选择。目标函数对分组形式优劣程度的判断与有效性指标的判断存在差异,仅在夹角正弦平方标准下,I指标与目标函数存在良好的一致性。基于分析结果,提出夹角正弦平方距离计算标准和I指标的最优组合方案,实现甘肃北山深部岩体节理产状的优势组划分。     

不同温度及应力状态下北山花岗岩蠕变特征研究

 基于不同温度及应力状态下的蠕变特性试验,结合三维声发射实时监测信息,开展北山花岗岩的蠕变变形特性以及加载条件(温度、围压和应力状态)对其蠕变破坏过程的影响研究。试验结果表明,北山花岗岩的蠕变破坏包括初始蠕变阶段(瞬态蠕变)、稳定蠕变阶段和加速蠕变阶段三个阶段,在加速蠕变过程中裂纹迅速扩展和积聚是导致岩石最终破坏的主要原因。蠕变试验过程中,声发射累计数和岩石蠕变体积应变的演化趋势整体上具有一致性,但声发射信号对岩石变形破坏的敏感性更强。对试验数据综合对比分析显示,花岗岩蠕变破坏变形受围压的影响显著,围压越高,岩石蠕变破坏前所能承受的变形越大。温度和应力水平对蠕变破坏变形影响并不明显,但可以对蠕变速率造成影响,进而改变岩石的蠕变破坏时间。根据试验结果,在围压2,10,30 MPa条件下,北山花岗岩的蠕变破坏轴向应变平均值分别为0.34%,0.54%和0.71%。     

北山地下水氧化还原电势及其对可变价核素迁移的影响

氧化还原电势(Eh)是影响高放废物处置库长期安全性能的重要参数之一。然而,直接测定地下水的Eh值面临较多不确定性因素。北山花岗岩中存在一定量的含铁矿物,由此可能控制地下水中铁的含量。本工作基于北山三号井400m深处的地下水,水中铁质量浓度为0.033mg/L及钻孔岩芯中Fe~(2+)/Fe_(tot)的比值为96.86%条件下,提出了一个推测北山地下水氧化还原电势的可能方法,计算得到北山三号井地下水的Eh=83.2mV。该值与利用针铁矿的沉淀饱和指数估算得到的101.8 mV相接近,但需进一步开展现场的Eh测量工作来验证及比对。依据此Eh,利用PHREEQC程序及OECD/NEA发布的最新热力学数据,并加入MUO_2(CO_3)_3~(2-)和M_2UO_2(CO_3)_3~0(M=Ca、Mg、Sr)的稳定常数,计算了可变价核素U、~(99)Tc、~(79)Se和Np在北山地下水中的形态分布和溶解度。结果表明,U和Tc的溶解度相对较高(约10~(-5)~10~(-4) mol/L),Se的溶解度相对较低(约10~(-8) mol/L),Np的溶解度则极低(约10~(-18) mol/L);此外,溶解态的U、Tc和Se主要以阴离子形式存在,具有较强的迁移性。另一方面,北山花岗岩富含二价铁离子,因此需进一步开展其对可变价核素还原沉淀作用的实验研究,以综合评价处置场的安全性能。     

高放废物地质处置库安全特性研究

高水平放射性废物(简称高放废物)是一种放射性强、毒性大、含有长半衰期核素且发热的特殊废物,对其进行最终处置难度极大,面临一系列的科学、技术、工程及社会学的挑战。高放废物安全处置的核心是,要确保在数万年甚至更长时间内,将高放废物与生物圈进行有效隔离。我国核武器研制和生产过程中,已经积累了一批亟待地质处置的高放废物,急需开展技术研发,并建设处置库对其进行最终地质处置。另外,我国核电站乏燃料后处理产生的高放废物以及某些不宜后处理的乏燃料,也需进行最终地质处置。本文针对高放废物安全处置的要求,对高放废物处置库的工程屏障(玻璃固化体、废物罐、缓冲材料等)和天然屏障(处置库围岩)的安全特性进行了研究,介绍了我国高放废物地质处置库选址、工程屏障和安全评价的进展。     

中低放固体废物西北处置场环境地质研究

西北处置场是中低水平放射性固体废物的处置场。研究表明,场址区无不良地质现象,工程地质条件较好。场地内不含第四系浅层水,第三系承压水埋深较大。查明了地下水的补给、流量和排泄条件。通过地下水弥散实验研究获得了地下水实际流速、流向、纵横向弥散度和弥散系数。包气带研究获得了岩土的非饱和渗透系数。场址区岩土具有较高的可