您的位置: 专家智库 > >

国家自然科学基金(60573011)

作品数:4 被引量:2H指数:1
相关作者:赵希顺聂文龙邱玉文冯嘉礼沈榆平更多>>
相关机构:中山大学上海海事大学更多>>
发文基金:国家自然科学基金更多>>
相关领域:理学自动化与计算机技术更多>>

文献类型

  • 4篇中文期刊文章

领域

  • 3篇理学
  • 1篇自动化与计算...

主题

  • 2篇GU
  • 2篇LAR
  • 1篇定性映射
  • 1篇英文
  • 1篇映射
  • 1篇属性论
  • 1篇算子
  • 1篇非单调推理
  • 1篇REPRES...
  • 1篇SET
  • 1篇表示式
  • 1篇SUBSET...
  • 1篇COMPUT...

机构

  • 3篇中山大学
  • 1篇上海海事大学

作者

  • 2篇赵希顺
  • 1篇沈榆平
  • 1篇冯嘉礼
  • 1篇邱玉文
  • 1篇聂文龙

传媒

  • 1篇广西师范大学...
  • 1篇南京大学学报...
  • 1篇Chines...
  • 1篇吉林大学学报...

年份

  • 1篇2008
  • 2篇2007
  • 1篇2006
4 条 记 录,以下是 1-4
排序方式:
Representations of Co-regular Subsets on Euclidean Spaces被引量:2
2007年
For the computability of co-regular subsets in metric spaces, the properties of the co-regular subsets and several reasonable representations on co-regular sets have been suggested in this paper. As last, the 'weaker or stronger' relations of these representations have been revealed.
邱玉文王莉萍赵希顺
关键词:COMPUTABILITYREPRESENTATIONS
Co-regular集上的可计算算子
2008年
Co-regular热集是Rd上的一类集合,在第二类能行性理论(简称TTE)的框架下,研究co-regular集组成的类P上若干算子的可计算性,这些算子主要包括交、并、象、原象、补集的内部运算和开集的co-regularization等.结果表明,此前提出的所有不等价表示式中,只有个别表示式对这些算子是可计算的.
邱玉文赵希顺
关键词:表示式
整合非单调推理及时态推理(英文)
2007年
在本文中我们提出一种整合的推理模式ASP^X,它同时支持非单调推理及时态约束推理,本文展示了它的语法,语义及复杂性分析,除此以外,我们详细研究了它的一个实例化的框架ASP^(DLR),并举例说明其能够作为实时领域内常识推理的逻辑基础.
沈榆平赵希顺
关键词:非单调推理
属性论的分级推理方法
2006年
有效地处理属性论的分级现象,后承式的推理方法被引入至计算中,结果形成属性论的一个新的计算框架。
聂文龙冯嘉礼
关键词:属性论定性映射
共1页<1>
聚类工具0