三维拓扑空间关系的形式化描述及拓扑空间关系最小集

阐明了研究空间关系理论的必要性，分析了拓扑空间关系描述方法的研究进展及存在问题，以点集拓扑理论为基础，运用维数扩展的方法，提出了三维拓扑空间关系完善和形式化的描述框架，对三维空间目标点、线、面、体之间的１０类拓扑空间关系，给出了图例表示及语义描述．在此基础上，对三维空间目标中存在的大量拓扑空间关系进行了分类，定义了５种基本的拓扑空间关系，并给出了三维拓扑空间关系最小集的互斥性与完备性证明     

带双洞区域与简单区域间的拓扑关系

研究了带双洞区域与简单区域间的空间拓扑关系。基于RCC5通过扩展4-交集矩阵得到了16-交集模型,一个带双洞区域可以视为一个简单区域A及包含在其中的两个简单区域B与C,即一个带双洞区域与一个简单区域可以看作是满足一定限制条件的4个简单区域,由16-交集模型可以得到带双洞区域与简单区域间的70种可实现的拓扑关系,并且证明了这70种拓扑关系是两两互斥且完备的。通过比较可知,它比由两两区域间RCC-5关系来描述的拓扑关系更为细致,表达能力更强。     

GIS中空间拓扑关系的形式化描述

介绍了空间拓扑关系的形式化描述的一些方法,并提出了一种新的描述方法即基于Ｖｏｒｏｎｏｉ图的维扩展描述法。     

GIS空间拓扑关系形式化描述模型分析

空间拓扑关系形式化描述模型是GIS空间关系研究的重要内容之一,在GIS数据建模、空间查询、空间分析、空间推理等过程中起着重要作用．文中主要给出了空间拓扑关系形式化描述方法的分类,阐述了空间拓扑关系的形式化描述模型与表达方法,分析比较了各自的优缺点,并探讨了目前存在的问题和今后的发展方向．     

三个简单区域间的拓扑关系的表示模型

空间拓扑关系的研究多数集中在两个区域间的拓扑关系上,对两个以上区域间拓扑关系的研究则很少。本文通过扩展4-交集矩阵得到8-交集模型,对三个简单区域间空间关系进行表示,并给出了三个简单区域间的109种拓扑关系图。与分别表示出三个简单区域间两两拓扑关系的4-交集矩阵方法相比,本文提出的8-交集矩阵表示法能直接对三个简单区域间的拓扑关系进行表示,且新增了56种基本关系,表达力更强。证明了8-交集模型中基本关系的完备性和互斥性,给出算法并通过程序验证了三个简单区域间至多有109种可实现的拓扑关系,并给出了109种三元拓扑关系的概念领域图。     

GIS中模糊区域拓扑关系形式化描述

空间区域的拓扑关系是G IS中空间要素间最基本也是最重要的关系之一,空间区域被抽象概括为G IS中的空间目标时不可避免地会带有模糊性.为了描述模糊区域间的拓扑关系,在四交差模型基础上,利用Rough集这个强大的数学工具构建了适合于描述确定与模糊区域或两个模糊区域间拓扑空间关系的形式化模型.     

一类宽边界区域与简单区域间的拓扑关系

通过扩展4-交集矩阵得到8-交集模型,对一个宽边界区域和一个简单区域间拓扑关系进行表示,并给出了一个宽边界区域和一个简单区域间的11种拓扑关系图。证明了8-交集模型中基本关系的完备性和互斥性,给出算法并通过程序验证了一个宽边界区域和一个简单区域间至多有11种拓扑关系,验证了这11种拓扑关系均是可实现的。     

能表达带洞区域拓扑关系的扩展9-交集模型

为了表达带洞区域拓扑关系,通过扩展9-交集模型,将9-交集矩阵的元素扩展为二进制编码,提出了一种新的拓扑关系表达方法——D9-交集模型;讨论了D9-交集模型的性质,并比较了该模型与9-交集模型的表达能力。结果表明,D9-交集模型既能表达简单区域拓扑关系,也能表达带洞区域拓扑关系,还能区分9-交集模型不能区分的拓扑关系,表达能力强于9-交集模型,表达结果更符合人们的认知。     

线线空间关系描述的拓扑链模型

