检索结果-南通市图书馆

Tuning parallel symbolic execution engine for better performance

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2018年第1期12卷 86-100页

作者： Anil Kumar KARNA Jinbo DU Haihao SHEN Hao ZHONG Jiong GONG Haibo YU xiangning ma: Jianjun ZHAO Department of Computer Science Shanghai Jiao Tong University Shanghai 200240 China School of Software Shanghai Jiao Tong University Shanghai 200240 China Intel Asia-Pacific Research and Development Ltd. Shanghai 200240 China Department of Advanced Information Technology Kyushu University Fukuoka 819-0395 Japan

Symbolic execution is widely used in many code analysis, testing, and verification tools. As symbolic execu- tion exhaustively explores all feasible paths, it is quite time consuming. To handle the problem, researchers have par- alleled existing symbolic execution tools （e.g., KLEE）. In particular, Cloud9 is a widely used paralleled symbolic exe- cution tool, and researchers have used the tool to analyze real code. However, researchers criticize that tools such as Cloud9 still cannot analyze large scale code. In this paper, we con- duct a field study on Cloud9, in which we use KLEE and Cloud9 to analyze benchmarks in C. Our results confirm the criticism. Based on the results, we identify three bottlenecks that hinder the performance of Cloud9： the communication time gap, the job transfer policy, and the cache management of the solved constraints. To handle these problems, we tune the communication time gap with better parameters, modify the job transfer policy, and implement an approach for cache management of solved constraints. We conduct two evalua- tions on our benchmarks and a real application to understand our improvements. Our results show that our tuned Cloud9 reduces the execution time significantly, both on our bench- marks and the real application. Furthermore, our evaluation results show that our tuning techniques improve the effective- ness on all the devices, and the improvement can be achievedupto five times, depending upon a tuning value of our ap- proach and the behaviour of program under test.

关键词： code analysis symbolic execution parallelizingsymbolic execution KLEE Ctoud9

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

动态二进制翻译与优化技术研究

计算机研究与发展 2007年第1期44卷 161-168页

作者：李剑慧马湘宁朱传琪复旦大学计算机科学与工程系英特尔中国软件中心上海200241 英特尔中国软件中心

动态二进制翻译技术是一种即时编译技术,它将针对源体系结构编译生成的二进制代码(源机器码)动态翻译为可以在目的体系结构上运行的代码(翻译码).动态优化技术是指在运行时获取动态信息并进行代码优化的技术.动态二进制翻译及优化系统... 详细信息

动态二进制翻译技术是一种即时编译技术,它将针对源体系结构编译生成的二进制代码(源机器码)动态翻译为可以在目的体系结构上运行的代码(翻译码).动态优化技术是指在运行时获取动态信息并进行代码优化的技术.动态二进制翻译及优化系统使得源软件无需重编译就可以直接在目标体系结构上高效地运行.目前几种比较有影响的动态二进制翻译及优化系统有Intel公司的IA-32 Execution Layer,IBM公司的DAISY,Transmeta的CMS及HP的Dynamo等.这些系统对动态二进制翻译系统关键技术有不同的实现.对动态二进制翻译和优化技术的研究是计算机领域的研究热点,具有深远的现实意义和应用前景.

关键词：动态二进制翻译动态二进制优化精确异常自修改代码翻译翻译开销

功能性消化不良应用伊托必利联合氟哌噻吨美利曲辛治疗的效果研究

在线全文

学校读者我要写书评

暂无评论

当代医学 2020年第15期26卷 137-138页

作者：马湘宁中国重型汽车集团有限公司医院济南市中心医西院区消化内科山东济南250000

目的分析伊托必利联合氟哌噻吨美利曲辛治疗功能性消化不良的应用效果。方法选取2017年9月至2018月12月本院收治的119例功能性消化不良患者,随机分为对照组(n=54)和观察组(n=65)。对照组采用伊托必利治疗,观察组采用伊托必利联合氟哌噻... 详细信息

目的分析伊托必利联合氟哌噻吨美利曲辛治疗功能性消化不良的应用效果。方法选取2017年9月至2018月12月本院收治的119例功能性消化不良患者,随机分为对照组(n=54)和观察组(n=65)。对照组采用伊托必利治疗,观察组采用伊托必利联合氟哌噻吨美利曲辛治疗。比较两组患者治疗效果。结果观察组患者治疗有效率为96.92%,明显高于对照组的75.93%,差异具有统计学意义(P<0.05)。观察组患者不良反应发生率为4.62%,明显低于对照组的31.48%,差异具有统计学意义(P<0.05)。治疗前,两组患者抑郁评分比较差异无统计学意义;治疗后,观察组抑郁评分明显低于对照组(P<0.05)。结论伊托必利联合氟哌噻吨美利曲辛治疗功能性消化不良效果显著,且能有效降低不良反应,值得临床推广。

关键词：功能性消化不良伊托必利氟哌噻吨美利曲辛治疗效果不良反应

