略谈英译汉中词的省略与增加

侧重中、英文的特点，就翻译中如何更好地掌握词的省略与增加，使译文能忠实、通顺地表达原文的思想内容，进行了阐述说明     

一种基于FD集特征的3NF判定算法

详细研究了属于３ＮＦ的关系模式ＦＤ集的特征，在此基础上，提出了一个基于ＦＤ集特征的３ＮＦ判定算法，并对算法的正确性及优点进行了证明和阐述。     

求关系模式所有最小基数候选关键字的一种多项式算法

本文深入分析了最小基数候选关键字在关系模式中的结构特征,提出了化简独立复合环、独立简单环、化简双部属性函数依赖图等概念.在此基础上,给出了求一个关系模式所有最小基数候选关键字集的多项式算法.     

基于梅奥“人群关系论”的图书馆内部管理模式

以“人群关系论”为理论依据，指出当前图书馆内部管理中的弊端，研究了基于这种理论之上的图书馆内部管理新模式。     

人类基因组中L1元件及其5＇UTR的研究

讨论了L1在人类染色体中的分布密度与染色体长度以及L1的密度与基因密度之间的关系．发现在大多数染色体上L1的密度和染色体的长度表现为正相关，而L1的密度和染色体中基因的密度表现为负相关；对人类L1的5’UTR进行了详细的研究后，发现在L1元件的5’UTR部分含有许多转录因子结合位点．对基因的转录起始位点上游进行统计分析，发现其中含有大量的L1序列．通过对人类的EST数据库进行BLAST分析，新发现了51条和人类L15’UTR相似性较高的EST片断，根据它们分布的组织特异性，说明L1元件可能调控与发育过程有关的基因的表达；最后应用多样性增量的方法对人类和大鼠的L1 5＇UTR进行了区分，得到了较好的预测结果，说明大部分L1的5’UTR的调控作用是人类特有的．     

决策过程的有效循环及寻求方法

针对决策过程中的排序循环现象，提出有效循环的概念，并找到了求有效循环的规范化途径．求出有效循环后，就大大缩小了决策可行域，从而使决策问题得以解决．     

在整环中利用等价关系构造一个除环

对著名代数学家Ｏｒｅ提出的一个等价关系问题给出一个较为巧妙的证法，并构造了一个除环．     

X{(?)}×Y上的R(?)关系

本文提出了灰白关系R（¤）的概念;给出了R（¤）关系的灰白度淹没定理,灰白度白化定理;得到了R（¤）关系的若干基本结果。     

反演关系的机械化证明

反演关系是组合论中的一个重要内容，其证明十分繁杂，又要求很高的技巧，将近几年刚刚发展起来的证明组合恒等式的ＷＺ方法运用到反演关系的证明中，从而给出了两类反演关系的机械化证明方法。     

基于矩阵的依赖推导算法研究

给出了基于矩依赖推导算法，并可推导出的关系上能够保持的函数依赖集。