国家自然科学基金(60573011)

作品数：4被引量：2H指数：1
导出分析报告
相关作者：赵希顺聂文龙邱玉文冯嘉礼沈榆平更多>>
相关机构：中山大学上海海事大学更多>>
相关期刊：《南京大学学报（数学半年刊）》《吉林大学学报（理学版）》《Chinese Quarterly Journal of Mathematics》《广西师范大学学报（自然科学版）》更多>>
相关主题：LARGUSETREPRESENTATIONSCOMPUTABILITY更多>>
相关领域：理学自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Co-regular集上的可计算算子
《吉林大学学报（理学版）》2008年第3期397-402,共6页邱玉文 赵希顺 
国家自然科学基金(批准号:60573011)
Co-regular热集是Rd上的一类集合,在第二类能行性理论(简称TTE)的框架下,研究co-regular集组成的类P上若干算子的可计算性,这些算子主要包括交、并、象、原象、补集的内部运算和开集的co-regularization等.结果表明,此前提出的所有不等...
关键词：第二类能行性理论 co-regular集 表示式 可计算算子 
整合非单调推理及时态推理(英文)
《南京大学学报（数学半年刊）》2007年第2期187-203,共17页沈榆平 赵希顺 
NSFC of Project (No.60573011,10410638)
在本文中我们提出一种整合的推理模式ASP^X,它同时支持非单调推理及时态约束推理,本文展示了它的语法,语义及复杂性分析,除此以外,我们详细研究了它的一个实例化的框架ASP^(DLR),并举例说明其能够作为实时领域内常识推理的逻辑基础.
关键词：非单调推理 时态约束推理 回答采编程 计算复杂性 
Representations of Co-regular Subsets on Euclidean Spaces被引量：2
《Chinese Quarterly Journal of Mathematics》2007年第2期252-257,共6页邱玉文 王莉萍 赵希顺 
Supported by the NSFC(60573011)
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...
关键词：type-2 theory of effectivity COMPUTABILITY computable set REPRESENTATIONS 
属性论的分级推理方法
《广西师范大学学报（自然科学版）》2006年第4期30-33,共4页聂文龙 冯嘉礼 
国家自然科学基金资助项目(60573011)
有效地处理属性论的分级现象,后承式的推理方法被引入至计算中,结果形成属性论的一个新的计算框架。
关键词：属性论 定性映射 后承式 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部