-
题名一种基于模式匹配的超媒体查询模型
- 1
-
-
作者
周学海
李光亚
李曦
龚育昌
赵振西
-
机构
中国科学技术大学计算机科学与技术系
上海万达信息股份有限公司
-
出处
《软件学报》
EI
CSCD
北大核心
2002年第7期1318-1323,共6页
-
基金
国家自然科学基金资助项目(69503005)
安徽省自然科学基金资助项目(99043302)
-
文摘
在基于语义网络的超媒体模型基础上,通过引入数据库模式、模式约束图以及分层模式依赖图等概念,提出了一种基于模式匹配的超媒体查询模型,给出了图形代数的形式化定义,并证明了该模型的查询能力.该模型具有较高的表达能力,能有效地降低用户的认知负载.
-
关键词
超媒体
模式约束图
图形代数
关系完备性
多媒体数据库
数据查询模型
-
Keywords
hypermedia systems
database schema
model constraint graph
graph algebra
relational completeness.
-
分类号
TP311.134
[自动化与计算机技术—计算机软件与理论]
-
-
题名3维空间线与体对象间的拓扑关系完备性研究
被引量：1
- 2
-
-
作者
张骏
秦小麟
胡彩平
-
机构
南京航空航天大学信息科学与技术学院
-
出处
《中国图象图形学报》
CSCD
北大核心
2009年第3期543-551,共9页
-
基金
国家自然科学基金项目(60673127)
国家高技术研究发展计划(863)项目(2007AA01Z404)
-
文摘
线与体是3维空间中两类重要的空间对象,对其之间的拓扑关系进行研究在地矿开采、交通运输等很多领域都有非常重要的应用价值。为了准确高效地对3维空间线与体,特别是复杂对象间的拓扑关系进行分析,首先定义了一类基本空间对象,同时用9交模型来表达空间对象之间的拓扑关系;然后利用线与体之间的9条否定规则推导出基本线与体之间可能存在的11种拓扑关系,再利用复合推导的方法来得到复合线对象与体之间的19种拓扑关系;最后得出了用于推导分析复杂线与体之间拓扑关系的算法。经过详细分析与讨论,证明了这些拓扑关系具有完备性。实践表明,利用完备拓扑关系,不仅可以保证推导分析算法的正确性,也能极大简化复杂线对象与体对象间拓扑关系的分析。
-
关键词
9交模型
拓扑关系
拓扑分析
拓扑关系完备性
线对象
体对象
-
Keywords
nine-intersection model, topological relations, topological analysis, completeness of topological relations, lines, bodies
-
分类号
P208
[天文地球—地图制图学与地理信息工程]
-
