期刊导航
期刊开放获取
vip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
5
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于领域知识的不确定关系模式集成
被引量：
3
1
作者
胡文彬
李千目
张宏
《南京理工大学学报》
EI
CAS
CSCD
北大核心
2010年第4期409-414,共6页
为了解决关系数据库中关系模式集成中的不确定问题,提出了一个基于领域知识的不确定关系模式集成模型。该模型运用领域知识、语义集成方法和证据组合方法处理模式集成各个阶段的不确定性,并给出了各阶段不确定度的表示和计算方法。文中...
为了解决关系数据库中关系模式集成中的不确定问题,提出了一个基于领域知识的不确定关系模式集成模型。该模型运用领域知识、语义集成方法和证据组合方法处理模式集成各个阶段的不确定性,并给出了各阶段不确定度的表示和计算方法。文中给出了不确定匹配关系和不确定模式集成的全新定义,提出了一种全局集成模式可信度的计算方法。实例分析证明该模型是可行的,与已知方法相比具有较高的执行效率和较低的时间复杂度。
展开更多
关键词
不确定模式匹配
语义集成
证据组合方法
不确定模式集成
在线阅读
下载PDF
职称材料
Z规格说明构造方法
被引量：
1
2
作者
刘玲
缪淮扣
《计算机工程》
CAS
CSCD
北大核心
2000年第2期39-41,共3页
比较完整地描述了Ｚ规格说明的结构和写规格说明的步骤，并通过一个所设计的Ｚ规格说明的实例演示了用Ｚ编写规格说明的过程。
关键词
规格说明
Z模式
初始化定理证明
前置条件简化
在线阅读
下载PDF
职称材料
数学工具主义者对归纳问题的认识论分析
被引量：
2
3
作者
薄谋
《科学技术哲学研究》
CSSCI
北大核心
2021年第1期34-39,共6页
在数学证明的过程中,人们经常使用的方法是数学归纳法。数学归纳法体现的是从有限上升到无穷的过程。根据希尔伯特的术语,有限体现的是实在数学,无穷体现的是理想数学。希尔伯特工具主义者坚持用理想数学替代实在数学,这就是元数学替换...
在数学证明的过程中,人们经常使用的方法是数学归纳法。数学归纳法体现的是从有限上升到无穷的过程。根据希尔伯特的术语,有限体现的是实在数学,无穷体现的是理想数学。希尔伯特工具主义者坚持用理想数学替代实在数学,这就是元数学替换策略。但这种策略在归纳上有两个亟待解决的问题。首先是归纳的地位问题。这是数学哲学中的认识论问题,人们需要在有限思维中确定归纳的位置。其次是元数学替换策略是一种非直谓主义,这就招致了庞加莱的反对。庞加莱持一种直谓主义的观点,他认为希尔伯特的元数学使用了循环论证。希尔伯特工具主义者通过对证明模式的分析,解决了第一个问题。通过区分两种不同归纳,解决了第二个问题。通过对庞加莱问题的解决,希尔伯特工具主义者引出了他们的改良实在论,也就是在抽象元素中加入具体事物,而在有限思维中加入抽象对象。这就为我们提供了一种解决贝纳塞拉夫问题的方案。
展开更多
关键词
希尔伯特工具主义
数学归纳法
证明模式
庞加莱问题
原文传递
数据集成中不确定性模式匹配模型的研究
4
作者
胡文彬
李千目
张宏
《计算机应用》
CSCD
北大核心
2010年第10期2592-2594,2617,共4页
针对已有模式匹配中证据组合方法效率较低的缺点,提出一个能够处理不确定性模式匹配的模型——USMM(Uncertain Schema Matching Model)。该模型是多维混合模型,其中运用领域知识和证据组合方法处理模式匹配中的不确定性,以降低匹配复杂...
针对已有模式匹配中证据组合方法效率较低的缺点,提出一个能够处理不确定性模式匹配的模型——USMM(Uncertain Schema Matching Model)。该模型是多维混合模型,其中运用领域知识和证据组合方法处理模式匹配中的不确定性,以降低匹配复杂度;利用模式的多维结构信息挖掘匹配中内在的不确定性;在计算名称相似度的公式中加入可信度来细化匹配的不确定度。最后形式化定义了不确定模式匹配、不确定匹配关系。实例分析证明该模型是可行的,具有较高的实用价值。
展开更多
关键词
模式匹配
不确定性
领域知识
证据组合
不确定模式匹配
在线阅读
下载PDF
职称材料
Semantic Web研究综述
被引量：
12
5
作者
龚洪泉
张敬周
+1 位作者
钱乐秋
任洪敏
《计算机应用与软件》
CSCD
北大核心
2005年第2期1-6,119,共7页
近年来 ,SemanticWeb逐渐成为WWW领域的研究热点以及智能化网络服务和应用开发中的关键技术之一。归纳了Se manticWeb技术的研究背景和主要发展历史。在分析了典型的SemanticWeb概念后 ,给出了SemanticWeb的定义。通过讨论SemanticWeb...
近年来 ,SemanticWeb逐渐成为WWW领域的研究热点以及智能化网络服务和应用开发中的关键技术之一。归纳了Se manticWeb技术的研究背景和主要发展历史。在分析了典型的SemanticWeb概念后 ,给出了SemanticWeb的定义。通过讨论SemanticWeb构想的层次框架模型 ,指出了各个层次扮演的角色 ,并着重分析了SemanticWeb的重要研究领域 ,指出了它们在SemanticWeb构架中的核心作用。通过分析SemanticWeb的应用领域和相关开发工具以及面临的问题和挑战 ,指明了SemanticWeb研究和实践的方向。作为总结 ,给出了SemanticWeb领域下一步的研究趋势。
展开更多
关键词
WWW
网页信息
网络资源
计算机网络
SEMANTIC
WEB
智能化网络服务
在线阅读
下载PDF
职称材料
题名
基于领域知识的不确定关系模式集成
被引量：
3
1
作者
胡文彬
李千目
张宏
机构
南京理工大学计算机科学与技术学院
淮海工学院计算机工程学院
出处
《南京理工大学学报》
EI
CAS
CSCD
北大核心
2010年第4期409-414,共6页
基金
国家自然科学基金(60903027)
江苏省"六大人才高峰"资助项目(90718021)
国家省部级专项先期投入基金(2010XQTR04)
文摘
为了解决关系数据库中关系模式集成中的不确定问题,提出了一个基于领域知识的不确定关系模式集成模型。该模型运用领域知识、语义集成方法和证据组合方法处理模式集成各个阶段的不确定性,并给出了各阶段不确定度的表示和计算方法。文中给出了不确定匹配关系和不确定模式集成的全新定义,提出了一种全局集成模式可信度的计算方法。实例分析证明该模型是可行的,与已知方法相比具有较高的执行效率和较低的时间复杂度。
关键词
不确定模式匹配
语义集成
证据组合方法
不确定模式集成
Keywords
uncertain schema matching
semantic integration
proof combination methods
uncertain schema integration
分类号
TP31 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
Z规格说明构造方法
被引量：
1
2
作者
刘玲
缪淮扣
机构
上海大学计算机科学系
出处
《计算机工程》
CAS
CSCD
北大核心
2000年第2期39-41,共3页
基金
国家自然科学基金(编号69773038)
上海市教委科技发展基金(编号97A42)
文摘
比较完整地描述了Ｚ规格说明的结构和写规格说明的步骤，并通过一个所设计的Ｚ规格说明的实例演示了用Ｚ编写规格说明的过程。
关键词
规格说明
Z模式
初始化定理证明
前置条件简化
Keywords
Specification
Z schema
Proof of initialization theorem
Precondition simplifying
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
G424.7 [文化科学—课程与教学论]
在线阅读
下载PDF
职称材料
题名
数学工具主义者对归纳问题的认识论分析
被引量：
2
3
作者
薄谋
机构
兰州大学哲学社会学院
出处
《科学技术哲学研究》
CSSCI
北大核心
2021年第1期34-39,共6页
基金
国家社科基金青年项目“集合论及其在弗雷格算术中的应用”(16CZX050)
中央高校基本科研业务费专项资金资助“弗雷格算术模型”(16LZUJBWZY051)
+1 种基金
中央高校基本科研业务费专项资金资助“数学中的结构主义思潮”(17LZUJBWZY088)
国家社会科学基金重大资助项目“当代逻辑哲学重大前沿问题研究”(17ZDA024)。
文摘
在数学证明的过程中,人们经常使用的方法是数学归纳法。数学归纳法体现的是从有限上升到无穷的过程。根据希尔伯特的术语,有限体现的是实在数学,无穷体现的是理想数学。希尔伯特工具主义者坚持用理想数学替代实在数学,这就是元数学替换策略。但这种策略在归纳上有两个亟待解决的问题。首先是归纳的地位问题。这是数学哲学中的认识论问题,人们需要在有限思维中确定归纳的位置。其次是元数学替换策略是一种非直谓主义,这就招致了庞加莱的反对。庞加莱持一种直谓主义的观点,他认为希尔伯特的元数学使用了循环论证。希尔伯特工具主义者通过对证明模式的分析,解决了第一个问题。通过区分两种不同归纳,解决了第二个问题。通过对庞加莱问题的解决,希尔伯特工具主义者引出了他们的改良实在论,也就是在抽象元素中加入具体事物,而在有限思维中加入抽象对象。这就为我们提供了一种解决贝纳塞拉夫问题的方案。
关键词
希尔伯特工具主义
数学归纳法
证明模式
庞加莱问题
Keywords
Hilbertian instrumentalism
mathematical induction
proof-schema
Poincare’s problem
分类号
N02 [自然科学总论—科学技术哲学]
原文传递
题名
数据集成中不确定性模式匹配模型的研究
4
作者
胡文彬
李千目
张宏
机构
淮海工学院计算机工程学院
南京理工大学计算机科学与技术学院
出处
《计算机应用》
CSCD
北大核心
2010年第10期2592-2594,2617,共4页
基金
国家自然科学基金资助项目(60903027)
江苏六大人才高峰基金资助(90718021)
国家省部级专项先期投入基金资助项目(2010XQTR04)
文摘
针对已有模式匹配中证据组合方法效率较低的缺点,提出一个能够处理不确定性模式匹配的模型——USMM(Uncertain Schema Matching Model)。该模型是多维混合模型,其中运用领域知识和证据组合方法处理模式匹配中的不确定性,以降低匹配复杂度;利用模式的多维结构信息挖掘匹配中内在的不确定性;在计算名称相似度的公式中加入可信度来细化匹配的不确定度。最后形式化定义了不确定模式匹配、不确定匹配关系。实例分析证明该模型是可行的,具有较高的实用价值。
关键词
模式匹配
不确定性
领域知识
证据组合
不确定模式匹配
Keywords
schema matching
uncertainty
domain knowledge
proof combination
uncertain schema matching
分类号
TP181 [自动化与计算机技术—控制理论与控制工程]
TP391.4 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
Semantic Web研究综述
被引量：
12
5
作者
龚洪泉
张敬周
钱乐秋
任洪敏
机构
复旦大学计算机信息与技术系
出处
《计算机应用与软件》
CSCD
北大核心
2005年第2期1-6,119,共7页
基金
国家高技术研究发展计划资助项目(2 0 0 1AA1 1 0 0 2 4 1 )
文摘
近年来 ,SemanticWeb逐渐成为WWW领域的研究热点以及智能化网络服务和应用开发中的关键技术之一。归纳了Se manticWeb技术的研究背景和主要发展历史。在分析了典型的SemanticWeb概念后 ,给出了SemanticWeb的定义。通过讨论SemanticWeb构想的层次框架模型 ,指出了各个层次扮演的角色 ,并着重分析了SemanticWeb的重要研究领域 ,指出了它们在SemanticWeb构架中的核心作用。通过分析SemanticWeb的应用领域和相关开发工具以及面临的问题和挑战 ,指明了SemanticWeb研究和实践的方向。作为总结 ,给出了SemanticWeb领域下一步的研究趋势。
关键词
WWW
网页信息
网络资源
计算机网络
SEMANTIC
WEB
智能化网络服务
Keywords
Semantic Web Web services RDF RDF schema Topic maps Ontology Agent Rule Logic Proof Trust
分类号
TP393.092 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于领域知识的不确定关系模式集成
胡文彬
李千目
张宏
《南京理工大学学报》
EI
CAS
CSCD
北大核心
2010
3
在线阅读
下载PDF
职称材料
2
Z规格说明构造方法
刘玲
缪淮扣
《计算机工程》
CAS
CSCD
北大核心
2000
1
在线阅读
下载PDF
职称材料
3
数学工具主义者对归纳问题的认识论分析
薄谋
《科学技术哲学研究》
CSSCI
北大核心
2021
2
原文传递
4
数据集成中不确定性模式匹配模型的研究
胡文彬
李千目
张宏
《计算机应用》
CSCD
北大核心
2010
0
在线阅读
下载PDF
职称材料
5
Semantic Web研究综述
龚洪泉
张敬周
钱乐秋
任洪敏
《计算机应用与软件》
CSCD
北大核心
2005
12
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
