中国岩石力学与工程学会废物地下处置专业委员会成立大会暨首届学术交流大会在北京召开

由中国岩石力学与工程学会废物地下处置专业委员会主办,核工业北京地质研究院承办,东北理工学院和中国科学院武汉岩土力学研究所协办的“废物地下处置专业委员会成立大会暨首届学术交流大会”于2006年7月12日在北京召开,来自国防科工委,国家环保总局,国家自然科学基金委员会等政府部门以及中国核工业集团公司有关院所,中国科学院所属研究所和大学共42个单位90余名代表参加了会议。     

基于保守扩充理论的模块化本体重用

分析了本体重用的研究现状和目前重用方法只适用于单个独立本体的不足,以ε-Connections语言构建的模块化本体库为研究对象,基于保守扩充理论提出了本体模块知识完整性概念,并证明了知识完整性的相关性质.在此基础上,给出了一种针对模块化本体库的保守扩充重用算法ERMMO（extracting reused modules from modularontologies）,讨论了该算法的两种子算法EMMO_IK和EMO_IK的特点及适用条件.分析并验证了ERMMO算法的可行性和正确性.ERMMO算法是当前保守扩充重用算法的一般化扩充,对模块化思想应用于本体重用问题有所启示.     

SET协议中问题的分析及解决方案

文中对ＳＥＴ协议中的“ｋ ｏｕｔ ｏｆ ｎ”问题进行了全面的分析,并提出了完整的解决方案,在对ＳＥＴ付费业务流程中的两个关键性问题用ＮＤＬ逻辑进行验证后,给出了它们的Ｐｒｏｌｇｏ程序流程,全文着重于在ＳＥＴ协议中实现“防抵赖”和“可迫踪”两种安全机制,并在此基础上实现用Ｐｒｏｌｏｇ语言程序模拟验证过程,最后对电子商务的发展和今后将要做的工作做了一些初步的探讨。     

基于区分对象对集的不完备决策表求核算法

在不完备决策表中对求核算法的研究较少,且时间复杂度都相对较高.为此,根据不完备决策表中差别矩阵及其核的定义,给出条件属性的区分对象对集的定义,并得出其与决策表核属性的关系,从理论上证明求解不完备决策表的核可以转化到求条件属性的区分对象对集上.结合不完备决策表差别矩阵核的性质,提出一种基于区分对象对集的不完备决策表求核算法.实验结果表明,该算法的时间复杂度优于同类算法的时间复杂度.     

基于领域本体的文本分类方法

基于本体的文本分类方法未考虑本体概念自身所含有的信息量及忽略本体推理功能。为此,以旅游领域为背景,提出一种基于领域本体的文本分类方法。该方法采用本体自身结构作为分类标准,通过计算特征项和本体概念间的语义关联度及结合本体的推理功能,将文本划分到合适的本体概念下作为概念的实例。实验结果证明,与传统方法相比,该方法的分类方法F1值至少提高8.7%。     

描述逻辑系统FLεN中概念的最小公共包含算法研究

描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不合数量限制的描述逻辑系统,研究的是描述逻辑系统FLεN厂中的一种重要的非标准推理--概念的最小公共包含,它同时含有数量限制和存在限制,是对前人工作的推广.首先定义了FLεN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的推理算法,然后通过两棵概念描述树的笛卡儿积给出了两个概念的最小公共包含推理算法并指出了概念A,B的最小公共包含概念LCS(A,B)的大小size(LCS(A,B))是随着size(A),size(B)呈指数增长的.     

描述逻辑εL循环术语集的保守扩充

在计算机科学中,本体是动态的实体。为了适应新领域的发展,需要对原始本体增加新的公理或者与另一个本体融合。在本体的开发过程中,用户根据不同的需求和应用领域选择合适的本体导入另一个本体,从而实现对已建本体的扩充。判定扩充后的本体是否是扩充前本体的保守扩充是非常重要的。如果扩充后的本体不是扩充前本体的保守扩充,那么用户使用扩充后的本体将产生不可预知的影响。Lutz 等研究了描述逻辑εL的保守扩充问题,并且论证了εL的保守扩充是指数时间完全的。在Lutz等人的研究基础上研究了描述逻辑循环术语集的保守扩充问题。首先,给出了循环术语集在最大不动点语义下的保守扩充的充分条件是两个TBox 具有相同的原始概念,并论证了该算法是多项式时间复杂的。其次,给出最大不动点模型来处理循环术语集的保守扩充,并论证了该算法是指数时间复杂的。     

应用神经网络和AE信号对磨削烧伤的在线检测

磨削烧伤是磨削过程中常见缺陷之一,严重影响被加工零件质量和使用寿命,运用RBF神经网络和AE传感器实现了磨削过程中磨削烧伤的在线检测,通过分析磨削加工中AE信号的特性,计算240～400kHz内的信号有效值,峭度和歪度,处理后作为神经网络的输入向量,完成磨削烧伤的在线识别,通过比较在线识别结果和离线检测结果,证明了该在线检测系统具有较高的准确性.     

压缩应力条件下花岗岩损伤演化特征及其对渗透性影响研究

基于岩石三轴压缩应力–应变全过程渗透特性试验,结合三维声发射监测信息,研究花岗岩在不同围压条件下力学损伤演化机制及其对岩石渗透特性影响规律。本研究对常规渗透试验方法进行改进,通过在试样两端加工渗透小孔,实现岩石不同破坏形式下渗透性变化规律的测量。试验结果表明,在压缩应力作用下,花岗岩的损伤演化始于微裂隙的产生和扩展,并在岩石破坏时和峰后阶段发展迅速。该损伤演化的阶段性特征与声发射监测数据一致,进一步说明了裂隙扩展是导致花岗岩力学特性劣化的根本原因。随着微裂隙的扩展,岩石渗透性不断增强,但在峰前加载阶段渗透性变化明显滞后于损伤演化过程。该结果表明,在裂隙贯通并产生宏观破坏面之前,裂隙扩展对花岗岩渗透性影响非常有限。在低围压条件下,岩石渗透性随围压增大迅速减小;当围压增大到一定程度后,该趋势逐渐减弱。结合声发射监测数据,对不同应力条件下损伤演化与渗透特性的相互关系进行分析,并提出花岗岩渗透率与损伤和围压的相关经验公式。     

北山预选区公婆泉形成的地质、水文地质条件分析

公婆泉是我国高放废物处置库场址北山预选区众多泉中少有的淡水泉,该泉水的成因问题与处置库场址选择具有一定的关系.通过前人资料的分析,结合水文地质调查工作,探讨了该泉的成因,认为该泉是一个受潜水补给的下降泉.泉水的补给来源是位于该泉西南部的驼马滩盆地古近系一新近系下覆基岩古风化壳地下水,其水质良好、水量丰富,流向北东,经公婆泉丘陵一带后,在沟谷侵蚀含水层处溢出,形成公婆泉.