期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
一个面向存储优化GPGPU编译器 被引量:1
1
作者 李小强 安虹 吴石磊 《小型微型计算机系统》 CSCD 北大核心 2014年第4期872-877,共6页
近年来,图形处理器(GPU)在通用计算领域的应用越来越广泛,较高的性能功耗比以及合理的价格使其迅速普及.CUDA则是一种在当今图形处理器上进行通用编程的代表语言.但是由于CUDA过多的暴露了底层硬件的细节,使得程序员必须熟悉GPU的硬件... 近年来,图形处理器(GPU)在通用计算领域的应用越来越广泛,较高的性能功耗比以及合理的价格使其迅速普及.CUDA则是一种在当今图形处理器上进行通用编程的代表语言.但是由于CUDA过多的暴露了底层硬件的细节,使得程序员必须熟悉GPU的硬件细节才能写出高效运行的程序.而且由于GPU硬件在不断进化,使得为某一代GPU开发的程序很难高效的在新的硬件平台上执行.这大大增加了使用CUDA进行编程的难度和工作量.因此本文提出了一个面向存储优化的GPGPU编译器,将高层的制导语言翻译成优化的CUDA语言.硬件无关的高层制导语言提供了简单的编程模型和可移植性.应用了多种存储优化技术的优化编译器则负责生成高性能的CUDA程序.使用Rodinia测试程序集在Tesla C2050 GPU上的实验结果表明,本文的方案达到了较好的性能和可移植性的平衡. 展开更多
关键词 制导语言 源到源编译 存储优化 GPU
下载PDF
利用分组算法实现高效的并行程序模型检测
2
作者 王云云 韩文廷 +3 位作者 周军蕊 陈俊仕 姚文军 安虹 《小型微型计算机系统》 CSCD 北大核心 2016年第9期1898-1903,共6页
在并行时代,模型检测技术(通常也被称为状态空间搜索)是验证并行程序正确性的有效方法.由于线程执行次序的不确定性,线程之间交互次序的改变导致程序状态呈指数性增长,因此在利用状态空间搜索法搜索程序状态时,状态爆炸是亟需解决的难题... 在并行时代,模型检测技术(通常也被称为状态空间搜索)是验证并行程序正确性的有效方法.由于线程执行次序的不确定性,线程之间交互次序的改变导致程序状态呈指数性增长,因此在利用状态空间搜索法搜索程序状态时,状态爆炸是亟需解决的难题.为了改善该问题,提出基于分组的模型检测方法.针对操作不同变量的线程,在程序中简单添加制导语句对其进行分组,之后利用该分组信息搜索状态空间,并实时记录已完成搜索的分组信息,从而避免搜索冗余状态.实验结果表明,本文提出的方案对于缓解状态爆炸问题有很好的效果,制导分组前后,测试程序的状态集平均减少了67%,有效提高了并行程序验证效率. 展开更多
关键词 制导语言 源到源编译 模型检测 分组
下载PDF
Constraint-induced aphasia therapy for patients with aphasia: A systematic review 被引量:2
3
作者 Guandong Wang Li Ge +2 位作者 Qingxiang Zheng Pingping Huang Jing Xiang 《International Journal of Nursing Sciences》 CSCD 2020年第3期349-358,共10页
Objectives:This study aimed to systematically evaluate the effects of constraint-induced aphasia therapy(OAT)for aphasic patients reported by randomized controlled trials.Methods:Relevant randomized controlled trials ... Objectives:This study aimed to systematically evaluate the effects of constraint-induced aphasia therapy(OAT)for aphasic patients reported by randomized controlled trials.Methods:Relevant randomized controlled trials were retrieved from 11 electronic databases.A methodological quality assessment was conducted in accordance with the Cochrane Handbook,and metaanalyses were performed by using RevMan 5.2.A descriptive analysis was conducted when the included trials were not suitable for a meta-analysis.Results:A total of 12 trials were included.A statistically significant group difference was shown from the meta-analysis in the results measured by the Western Aphasia Battery(random-effects model,MD=1.23,95%CI=0.31 to 2.14,P<0.01).However,there were no statistically significant differences shown in the results of the Boston Naming Test(fixed-effects model,MD=-1.79,95%CI=-11.19 to Z62,P>0.05)and Aachen Aphasia Test(fixed-effects model,MD=-1.11,95%CI=-4.49 to 2.27,P>0.05).The descriptive analysis showed positive results in language performances of naming,repetition,and comprehension.Conclusion:This systematic review indicated that CIAT was efficient for improving language performance with regard to naming,comprehension,repetition,written language,and oral language based on the current evidence.And this review provides some meaningful guides for clinical practice:expand the therapy duration to 2 or 3 h per day,focus on naming,and choose the best assessment tool.It also indicates a need for more rigorous,large-scale,and high-quality trials in the future. 展开更多
关键词 APHASIA Constraint-induced aphasia therapy Descriptive analysis Language tests
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部