首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到17条相似文献,搜索用时 62 毫秒
1.
函数式语言的部分求值技术   总被引:2,自引:1,他引:2       下载免费PDF全文
宋立彤  金成植 《软件学报》1996,7(5):306-313
本文基于抽象解释技术设计并实现了一函数式语言部分求值器FMIX.FMIX在设计方法和实现策略上具有一定独到之处,系统运行效率较高.  相似文献   

2.
陆卫东  金成植 《软件学报》1996,7(10):634-640
本文提出了一种新的基于CLOSURE分析的高阶函数式语言的部分求值方法,对表达式中的高阶值采取了有效的抽象分析手段,从而提高了剩余程序的质量。文中给出了CLOSURE分析,抽象分析,标记和例化较完整的形式描述。  相似文献   

3.
XQuery语言的部分求值技术的研究   总被引:1,自引:0,他引:1       下载免费PDF全文
部分求值作为一种新型的软件自动化技术,在程序优化中起着重要的作用.本文介绍了一种针对xQuery语言进行部分求值的实现技术,即部分求值技术中的绑定时间分析的方法和滞留程序生成的方法.  相似文献   

4.
文中介绍一个采用增量计算进行数据库操作的数据库引擎,阐述了利用部分求值技术实现增量式数据库查询的方法,给出了增量式数据库引擎的系统框架与实现方法。性能测试的实验结果的说明了这种数据库引擎的使用能够有效地提高数据库查询的效率。  相似文献   

5.
郭德贵  王冠成  吕帅  刘磊 《软件学报》2017,28(5):1221-1232
部分求值技术在程序优化及软件自动生成等方面,有着极为重要的作用.本文将部分求值技术应用到编译器测试中.为此,设计了一个C语言的子集peC语言,给出了该语言的部分求值策略的形式化描述,实现了peC语言的部分求值器,设计了基于部分求值技术的编译器测试框架.通过实验,本文的方法可以检测出大部分之前的其它的方法发现的GCC、LLVM编译器中的错误,此外还发现了其它方法不能发现的错误,表明将部分求值技术应用到编译器测试中是有效的.  相似文献   

6.
文章研究部分求值技术中的约束时间分析(简称BTA),介绍了一种高阶的函数式语言FSL语言的部分求值器的BTA。该部分求值器的BTA由两个部分来实现:BTA1和BTA2,其目的是减少重复计算,提高部分求值的执行效率  相似文献   

7.
过程式语言部分求值循环展开的有效处理方法   总被引:3,自引:0,他引:3  
文中基于数据流分析技术,通过引进循环中变量之间的相互依赖关系,提出一种过程式语言部分求值的处理方法。利用该方法能有效地解决过程式语言部分求值中循环展开这一难题。  相似文献   

8.
本文描述了流图语言的自应用型静态部分求值器,它由活跃变量分析、抽象分析、标记和例化4部分组成.在活跃变量分析基础上再作抽象分析,比以往的抽象分析获得的抽象解释更精确,也更利于产生较高质量的剩余程序.转移压缩在例化中直接进行.  相似文献   

9.
提出了一种面向对象程序设计语言的部分求值动作分析方法,利用带有绑定时间标注的源程序生成部分求值动作原语序列,作为各种部分求值实现策略的基础。这种方法使部分求值算法独立于具体的实现方法,从而降低了部分求值系统的实现难度。  相似文献   

10.
基于信息流分析的部分求值技术   总被引:6,自引:1,他引:6  
刘磊  郑红军  金成植 《软件学报》1995,6(8):509-513
循环展开是过程式语言部分求值中的难题之一.本文提出一种基于信息流分析的部分求值技术,解决了部分求值中循环展开问题.本文利用这一技术,实现了一个过程式语言的部分求值器.  相似文献   

11.
数据流分析是编译器中重要部分,而增量式分析在程序开发环境和过程间优化编译器中有着相关实用的价值,当程序发生变化时,它可以增量式地维护数据流信息,而不致因程序的任何小改动都重新进行数据流分析,给出了一种增量式的消去数据流算法,它基于路径简化算法,具有和路径简化算法同样的复杂度,同样的通用性(适用于不可归约流图和流函数不完备的情况),而且能方便地在程序发生变化时维护现有的数据流信息。  相似文献   

12.
通信网络可靠性评估的一种算法   总被引:8,自引:0,他引:8  
本文分别对等故障率和不等故障率链路所组成的通信网的可靠性进行分析,提出相应的评估算法,并用实例说明算法执行过程。1、对等故障率链路所组成的通讯网,依据图论统计含网络图所有顶点的支撑子图的数目,然后给出通信网可靠性的估算公式。2、对不等故障率链路组成的通讯网,首先给出生成网络图的所有支撑树的算法,并把其定义为成功函数,利用排它算子,给出评估通信网可靠性的算法。  相似文献   

13.
智能型多方案综合评价支持系统的设计与实现   总被引:2,自引:0,他引:2  
本文提出了一个智能型多方案综合评价支持系统的基本结构框架;描述了多目标多层次模糊综合评价的数学模型;讨论了IACESS的主要实现方法与技术。整个IACESS已在IBM PC机上实现。  相似文献   

14.
为满足脑-机接口特征提取实时性以及临床脑电检测高效性的要求,探讨事件相关电位的单试次高效提取技术尤为重要。将小波分析、经验模态分解、极限学习机以及偏最小二乘(PLS)应用于仿真和真实脑电信号,完成特征提取。结果显示:仿真实验中,不同信噪比下PLS提取性能稳定,P300潜伏期误差小于4 ms;真实脑电中,PLS少次迭代,特征提取更为精确,峰值误差0.551μV,峰值潜伏期偏移量27 ms,均小于小波、经验模态分解以及极限学习机多试次迭代结果(P<0.01)。结果表明偏最小二乘法在事件相关电位单试次提取中具有显著优势。  相似文献   

15.
基于MVC模式的高校教学评估信息系统的设计   总被引:2,自引:0,他引:2  
探讨了基于校园网构建一个高校教学评估信息系统的必要性,在进行系统需要分析的基础上提出基于J2EE平台和MVC设计模式构建高校教学评估信息系统的设计方案,并详细设计了模型层类和控制层类.  相似文献   

16.
基于统计的汉英句子对齐研究   总被引:6,自引:0,他引:6  
翻译比较规范的汉英语料适合用统计方法实现句子对齐.但评价函数中的参数计算不能采用处理印欧语种的方法,而要针对汉英语种的特点进行调整.在已有两种评价函数的基础上又提出五种评价函数,并进行了对比研究。  相似文献   

17.
This paper presents an evaluation of a heuristic for partial-order planning, known as temporal coherence. The temporal coherence heuristic was proposed by Drummond and Currie as a method to improve the efficiency of partial-order planning without losing the ability to find a solution (i.e., completeness). It works by using a set of domain constraints to prune away plans that do not "make sense," or are temporally incoherent. Our analysis shows that, while intuitively appealing, temporal coherence can only be applied to a very specific implementation of a partial-order planner and still maintain completeness. Furthermore, the heuristic does not always improve planning efficiency; in some cases, its application can actually degrade the efficiency of planning dramatically. To understand when the heuristic will work well, we conducted complexity analysis and empirical tests. Our results show that temporal coherence works well when strong domain constraints exist that significantly reduce the search space, when the number of subgoals is small, when the plan size is not too large, and when it is inexpensive to check each domain constraint.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号