苗德成

作品数：33被引量：57H指数：3
导出分析报告
供职机构：韶关学院信息科学与工程学院更多>>
发文主题：形式语言语义范畴论索引形式语义更多>>
发文领域：自动化与计算机技术军事自然科学总论航空宇航科学技术更多>>
发文期刊：《计算机应用与软件》《电光与控制》《计算机应用研究》《河北科技大学学报》更多>>
所获基金：国家自然科学基金广东省科技计划工业攻关项目广东省自然科学基金广东省教育部产学研结合项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Fibrations理论在索引归纳数据类型不确定语义中的应用
《计算机科学》2017年第7期137-140,共4页苗德成 奚建清 刘新盛 苏锦钿 
广东省自然科学基金项目(S2013010015944);广东省高等学校优秀青年教师培养计划项目(YQ2014155);广东省战略性新兴产业核心技术攻关项目(2012A010701011);广东省科技计划项目(2014B010112007)资助
应用Fibrations理论对索引归纳数据类型的不确定语义计算进行了研究。论证了索引范畴的构造,提出了索引Fibration及其真值函子与内涵函子,建立了索引范畴上自函子的一种保持真值的提升,提出了部分F-代数的定义,并应用折叠函数等工具抽...
关键词：语义计算 不确定 索引归纳数据类型 Fibrations理论 提升 
Fibrations理论在索引归纳数据类型语法构造中的应用
《计算机工程与应用》2017年第4期70-74,134,共6页苗德成 奚建清 刘新盛 
广东省自然科学基金(No.S2013010015944);广东省高等学校优秀青年教师培养计划项目(No.YQ2014155);广东省战略性新兴产业核心技术攻关项目(No.2012A010701011);广东省科技计划项目(No.2014B010112007)
应用Fibrations理论对索引归纳数据类型的语法构造进行了研究。提出了索引fibration及其真值与内涵函子的定义,构造了索引与代数范畴,利用折叠函数与伴随函子等工具构造了索引范畴中一类相对复杂的索引归纳数据类型,辅以实例进行了简要...
关键词：语法构造 索引归纳数据类型 Fibrations理论 范畴 提升 
形式语言基于Monads的语义计算模型
《计算机科学》2017年第1期199-202,218,共5页苗德成 奚建清 苏锦钿 
国家自然科学基金项目(61103039);广东省自然科学基金项目(S2013010015944);广东省高等学校优秀青年教师培养计划项目(YQ2014155)资助
传统形式语言的语义建模方法在语义解释与规则描述等语义计算方面存在不足,应用范畴论方法的Monads对形式语言的语义计算进行了研究。基于Monads构造Kleisli范畴,在Kleisli范畴的形式化框架内建立语义计算模型,并对该模型进行了应用。...
关键词：语义计算 MONADS 伴随函子 形式语言 Kleisli范畴 
程序语言中基于Fibrations理论的索引共归纳数据类型被引量：2
《计算机科学与探索》2016年第10期1482-1492,共11页苗德成 奚建清 戴经国 
国家自然科学基金;No.61103038;广东省自然科学基金;No.S2013010015944;广东省高等学校优秀青年教师培养计划;No.YQ2014155~~
传统范畴论与共代数等方法在分析语义行为与描述共归纳规则方面存在不足,应用Fibrations理论对程序语言中索引共归纳数据类型(indexed co-inductive data type,ICDT)进行了研究。通过基变换构造索引Fibration,建立索引Fibration的等式...
关键词：语义行为 共归纳规则 基变换 提升 共递归 
程序语言中共归纳数据类型的一种fibrations方法被引量：2
《计算机科学》2016年第3期188-192,212,共6页苗德成 奚建清 戴经国 苏锦钿 
国家自然科学基金项目(61103038);广东省自然科学基金项目(S2013010015944);广东省战略性新兴产业核心技术攻关项目(2011A010801008;2012A010701011;2012A010701003);韶关市科技计划项目(2013CX/K61)资助
范畴论与共代数是程序语言中共归纳数据类型研究的传统方法,这些方法在语义行为分析与共归纳规则描述等方面存在一定的不足。针对以上问题,提出了一种fibrations方法以对共归纳数据类型的语义行为与共归纳规则进行研究。该方法系统分析...
关键词：语义行为 共归纳规则 fibrations方法 共归纳数据类型 提升 
基于范畴论的共享系统数据模型研究综述
《韶关学院学报》2015年第10期15-20,共6页苗德成 
广东省自然科学基金项目(S2013010015944);广东省高等学校优秀青年教师培养计划项目(YQ2014155);韶关市科技计划项目(2013CX/K61)
数据模型是共享系统设计与开发的核心与基础,范畴论对研究共享系统数据模型的建模方法具有独特的优势,为语义计算与程序逻辑的精确描述提供坚实数学基础,同时也具有广阔的应用前景.对共享系统数据模型的范畴论基础、基于范畴论的共享系...
关键词：数据模型 范畴论 共享系统 语义计算 
归纳数据类型的范畴论方法被引量：1
《计算机科学》2015年第6期8-11,共4页苗德成 奚建清 苏锦钿 
国家自然科学基金项目(61103038);广东省自然科学基金项目(S2013010015944;2012A010701011);韶关市科技计划项目(2013CX/K61)资助
归纳数据类型是类型论研究的重要分支,传统的数理逻辑或代数方法侧重于描述归纳数据类型的有限语法构造,在语义性质与归纳规则的分析与设计方面存在一定的不足。基于范畴论的方法,在集合范畴的框架内给出谓词的形式化定义,分析谓词范畴...
关键词：归纳数据类型 范畴论 谓词范畴 提升 伴随函子 
基于范畴论的形式语言模型建模方法研究
《计算机应用与软件》2015年第4期19-23,共5页苗德成 奚建清 苏锦钿 
国家自然科学基金项目(61103038);广东省自然科学基金项目(S2013010015944);广东省科技计划项目(2012A010701011;2012A010701003);韶关市科技局项目(2013CX/K61)
形式语言模型转换的语义一致性与其形式系统完备性分析是当前形式语言理论尚未有效解决的难题。针对形式语言模型的应用需求与研究现状,建立形式文法模型及其形式语言模型,应用范畴论方法构建具有普适意义的形式文法模型范畴与形式语言...
关键词：模型 形式语言 范畴论 语义一致性 完备性 
图形处理器上CSB^+-树索引的并行构建算法
《华南理工大学学报（自然科学版）》2014年第1期123-127,134,共6页刘勇 奚建清 黄东平 贾连印 苗德成 
国家自然科学基金资助项目(61103038);云南省教育厅重点项目(2012Z008)
为提高缓存敏感CSB+-树索引的操作效率,在图形处理器(GPU)上研究CSB+-树的并行构建和查询性能.通过分析索引树内部节点的每一键与对应叶子节点的映射关系,提出了一种一次性并行构建CSB+-树所有内部节点键值的无锁并行算法,以最大并行度...
关键词：并行算法 图形处理器 CSB +-树索引 动态数组 查询效率 
一种数据模型的范畴论建模方法被引量：1
《计算机应用研究》2013年第9期2744-2747,共4页苗德成 奚建清 苏锦钿 
国家自然科学基金资助项目(61103038);韶关市科技局资助项目(2011CX/K20)
针对数据模型复杂语义建模的应用需求,以及目前数据模型范畴论建模方法理论研究与工程实践方面存在的不足,建立了一种素描数据模型。该模型在模型范畴的形式化框架内,用与特定数据库建模语言无关的范畴论对数据库状态的一致性转换进行...
关键词：数据模型 素描 范畴论 语义 数据库 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部