国家自然科学基金(61103038)

作品数：19被引量：64H指数：3
导出分析报告
相关作者：苏锦钿奚建清苗德成余珊珊刘勇更多>>
相关机构：华南理工大学韶关学院广东药学院广东药科大学更多>>
相关期刊：《计算机教育》《计算机研究与发展》《韶关学院学报》《华南理工大学学报（自然科学版）》更多>>
相关主题：范畴论程序语言递归形式语言代数更多>>
相关领域：自动化与计算机技术文化科学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
计算机科学中的范畴数据类型的研究综述被引量：3
《计算机科学》2016年第10期9-18,39,共11页苏锦钿 
广东省自然科学基金(2015A030310318);广东省医学科学技术研究基金项目(A2015065);国家自然科学基金资助项目(61103038)资助
范畴数据类型是指以范畴论为数学理论基础研究数据类型的描述、计算、语义和应用。早期的范畴数据类型研究以归纳数据类型为主,采用代数从归纳的角度研究有限数据类型的构造语义和递归性质。近年来,归纳数据类型的对偶概念——共归纳数...
关键词：数据类型 范畴论 代数 共代数 逻辑演算 程序语言 
基于改进的TextRank的自动摘要提取方法被引量：42
《计算机科学》2016年第6期240-247,共8页余珊珊 苏锦钿 李鹏飞 
广东省自然科学基金(2015A030310318);广东省医学科学技术研究基金项目(A2015065);国家自然科学基金资助项目(61103038)资助
经典的TextRank算法在文档的自动摘要提取时往往只考虑了句子节点间的相似性,而忽略了文档的篇章结构及句子的上下文信息。针对这些问题,结合中文文本的结构特点,提出一种改进后的iTextRank算法,通过将标题、段落、特殊句子、句子位置...
关键词：中文文本 自动摘要提取 TextRank 篇章结构 无监督学习方法 
基于范畴论的本体描述方法被引量：1
《计算机科学》2016年第5期42-46,61,共6页余珊珊 苏锦钿 易法令 
广东省自然科学基金(2015A030310318);广东省医学科学技术研究基金项目(A2015065);国家自然科学基金资助项目(61103038)资助
针对各种本体语言在描述本体过程中容易产生理解不一致的问题,利用范畴论的抽象性及图形化表示的优势,提出一种基于范畴论的本体描述方法,并给出了本体、本体映射和本体实例化的范畴论定义,其中本体被描述成范畴中的对象,本体间的映射...
关键词：本体 范畴论 本体描述 本体合并 本体对齐 
程序语言中共归纳数据类型的一种fibrations方法被引量：2
《计算机科学》2016年第3期188-192,212,共6页苗德成 奚建清 戴经国 苏锦钿 
国家自然科学基金项目(61103038);广东省自然科学基金项目(S2013010015944);广东省战略性新兴产业核心技术攻关项目(2011A010801008;2012A010701011;2012A010701003);韶关市科技计划项目(2013CX/K61)资助
范畴论与共代数是程序语言中共归纳数据类型研究的传统方法,这些方法在语义行为分析与共归纳规则描述等方面存在一定的不足。针对以上问题,提出了一种fibrations方法以对共归纳数据类型的语义行为与共归纳规则进行研究。该方法系统分析...
关键词：语义行为 共归纳规则 fibrations方法 共归纳数据类型 提升 
归纳数据类型的范畴论方法被引量：1
《计算机科学》2015年第6期8-11,共4页苗德成 奚建清 苏锦钿 
国家自然科学基金项目(61103038);广东省自然科学基金项目(S2013010015944;2012A010701011);韶关市科技计划项目(2013CX/K61)资助
归纳数据类型是类型论研究的重要分支,传统的数理逻辑或代数方法侧重于描述归纳数据类型的有限语法构造,在语义性质与归纳规则的分析与设计方面存在一定的不足。基于范畴论的方法,在集合范畴的框架内给出谓词的形式化定义,分析谓词范畴...
关键词：归纳数据类型 范畴论 谓词范畴 提升 伴随函子 
基于范畴论的形式语言模型建模方法研究
《计算机应用与软件》2015年第4期19-23,共5页苗德成 奚建清 苏锦钿 
国家自然科学基金项目(61103038);广东省自然科学基金项目(S2013010015944);广东省科技计划项目(2012A010701011;2012A010701003);韶关市科技局项目(2013CX/K61)
形式语言模型转换的语义一致性与其形式系统完备性分析是当前形式语言理论尚未有效解决的难题。针对形式语言模型的应用需求与研究现状,建立形式文法模型及其形式语言模型,应用范畴论方法构建具有普适意义的形式文法模型范畴与形式语言...
关键词：模型 形式语言 范畴论 语义一致性 完备性 
论高校计算机专业开展函数式程序语言教学的必要性被引量：1
《计算机教育》2014年第15期34-38,共5页余珊珊 易法令 苏锦钿 
广东省科技计划项目(2011B010200043);国家自然科学基金资助项目(61103038)
针对命令式程序语言在计算机科学研究及数学思维能力培养等方面存在的不足,提出将函数式程序语言作为高校计算机专业本科生的程序教学语言,分析函数式程序语言与命令式程序语言间的区别并以Haskell为例介绍函数式程序语言的一些典型的...
关键词：函数式程序语言 命令式程序语言 HASKELL Lambda演算 
基于半监督学习的k平均聚类框架被引量：3
《广西大学学报（自然科学版）》2014年第5期1074-1082,共9页陈新泉 苏锦钿 
国家自然科学基金资助项目(61103038)
为克服k-means算法难以探测出一些局部分布稀疏不均、聚类区域的形状与大小不规整数据点集的聚类分布结构这个缺点,在半监督学习思想的指导下,针对混合属性空间区域中具有同一分布性质的带有类别标记的小样本数据集和无类别标记的大样...
关键词：半监督学习 混合属性 k平均聚类 归属度 
带固定参数的Monadic递归被引量：1
《华南理工大学学报（自然科学版）》2014年第7期33-39,73,共8页苏锦钿 余珊珊 
国家自然科学基金资助项目(61103038);华南理工大学中央高校基本科研业务费专项资金资助项目(2013ZZ0055)
针对归纳数据类型上的递归操作可能包含固定参数且产生计算副作用的问题,结合函数式程序语言中的monads及范畴论中的伴随关系给出monadic强归纳数据类型的定义及monadic强初始性的证明;在此基础上,进一步提出一种带固定参数且产生计算...
关键词：递归 归纳数据类型 初始代数 MONAD 范畴论 程序语言 
一种新型面向普适计算的软件体系架构模型
《华南理工大学学报（自然科学版）》2014年第7期40-48,共9页李牧南 苏锦钿 樊霞 
国家自然科学基金资助项目(61103038);华南理工大学中央高校基本科研业务费专项资金资助项目(2013XMS03);广东省创新方法与决策管理系统重点实验室开放课题项目(2011A06090100101B);广东省软科学研究项目(2013B070206020);广东高校优秀青年创新人才项目(2010WYM10048)
针对普适计算背景下超大型信息系统体系架构建模和描述存在的局限性,提出了一种面向"社区"的体系架构(COA)模型.COA提供了新的巨型信息系统建模与描述方法,以及超大型信息系统规划与设计的新思路.在COA模型中,Community作为对单个Agent...
关键词：普适计算 软件体系结构 面向社区的体系架构 智慧城市 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部