期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
一种基于序列模式挖掘的trace探测方法
1
作者 潘龙 廖湖声 苏航 《计算机应用与软件》 北大核心 2018年第7期1-7,14,共8页
基于trace的即时编译技术是一种提高解释型语言性能的有效方法。然而,现有的trace探测技术都是针对程序单次执行的,无法利用服务器端程序并发执行的特点。针对并发执行的服务器端程序,提出一种基于序列模式挖掘的trace探测方法,以快速... 基于trace的即时编译技术是一种提高解释型语言性能的有效方法。然而,现有的trace探测技术都是针对程序单次执行的,无法利用服务器端程序并发执行的特点。针对并发执行的服务器端程序,提出一种基于序列模式挖掘的trace探测方法,以快速发现热点trace。将并发执行的服务器端程序看作是多个基本块序列,应用序列模式挖掘算法,对得到的序列模式进行去重与合并以发现热点trace。实验结果表明基于序列模式挖掘的trace探测能够有效地提高trace探测的效率。 展开更多
关键词 序列模式挖掘 即时编译 基于trace
下载PDF
针对SECD抽象机的基于踪迹的即时编译技术
2
作者 于成龙 廖湖声 +1 位作者 武辰之 苏航 《计算机工程与设计》 北大核心 2015年第2期384-391,共8页
为提高程序的整体执行效率,提出一种基于踪迹(trace-based)的通用即时编译技术。在SECD抽象机指令序列的解释执行中,将执行频率高的程序片段识别为踪迹,并编译成Java字节码,由Java虚拟机执行。任何用SECD抽象机实现的编程语言都可以使... 为提高程序的整体执行效率,提出一种基于踪迹(trace-based)的通用即时编译技术。在SECD抽象机指令序列的解释执行中,将执行频率高的程序片段识别为踪迹,并编译成Java字节码,由Java虚拟机执行。任何用SECD抽象机实现的编程语言都可以使用该技术来提高程序执行效率。介绍该技术的实现方法,包括解释执行环境和Java字节码程序执行环境的转换方法,实现采用该技术的执行引擎框架。实验结果表明,该技术可有效提高程序的执行效率。 展开更多
关键词 即时编译 抽象机 字节码 踪迹 环境切换
下载PDF
四坐标自动焊接机床的数控系统 被引量：7
3
作者 杨箭 桂贵生 《制造技术与机床》 EI CSCD 北大核心 1997年第1期38-40,共3页
阐述自行研制的四坐标数控焊接机床数控系统的组成和功能。着重介绍在恶劣的焊接条件下，如何提高数控系统的抗干扰性能，以及基于轨迹焊接，一些特殊的数控功能的设计与运用。
关键词 四坐标 轨迹焊接 抗干扰 焊机 数控系统
下载PDF
从活性顺序图到时态逻辑的转化方法 被引量：2
4
作者 付明慧 周清雷 张兵 《计算机工程与设计》 CSCD 北大核心 2012年第9期3437-3441,共5页
为了将活性顺序图用于模型检测,方便描述系统的场景需求,提出了一种将活性顺序图转换成时态逻辑的转化方法。分析活性顺序图语言并且定义一种基于路径的语义,用活性顺序图表述系统的场景需求。根据提出的语义,给出了一个将场景需求显式... 为了将活性顺序图用于模型检测,方便描述系统的场景需求,提出了一种将活性顺序图转换成时态逻辑的转化方法。分析活性顺序图语言并且定义一种基于路径的语义,用活性顺序图表述系统的场景需求。根据提出的语义,给出了一个将场景需求显式转化为时态逻辑的一般方法,针对并发消息较多的系统扩展和优化此方法,以得到更简短的时态逻辑公式。通过实例说明活性顺序图到线性时态逻辑的转化过程。 展开更多
关键词 活性顺序图 时态逻辑 路径语义 场景需求 模型检测
下载PDF
基于Trace的即时编译器中代码生成策略的改进 被引量：1
5
作者 陈沉 白振兴 +1 位作者 向新 罗鑫 《计算机工程与设计》 CSCD 北大核心 2011年第6期2027-2030,共4页
针对编译循环内的查找表分派指令导致的代码重复或额外运行开销,在Dalvik虚拟机的基于Trace的即时编译器中提出了改进的代码生成算法。同已有的代码生成算法相比,该方法在划分基本块阶段获取查找表分派的信息,并将查找表分派指令转换成... 针对编译循环内的查找表分派指令导致的代码重复或额外运行开销,在Dalvik虚拟机的基于Trace的即时编译器中提出了改进的代码生成算法。同已有的代码生成算法相比,该方法在划分基本块阶段获取查找表分派的信息,并将查找表分派指令转换成一系列条件分支指令,通过条件分支指令实现子Trace同主Trace的合并,避免了主子Trace切换时额外的函数调用。实验结果表明,对于循环内含查找表分派的应用程序,该算法能提升其性能。 展开更多
关键词 基于trace的即时编译器 DALVIK虚拟机 代码生成 查找表分派 优化
下载PDF
基于Trace的CMinus语言即时编译技术 被引量：2
6
作者 陶胜召 廖湖声 +1 位作者 苏航 高红雨 《计算机应用与软件》 2017年第3期59-66,共8页
即时编译技术是改进动态语言性能的有效手段。基于踪迹(Trace)的即时编译技术能够在运行时识别出频繁执行的程序片段(热踪)并进行编译优化,在相当多的场景下能够提高程序整体的执行效率。然而,这种涉及底层代码优化的即时编译系统开发... 即时编译技术是改进动态语言性能的有效手段。基于踪迹(Trace)的即时编译技术能够在运行时识别出频繁执行的程序片段(热踪)并进行编译优化,在相当多的场景下能够提高程序整体的执行效率。然而,这种涉及底层代码优化的即时编译系统开发难度较大,导致其应用范围受到一定限制。为此,一种针对C语言子集CMinus的热踪编译技术被提出。利用这种热踪编译技术及其支撑工具,任何能够翻译为CMinus的开发语言都可以使用该技术提高程序执行效率,任何采用CMinus语言实现的算法也都可以得到热踪编译的支持。实验结果表明这种即时编译技术能够有效地提高程序的执行效率。 展开更多
关键词 CMinus 即时编译 基于踪迹 环境切换
下载PDF
基于寄存器簇恢复的追踪信号选择方法 被引量：1
7
作者 程云 李华伟 +1 位作者 王颖 李晓维 《计算机学报》 EI CSCD 北大核心 2018年第10期2318-2329,共12页
在集成电路开发中,原型芯片硅后可观测性差,使得硅后调试变得异常困难,延长了芯片的开发周期.基于追踪的可调试性设计通过在芯片中添加追踪缓存以存储关键的追踪信号,可提高芯片的可观测性.但由于调试硬件开销有限,如何选择有限的追踪... 在集成电路开发中,原型芯片硅后可观测性差,使得硅后调试变得异常困难,延长了芯片的开发周期.基于追踪的可调试性设计通过在芯片中添加追踪缓存以存储关键的追踪信号,可提高芯片的可观测性.但由于调试硬件开销有限,如何选择有限的追踪信号以提高芯片可观测性成为硅后调试的研究热点.该文提出了一种基于寄存器簇恢复的追踪信号选择方法,其可分为两步:寄存器簇生成、寄存器簇融合和选择,其中寄存器簇生成根据寄存器的反馈环信息构建初始寄存器簇,而寄存器簇融合和选择可以通过簇合并优化初始寄存器簇,并选择对状态恢复率提升最大的寄存器簇作为追踪寄存器簇.当追踪寄存器簇确定后,簇输入即为追踪信号,簇内寄存器即为需获取的快照信号.在基准电路ISCAS89上的实验结果表明,相对于现有的追踪信号选择方法,该方法可获得更高的状态恢复率,比现有最好的选择结果平均可提高7%,最高可提高57%,同时算法运行时间更短,比现有最快的选择方法平均也有54倍的加速,而仅需增加不到2%的存储开销和不到1%的逻辑开销. 展开更多
关键词 追踪调试 追踪信号选择 状态恢复率 硅后调试
下载PDF
基于模型的测试在工作流应用程序中的研究 被引量：1
8
作者 汪祎然 张树东 《计算机测量与控制》 2016年第6期143-146,共4页
近年来,工作流技术越来越多的应用于软件程序中,与之相关的新工作流语言以及工作流引擎也得到了快速的发展;但是,目前辅助工作流应用软件的测试方法仍显不足,特别是工作流引擎测试方面还存在着严重的局限性;为此,提出了基于模型测试的... 近年来,工作流技术越来越多的应用于软件程序中,与之相关的新工作流语言以及工作流引擎也得到了快速的发展;但是,目前辅助工作流应用软件的测试方法仍显不足,特别是工作流引擎测试方面还存在着严重的局限性;为此,提出了基于模型测试的方法对工作流引擎进行测试,此外,还引入了抽象测试框架的概念,将其应用到工作流的测试上,它能够为工作流引擎构建测试环境和测试套件;最后,在Cumbia平台上搭建的一个工作流引擎上进行应用,说明了基于模型的测试方法和抽象测试框架可以有效应用于工作流引擎的测试。 展开更多
关键词 基于模型的测试 工作流测试 基于跟踪执行分析 模型驱动工程
下载PDF
应用酱香混合曲生产麸曲酱香型白酒工艺研究 被引量：4
9
作者 王邦坤 王会军 《酿酒》 CAS 2016年第3期89-93,共5页
通过对应用不同酱香混合曲为糖化发酵剂生产麸曲酱香型白酒的工艺研究,对生产过程工艺操作要点和参数进行了阐述,分析了三种酱香混合曲对基酒微量成份、感官质量、发酵温度、出酒率的影响程度,提出了工艺改进措施和勾兑调味技术的应用... 通过对应用不同酱香混合曲为糖化发酵剂生产麸曲酱香型白酒的工艺研究,对生产过程工艺操作要点和参数进行了阐述,分析了三种酱香混合曲对基酒微量成份、感官质量、发酵温度、出酒率的影响程度,提出了工艺改进措施和勾兑调味技术的应用方法。 展开更多
关键词 酱香混合曲 麸曲酱香型白酒 生产工艺 基酒微量成份
下载PDF
用连续流动——氢化物发生FAAS法对钢铁中微量元素砷、锡和锑分析的研究
10
作者 徐惠仓 《宽厚板》 1996年第5期12-15,共4页
本文阐述了用国内外正在研究发展的原子吸收光谱分析新技术—连续流动氢化物发生FAAS法来分析钢铁中的微量元素As、Sn、Sb的分析方法。并对分析仪器的最佳工作条件、基体元素的影响以及其它分析试验条件进行试验研究,提出准确、可靠、... 本文阐述了用国内外正在研究发展的原子吸收光谱分析新技术—连续流动氢化物发生FAAS法来分析钢铁中的微量元素As、Sn、Sb的分析方法。并对分析仪器的最佳工作条件、基体元素的影响以及其它分析试验条件进行试验研究,提出准确、可靠、简单、快速适合于分析钢铁及其合金中含量在0.000X～0.OOX％数量级As、Sn和Sb的分析方法。 展开更多
关键词 FAAS法 微量元素 钢铁 砷 锡 锑
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部