函数式语言的部分求值技术

本文基于抽象解释技术设计并实现了一函数式语言部分求值器ＦＭＩＸ．ＦＭＩＸ在设计方法和实现策略上具有一定独到之处，系统运行效率较高．     

高阶函数式语言的部分求值器

本文提出了一种新的基于ＣＬＯＳＵＲＥ分析的高阶函数式语言的部分求值方法，对表达式中的高阶值采取了有效的抽象分析手段，从而提高了剩余程序的质量。文中给出了ＣＬＯＳＵＲＥ分析，抽象分析，标记和例化较完整的形式描述。     

XQuery语言的部分求值技术的研究

部分求值作为一种新型的软件自动化技术,在程序优化中起着重要的作用.本文介绍了一种针对xQuery语言进行部分求值的实现技术,即部分求值技术中的绑定时间分析的方法和滞留程序生成的方法.     

一个基于部分求值的增量式数据库引擎

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

peC语言的部分求值器及在编译器测试中的应用

部分求值技术在程序优化及软件自动生成等方面,有着极为重要的作用.本文将部分求值技术应用到编译器测试中.为此,设计了一个C语言的子集peC语言,给出了该语言的部分求值策略的形式化描述,实现了peC语言的部分求值器,设计了基于部分求值技术的编译器测试框架.通过实验,本文的方法可以检测出大部分之前的其它的方法发现的GCC、LLVM编译器中的错误,此外还发现了其它方法不能发现的错误,表明将部分求值技术应用到编译器测试中是有效的.     

实现函数式语言部分求值器的约束时间分析

文章研究部分求值技术中的约束时间分析（简称ＢＴＡ），介绍了一种高阶的函数式语言ＦＳＬ语言的部分求值器的ＢＴＡ。该部分求值器的ＢＴＡ由两个部分来实现：ＢＴＡ１和ＢＴＡ２，其目的是减少重复计算，提高部分求值的执行效率     

过程式语言部分求值循环展开的有效处理方法

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

基于活跃变量分析的流图语言的部分求值器

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

面向对象程序设计语言的部分求值动作分析

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

基于信息流分析的部分求值技术

循环展开是过程式语言部分求值中的难题之一．本文提出一种基于信息流分析的部分求值技术，解决了部分求值中循环展开问题．本文利用这一技术，实现了一个过程式语言的部分求值器．     

一种增量式数据流分析方法

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

通信网络可靠性评估的一种算法

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

智能型多方案综合评价支持系统的设计与实现

本文提出了一个智能型多方案综合评价支持系统的基本结构框架；描述了多目标多层次模糊综合评价的数学模型；讨论了ＩＡＣＥＳＳ的主要实现方法与技术。整个ＩＡＣＥＳＳ已在ＩＢＭ ＰＣ机上实现。     

基于偏最小二乘法的事件相关电位单次提取研究

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

基于MVC模式的高校教学评估信息系统的设计

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

基于统计的汉英句子对齐研究

翻译比较规范的汉英语料适合用统计方法实现句子对齐．但评价函数中的参数计算不能采用处理印欧语种的方法，而要针对汉英语种的特点进行调整．在已有两种评价函数的基础上又提出五种评价函数，并进行了对比研究。     

AN EVALUATION OF THE TEMPORAL COHERENCE HEURISTIC IN PARTIAL-ORDER PLANNING

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.