韩文廷
- 作品数：33 被引量：71H指数：4
- 供职机构：中国科学技术大学更多>>
- 发文基金：国家攀登计划国家高技术研究发展计划中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术理学电子电信天文地球更多>>
- 任务数目和性能感知的可重构多核处理器的资源分配方法
- 一种任务数目和性能感知的可重构多核处理器的资源分配方法，动态可重构多核处理器具有运行时动态重构片上资源的能力，为降低任务平均周转时间，提高系统吞吐率和芯片资源利用率提供了巨大的优化空间。本发明中，在每个操作系统调度间隔内...
- 安虹高晓川王涛邱晓杰韩文廷张爱民
- 人工神经网络理论研究进展被引量：42
- 1996年
- 本文综述了人工神经网络理论中的几种典型方法及近期的一些应用。
- 陈国良韩文廷
- 关键词：吸引子平均场神经网络
- 一种右心室特征信息识别方法及装置
- 本发明公开了一种右心室特征信息识别方法及装置，通过获取待识别的目标超声心动图影像；基于目标识别模型对所述目标超声心动图影像进行识别，获得关键帧的概率曲线和解剖学结构点热力图；分别对所述关键帧的概率曲线和解剖学结构点概率热...
- 安虹王朝晖石军易会特赵敏帆韩文廷
- 文献传递
- 基于曙光1000的中尺度数值气象预报系统及其在江淮流域的适用性研究
- 2000年
- 本文介绍了我们基于曙光 10 0 0建立起来的中尺度数值气象预报系统及其在江淮流域的适用性研究 ,包括MM4数值预报模式的分析及其并行化方法 ,系统组成及基于该系统的预报过程 .通过对 1998年、1999年发生在江淮流域的多次各类暴雨天气过程 ,利用曙光 10 0 0上并行化中尺度模式 MM4进行的数值预报结果与实况进行的对比分析研究 ,结果表明 :曙光 10 0 0上并行化的中尺度数值模式 MM4对发生在江淮流域的江淮气旋、梅雨锋暴雨等中尺度天气系统具有较好的预报能力 ,尤其在 6至 2 4小时的预报时效内对发生在系统内的中尺度降水系统 (中尺度雨带 )具有很好的预报能力 ,反映出该系统具有良好的区域适用性 .实例研究也表明 ,该中尺度数值模式仍然有许多问题要解决 ,文中指出了今后将继续研究和改进的方向 .
- 安虹韩文廷陈国良李柏
- 关键词：曙光1000
- 一种面向异构融合系统的任务调度方法及装置
- 本发明公开了一种面向异构融合系统的任务调度方法，包括：在接收到调度请求时，获取与所述调度请求中各个任务对应的有向无环图，其中，所述有向无环图中的各个节点与所述各个任务对应；针对所述有向无环图中的每个节点，通过与其存在依赖...
- 安虹林晗李明凡韩文廷林增陈俊仕
- 超长指令字程序的二进制翻译方法
- 本发明的实施例提出了一种超长指令字程序的二进制翻译方法，包括以下步骤：对程序中的超长指令字进行指令解码；还原所述程序中的控制流图以及数据流图；重建类数据流计算模型下的控制流图与数据流图；对所述程序进行超长指令字程序的二进...
- 安虹刘谷徐光许牧李小强韩文廷张倩刘玉
- 面向异构突发数据缓存的基于结构感知的I/O调度方法
- 本发明公开了一种面向异构突发数据缓存的基于结构感知的I/O调度方法，包括：通过运行时模块监视活动的应用程序I/O阶段的状态，并通知数据调度模块；所述数据调度模块具备结构干扰感知功能，对于接收到的I/O请求，所述数据调度模...
- 韩文廷梁伟浩安虹陈俊仕方涛张子豫
- 文献传递
- 任务数目和性能感知的可重构多核处理器的资源分配方法
- 一种任务数目和性能感知的可重构多核处理器的资源分配方法，动态可重构多核处理器具有运行时动态重构片上资源的能力，为降低任务平均周转时间，提高系统吞吐率和芯片资源利用率提供了巨大的优化空间。本发明中，在每个操作系统调度间隔内...
- 安虹高晓川王涛邱晓杰韩文廷张爱民
- 文献传递
- 利用分组算法实现高效的并行程序模型检测
- 2016年
- 在并行时代,模型检测技术(通常也被称为状态空间搜索)是验证并行程序正确性的有效方法.由于线程执行次序的不确定性,线程之间交互次序的改变导致程序状态呈指数性增长,因此在利用状态空间搜索法搜索程序状态时,状态爆炸是亟需解决的难题.为了改善该问题,提出基于分组的模型检测方法.针对操作不同变量的线程,在程序中简单添加制导语句对其进行分组,之后利用该分组信息搜索状态空间,并实时记录已完成搜索的分组信息,从而避免搜索冗余状态.实验结果表明,本文提出的方案对于缓解状态爆炸问题有很好的效果,制导分组前后,测试程序的状态集平均减少了67%,有效提高了并行程序验证效率.
- 王云云韩文廷周军蕊陈俊仕姚文军安虹
- 一种面向异构融合系统的任务调度方法及装置
- 本发明公开了一种面向异构融合系统的任务调度方法，包括：在接收到调度请求时，获取与所述调度请求中各个任务对应的有向无环图，其中，所述有向无环图中的各个节点与所述各个任务对应；针对所述有向无环图中的每个节点，通过与其存在依赖...
- 安虹林晗李明凡韩文廷林增陈俊仕
- 文献传递
