【摘 要】
：
空间网络间的空间关系的表示和推理在空间数据库领域具有重要的意义.为了对复杂的空间网络间的空间关系进行定义和区分,首先提出了空间网络间的空间关系的谓词表示和交集模型
【机 构】
：
哈尔滨理工大学计算机科学与技术学院,哈尔滨工业大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金（60673136）, 黑龙江省自然科学基金（F200601）资助
论文部分内容阅读
空间网络间的空间关系的表示和推理在空间数据库领域具有重要的意义.为了对复杂的空间网络间的空间关系进行定义和区分,首先提出了空间网络间的空间关系的谓词表示和交集模型表示方法,给出了空间网络间的空间关系模型的特征条件式和蕴涵条件式,进一步给出了空间网络间的空间关系的划分定理和推论;系统研究了空间网络间的空间关系的推理方法,针对空间网络间的空间关系推理特点,提出了推理相斥规则和推理蕴涵规则.研究成果为空间网络间的空间关系在空间数据库中的应用奠定了基础,极大地增强了空间数据库处理复杂对象的空间关系的能力.
其他文献
为研究不同工艺仙人掌提取物对绿壳蛋鸡生产性能的影响,选取7 260只40周龄绿壳蛋鸡,随机分为3组（处理Ⅰ组、处理Ⅱ组和对照组）。对照组饲喂基础饲粮,处理Ⅰ组在基础饲粮中添加
目的探讨老年肺炎的临床特征和治疗效果。方法选择我院2007年1月至2009年12月肺炎老年患者83例,分析其临床症状和体征、并发症、基础疾病、白细胞计数和痰培养等,以上患者均
维生素A是人类最早发现的维生素。1914年Mc Collum和Davis从卵黄和奶油中提取出一种脂溶性生长因子,命名为维生素A。1931年Karrer等测定出维生素A的视黄醇结构并获得诺贝尔奖
网络取证面临着复杂多样的网络入侵环境,尤其是对于复合攻击的取证,为此提出了网络协同取证计算新概念.通过对传统的函数依赖关系理论的扩展,提出了以一定概率相依赖的概率函
传统的含指针程序切片方法将指向分析与切片计算分开,增加了一定系统开销,为此文中提出一种可同时进行切片计算和指向分析的单子切片算法.该算法将程序正向切片思想与数据流
合取范式最大可满足问题是理论计算机科学的核心问题．局部搜索被许多求解实践证明是解答合取范式最大可满足问题十分有效的方法，但未见关于局部搜索算法解答该问题性能分析的结