程序的结构化和变换

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

FP──VLSI自动综合系统

ＦＰ—ＶＬＳＩ自动综合系统是一个集成化的ＶＬＳＩ自动设计工具，它能完成从并行算法到脉动算法到脉动结构再到逻辑结构最后到ＣＭＯＳ版图的自动综合过程．ＦＰ—ＶＬＳＩ系统以脉动阵列为ＶＬＳＩ的体系结构，采用具有良好代数性质的ＦＰ／Ｂ语言作为各层次的描述语言，通过程序变换进行综合和优化．该系统支持形式化的ＶＬＳＩ设计方法，能保证设计结果的正确性．     

生物柴油及其面临的挑战

生物柴油是可再生的清洁能源。简述了生物柴油及国内外生物柴油产业发展现状，阐述了生物柴油的性质，并分析了生物柴油产业未来面临的挑战。     

氨基硅油微乳液的制备及性能研究

用非离子表面活性剂脂肪酸甲酯乙氧基化物(MEE-8)与脂肪醇聚氧乙烯醚(AEO3)复配作为乳化剂制备氨基硅油微乳液,分析乳化剂复配比例、乳化剂用量、pH值等因素对氨基硅油微乳化的影响,确定制备plus氨基硅油微乳液的优化条件,对由此得到的氨基硅油微乳液进行一系列的性能测试.并通过对体系加水过程中相行为的研究,绘制了包含液晶区域和O/W型氨基硅油微乳液区域在内的局部拟三元相图.结果表明,当MEE-8∶AEO3=4∶6、复合乳化剂用量占氨基硅油质量的45%、乳液pH值为5.5～6.5时,可获得固含量为30%、透光度为95%、体系均匀稳定的氨基硅油微乳液,此氨基硅油微乳液能较好地改善织物的柔软性和抗静电性,且在应用过程中性能保持稳定.     

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

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

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

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

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

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

一种并行查询优化策略

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