浙江省教育厅科研计划项目(Y200805962)
- 作品数：5 被引量：12H指数：2
- 相关作者：胡斌蒋健明周迪斌张量解利军更多>>
- 相关机构：杭州师范大学浙江大学广西民族大学更多>>
- 发文基金：浙江省教育厅科研计划科技型中小企业技术创新基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 矢量可视化研究现状综述被引量：2
- 2010年
- 矢量可视化是科学可视化研究中非常重要的课题之一,本文介绍了矢量可视化的主要方法,如图标法,矢量线法和特征拓扑法,并指出了他们各自的优点及不足。结合目前可视化领域的发展趋势,分析了矢量可视化的一些新技术发展动向,未来的矢量可视化技术须建立在有效的可视化量化评估体系上,结合智能算法,数据挖掘,增强复杂矢量数据分析和理解。
- 蒋健明周迪斌胡斌
- 关键词：数据挖掘视觉特征
- 基于建筑图纸的三维重建技术研究进展被引量：2
- 2011年
- 基于建筑图纸的建筑物三维重建是计算机图形学和人工智能领域的重要研究方向.文章系统分析了三维重建技术研究现状,介绍了重建过程的一般流程,包括建筑图纸的轴网识别,柱、梁、板及其它符号的识别,总结目前图纸理解与识别技术的研究成果、存在的主要难点、发展趋势及产业界的相关进展,最后提出该领域进一步的发展方向.
- 蒋健明周迪斌胡斌解利军
- 关键词：三维重建建筑图纸
- 基于符号模型检验的可信跨域协作系统验证方法
- 2011年
- 针对规范调控的可信跨域协作系统属性验证的困难,提出一种基于符号模型检验的可信跨越协作系统验证方案.该方案包括规范语法及其状态语义、系统抽象模型、验证算法三大部分.其中规范的状态语义是方案的核心,它将规范集映射为其所对应的状态或状态转移集,消除了系统模型和规范的语义不一致性;系统抽象模型包括规范Kripke结构和路径规范性定义,以及规范Kripke结构的分支时态逻辑(CTL)语义3个部分,实现了可信系统的形式建模;验证算法描述了系统符号模型检验的具体实现过程.与基于定理证明的验证方案相比,该方案有效降低了验证时间,提高了验证效率.
- 胡斌李阳高济
- 关键词：符号模型检验
- 基于CUDA的高维空间检索排序
- 2011年
- 高维空间的近邻检索是多媒体信息领域的重要研究课题.文章提出一种基于CUDA的高维空间距离检索排序算法,通过并行优化空间距离计算及排序过程,充分利用GPU硬件特性和它的并行运算能力,能极大地提高高维空间的检索速度,并可获取精确的距离排序数据.实验结果表明,该文算法可达到百万级别高维数据的实时检索,极大地拓展了高维检索的应用范围.
- 周迪斌胡斌张量黄勇蒋健明
- 关键词：高维数据CUDA并行计算
- 基于多GPU的千万级高维空间实时检索被引量：8
- 2013年
- 海量高维数据的近邻检索一直是多媒体信息领域的重要研究课题。本文提出一种基于多GPU的并行高维空间距离检索排序算法,通过并行优化空间距离计算及排序过程,并充分利用GPU硬件特性和众多的流处理器单元,算法能实现百万级的高维数据的实时检索。在此基础上,研究并利用多GPU架构,提升并行效率,拓展实时数据查询的数据规模。实验结果表明,本文算法可达到千万级别高维数据的实时精确检索,极大地拓展了高维检索的应用范围。
- 周迪斌蒋健明胡斌张量
- 关键词：高维数据CUDA并行计算