胃苏颗粒联合四联疗法治疗Hp阳性消化性溃疡的临床效果观察

在线全文

学校读者我要写书评

暂无评论

反射疗法与康复医学 2023年第16期4卷 15-18页

作者：马湘宁济南市历下区人民医院消化内科山东济南250014

目的探讨幽门螺杆菌(Hp)阳性消化性溃疡行四联疗法与胃苏颗粒联合治疗的临床效果.方法选择2021年6月—2023年1月于该院就诊的116例Hp阳性消化性溃疡患者为研究对象,采用随机数字表法将其分为对照组和观察组,各58例.对照组采用四联疗法,... 详细信息

目的探讨幽门螺杆菌(Hp)阳性消化性溃疡行四联疗法与胃苏颗粒联合治疗的临床效果.方法选择2021年6月—2023年1月于该院就诊的116例Hp阳性消化性溃疡患者为研究对象,采用随机数字表法将其分为对照组和观察组,各58例.对照组采用四联疗法,观察组在对照组基础上加以胃苏颗粒治疗,比较两组临床疗效、炎性因子、Hp根除率、胃肠激素指标及不良反应发生情况.结果观察组治疗总有效率为91.38%,高于对照组的77.59%,观察组Hp根除率为91.38%,高于对照组的75.86%,组间差异有统计学意义(P0.05).结论四联疗法联合胃苏颗粒治疗Hp阳性消化性溃疡患者能够改善其炎性因子水平并提高Hp根除率,减轻胃肠反应,且具有较高的安全性.

关键词：消化性溃疡幽门螺杆菌胃苏颗粒四联疗法炎性因子

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

二进制翻译中的标志位优化技术

计算机研究与发展 2005年第2期42卷 329-337页

作者：马湘宁武成岗唐锋冯晓兵张兆庆中国科学院计算技术研究所北京100080

在二进制翻译技术中 ,如何有效降低对源指令集体系结构标志位的模拟开销是一个值得研究的课题分别针对二进制翻译中的解释执行和动态翻译 ,提出了相应的标志位模拟优化算法 ,能够有效地减少翻译生成的目标代码数量 ,提高目标代码性能 ... 详细信息

在二进制翻译技术中 ,如何有效降低对源指令集体系结构标志位的模拟开销是一个值得研究的课题分别针对二进制翻译中的解释执行和动态翻译 ,提出了相应的标志位模拟优化算法 ,能够有效地减少翻译生成的目标代码数量 ,提高目标代码性能经过大量测试验证 ,在应用该标志位模拟优化算法后 ,DigitalBridge系统翻译生成的目标代码量是源体系结构目标代码量的 12 0 % ,而没有应用该优化算法时该比例是 2 5 0 % ,作为对比系统UQDBT系统的比例是 15 0 %

关键词：二进制翻译标志位优化延迟计算即时计算

在线全文

学校读者我要写书评

暂无评论

二进制翻译中解释器指令缓冲区管理策略分析

计算机工程 2005年第11期31卷 71-73页

作者：唐锋武成岗张兆庆冯晓兵马湘宁中科院计算所北京100080

二进制翻译一般是为了解决遗产代码的问题,同时也可以实现不同硬件平台之间软件的通用。解释执行是二进制翻译不可或缺的一部分。CISC结构的x86指令由于可变长,反汇编较固定指令字长的RISC结构复杂。为了后续的模拟,需要把x86的机器码... 详细信息

二进制翻译一般是为了解决遗产代码的问题,同时也可以实现不同硬件平台之间软件的通用。解释执行是二进制翻译不可或缺的一部分。CISC结构的x86指令由于可变长,反汇编较固定指令字长的RISC结构复杂。为了后续的模拟,需要把x86的机器码提升为和汇编码平行的一种结构——IR1结构。该文讨论了这种IR1存放的缓冲区的管理策略对系统性能的影响。

关键词：二进制翻译反汇编动态优化程序块

在线全文

学校读者我要写书评

暂无评论

微细粒煤泥浮选分离强化方法及技术研究进展

洁净煤技术 2024年第8期30卷 185-202页

作者：王学霞于梅王烨敏马超卜祥宁山西工程技术学院矿业工程系山西阳泉045000 中国矿业大学煤炭加工与高效洁净利用教育部重点实验室江苏徐州221116 中国矿业大学化工学院江苏徐州221116

制约微细粒煤泥高效浮选回收的主要瓶颈问题是微细粒煤泥自身性质导致的颗粒与气泡矿化效率低,但黏土矿物夹杂污染、浮选泡沫性质和捕收剂性能等因素的影响同样不可忽视。为了解微细粒煤泥浮选强化方法及技术研究进展,首先介绍了微细煤... 详细信息

