RCC11复合表的表示

微信服务号

微信订阅号

首页 > 过刊浏览>2007年第18卷第10期 >2458-2468

RCC11复合表的表示
DOI:
                        
                    
作者:
                        
                        
                    
作者单位:
作者简介:
通讯作者:
中图分类号:
基金项目: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))

Representation of RCC11 Composition Table

Author:

Affiliation:

Fund Project:

摘要

图/表

访问统计

参考文献

相似文献

引证文献

资源附件

文章评论

摘要:

主要研究熟知的区域连接演算(region connection calculus,简称RCC)的关系代数方面的性质.证明了补闭圆盘代数恰好构成RCC11复合表的一个表示,其中,RCC11复合表是由D(u)ntsch于1999年引入的.补闭圆盘代数由两类区域构成:一类是实平面中的所有闭圆盘;另一类是实平面中的所有闭圆盘的补的闭包组成.而连接关系为经典的Whiteheadean连接,即对区域a,b,aCb(表示a,b有连接关系)当且仅当 a∩b≠? .

Abstract:

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 a∩b≠? .

参考文献

相似文献

引证文献

引用本文

李永明,李三江. RCC11复合表的表示.软件学报,2007,18(10):2458-2468

复制

文章指标

点击次数:
下载次数:
HTML阅读次数:
引用次数:

历史

收稿日期:2005-05-08
最后修改日期:2006-05-11
录用日期:
在线发布日期:
出版日期:

微信服务号

微信订阅号

引用本文

分享

文章指标

历史