检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

增投入上项目保增长促发展

经济论坛 1998年第23期 17-18页

作者：苗德成河北省滦县人民政府

近年来，滦县从经济发展的实际出发，坚持把项目建设作为经济发展的切入点，多渠道筹措建设资金，不断优化投资结构，今年１－８月份，全县完成固定资产投入７．６５亿元，比１９９７年增长６６％，其中有２４２个生产性建设项目已经完... 详细信息

近年来，滦县从经济发展的实际出发，坚持把项目建设作为经济发展的切入点，多渠道筹措建设资金，不断优化投资结构，今年１－８月份，全县完成固定资产投入７．６５亿元，比１９９７年增长６６％，其中有２４２个生产性建设项目已经完工，总投资２１亿元，有力地促进了...

关键词：经济滦县优化投资结构投资财政管理

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

一种高效的分布式数据库完整性技术

华南理工大学学报（自然科学版） 2012年第1期40卷 131-137页

作者：苗德成奚建清刘勇贾连印华南理工大学计算机科学与工程学院广东广州510006

研究高效的分布式数据库完整性技术以准确评估完整性检查的预期代价,现在仍是一个难以解决的问题.为此,文中提出了一个新的完整性检查策略,设计了分别采取局部预测试策略和支持测试策略的两种完整性测试生成算法,并使用人工智能的降维... 详细信息

研究高效的分布式数据库完整性技术以准确评估完整性检查的预期代价,现在仍是一个难以解决的问题.为此,文中提出了一个新的完整性检查策略,设计了分别采取局部预测试策略和支持测试策略的两种完整性测试生成算法,并使用人工智能的降维技术建立代价评估模型,为完整性检查代价估算提供一个量化比对的依据.文中还通过分布式数据库实验对完整性测试、数据获取量、网络数据传送量和参与计算的网络站点数进行了验证,结果表明,文中提出的策略、算法有效降低了分布式数据库的完整性检查代价,所建立的代价评估模型能对代价进行准确评估.

关键词：分布式数据库完整性测试代价评估检查策略约束

在线全文

学校读者我要写书评

暂无评论

一种不确定性语义计算模型

微电子学与计算机 2012年第1期29卷 15-17,22页

作者：苗德成奚建清韶关学院数学与信息科学学院广东韶关512000 华南理工大学计算机科学与工程学院广东广州510000

随着软件系统复杂度的持续增长,如何保证大型复杂软件系统的健壮性与正确性逐渐成为一个热点问题,不确定性语义计算的研究是解决这一问题的关键.本文提出了一种不确定性语义计算模型,并应用模型对示例小语言设计了四种不同的形式语义,... 详细信息

随着软件系统复杂度的持续增长,如何保证大型复杂软件系统的健壮性与正确性逐渐成为一个热点问题,不确定性语义计算的研究是解决这一问题的关键.本文提出了一种不确定性语义计算模型,并应用模型对示例小语言设计了四种不同的形式语义,通过四种形式语义等价性的证明论证了模型的正确性与灵活性.

关键词：不确定性模型软件系统语义程序设计

在线全文

学校读者我要写书评

暂无评论

一种形式语言代数模型

华南理工大学学报（自然科学版） 2011年第10期39卷 74-78页

作者：苗德成奚建清贾连印刘勇华南理工大学计算机科学与工程学院广东广州510006

针对形式语言研究的国内外现状,对形式系统规约描述语言的数学模型进行了初步探讨,建立了一种形式语言的代数模型,依据软件重用的思想及转换语义的方法提出了语言重用的概念,根据软件工程分层设计原则构建了形式语言族模型.该模型在不... 详细信息

针对形式语言研究的国内外现状,对形式系统规约描述语言的数学模型进行了初步探讨,建立了一种形式语言的代数模型,依据软件重用的思想及转换语义的方法提出了语言重用的概念,根据软件工程分层设计原则构建了形式语言族模型.该模型在不同层次上描述复杂形式系统软件规约的抽象表达程度,适于复杂形式系统的开发与测试.此外,文中应用范畴理论深入分析语言族模型中各语言模型之间的内在联系,以提供一个便利、高效的形式语言模型的理论框架.

关键词：形式语言语言模型重用形式语义分层设计

在线全文

学校读者我要写书评

暂无评论

一种时态数据形式语言模型

计算机科学 2012年第4期39卷 172-176,204页

作者：苗德成奚建清韶关学院数学与信息科学学院韶关512005 华南理工大学计算机科学与工程学院广州510640

数据模型是数据库技术发展的主线,时态数据模型是时态数据库系统的核心与基础。针对时态数据模型的研究现状,初步探讨了时态数据模型的基本要素,建立了一种形式化时态数据模型;基于形式语言理论和形式语义学的指称语义方法,进一步建立... 详细信息

