oalib

OALib Journal期刊

ISSN: 2333-9721

费用:99美元

投稿

时间不限

2016 ( 48 )

2015 ( 1945 )

2014 ( 2037 )

2013 ( 2006 )

自定义范围…

匹配条件: “魏 帅” ,找到相关结果约25063条。
列表显示的所有文章,均可免费获取
第1页/共25063条
每页显示
面向slp的多重循环向量化
,赵荣彩?,姚远?
软件学报 , 2012, DOI: 10.3724/SP.J.1001.2012.04106
Abstract: 如今,越来越多的处理器集成了simd(singleinstructionmultipledata)扩展,现有的编译器大多也实现了自动向量化的功能,但是一般都只针对最内层循环进行向量化,对于多重循环缺少一种通用、易行的向量化方法.为此,提出了一种面向slp(superwordlevelparallelism)的多重循环向量化方法,从外至内依次对各个循环层次进行分析,收集各层循环对应的一些影响向量化效果的属性值,主要包括能否对该循环进行直接循环展开和压紧、有多少数组引用相对于该循环索引连续以及该循环所包含的区域等,然后根据这些属性值决定在哪些循环层次进行直接循环展开和压紧,最后通过slp对循环中的语句进行向量化.实验结果表明,该算法相对于内层循环向量化和简单的外层循环向量化平均加速比提升了2.13和1.41,对于一些常用的核心循环可以得到高达5.3的加速比.
浅水域可控源海洋电磁测量中空气波的渐近表达与波场分离方法
沈金松,汪轩,,李曼
吉林大学学报(地球科学版) , 2015, DOI: 10.13278/j.cnki.jjuese.201501302
Abstract: 可控源海洋电磁(MCSEM)勘探中空气波对海底电磁响应的影响已为业界所重视,它是由水平电偶极子源发射的电磁信号沿空气-海水界面传播与来自海底地层的有效信号相互作用产生的。在浅水域勘探时,空气波淹没来自地层的有效信号,使浅水域MCSEM实现油气层识别产生困难。基于层状介质模型,采用电磁场的模式分解理论导出了半空间电阻率模型的空气波表达式,利用该式将空气波在海水层的传播近似用海水-空气界面与海底地层之间的多次鸣震表达。结合源和接收器两边电磁场的传播特征,导出了有限水深时空气波近似关系,用于近似模拟空气波响应。为了对比不同方法压制空气波的效果,基于上行波场和下行波场的分解方法,获得了含油气高阻储层上上行波的异常幅度增大数倍的结果,显示了波场分解方法压制空气波的良好效果。最后,利用不含油气层的背景模型和含油气储层模型电磁响应的数值模拟结果,比较空气波渐近表达和波场分离2种空气波压制方法可知对于水平层状模型后者效果更好;前者可适用于崎岖海底地层的数据处理,后者只适用于水平海底地层。
Data Regroup and Alignment Optimization Based on SIMD
面向SIMD的数组重组和对齐优化

