欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
主要研究熟知的区域连接演算（regionconnectioncalculus，简称RCC）的关系代数方面的性质．证明了补闭圆盘代数恰好构成RCC11复合表的一个表示，其中，RCC11复合表是由Dtintsch于1999年引入的，补闭圆盘代数由两类区域构成：一类是实平面中的所有闭圆盘；另一类是实平面中的所有闭圆盘的补的闭包组成．而连接关系为经典的Whiteheadean连接，即对区域a,b，aCb（表示a,b有连接关系）当且仅当a∩b≠φ．
英文摘要：
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 Duntsch. 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≠φ）.
同期刊论文项目
同项目期刊论文
期刊信息
位置：