人工智能研究的历史与展望

图灵奖获得者 Maurico V.wilkos 教授最近应 CACM 杂志社之邀,撰文评述了人工智能研究的历史及展望,该文对机器学习、专家系统、神经网络、数字/模拟计算机等做了极其精辟的评价,读来颇受启发。     

一种基于ADT的函数语言及其操作语义模型

本文介绍一以ＡＤＴ为主要构件的函数语言，它是作者设计的函数式及面向对象式合成语言的函数部分，进而描述了其操作语义模型：多态λ演算十代数重写系统＝多态λ重写系统，并讨论该模型的Ｃｈｕｒｃｈ－Ｒｏｓｓｅｒ性质和强范式性质。     

基于Monad的纯函数式程序设计

ＰｈｉｌｉｐＷａｄｌｅｒ在探讨用Ｍｏｎａｄ构造纯函数式程序时，介绍了一个简单的词法分析程序的构造过程．本文进一步研究了这种方法，并用这种方法构造出一个能进行复杂的ｌａｙｏｕｔ分析、词法分析与语法分析的纯函数式分析程序.     

拟双线性方程(组)的展开算法及其求解*

本文举例说明了拟双线性方程展开算法中利用常数项逐次生成新的常数项，直至新的常数项不再增加为止的这一迭代过程有可能不终止，并提出了改进办法，将拟双线性方程的等价变换定理推广至拟双线性方程组，根据拟双线性方程组等价变换定理以及改进的拟双线性方程展开算法设计了拟双线性方程组的展开算法．     

合成型语言FOPL的语义研究

函数式面向对象程序设计语言ＦＰＯＬ，是笔者设计并实现的一种同时支持函数式程序设计和面向对象程序设计的合成型智能语言。本文在一个全称抽象域上描述了它的指称语义，进而讨论了一个和该指称语义计算一致的按值调用的操作语义。     

并行计算模型GAMMA概述

程序设计中的并行性可以区分为逻辑并行性和物理并行性,前者是一种程序构造工具,它通过任务复合来描述程序;后者涉及实现技术,它关心的是任务如何在处理器集合上的分配。本文将介绍一种新的并行计算摸型GAMMA,其使用多重集转换技术,允许在较高的抽象层次上开发逻辑并行性,已被证明是一种有效的并行程序构造方法。     

方程式语言及其实现

方程式语言是一种新型智能语言。本文介绍该语言的一个实现系统,该系统是以方程逻辑为语义基础,模式匹配为执行机制,本文讨论了自底向上模式匹配方法及其改进,整个系统具有时间响应快、描述能力强的特点。     

基于移动代理系统的名字服务定位算法

移动代理能够自主地在异构的网络间迁移,如何确定一个移动代理当前的位置（即移动代理系统的名字服务）需要专门的系统来支持。移动代理系统的名字服务有其自身特有的特殊性。在已有的名字服务算法的基础上提出了一个改进算法,具有响应时间快、键壮性及可扩展性较好的特点。     

对象式Lambda演算的自作用部分计值

讨论了一个对象式Lambda演算的部分计值器.对象式Lambda演算在Lambda演算的基础上添加了对象机制.部分计值器的构造是采用传统的三步法,首先定义对象式Lambda演算的元解释器;然后提出对象式Lambda演算的约束时间分析方法(binding-timeanalysis),约束时间分析决定哪些计算可以在编译时完成,哪些计算需留在运行时执行;最后定义部分计值器,同时,给出了元解释器和部分计值器的正确性证明.     

改性油脂乙氧基化物及其复配体系的性能研究

对改性油脂乙氧基化物(SOE)的水溶性、低温流动性、去污力、泡沫和乳化力等性能进行研究,以SOE/LAS/AES三元复配体系为基础,研究其凝胶相区,考察配方体系的稳定性、去污力和泡沫等性能。结果表明,改性油脂乙氧基化物可与水任意比例互溶,凝点低于-10℃,去污力与AEO9相当,具有较强的乳化力,泡沫低,适用于高浓缩洗涤剂配方;SOE/LAS/AES三元复配体系的凝胶范围窄,泡沫低,其去污力和稳定性满足行业标准对浓缩型洗涤剂的要求。