一种并行查询优化策略

叙述了在扩展BSP计算机上实现的shared_nothing并行对象关系数据库（PORDB）的两阶段查询优化。它分为顺序优化阶段和并行化两个阶段。顺序优化阶段在预测并行通信代价的基础上,采用基于代价的顺序查询优化。并行化阶段为缩减探索空间,先按照并行模式划分并行单元,再以并行单元为单位分配处理机。BSP模型可简化并行模式的实现和并行单元的划分。     

为移动代理构造一个安全运行虚环境

移动代理在其执行和迁移过程中涉及到的安全问题就是保护主机不受恶意代理的攻击,其中一个重要方面就是将由程序员的编程错误而造成的危险降到最低。这主要是通过代理程序设计语言来保证的。将代理程序限制在某个安全环境内执行－即为代理程序构造一个安全的运行虚环境为实现代理的安全性提供了基础。提出了一个有效地构造安全运行虚环境的算法。     

BSP模型及其并行程序设计

当前并行计算领域的研究重点和热眯是研究“通用”并行计算的适用范围，而其中心议题是既具有可扩展并行性又同时具有体系结构独立必的可移植软件开发方法和工具的研究。解决体系结构独立的途径是通过引入的一个过渡模型使得软件和硬件得以较好的分离。ＢＳＰ（Ｂｕｌｋ Ｓｙｎｃｈｕｏｎｏｕｓ Ｐａｒａｌｌｅｌ）模型正是这样一个理论模型，它不但可提供既具有可扩展的并行性又独立于体系结构的并行软件开发方法，而且可为并行和     

异构与直链醇聚氧乙烯醚的合成与性能研究

由C_12-14直链脂肪醇与C₁₃异构醇合成了环氧乙烷加合数为3的直链醇醚(AEO₃)与异构醇醚(IAEO₃),测试了两种醇醚的物化性能与表面性能(表面张力与接触角)以及应用性能(润湿性、乳化性、泡沫性能、去污性和凝胶范围)。结果表明,当EO加合数相同时,IAEO₃浊点较低,凝固点较高;AEO₃降低表面张力的能力与效率均优于IAEO₃;AEO₃初始泡沫略高,消泡速度更快,而IAEO₃的初始泡沫高度低于AEO₃,但是泡沫更加稳定,不易消除。去污力上IAEO₃略差于AEO₃;IAEO₃没有凝胶范围,适合应用于浓缩产品;润湿性、乳化性等性能,IAEO₃明显优于AEO₃。     

DODM：演绎型对象数据模型

演绎型对象数据库是演绎数据库和对象数据库结合的产物，它集成了演绎数据库的查询推理能力和对象数据库的强大建模能力。文中在已有的研究基础上较系统地研究演绎环境下对象数据模型，提出将类作为对象逻辑标识的集体和构造子；关系和集合为一类类构造子，体现了实体关系数据模型的思想；将型作为性质的集体，显式地区分类和型。引入型间偏相似关系来刻画继承语义，使得单继承、多继承和单调继承、非单调继承统一于型间偏相似关系，     

基于流行度的自适应Web预测模型

目前基于局部匹配预测（PPM）模型的研究关注的焦点是在保证预测精度的前提下,尽量缩减PPM的空间占用,但缺乏自适应动态更新机制,难以实现在线预取。针对Web访问特点,提出了基于流行度的自适应预测模型。该模型的核心是基于Web对象流行度的PA PPM预取算法,通过模型构造、模型预测和模型更新三个过程实现了动态自适应的Web预取。讨论并实现了确定性上下文预测,最优阶估算以及上下文LRU替换策略等功能。在Web缓存与预取一体化条件下的实验表明,该模型具有较高的性能,适用于在线预取。     

非确定性Monad

纯函数式语言缺乏处理非确定性的功能，本文给出了一个非确定性Ｍｏｎａｄ，用此Ｍｏｎａｄ在纯函数式语言中描述了非确定性进程网，证明了一些有用的代数性质。     

并行算法的FP描述及其脉动化的判定

本文通过引入流及流上的递归方程,增强了FP表达并行算法的能力,有效地克服了用FP描述循环数据依赖及状态记忆的困难,文中给出了并行算法的FP描述及其可脉动化的判定定理。同时说明,许多在图上研究的脉动方法可以方便地应用到用FP描述脉动化的研究中去。     

非线性可约函数方程组的展开式解

本文将可约变换的结果推广至方程组，针对方程组至少有一个可约方程的情形得到其可约变换定理，并依此推导出一类非线性可约方程组的展开式定理。     

函数式、逻辑式和面向对象式程序设计及其多范例合成语言

本文综述了函数式、逻辑式和面向对象式三种新型程序设计语言的基本特点,简介了这三种程序设计风格相互合成的研究现状,并给出了一些有关的代表性语言。