主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第8期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
李永明,李三江.RCC11复合表的表示.软件学报,2007,18(10):2458-2468
RCC11复合表的表示
Representation of RCC11 Composition Table
投稿时间:2005-05-08  修订日期:2006-05-11
DOI:
中文关键词:  区域连接演算  连接关系代数  RCC11复合表  补闭圆盘代数  对偶关系集  扩张性
英文关键词:region connection calculus  contact relation algebras  RCC11 composition table  complemented closed disk algebra  dual-relation set  extensionality
基金项目:Supported by the National Natural Science Foundation of China under Grant Nos.10571112,60673105(国家自然科学基金);the Teaching and Research Award Program for Outstanding Young Teachers in Higher Education Institutions of MOE,China(高等学校优秀青年教师教学科研奖励计划);the National Basic Research Program of China under Grant No.2002CB312200(国家重点基础研究发展计划(973))
作者单位
李永明 陕西师范大学,计算机科学学院,陕西,西安,710062 
李三江 清华大学,计算机科学与技术系,智能技术与系统国家重点实验室,北京,100084 
摘要点击次数: 3202
全文下载次数: 2749
中文摘要:
      主要研究熟知的区域连接演算(region connection calculus,简称RCC)的关系代数方面的性质.证明了补闭圆盘代数恰好构成RCC11复合表的一个表示,其中,RCC11复合表是由D(u)ntsch于1999年引入的.补闭圆盘代数由两类区域构成:一类是实平面中的所有闭圆盘;另一类是实平面中的所有闭圆盘的补的闭包组成.而连接关系为经典的Whiteheadean连接,即对区域a,b,aCb(表示a,b有连接关系)当且仅当 ab≠? .
英文摘要:
      This paper is mainly concerned with the relation-algebraic aspects of the well-known Region Connection Calculus (RCC).It is shown that the complemented closed disk algebra is a representation for the relation algebra determined by the RCC11 table,which was first described by Düntsch.The domain of this algebra contains two classes of regions,the closed disks and closures of their complements in the real plane,and the contact relation is the standard Whiteheadean contact(i.e.aCb iff ab≠? .
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利