数据模型是数据库技术发展的主线,时态数据模型是时态数据库系统的核心与基础。针对时态数据模型的研究现状,初步探讨了时态数据模型的基本要素,建立了一种形式化时态数据模型;基于形式语言理论和形式语义学的指称语义方法,进一步建立了该时态数据模型的形式语言模型。应用时态数据形式语言模型定义了各类时态完整性约束的形式语义规则,深入分析了时态数据模型内在的时态语义联系,为时态数据模型的研究提供了一个便利、高效的形式化理论框架。

关键词：模型形式语言时态数据完整性约束形式语义

在线全文

学校读者我要写书评

暂无评论

数据库课程设计

数据库课程设计

图形处理器上CSB^+-树索引的并行构建算法

2016年

作者：苗德成戴经国刘霖

本书围绕高等学校在人事信息管理方面的基本需求，依据数据库应用系统设计与开发的步骤，详细介绍了使用Visual C++工具开发数据库应用系统的完整过程。

ISBN: (数字)9787564727246

关键词：

来源：汇雅图书（南通市图书馆... 评论

在线全文

汇雅图书（南通市图书馆）

学校读者我要写书评

暂无评论

华南理工大学学报（自然科学版） 2014年第1期42卷 123-127,134页

作者：刘勇奚建清黄东平贾连印苗德成华南理工大学计算机科学与工程学院广东广州510006

为提高缓存敏感CSB+-树索引的操作效率,在图形处理器(GPU)上研究CSB+-树的并行构建和查询性能.通过分析索引树内部节点的每一键与对应叶子节点的映射关系,提出了一种一次性并行构建CSB+-树所有内部节点键值的无锁并行算法,以最大并行度... 详细信息

为提高缓存敏感CSB+-树索引的操作效率,在图形处理器(GPU)上研究CSB+-树的并行构建和查询性能.通过分析索引树内部节点的每一键与对应叶子节点的映射关系,提出了一种一次性并行构建CSB+-树所有内部节点键值的无锁并行算法,以最大并行度来快速构建索引树.该算法通过设计GPU平台上支持CSB+-树的索引数据任意伸缩的动态数组来解决GPU上不能动态分配显存空间的问题,通过在索引内部节点的边界增加填充位来减少线程块的线程分支数,从而提高CSB+-树的查询效率.实验结果表明,文中所提算法的运行时间比基于单个节点和基于树层的并行算法分别提高了31.0和1.4倍.

关键词：并行算法图形处理器 CSB +-树索引动态数组查询效率

在线全文

学校读者我要写书评

暂无评论

联合防空侦察预警系统探测能力浅析

系统工程与电子技术 2006年第2期28卷 253-256,320页

作者：曹毅苗德成路建伟胥少卿防空兵指挥学院河南郑州450052

侦察预警系统对空中目标的探测能力,是评价防空武器系统作战效能的一项重要的综合性能指标。不同的系统探测能力存在优劣之分,应对其进行客观评价,针对这一需求,建立了联合防空侦察预警系统探测能力模型。该模型提出了一种采用性能比加... 详细信息

侦察预警系统对空中目标的探测能力,是评价防空武器系统作战效能的一项重要的综合性能指标。不同的系统探测能力存在优劣之分,应对其进行客观评价,针对这一需求,建立了联合防空侦察预警系统探测能力模型。该模型提出了一种采用性能比加权求和法计算发现概率的改进算法,引入探测能力与隐蔽能力比,计算了空天预警子系统的发现概率。并结合实例,分析和计算了联合防空作战条件下预警系统对各种不同目标的探测能力,以定量的形式为侦察预警系统建设提供可信的依据。

关键词：联合预警探测能力发现概率

在线全文

学校读者我要写书评

暂无评论

图形处理器上内存数据库索引T-树的研究

华南理工大学学报（自然科学版） 2013年第3期41卷 22-28页

作者：刘勇奚建清黄东平贾连印苗德成华南理工大学计算机科学与工程学院广东广州510006

为进一步提高内存数据库索引结构T-树的操作性能,提出一种基于图形处理器的T-树无锁并行计算方案.该方案通过分析平衡树结构的父子节点间的关系,在图形处理器平台上实现使用m个线程并行创建具有m个节点的T-树索引,从而以最大并行度的方... 详细信息

为进一步提高内存数据库索引结构T-树的操作性能,提出一种基于图形处理器的T-树无锁并行计算方案.该方案通过分析平衡树结构的父子节点间的关系,在图形处理器平台上实现使用m个线程并行创建具有m个节点的T-树索引,从而以最大并行度的方式构建T-树.为验证方案的正确性,提出以堆栈的方式在图形处理器上遍历T-树的算法,对各平台上构建T-树的方案进行性能分析,并通过页锁定内存的方式提高CPU和GPU间的数据传输速率.通过对多个处理器平台上的实验结果的对比发现,提出的方案在并行构建T-树和T-树的批量节点插入上相比于传统CPU平台方案分别获得12倍和8倍以上的加速比.

关键词：图形处理器 T-树内存数据库索引结构并行构建批量节点插入