制约微细粒煤泥高效浮选回收的主要瓶颈问题是微细粒煤泥自身性质导致的颗粒与气泡矿化效率低,但黏土矿物夹杂污染、浮选泡沫性质和捕收剂性能等因素的影响同样不可忽视。为了解微细粒煤泥浮选强化方法及技术研究进展,首先介绍了微细煤泥浮选分离难的原因,其次从增大颗粒表观粒径、减小气泡尺寸、强化流场调节、捕收剂优化、浮选设备改进、浮选工艺创新和矿浆预处理等7方面进行综述,最后深入探讨不同浮选分离强化方法及技术的优劣势。为克服微细粒煤泥自身质量小的影响,絮凝浮选是常见的增大颗粒表观粒径技术,其浮选强化效果显著但药剂选择性及成本问题不可忽视;载体浮选与超声驻波团聚均具备较好的潜力但目前尚处于实验室研究阶段。为提高颗粒与气泡碰撞概率,减小气泡尺寸是有效的手段,其中纳米气泡浮选技术在显著提高微细煤泥回收率的同时能有效降低药剂用量。强化流场调节同样是关注到颗粒与气泡的碰撞、粘附概率的影响,以湍流强化为手段有效促进了浮选指标的提升。捕收剂优化是从降低药剂成本、提高药剂选择性角度出发,其研究点主要有改善传统药剂分散性、引入极性基团、新型药剂设计等。其中药剂乳化、捕收剂替代品、复配型捕收剂及新型纳米粒子捕收剂等均不同程度地呈现了良好的强化效果,但其制备成本及可能对环境造成的影响是其亟待解决的问题。此外,针对微细粒煤泥分离挑战,目的矿物高效矿化和脉石矿物有效抑制是浮选设备优化的核心突破点;多次浮选和分级浮选是解决微细粒分选不彻底的主要工艺创新改进;分级调浆、超声波及高剪切等预处理强化技术有效地改善药剂和矿浆均匀性及药剂和煤粒的碰撞概率,从而强化浮选分离效果。在以上不同浮选分离强化方法及技术中,絮凝浮选、超声驻波团聚、纳米气泡浮选、湍流强度调控及捕收剂分子设计优化等均在实验室研究阶段,向工业化应用发展的过程中还需开展大量基础理论研究及半工业化研究,而寻求成本效益卓越的新型药剂、浮选设备升级赋能、浮选工艺智慧创新及浮选矿浆预处理精细强化或将是现有选煤厂强化微细煤泥浮选分离效果较妥当且切实可行的方案。

关键词：微细粒煤泥浮选强化增大颗粒表观粒径减小气泡尺寸流场强化捕收剂优化设备及工艺改进

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

二进制翻译中的过程恢复技术

计算机工程与应用 2002年第19期38卷 1-5页

作者：马湘宁张兆庆冯晓兵张军超中国科学院计算所北京100080

目前对处理器速度的追求促使体系结构不断发展,但是软件的支持却不能与其匹配,造成新体系结构推广的困难,研究、解决代码迁移问题的二进制翻译方法应运而生。文中介绍了在开发一个静态二进制翻译系统(XM翻译器)中的过程恢复技术,包括参... 详细信息

目前对处理器速度的追求促使体系结构不断发展,但是软件的支持却不能与其匹配,造成新体系结构推广的困难,研究、解决代码迁移问题的二进制翻译方法应运而生。文中介绍了在开发一个静态二进制翻译系统(XM翻译器)中的过程恢复技术,包括参数恢复和返回值恢复,并提出了解决返回值恢复问题的一个新的实现方法。它回避了一般方法中必须要进行数据流、控制流分析的复杂性,基于x86机器本身的调用特点以及实例的分析,是一种简单实用的实现返回值恢复的方法,经XM系统验证是行之有效的。

关键词：二进制翻译过程恢复编译优化软件开发

基于CMOS图像传感器的复合型中子照相电子学系统的研制

在线全文

学校读者我要写书评

暂无评论

核电子学与探测技术 2024年第2期44卷 284-291页

作者：田香凝马毅超滕海云陕西科技大学西安710021 中国科学院高能物理研究所北京100049 散裂中子源科学中心东莞523803

针对高能物理实验中高通量、高性能的中子探测需求,本文提出了一种基于CMOS图像传感器的复合型中子照相电子学系统。该系统采用Kintex-7系列的FPGA作为系统逻辑处理的核心器件,利用SiPM的快响应为CMOS图像传感器提供快门触发,使其对光... 详细信息

针对高能物理实验中高通量、高性能的中子探测需求,本文提出了一种基于CMOS图像传感器的复合型中子照相电子学系统。该系统采用Kintex-7系列的FPGA作为系统逻辑处理的核心器件,利用SiPM的快响应为CMOS图像传感器提供快门触发,使其对光纤光锥投影的中子光斑进行曝光。通过SiPM提供的粗位置信息确定CMOS传感器的感兴趣区域,读出数据传输至上位机进行显示与分析。实验结果表明,该系统中最小像素单元尺寸为28μm×28μm的CMOS传感器能够对孔径为200μm的小孔进行成像,最大偏移为28μm,系统最高计数率为82 kHz,可实现高效率的中子探测。

关键词：中子照相电子学系统 CMOS图像传感器 FPGA