您的位置： 专家智库 > >

彭飞

作品数：9 被引量：13H指数：2
供职机构：中国科学技术大学更多>>
发文基金：国家自然科学基金国家科技重大专项高等学校学科创新引智计划更多>>
相关领域：自动化与计算机技术环境科学与工程更多>>

合作作者

文献类型

  • 3篇期刊文章
  • 3篇学位论文
  • 2篇专利
  • 1篇会议论文

领域

  • 7篇自动化与计算...
  • 1篇环境科学与工...

主题

  • 4篇向量
  • 4篇龙芯
  • 3篇龙芯3A
  • 2篇树结构
  • 2篇自动向量化
  • 2篇向量化
  • 2篇向量形式
  • 2篇汇编指令
  • 2篇操作数
  • 1篇单词
  • 1篇单词识别
  • 1篇对称天线
  • 1篇演化算法
  • 1篇语言
  • 1篇阵列
  • 1篇指令集
  • 1篇指令集仿真
  • 1篇指令集仿真器
  • 1篇智能交互
  • 1篇时程

机构

  • 9篇中国科学技术...
  • 4篇中国科学院
  • 3篇安徽省计算与...

作者

  • 9篇彭飞
  • 5篇顾乃杰
  • 3篇高翔
  • 2篇林传文
  • 2篇郭利财
  • 2篇孙明明
  • 1篇张颖楠
  • 1篇邱吉
  • 1篇李业华

传媒

  • 2篇小型微型计算...
  • 1篇计算机工程

年份

  • 1篇2016
  • 3篇2013
  • 1篇2012
  • 4篇2011
共 9 条 记 录，以下是 1-9
全选 清除 导出
排序方式：
一种基于龙芯3A向量访存的编译优化方法
本发明公开了一种基于龙芯3A向量访存的编译优化方法，特征是新增一条从向量树结构到中间表示的扩展路径，将向量形式的树结构转化为对应的中间表示；在扩展过程中，如果是正常模式，则沿着原有的路径进行扩展；如果是向量化的模式，则从...
顾乃杰彭飞林传文郭利财
基于插桩和布尔逻辑的运行时程序验证框架被引量：3
2013年
针对软件测试和静态程序验证中存在的连续性程序执行验证和推理问题,提出一个基于程序插桩和布尔逻辑的运行时程序验证框架——RPA。定义一种用于描述运行时程序性质和规范的动态逻辑语言RPAL,实现自动化插桩以收集运行时程序状态信息,设计一个支持高效验证的句子调度算法。实验结果表明,结合合适的谓词扩展,RPA可以有效地验证和分析软件逻辑,发现潜在的软件错误。
李业华顾乃杰张颖楠彭飞
关键词：程序插桩布尔逻辑
顶棚辐射与对流对PMMA热解及火蔓延的影响规律研究
固体可燃物的热解着火和火蔓延是森林火灾、建筑火灾和工业火灾中的常见现象，同时固体可燃物燃烧时释放的烟气中通常含有大量的有毒有害气体，严重影响了人们的生命安全，所以固体可燃物的热解着火和火蔓延特性是火灾科学研究过程中的重要...
彭飞
关键词：火蔓延环境压力火灾科学
一种多倍数据供应的编译优化方法
2011年
数据的快速及时供应对访存密集型程序的性能有着直接的影响.提出一种多倍数据供应MDS(Multiple Data Supply)的编译优化方法,在不增加处理器设计复杂度的前提下,利用现有处理器的高带宽,一次对内存进行多个数据的读写,减少访存次数,提高应用程序效率.在编译优化阶段,利用自动向量化技术,生成向量形式的树结构,增加一条新的扩展路径来处理从向量化的树结构到底层结构的扩展.针对向量化后树结构的多样性问题,设计新的优化遍以及RAC(Register Assignment Chain)替换算法进行专门处理.在龙芯3A处理器平台上,对SPEC-CPU2000的测试,CINT程序平均性能提升11.6%,CFP程序平均性能提升14.4%.
彭飞顾乃杰高翔孙明明
关键词：自动向量化龙芯3A
实值演化算法投资组合研究
实值优化问题普遍存在于工业与工程实践中，具有广泛的应用背景。演化算法是从自然界的进化与自适应机制中获得启发而发展起来的求解问题的计算方法，具有简单、易于操作和通用性强等特性，在实值优化领域取得了广泛的成功，受到了人们越来...
彭飞
关键词：演化算法
一种基于龙芯3A向量访存的编译优化方法
本发明公开了一种基于龙芯3A向量访存的编译优化方法，特征是新增一条从向量树结构到中间表示的扩展路径，将向量形式的树结构转化为对应的中间表示；在扩展过程中，如果是正常模式，则沿着原有的路径进行扩展；如果是向量化的模式，则从...
顾乃杰彭飞林传文郭利财
文献传递
基于二进制插桩的ASIP处理器指令集混合仿真方法
指令集仿真器在ASIP处理器硅前软件开发中发挥着重要的作用，但使用传统仿真方法的指令集仿真器仿真速度较慢.基于二进制插桩，提出了ASIP处理器指令集混合仿真方法，以混合仿真的方式，使基础指令直接运行在宿主机上，仅对扩展指...
邱吉高翔彭飞汪文祥蒋毅飞
关键词：指令集仿真器混合仿真
龙芯3B的SIMD编译优化及分析被引量：9
2012年
根据龙芯3B处理器特有的SIMD运算部件和指令集,在GCC编译器中实现了SIMD访存和SIMD运算的自动向量化.针对SIMD访存,给出了现有的访存方法,并详细介绍了适合龙芯3B的SIMD访存方法.对于不能自动向量化的其他SIMD运算,在GCC编译器中增加了Builtin函数的支持,用户可以根据标准函数接口调用SIMD运算函数,完成向量操作.通过对SPEC-CPU2000、DSPstone等大量benchmark的测试和分析,给出了龙芯3B SIMD运算的各项性能指数.对于性能表现不同的测试函数,均给出了详细分析数据和结论.测试表明,龙芯3B的SIMD运算在实际应用中有着良好的性能表现.
彭飞顾乃杰高翔孙明明
关键词：SIMD自动向量化
基于仿人机器人视觉的智能交互和目标跟踪系统设计
随着现代科技的发展，仿人机器人已经成为机器人研究领域的一个重要分支，它是一个国家高新技术实力和发展水平的重要标志。机器人视觉在仿人机器人研究领域占有重要的地位，使仿人机器人具有像人眼一样的视觉既是人们一直以来的追求也是仿...
彭飞
关键词：仿人机器人计算机视觉单词识别目标跟踪智能交互
全选 清除 导出
共1页<1>
聚类工具0