基于GIS数据库中线线空间冲突检测的需求,分析了线目标间空间关系精细化描述和计算模型.采用GIS空间关系理论,利用分解组合的思想,将拓扑不变量归结为局部拓扑关系及次序,并提出了一种将线线拓扑关系与序关系、度量关系集成描述的拓扑链模型.结果表明:该模型可以集成描述线目标间局部详细的拓扑关系、左右关系及相交角度、交点数量、交点距离、相交区域面积等度量关系,可以满足GIS数据库中的线目标间空间冲突检测的需求.     

一个凹形区域和一个简单区域间拓扑关系的表示

通过扩展4-交集矩阵得到6-交集矩阵,对一个凹形区域和一个简单区域间的拓扑关系进行表示,而且得到凹形区域和简单区域间的17种拓扑关系图,并给出其概念领域图。本文提出的6-交集模型比RCC5关系新增了12种拓扑关系,其表达能力更强。证明了一个凹形区域和一个简单区域间17种拓扑关系的互斥性和完备性;给出了拓扑关系算法,并通过程序验证了17种拓扑关系均是可实现的。     

FMS中加工质量故障预报的新方法

对引起加工质量故障的原因进行了研究,建立了用于加工中心加工质量故障分析的与/或故障树,提出了隐加工质量故障(FMQF)的概念和由·FMQF 找出制造系统故障的决策树方法.本文在模糊理论基础上,提出了隐加工质量故障识别的新方法,用这种方法可以根据控制图的变化进行设备状态估计.基于以上研究,建立了可用于柔性制造系统隐加工质量故障预测和预报的专家系统.     

立方准晶的反平面问题与Ⅲ型裂纹问题

发展了立方准晶材料的断裂理论 .通过应用Fourier分析和对偶积分方程理论 ,得到了立方准晶材料Ⅲ型裂纹问题的精确解析解 ,并由此确定了位移与应力场 ,应力强度因子和应变能释放率 .结果表明 ,应力强度因子与材料常数无关 ,而应变能释放率依赖于所有的材料常数 .这些为研究此新固体材料的变形和断裂提供了重要的信息 .     

Banach代数中的行列式理论

探讨了 Banach 代数中的行列式理论.给出了具有单位元的迹 Banach 代数具有行列式的充要条件.     

非织造布滤料性能及过滤过程的研究进展

对近年来非织造布滤料的研究进展做了简要综述,介绍了内部结构的研究及表征、过滤性能及其影响因素、过滤过程的计算机模拟,指出进一步发展所需要解决的问题。     

Genomics,metagenomics,and microbial oceanography—A sea of opportunities

Microbial oceanography is an emerging discipline resulted from the interaction,cross-fertilization and integration of life science and ocean science.Microbial oceanography integrates the principles of marine microbiology,microbial ecology and oceanography to study the role of microorganisms in the biogeochemical dynamics of natural marine ecosystems.The application of genomics tools to study marine microbes is resulting in rapid advancements in microbial oceanography that has important implications in globa...     

Information for Authors

正General Journal of Beijing Institute of Technology(JBIT),an English language journal sponsored by Beijing Institute of Technology,was established in 1992.JBIT mainly publishes research articles that reflect the latest achievements in basic theory and experimental studies in various engineering fields and in applied mathematics,mechanics,physics,chemistry,and so on.JBIT is listed in Ei,CA,SA,AJ,CSA,MR,ZM and many other abstracting indexes.     

Information for Authors

正General Journal of Beijing Institute of Technology(JBIT),an English language journal sponsored by Beijing Institute of Technology,was established in 1992.JBIT mainly publishes research articles that reflect the latest achievements in basic theory and experimental studies in various engineering fields and in applied mathematics,mechanics,physics,chemistry,and so on.     

Research on How to Teach Vocabulary by Adopting Morphological Method

On the basis of some theories and teaching experience, the thesis first attaches importance to vocabulary teaching and suggests that a morphological method should be applied. Supported by some examples, how to teach vocabulary in a morphological way is mainly discussed in the essay.     

基于WPA的无线局域网安全性分析

本文详细分析了最新的无线安全加密体制WPA的规范并对其安全性做了分析,结合目前广 泛使用的WEP加密体制的弱点,分析WPA的相比与WEP的优点,指出了WPA代替WEP成为无线安全屏 障的必然。     

Banach代数中的不变行列式

研究了 Banach 代数中的不变行列式问题.获得了整迹 Banach 代数(A,τ)具有 G-不变行列式的充要条件,这里 G 表示 A 的自同构群并且保持迹不变.