广东省教育部产学研结合项目(2010B090400335)
- 作品数：4 被引量：5H指数：1
- 相关作者：苗德成奚建清刘勇贾连印更多>>
- 相关机构：韶关学院华南理工大学更多>>
- 发文基金：广东省教育部产学研结合项目国家自然科学基金广东省科技计划工业攻关项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 形式语言的范畴计算模型研究被引量：1
- 2011年
- 分析了传统计算模型处理不确定性问题的局限性,并应用范畴理论建立形式语言的范畴计算模型,以双函子为工具深入研究了字范畴模型与形式文法范畴模型之间象元的关联,有效解决了形式语言识别的不确定性计算问题,为计算模型处理不确定性问题提供了一种新的思路.
- 苗德成
- 关键词：形式语言不确定性态射
- 一种高效的分布式数据库完整性技术被引量：1
- 2012年
- 研究高效的分布式数据库完整性技术以准确评估完整性检查的预期代价,现在仍是一个难以解决的问题.为此,文中提出了一个新的完整性检查策略,设计了分别采取局部预测试策略和支持测试策略的两种完整性测试生成算法,并使用人工智能的降维技术建立代价评估模型,为完整性检查代价估算提供一个量化比对的依据.文中还通过分布式数据库实验对完整性测试、数据获取量、网络数据传送量和参与计算的网络站点数进行了验证,结果表明,文中提出的策略、算法有效降低了分布式数据库的完整性检查代价,所建立的代价评估模型能对代价进行准确评估.
- 苗德成奚建清刘勇贾连印
- 关键词：分布式数据库
- 一种时态数据形式语言模型被引量：2
- 2012年
- 数据模型是数据库技术发展的主线,时态数据模型是时态数据库系统的核心与基础。针对时态数据模型的研究现状,初步探讨了时态数据模型的基本要素,建立了一种形式化时态数据模型;基于形式语言理论和形式语义学的指称语义方法,进一步建立了该时态数据模型的形式语言模型。应用时态数据形式语言模型定义了各类时态完整性约束的形式语义规则,深入分析了时态数据模型内在的时态语义联系,为时态数据模型的研究提供了一个便利、高效的形式化理论框架。
- 苗德成奚建清
- 关键词：形式语言时态数据形式语义
- 一种基于范畴论方法的形式语言模型被引量：1
- 2012年
- 针对形式语言理论研究的国内外现状,建立了一种基于范畴论方法的形式语言模型,在范畴论的形式化框架内论证了该形式语言模型与其生成范畴间的内在联系,利用范畴论的素描工具结合实例对该模型进行了应用,通过分析比对说明了该模型在保持形式语言语义完整性方面的优势,为形式语言的建模理论研究提供了一种基于范畴论方法的新思路,为形式系统结构设计与形式语言理论框架的研究提供一个高效、便利的形式化理论框架.
- 苗德成
- 关键词：形式语言素描语义
