广东省教育部产学研结合项目(2010B090400335)

作品数：4被引量：5H指数：1
导出分析报告
相关作者：苗德成奚建清刘勇贾连印更多>>
相关机构：韶关学院华南理工大学更多>>
相关期刊：《韶关学院学报》《华南理工大学学报（自然科学版）》《计算机科学》更多>>
相关主题：形式语言语言模型形式语义数据形式时态数据更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于范畴论方法的形式语言模型被引量：1
《韶关学院学报》2012年第6期9-12,共4页苗德成 
广东省教育部产学研结合项目(2010B090400335);韶关学院科研项目(2010-207-04)
针对形式语言理论研究的国内外现状,建立了一种基于范畴论方法的形式语言模型,在范畴论的形式化框架内论证了该形式语言模型与其生成范畴间的内在联系,利用范畴论的素描工具结合实例对该模型进行了应用,通过分析比对说明了该模型在保持...
关键词：形式语言 模型 素描 范畴 语义 
一种时态数据形式语言模型被引量：2
《计算机科学》2012年第4期172-176,204,共6页苗德成 奚建清 
国家自然科学基金(61103038);广东省教育部产学研结合项目(2010B090400335);韶关学院科研项目(201020704)资助
数据模型是数据库技术发展的主线,时态数据模型是时态数据库系统的核心与基础。针对时态数据模型的研究现状,初步探讨了时态数据模型的基本要素,建立了一种形式化时态数据模型;基于形式语言理论和形式语义学的指称语义方法,进一步建立...
关键词：模型 形式语言 时态数据 完整性约束 形式语义 
一种高效的分布式数据库完整性技术被引量：1
《华南理工大学学报（自然科学版）》2012年第1期131-137,共7页苗德成 奚建清 刘勇 贾连印 
广东省科技计划项目(2009B050700008);广东省教育部产学研结合项目(2010B090400335);韶关学院科研项目(201020704)
研究高效的分布式数据库完整性技术以准确评估完整性检查的预期代价,现在仍是一个难以解决的问题.为此,文中提出了一个新的完整性检查策略,设计了分别采取局部预测试策略和支持测试策略的两种完整性测试生成算法,并使用人工智能的降维...
关键词：分布式数据库 完整性测试 代价评估 检查策略 约束 
形式语言的范畴计算模型研究被引量：1
《韶关学院学报》2011年第12期8-11,共4页苗德成 
广东省教育部产学研结合项目(2010B090400335);韶关学院科研项目(2010-207-04)
分析了传统计算模型处理不确定性问题的局限性,并应用范畴理论建立形式语言的范畴计算模型,以双函子为工具深入研究了字范畴模型与形式文法范畴模型之间象元的关联,有效解决了形式语言识别的不确定性计算问题,为计算模型处理不确定性问...
关键词：计算模型 范畴 形式语言 不确定性 态射 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部