国家自然科学基金(60310213)

作品数：29被引量：94H指数：6
导出分析报告
相关作者：沈复兴傅莺莺张玉强刘同明刘亮亮更多>>
相关机构：江苏科技大学北京师范大学贵州大学中国科学院软件研究所更多>>
相关期刊：《遥感信息》《济南大学学报（自然科学版）》《南京大学学报（数学半年刊）》《计算机应用》更多>>
相关主题：本体心血管疾病领域本体数据挖掘基于本体更多>>
相关领域：自动化与计算机技术理学机械工程文化科学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种超图类的全图存在性问题研究
《北京师范大学学报（自然科学版）》2009年第1期1-4,共4页吴茂念 沈复兴 傅莺莺 
国家自然科学基金资助项目(60573009,60310213);贵州省省长基金资助项目(2005-212)
证明了当n≥4时,不存在排斥Cn的k-一致的可数超图的全图.Hanjanl和Pach于1981年证明了当k=2且n=4的情形;Cherlin和Komjath于1994年证明了当k=2且n≥4的情形,这里的结果是他们结论的推广.
关键词：超图 全图 k-一致 排斥Cn 
三素元组猜想对于Peano公理组的条件独立性
《北京师范大学学报（自然科学版）》2008年第4期360-361,共2页马鑫 沈复兴 
国家自然科学基金资助项目(60573009,60310213)
用模型论的方法证明了一类三素元组猜想独立于一公理组,此公理组在自然数系N上是与Peano算数公理组等价的.
关键词：三素元组 Peano公理组 紧致性定理 模型 
电子政务系统中数据交换平台设计被引量：10
《计算机技术与发展》2008年第7期218-221,共4页江湧 于建武 刘镇 李征 
国家自然科学基金(60310213)
分析了当前电子政务系统中存在的数据交换问题,及各种交换网络拓扑结构的优缺点。基于以上分析,提出了内网数据交换和专网(外网)数据交换的"星形树"网络拓扑结构,以此为基础,设计了一种松耦合、扩展性强的电子政务数据交换平台系统原型...
关键词：电子政务 异构系统 数据交换 
树上推广的Multicut问题的近似算法被引量：3
《计算机研究与发展》2008年第7期1195-1202,共8页张鹏 
国家杰出青年基金项目(60325206);国家自然科学基金项目(60310213)
给定边上有费用的树T,终端集合族X={S1,S2,…,Sl},推广的Multicut问题询问费用最小的边集,使得在树上删除边集中的边能够断开每一个终端集.推广的Multicut问题有其独立的研究意义,因为该问题分别是经典的Multicut问题和Multiway Cut问...
关键词：Multicut 树 线性规划 近似算法 组合优化 
完全稠密二叉偏序理论可量词消去的新证明
《北京师范大学学报（自然科学版）》2008年第2期111-114,共4页傅莺莺 沈复兴 吴茂念 
国家自然科学基金资助项目(60310213)
利用理论的代数素模型和简单闭性质,给出了完全稠密二叉偏序理论可量词消去的新的简短的证明.
关键词：量词消去 完全稠密二叉偏序 代数素模型 简单闭性质 
网格与本体协同的心血管疾病领域本体的构建被引量：1
《科学技术与工程》2008年第7期1707-1711,共5页孙颖 倪天权 王东升 
国家自然科学基金(60310213)资助
在讨论了面向网格与本体协同的医学知识获取体系的基础上,主要创新在于以心血管疾病知识为例,构建与医学网格本体知识库匹配用的领域医学本体知识库资源,建立心血管本体体系结构和领域模式,形式地表示领域概念、概念的性质及概念与概念...
关键词：网格 本体 医学网格本体知识库 领域医学本体知识库 心血管疾病本体知识库 
本体在高校信息资源管理系统中的应用被引量：1
《科学技术与工程》2008年第8期2075-2080,共6页孙颖 倪天权 刘亮亮 
国家自然科学基金项目(60310213)资助
本体是一种能在语义和知识层次上描述信息系统的概念模型,为了更好刻画高校信息资源,我们将本体引入信息资源管理中,建立基于本体的高校信息资源管理系统,利用本体实现了高校信息资源管理系统(IRMU)基础层——本体库的构建,提高了对现...
关键词：本体 信息资源管理 高校信息资源 
基于领域本体的心血管疾病辅助诊断系统被引量：9
《微计算机信息》2008年第1期276-277,251,共3页王东升 刘亮亮 曹敢 王莉莉 
国家自然科学基金(NO.60310213)
本文基于本体理论建立了心血管疾病知识库,并在此基础上开发了辅助诊断系统。系统开发工作包括领域知识本体建模、知识本体的形式化与存储、诊断推理等。文中分别对案例知识和经验知识进行了形式化描述,并建立了相应的诊断模型。
关键词：领域本体 诊断推理 辅助诊断 
完全分叉树理论可量词消去的新证明被引量：2
《南京大学学报（数学半年刊）》2007年第2期204-212,共9页傅莺莺 沈复兴 吴茂念 
国家自然科学基金(60310213)
利用理论的代数素模型和简单闭性质,我们给出了完全k(k<ω)-叉树理论和完全无穷叉树理论可量词消去的新的证明,很大程度上简化了原有证明。
关键词：量词消去 完全二叉树 完全k-叉树 完全无穷叉树 
基于可视化文本挖掘的本体构建被引量：3
《情报杂志》2007年第12期103-104,共2页孙玉娣 裴勇 
国家自然科学基金项目(编号:60310213)
在阐述本体的概念及传统的本体创建方法不足的基础上,结合文本挖掘的相关概念及挖掘方法,提出了一种基于可视化文本挖掘本体构建的方法,并以实例证明该方法的可行性。由挖掘信息来部分替代传统的领域专家的作用,使本体的建立更加智能化...
关键词：文本挖掘 本体 可视化 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部