程序的结构化和变换

本文在Prather程序分解理论和Williams程序变换的基础上,把非结构程序归结为由二种基本非结构情况造成,提出并实现了把非结构程序变换为等价的结构程序的一组变换和算法。本文提出的把分解和变换结合在一起的算法具有一定的简捷性。     

一个新的证明网定义及合理性

本文给出一个新的线性逻辑的证明网的定义并证明了所定义的证明网是线性逻辑的自然推理．和Ｇｉｒａｒｄ的原定义相比,使用本文给出的定义来判定一个证明结构是否为证明网的时间复杂度为Ｏ（ｎ＊ｎ）,并且在证明所定义的证明网是可矢列化时更加自然和简单．     

数据并行程序中的动态负载平衡模型

在研究分析已有的负载平衡策略算法的基础上,应用Ｄｅｍｐｓｔｅｒ－Ｓｈａｆｅｒ的信任函数理论,提出了一种基于信度网络的负载平衡策略算法,此算法较适应动态负开平衡,而且优于负载平衡的随机算法,若忽略系统的通信花费则可达到系统的完全负载平衡。综合各种费用,提出的算法通过状态管理器,在不完全信息的状态下可使系统达到较满意的平衡。此外,基于信度网络的负载平衡策略算法不仅适应于虚拟非规则网络,也适应于虚拟规则     

一种并行查询优化策略

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

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

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

序列模式挖掘算法研究

数据挖掘领域一个活跃的研究分支就是序列模式的发现,即在序列数据库中找出所有的频繁子序列。目前的序列模式挖掘方法主要分为两类,一类是候选集生成-测试方法;另一类是模式扩展方法。先介绍序列模式挖掘中的基本概念,然后描述几个重要算法,最后给出性能分析。     

一种将设计模式用于程序精化演算的并行程序设计方法研究

并行程序设计是并行计算的难点之一。提出了一种将设计模式用于程序精化演算的并行程序设计方法。它通过在Z语言的Schema演算体系中扩充并行的概念和表示，使用设计模式，将问题求解和并行开发的知识进行形式化的定义与描述，通过扩充的Schema演算将其与模型规范进行复合，逐步精化得到抽象并行程序。通过实例对这一方法进行了详细的描述。     

BSP模型及其并行程序设计

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

喷射式环路反应器制备中碳链三甘油酯的新工艺

分别采用喷射式环路反应器工艺和搅拌釜式工艺,以辛葵酸和甘油为原料,在碱性催化剂作用下合成了中碳链三甘油酯,从反应进程、产品色泽、能源及氮气消耗、产品后处理、产品质量等方面对两种生产工艺进行了比较.实验结果表明,在反应温度250℃,n(辛葵酸)∶n(甘油)=3.2∶1,催化剂用量为辛葵酸质量的0.25％条件下,与搅拌釜式反应工艺相比,采用喷射式环路反应器反应工艺具有反应时间短、产品色泽好、能源及氮气消耗量低、反应过程对环境无污染、产品羟值低等优点,喷射式环路反应器工艺可完全替代搅拌釜式工艺用于制备中碳链三甘油酯.