序列模式挖掘算法研究

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

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

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

非确定性Monad

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

BSP模型及其并行程序设计

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

DODM：演绎型对象数据模型

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

部分计值综述

部分计值是一种程序转换技术．在给定程序部分输入的情况下，可使用该技术对程序进行例化，完成程序中尽可能多的计算，最终得到高效的剩余代码。人们已经研究了许多程序设计语言的部分计值系统，并把它们应用到编译和编译器生成、计算机图形学等领域。本文介绍了部分计值理论及其应用．讨论了Java部分计值器的研究现状．并简单描述了本课题组设计的一个Java分布式部分计值系统DJmix。     

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

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

传统醇醚的生产工艺技术提升

从产品合成、生产装置、催化剂类型、产品EO分布和游离醇含量以及下游衍生应用等方面介绍了近些年我国传统醇醚工艺技术的升级与进步。     

窄分布AES在液体洗涤剂中的应用性能研究

研究了常规AE_2S和窄分布AE_2S的理化性能,并对其在餐具洗涤剂和洗衣液等产品中的去污力、泡沫和黏度等应用性能进行了研究。结果表明,窄分布AE_2S具有较高的临界胶束浓度(cmc),表面张力(γ_(cmc))与常规AE_2S相近,但其钙皂分散、抗硬水性能优于常规AE_2S;在餐具洗涤剂配方中,窄分布AE_2S体系的去油率、泡沫和增黏性能优于常规AE_2S;在普通洗衣液和皂基洗衣液配方中,窄分布AE_2S体系对炭黑、蛋白和皮脂污布的综合去污力与常规AE_2S相当,增黏性和泡沫高于常规AE_2S。     

一种高精度爆速测量方法

为精确测量炸药拟定态爆速,设计了尖形探针和相应的实验测量方法,测量了有机玻璃、不锈钢、铝合金约束下片状TATB为基钝感炸药的拟定态爆速,结果为(7.527±0.017)km.s-1。表明:采用尖形电探针测量钝感炸药爆速的不确定度为19 m.s-1,相对不确定度为0.25%,与洛斯阿拉莫斯国家实验室(LANL)精密爆轰物理实验结果相当,为精密爆轰物理实验提供了一种新的爆速测量方法。