,赵荣彩,姚远,侯永生
计算机科学 , 2012,
Abstract: 随着多媒体应用的普及,越来越多的处理器集成了SIMD扩展,但是非连续或者非对齐访存会阻碍程序的向量化或者造成性能损失。针对实际应用中出现的数组引用不连续的情况,提出了一种数学模型,用以刻画数组的访存模式和数据重组方案,以判断这些数组引用是否可以通过数组转置的方法满足连续性要求;并采用过程间数组填充、循环剥离和基于SI_P的向量化代码生成方法等进行对齐优化。最后基于SPEC2000测试集对该算法进行了测试,结果表明,该方法可以有效地提升向量化程序的执行效率。
stanfordb型主动脉夹层治疗的临床观察
,民新,付强
天津医药 , 2015,
Abstract: ?目的探讨stanfordb型主动脉夹层适宜的治疗方案。方法回顾性分析天津医科大学总医院2008年5月—2013年3月51例stanfordb型主动脉夹层患者临床资料,并通过回访评价患者生存及康复情况。依照是否行胸主动脉覆膜支架隔绝术(tevar),分为支架组40例及保守组11例。结果40例患者tevar手术全部成功,围手术期死亡2例(5%),随访期间无死亡患者;11例保守治疗患者院内死亡1例(9.1%),随访期间死亡7例(63.6%)。k-m生存曲线分析显示支架组2年生存率明显高于保守组。支架组术后主动脉及假腔最大直径呈减小趋势且假腔血栓化。结论对于stanfordb型主动脉夹层患者,tevar治疗成功率高,促进主动脉真假腔重塑,相对传统内科保守治疗可以显著提高患者生存率、近中期效果好。
盖岩co2突破压测试方法综述
,,李小春
岩土力学 , 2015,
Abstract: co2地质封存是当前温室气体减排的关键技术之一,而co2突破压是co2地质封存中盖层密封性评价的重要指标之一,它主要通过室内试验获取。目前,室内测试常用的方法包括间接法和直接法,间接法主要采用压汞法,直接法主要采用连续法、分步法、驱替法和脉冲法。在调研国内外co2突破压室内试验研究工作的基础上,介绍了几种方法的测试原理与流程、误差来源分析以及适用范围:压汞法测试简单快速,但表面张力与接触角的转化、测试过程中孔隙结构破坏等问题导致准确度较低;分步法基于突破压定义而提出,测试准确度较高,但测试时间较长,低渗盖层岩石通常需要长达数月时间;连续法测试结果较为准确,但忽略了流体的流动黏滞阻力,且流量变化滞后于压力变化,故测试结果较易被高估;国内油气行业主要采用驱替法测试盖层突破压,测试过程快速,但结果的转化与校正比较繁琐;脉冲法以分步法为基础作了改进,兼顾了准确性和效率性,但存在数据解释的问题,特别是脉冲法获得的残余压差psnapoff?和突破压真实值pbreakthrough之间的差距。分析、对比了几种测试方法的原理、流程和误差来源,推荐了各个方法的适用范围,并提出了突破压测试技术的研究需求。
气相色谱法/三重四极杆质谱测定番茄酱中72种农药残留量
尚德军,,李世雨
食品科学 , 2013,
Abstract: ?采用气相色谱法/三重四极杆质谱分析技术,通过全扫描、子离子扫描和选择离子扫描,确定甲胺磷等72种农药二级质谱分析时适用的标准工作液质量浓度、srm监测离子对、质谱采集时间窗口,以及碰撞能量等质谱参数;与quechers样品前处理方法结合,开发出了番茄酱中多农残快速检测的气相色谱-质谱/质谱分析方法。方法表明:在线性范围5~2000μg/l内,72种农药的线性相关系数均大于0.99;3个水平的添加回收实验结果表明,低水平的加标条件下95.8%的农药回收率为80%~120%,87.5%的农药相对标准偏差(rsd)小于15%;检出限(rsn=3)和定量限(rsn=10)分别为0.04~7.5μg/kg和0.1~12.9μg/kg。该方法灵敏度高、实现了低含量的定量分析、准确可靠,满足农药残留分析的要求。
路标计数启发式引导的分解规划方法
唯?,欧阳丹彤?,
软件学报 , 2013, DOI: 10.3724/SP.J.1001.2013.04383
Abstract: 路标信息能够准确描述智能规划问题解空间的基本形态.提出由路标信息引导的分解规划方法,求解过程由路标计数启发式引导增强爬山算法向目标方向进行,根据路标的完成情况分段求出规划解.从全局范围上看,爬山过程逐渐实现更多的路标,路标计数启发式估值的降低引发规划任务的分解,当搜索过程遇到估值更低的状态时,提取一段爬山路径.如此反复执行“搜索-提取”过程,直至路标计数启发式的估值降低为0,各段爬山路径构成最终的规划解.采用最新国际通用的标准测试问题进行实验测试,结果表明:由路标计数启发式引导的分解规划方法能够更好地发挥路标信息的优势,实现了搜索范围的压缩,可更快地生成规划解.
基于缩减信念状态的conformant规划方法
唯?,欧阳丹彤?,
软件学报 , 2013, DOI: 10.3724/SP.J.1001.2013.04289
Abstract: conformant规划问题通常转化为信念状态空间的搜索问题来求解.提出了通过降低信念状态的不确定性来提高规划求解效率的方法.首先给出缩减信念状态的增强爬山算法,在此基础上,提出了基于缩减信念状态的conformant规划方法,设计了cff-lite规划系统.该规划器的求解过程包括两次增强爬山过程,分别用于缩减信念状态和搜索目标.首先对初始信念状态作最大程度的缩减,提高启发函数的准确性;然后从缩减后的信念状态开始执行启发式搜索.实验结果表明,cff-lite规划系统通过快速缩减信念状态降低了问题的求解难度,在大多数问题上,求解效率和规划解质量与conformant-ff相比,都有显著的提高.
一种实时多目标路径规划方法
,欧阳丹彤,
计算机科学 , 2010,
Abstract: 提出一种利用实时搜索思想的多目标路径规划方法。首先设计并实现局部路径规划算法,在有限的局部空间内执行启发式搜索,求解所有局部非支配路径;在此基础上,提出实时多目标路径规划方法,设计并实现相应的启发式搜索算法,在线交替执行局部搜索过程、学习过程与移动过程,分别用于求解局部空间内的最优移动路径,完成状态的转移和更新状态的启发信息,最终到达目标状态。研究表明,实时多目标启发式搜索算法通过限制局部搜索空间,避免了大量不必要的计算,提高了搜索效率,能够高效地求解多目标路径规划问题。
面向simd的数组重组和对齐优化
,赵荣彩,姚远,侯永生?
计算机科学 , 2012,
Abstract: 随着多媒体应用的普及,越来越多的处理器集成了simd扩展,但是非连续或者非对齐访存会阻碍程序的向量化或者造成性能损失。针对实际应用中出现的数组引用不连续的情况,提出了一种数学模型,用以刻画数组的访存模式和数据重组方案,以判断这些数组引用是否可以通过数组转置的方法满足连续性要求;并采用过程间数组填充、循环剥离和基于si_p的向量化代码生成方法等进行对齐优化。最后基于spec2000测试集对该算法进行了测试,结果表明,该方法可以有效地提升向量化程序的执行效率。
第1页/共25063条
每页显示


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.