广东省科技计划工业攻关项目(2009B050700008)
- 作品数：5 被引量：15H指数：2
- 相关作者：苗德成奚建清刘勇贾连印冯黎波更多>>
- 相关机构：华南理工大学韶关学院河北科技大学更多>>
- 发文基金：广东省科技计划工业攻关项目广东省教育部产学研结合项目中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种形式语言代数模型被引量：8
- 2011年
- 针对形式语言研究的国内外现状,对形式系统规约描述语言的数学模型进行了初步探讨,建立了一种形式语言的代数模型,依据软件重用的思想及转换语义的方法提出了语言重用的概念,根据软件工程分层设计原则构建了形式语言族模型.该模型在不同层次上描述复杂形式系统软件规约的抽象表达程度,适于复杂形式系统的开发与测试.此外,文中应用范畴理论深入分析语言族模型中各语言模型之间的内在联系,以提供一个便利、高效的形式语言模型的理论框架.
- 苗德成奚建清贾连印刘勇
- 关键词：形式语言语言模型形式语义
- GBLHT:一种GPU加速的批量插入线性哈希表被引量：2
- 2012年
- 为改善线性哈希表这一有效索引结构的插入性能,在分析现有方法的基础上,结合CUDA并行编程模型,设计并实现了一种基于GPU的批量插入线性哈希表GBLHT;借助原子函数atomicAdd,GBLHT可以充分利用GPU强大的并行吞吐量来实现大规模记录的无锁批量插入;通过实验对比传统串行插入方法、CPU批量插入方法以及GBLHT的插入性能,发现在不同参数设置条件下,GBLHT的插入性能比传统串行方式提升了7～14倍,与4线程的CPU批量插入方法相比则提升了3～6倍.
- 黄玉龙奚建清张平健方晓霖刘勇
- 关键词：图形加速器GPU通用计算
- 一种不确定性语义计算模型被引量：1
- 2012年
- 随着软件系统复杂度的持续增长,如何保证大型复杂软件系统的健壮性与正确性逐渐成为一个热点问题,不确定性语义计算的研究是解决这一问题的关键.本文提出了一种不确定性语义计算模型,并应用模型对示例小语言设计了四种不同的形式语义,通过四种形式语义等价性的证明论证了模型的正确性与灵活性.
- 苗德成奚建清
- 关键词：不确定性软件系统语义程序设计
- 形式化方法在软件工程中的应用研究被引量：4
- 2011年
- 探讨了形式化方法的基本概念,重点研究了形式化方法的数学理论基础和其在软件工程各阶段的应用情况,分析了形式化方法在理论研究和工程实践上的优势和局限性及其原因,并指出了形式化方法发展的几个方向,最后对形式化方法在软件工程中的应用做了评价。
- 苗德成冯黎波
- 关键词：形式化方法软件工程规约
- 一种高效的分布式数据库完整性技术被引量：1
- 2012年
- 研究高效的分布式数据库完整性技术以准确评估完整性检查的预期代价,现在仍是一个难以解决的问题.为此,文中提出了一个新的完整性检查策略,设计了分别采取局部预测试策略和支持测试策略的两种完整性测试生成算法,并使用人工智能的降维技术建立代价评估模型,为完整性检查代价估算提供一个量化比对的依据.文中还通过分布式数据库实验对完整性测试、数据获取量、网络数据传送量和参与计算的网络站点数进行了验证,结果表明,文中提出的策略、算法有效降低了分布式数据库的完整性检查代价,所建立的代价评估模型能对代价进行准确评估.
- 苗德成奚建清刘勇贾连印
- 关键词：分布式数据库
