刘聪 作品数:14 被引量:16 H指数:2 供职机构: 国防科学技术大学 更多>> 发文基金: 国家自然科学基金 湖南省研究生科研创新项目 国家教育部博士点基金 更多>> 相关领域: 自动化与计算机技术 更多>>
基于取指执行时序范畴的多核共享Cache干扰分析 被引量:4 2013年 在多核结构中,获得并行应用线程的安全、精确的最坏情况执行时间(worst case execution time,WCET)的最大挑战之一在于共享资源的竞争冲突检测.在共享Cache的多核处理器中,线程在共享Cache中的指令可能被其他并行线程的指令替换,从而导致了线程间在共享Cache上的干扰,因此多核结构下线程WCET需要考虑并行线程间在共享Cache上的干扰.在现有的简单地址映射干扰分析基础上,考虑了指令取指执行时序因素对干扰的影响,提出了非干扰状态的充分不必要条件,根据指令的取指执行时序范畴判断线程在共享Cache上的干扰状态.通过排除非干扰状态,可以进一步精确多核结构中线程的WCET估值.理论分析证明了该方法的有效性.实验结果表明,与当前现有的考虑执行周期和基于逻辑访问先后顺序的方法相比,基于时序方法下的WCET估值分别可以提高12%和7%的精确度. 陈芳园 张冬松 刘聪 王志英关键词:共享CACHE 一种基于动态目标追踪的多无人机未知室内空间探索方法 本发明公开了一种基于动态目标追踪的多无人机未知区域协同探索方法。目的是提高无人机探索无GPS信号未知空间区域效率。技术方案是构建由基站、无人机组成的多无人机协同探索系统;无人机包括硬件层和软件层,软件层包括感知定位模块、... 史殿习 李宁 杨文婧 杨绍武 郭敏 苏雅倩文 徐化池 赵琛然 刘聪文献传递 面向多核体系结构的并行优化关键技术研究 当前,多核处理器已经广泛应用于从巨型机、桌面处理器到移动终端等各个计算领域,计算技术已经全面迈入多核和众核时代。本文回顾了高性能微处理器的发展趋势:工艺的影响、体系结构的影响、功耗的因素、应用的变化;提出了迎接多核处理器... 刘聪关键词:片上网络 六自由度机械臂的运动规划 被引量:2 2008年 为了使六自由度机械臂完成特定的动作,需要设计计算相应的指令序列.首先计算了机械臂位姿与指尖位置之间的关系公式,然后针对机械臂的到达问题、沿曲线运动问题和避障问题,分别提出目标位姿预测、曲线离散到达和受限目标到达三种解决方法,其中涉及的关键算法是自适应搜索法,该方法具有效率高、精度高、适用范围广的特点.在产生指令序列时采用贪心算法.通过以上方法得到的执行结果误差很小(<0.8mm),同时搜索收敛速度也很快. 任洪广 刘聪 张检发关键词:机械臂 自适应搜索 一种基于动态目标追踪的多无人机未知室内空间探索方法 本发明公开了一种基于动态目标追踪的多无人机未知区域协同探索方法。目的是提高无人机探索无GPS信号未知空间区域效率。技术方案是构建由基站、无人机组成的多无人机协同探索系统;无人机包括硬件层和软件层,软件层包括感知定位模块、... 史殿习 李宁 杨文婧 杨绍武 郭敏 苏雅倩文 徐化池 赵琛然 刘聪支持线程级猜测的存储体系结构设计 被引量:2 2012年 在线程级猜测中进行数据依赖相关检测时,存在Cache一致性协议无法容忍线程切换引起的Cache块替换等问题。为此,通过分析推测线程数据管理模型,结合推测线程切概率低的特点,提出一种分布-共享式恢复缓冲区结构。该结构在进行Cache一致性检验时结合作废向量和版本优先级寄存器进行数据依赖检测,利用L2 Cache进行推测数据缓冲和恢复以支持推测线程切换。修改SESC模拟器以验证和评估该存储体系结构。实验结果表明,在保持模拟器理想加速比的情况下,该存储体系结构可以较好地支持推测线程切换。 赖鑫 刘聪 王志英关键词:CACHE一致性协议 一种基于双模板响应融合的目标跟踪方法 本发明公开了一种基于双模板响应融合的目标跟踪方法,目的是解决模板固定方式降低模板的准确性,模板动态更新方式降低模板鲁棒性的问题。技术方案是首先构建由特征提取模块、互相关响应模块、响应融合模块和目标框输出模块构成的目标跟踪... 史殿习 王宁 刘聪 杨文婧 杨绍武文献传递 子字并行加法器的研究与实现 被引量:2 2009年 子字并行加法器能够有效提高多媒体应用程序的处理性能。基于门延迟模型对加法器原理及性能进行了分析,设计了进位截断和进位消除两种子字并行控制机制。在这两种机制的指导下,实现了多种子字并行加法器,并对它们的性能进行了比较和分析。结果表明进位消除机制相对于进位截断机制需要较短的延时,较少的逻辑门数以及较低的功耗。在各种子字并行加法器中,Kogge-Stone加法器具有最少的延迟时间,RCA加法器具有最少的逻辑门数和最低的功耗。研究结果可以用于指导子字并行加法器的设计与选择。 马胜 黄立波 王志英 刘聪 戴葵关键词:子字并行 加法器 基于访存分歧的GPU核心程序重组优化方法 本发明公开了一种基于访存分歧的GPU核心程序重组优化方法,目的是提升大规模GPUKernel的执行效率和应用程序性能。技术方案是先采用Create方法构建访存行为特征表,再采用Record方法记录各Kernel函数中各线... 甘新标 刘杰 迟利华 晏益慧 徐涵 胡庆丰 王志英 苏博 朱琪 刘聪文献传递 GPS拒止环境下基于定位置信度的多无人机协同定位方法 被引量:2 2022年 GPS拒止环境下的无人机定位问题是目前亟需研究和解决的一个难点问题。针对无人机集群系统在GPS拒止环境下的协同定位问题展开研究,首先,提出了定位置信度的概念,用于量化GPS拒止环境下无人机的定位准确程度;其次,提出了一种基于定位置信度的多无人机协同定位方法,该方法在基于持久性激励的相对定位法的基础上,利用定位置信度,自适应地调节协同定位过程中各无人机自主定位所占比重,以提高无人机集群定位的精度;第三,设计了一个用于融合异构传感器数据的扩展卡尔曼滤波器EKF,可部署于单架无人机上,将协同定位结果融入无人机位姿解算过程中,以提高无人机个体定位的精度;最后,在ROS平台上设计实现了一个多无人机协同定位原型系统,并在Gazebo仿真环境搭建的多无人机飞行场景中进行验证。结果表明,所提出的协同定位方法不仅能够有效缓解传统惯性导航方法的误差累积问题,而且能够有效提高无人机集群定位的精度。 史殿习 刘聪 刘聪 张拥军关键词:无人机 扩展卡尔曼滤波