甘肃北山预选区旧井地段断裂的分形特征--中国高放废物处置的潜在场址

以甘肃北山旧井地段的断裂为研究对象,对其进行了分形特征研究。在对该区的TM遥感影像进行线性构造解译的基础上,利用线性构造分布图,使用Box Flex方法,计算了旧井地段断裂的分维值,结果表明,旧井地段断裂具有分形特征,且分维值为1．466,在工程岩体质量分级中属于“好”的级别。通过此项研究,初步建立了旧井地段断裂分形特征的研究方法,评价了该地段花岗岩的岩体工程质量,为高放废物处置库的选址和场址评价提供了基础资料。     

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

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

基于最大不动点模型的描述逻辑系统FLε的有穷基

研究了描述逻辑的有穷基问题,分析了有穷基在描述逻辑中的重要意义及其研究现状,并研究了形式概念分析中的属性蕴舍和Duguenne-Guigues基问题.利用形式概念分析中Duguenne-Guigues基存在的证明结果,在F.Baader工作基础上设置了描述逻辑的描述背景,重新定义了描述背景下的属性蕴含,证明了带循环术语的描述逻辑系统FLε存在最大不动点语义(greatest fixed-points,gfp)模型,给出了带循环术语的描述逻辑系统FLε在最大不动点模型下的有穷基的存在性定理,并证明有穷基的可靠性和完备性.描述逻辑有穷基可以帮助知识工程师构建一个更适用于推理的描述逻辑知识库.     

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

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

模态描述逻辑MALC模型的几个代数性质

本文定义了MALC模型间的同构、同态等关系,并讨论了合式公式在这些关系下的不变性等代数性质。最后定义了MALC的拓扑语义及基于拓扑语义互模拟,得到MALC的合式公式在拓扑互模拟下具有不变性。     

循环ALCN-Tbox具有模型的条件

分析了带循环定义的描述逻辑系统ALCN的研究现状和存在的问题,研究了循环ALCN-Tbox具有模型的条件,指出了Baader文中命题2.9(LetTbe a terminology such that each cycle inGTcontains an even number ofnegative arcs.ThenTis monotone)的错误,并对该命题进行了修改,给出了循环ALCN-Tbox具有不动点模型(最小不动点模型和最大不动点模型)的条件.     

模糊描述逻辑L-ALCN

为了使描述逻辑能够处理更一般化的模糊信息,Straccia给出了基于完备格的L-ALC描述逻辑系统．在该方法的基础上,提出了带数量约束算子的L-ALCN系统,给出了望ALCN的语法,并详细给出了概念（≥n R）和（≤n R）的语义．经典的描述逻辑系统中引入了数量约束算子后,角色尺就出现了多个后继．当系统的真子集扩充到完备格时,角色R的后继和断言的真值同时出现了多个．为了保证推理算法的合理性且得到可行的计算复杂度,引入了一个特殊的集合DL（c）,并且利用集合DL（c）扩展了完备格上的两条运算性质．在这些工作的基础上,深入研究了系统的推理算法,并证明了算法的终止性、可靠性与完全性．相对于L-ALC,系统L-ALCN具有更强的表达能力,并且L-ALCN的计算复杂度是Pspace完全的．     

模糊描述逻辑(&)-ALCN

为了使描述逻辑能够处理更一般化的模糊信息,Straccia给出了基于完备格的(&)-ALC描述逻辑系统.在该方法的基础上,提出了带数量约束算子的(&)-ALCN系统,给出了(&)-ALCN的语法,并详细给出了概念(≥n R)和(≤n R)的语义.经典的描述逻辑系统中引入了数量约束算子后,角色R就出现了多个后继.当系统的真子集扩充到完备格时,角色R的后继和断言的真值同时出现了多个.为了保证推理算法的合理性且得到可行的计算复杂度,引入了一个特殊的集合D(&)(c),并且利用集合D(&)(c)扩展了完备格上的两条运算性质.在这些工作的基础上,深入研究了系统的推理算法,并证明了算法的终止性、可靠性与完全性.相对于(&)-ALC,系统(&)-ALCN具有更强的表达能力,并且(&)-ALCN的计算复杂度是Pspace完全的.     

属性探索算法研究

Baader等人于2004～2007年将FCA方法引入描述逻辑中,建立了初步的属性探索算法。介绍了他们提出的属性探索算法,研究了该算法会产生冗余计算的可能情形。从相关性的角度提出了两种改进算法,并证明了它们的正确性。改进的算法在一定程度上避免了冗余,简化了计算。     

我国高放废物处置库甘肃北山预选区地壳稳定性研究

在总结国内外已有的经验的基础上,从下列几方面较深入地探讨了北山地区的地壳稳定性问题:区域大地构造特征及其演化历史,区域地球物理场特征及地壳结构分区,区域深断裂特征,区域地震活动性,区域新构造运动特征,区域现代构造应力场及其计算机模拟,TM遥感影像地质解译在地壳稳定性研究中的应用,以及区域地壳稳定性评价。研究结果表明,研究区可划分成八个不同的稳定性区域。其中,北山稳定区条件最好,其地壳稳定性符合国际原子能机构1994年安全指南111-G-4.1对高放废物处置库场地预选的要求,可以作为处置库预选区,开展进一步的场址筛选和场址特性评价等工作。