韩文廷
- 作品数：33 被引量：70H指数：4
- 供职机构：中国科学技术大学更多>>
- 发文基金：国家攀登计划国家高技术研究发展计划中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术理学电子电信天文地球更多>>
- 任务数目和性能感知的可重构多核处理器的资源分配方法
- 一种任务数目和性能感知的可重构多核处理器的资源分配方法，动态可重构多核处理器具有运行时动态重构片上资源的能力，为降低任务平均周转时间，提高系统吞吐率和芯片资源利用率提供了巨大的优化空间。本发明中，在每个操作系统调度间隔内...
- 安虹高晓川王涛邱晓杰韩文廷张爱民
- 超长指令字程序的二进制翻译方法
- 本发明的实施例提出了一种超长指令字程序的二进制翻译方法，包括以下步骤：对程序中的超长指令字进行指令解码；还原所述程序中的控制流图以及数据流图；重建类数据流计算模型下的控制流图与数据流图；对所述程序进行超长指令字程序的二进...
- 安虹刘谷徐光许牧李小强韩文廷张倩刘玉
- 面向异构突发数据缓存的基于结构感知的I/O调度方法
- 本发明公开了一种面向异构突发数据缓存的基于结构感知的I/O调度方法，包括：通过运行时模块监视活动的应用程序I/O阶段的状态，并通知数据调度模块；所述数据调度模块具备结构干扰感知功能，对于接收到的I/O请求，所述数据调度模...
- 韩文廷梁伟浩安虹陈俊仕方涛张子豫
- 文献传递
- 任务数目和性能感知的可重构多核处理器的资源分配方法
- 一种任务数目和性能感知的可重构多核处理器的资源分配方法，动态可重构多核处理器具有运行时动态重构片上资源的能力，为降低任务平均周转时间，提高系统吞吐率和芯片资源利用率提供了巨大的优化空间。本发明中，在每个操作系统调度间隔内...
- 安虹高晓川王涛邱晓杰韩文廷张爱民
- 文献传递
- 利用分组算法实现高效的并行程序模型检测
- 2016年
- 在并行时代,模型检测技术(通常也被称为状态空间搜索)是验证并行程序正确性的有效方法.由于线程执行次序的不确定性,线程之间交互次序的改变导致程序状态呈指数性增长,因此在利用状态空间搜索法搜索程序状态时,状态爆炸是亟需解决的难题.为了改善该问题,提出基于分组的模型检测方法.针对操作不同变量的线程,在程序中简单添加制导语句对其进行分组,之后利用该分组信息搜索状态空间,并实时记录已完成搜索的分组信息,从而避免搜索冗余状态.实验结果表明,本文提出的方案对于缓解状态爆炸问题有很好的效果,制导分组前后,测试程序的状态集平均减少了67%,有效提高了并行程序验证效率.
- 王云云韩文廷周军蕊陈俊仕姚文军安虹
- 一种面向异构融合系统的任务调度方法及装置
- 本发明公开了一种面向异构融合系统的任务调度方法，包括：在接收到调度请求时，获取与所述调度请求中各个任务对应的有向无环图，其中，所述有向无环图中的各个节点与所述各个任务对应；针对所述有向无环图中的每个节点，通过与其存在依赖...
- 安虹林晗李明凡韩文廷林增陈俊仕
- 文献传递
- 一种基于注意力机制的图像处理方法、电子设备及系统
- 本申请公开了一种基于注意力机制的图像处理方法、电子设备及系统，获得待分类图像，将待分类图像输入至预先训练完成的分类模型，分类模型至少能够基于拆分注意力机制对待分类图像的图像特征进行提取，并基于图像特征进行分类，获得分类模...
- 安虹石军易会特赵敏帆阚鸿宇乔良刘强韩文廷
- 文献传递
- 一种右心室特征信息识别方法及装置
- 本发明公开了一种右心室特征信息识别方法及装置，通过获取待识别的目标超声心动图影像；基于目标识别模型对所述目标超声心动图影像进行识别，获得关键帧的概率曲线和解剖学结构点热力图；分别对所述关键帧的概率曲线和解剖学结构点概率热...
- 安虹王朝晖石军易会特赵敏帆韩文廷
- 超长指令字程序的二进制翻译方法
- 本发明的实施例提出了一种超长指令字程序的二进制翻译方法，包括以下步骤：对程序中的超长指令字进行指令解码；还原所述程序中的控制流图以及数据流图；重建类数据流计算模型下的控制流图与数据流图；对所述程序进行超长指令字程序的二进...
- 安虹刘谷徐光许牧李小强韩文廷张倩刘玉
- 文献传递
- 一种应用于宫颈癌放疗临床靶区识别方法及装置
- 本发明公开了一种应用于宫颈癌放疗临床靶区识别方法及装置，包括：获取待识别的目标图像，所述目标图像为3D宫颈癌CT影像；基于目标分割网络模型对所述目标图像进行识别，获得分割结果，其中，所述目标分割网络模型为基于3D宫颈癌C...
- 安虹易会特石军赵敏帆朱子琦郝晓宇韩文廷王朝晖
- 文献传递
