移动分布式数据库系统中合作事务恢复技术

形式地给出了合作事务定义及事务间由于消息交换而形成的各务间的检验点依赖和恢复依赖，基于这些定义，某一事务记检验点时，所有检验点依赖于该事务也记检验点，当某一事务恢复时，所有恢复依赖于该事务的事务也恢复到其检验点的状态，开发了一种适合于移动环境的事务恢复技术，；在事务正常的消息传送中，通过额外的一点带宽附加传送事务间的依赖关系，在事务记检验点时，尽可能并行地通知所有相关的事务记检验点，实验表明，该事务恢复技术能减少系统检验点的响应时间，提高系统的恢复速度及系统吞吐率，对网络带宽的要求基本没有增加。     

内存数据库查询优化

基于一种广泛接受的内存数据库系统基本概念及内存数据库中的SB-树索引结构，提出了更方便关系代数操作的SB^*-树．在此基础上，提出了优化的关系代数操作的实现算法．根据这些算法和关系代数等价定理，给出了对关系代数查询树进行逻辑优化的规则，并证明了逻辑优化的正确性．最后给出了代价评估模型，实验表明提出的内存数据库查询优化算法相对于传统的优化算法具有更好的时间及空间性能．     

多项式矩阵根及其应用研究

本文在引用源根表达多项式矩阵根基础上，介绍了多项式矩阵根的性质和多项式矩阵根的简便求法，并结合实例研究了多项式矩阵根在解题中的应用。     

判断基本子句集合不可满足性的一个方法

一个子句(或基本子句集合)的非模型是不满足该子句(或基本子句集合)的解释.本文给出计算有限基本子句集合的非模型个数的一种方法,并使用概率的观点从理论上加以证明.     

八面沸石在精细有机合成中的催化作用——X脱铝超稳Y催化苯甲酸与异戊醇的酯化反应

研究了脱铝超稳Ｙ催化苯甲酸与异戊醇直接酯化反应．考察了催化剂硅铝比，催化剂用量，反应物配比，带水剂和反应时间对酯化反应的影响．结果表明，在最佳反应条件下，苯甲酸转化率达９８％以上，催化剂可重复使用．该催化剂亦能用于催化苯甲酸与异丙醇、正丁醇、异丁醇的酯化反应．     

几种单萜烯在离子交换树脂催化剂上直接水合反应的研究

以强酸性离子交换树脂作催化剂，研究α－蒎烯、β－蒎烯和柠檬烯３种单萜烯的直接水合反应．研究结果表明：（１）３种单萜烯直接水合的反应活性顺序是：β－蒎烯＞α－蒎烯＞柠檬烯；（２）国产磺酸型阳离子交换树脂在催化活性和水合选择性上均明显优于日产ＩＲ－１２０Ｂ型树脂催化剂；（３）在优化反应条件下，直接用松节油于７０℃水合反应７ｈ，蒎烯转化率达到９８％，松油醇选择性为６７．２％．     

钒（V）——荧光镓极谱络合吸附波的研究

在ｐＨ６．０的ＫＣｌ底液中，钒（Ｖ）－荧光镓（ＬＭＧ）配合物产物－灵敏的极谱吸附波，峰电位在－０．８６Ｖ（ｖｓ．ＳＣＥ），二次导数峰度与钒（Ｖ）浓度在３．９×１０＾－９～３．９×１０＾－６ｍｏｌ／Ｌ范围内呈线性关系，检测限为２．０×１０＾－９ｍｏｌ／Ｌ，研究了电极反应机理，方法已成功应用于自来水中钒的测定。     

栲胶脱硫在工业燃用煤气上的应用

叙述了用拷胶脱除煤气中H2S的基本原理，介绍了栲胶脱硫在工业燃用煤气上的应用情况，并指出了需要注意的事项．     

眼角膜散光测量的研究

角膜是眼屈光系统中最重要的光学折射面,本文选择3种方法对角膜散光进行测量。随机选择屈光不正患者360只眼,对计算机辅助的角膜地形图检查、角膜曲率计及散瞳验光3种测量角膜表面的方法进行比较。发现3组测量方法在散光轴位方面无显著性差异。提出角膜地形图中△K_(sim)即表示角膜规则性散光。散光度数在角膜地形图和角膜曲率计组间无显著性差异,而散瞳验光组与另两组间均存在显著性差异。提示在测量角膜散光方面角膜曲率计与角膜地形图具有相似的临床价值,但由于角膜曲率计测量范围小、取点少,因此在反映角膜表面细微变化方面受到很大限制。本文还对角膜地形图图形与参数△K_(sim)间关系进行了探讨。     

Diels-Alder合成反应的化学计量学研究

化学计量学是一门将数学、计算机技术与化学交叉结合的新兴边缘学科,在化学化工及医药卫生等相关领域取得广泛应用.将化学计量学原理和方法及技术用于合成化学中便诞生了其新的分支即合成(化学)计量学.作者试验室对此进行了较深入而系统的研究,取得了系列研究结果,并将予陆续报道.本文以著名的Diels—Alder反应为例,通过试验优化设计与多元潜因分析对其试验空间进行了系统考察和优化建模,获得满意结果.预测收率与实验收率吻合良好.1 试验(1)主要仪器和试剂.微量有机合成仪一套,无水三氯化铝(AR),用前经升华干燥处理;1,3—戊二烯(CP),甲苯(CP)作溶剂.其他试剂均为AR或CP以上纯度,使用去离子水.产物经IR,NMR,MS,UV及元素分析鉴定为目标产物(2)试验方法.按文献[4～6]进行合成提纯产品并计算产率.