一个将关系模式R分解为3NF的算法

本文介绍了一种采用有向超图ＤＤＨＤ技术将关系模式Ｒ分解为第三范式３ＮＦ的和算法。利用这种方法可以方便地根据Ｒ上的函数依赖集合Ｆ直接求出相应的３ＮＦ。这种方法是关系数据库设计和规范化的有用工具。     

基于整体特征的线跟踪方法

研究了一种电路图纸录入专用系统的线跟踪方法，它借鉴了字识别的方法、利用电路图的总体特征，模仿人眼识别电路图的过程，对电路图逐步进行分块，切割和识别，增强了线跟踪的遍历能力和适应性，实验表明，其效果很好。     

一种计算TCM码的欧几里德距离和乘积距离的方法

提出了计算非规则篱笆图的最小欧几里德距离和最小乘积距离的一种有效算法，该算法是在Ｖｉｔｅｒｂｉ算法的基础上，对起始于任意状态和终止于任意状态所有参考路径上的距离进行了计算，求得最小欧几里德距离和最小乘积距离，它适用于搜索斯信道和衰落信道中的ＴＣＭ好码。     

线性群及其子群阶的一种性质

利用有限域上向量空间对于它的线性变换的循环子空间分解的性质，给出了线性群ＧＬ（ｎ，Ｆｑ）的阶与它的某个有限于群的阶之间的关系：设在Ｆｑ上不可约，ｑ＝ｐ￣ｍ，ｐ＿１（≠ｐ）是素数，如果ｐ１｜｜Ｇ｜，则ｎ≥ｐ＿１－１；如果　　　则，２≥２ｐ＿１－２。     

机械能守恒定律的一个推广

本文导出了机械能守恒的协变条件、势及势力的经典变换关系，并运用它分析了［美］Ｆ．Ｗ．Ｓｅａｒｓ等著《Ｕｎｉｖｅｒｓｉｔｙ ｐｈｓｉｃｓ》一书中含有外势能在内的机械能守恒定律在解决实际问题中所存在的局限性，进而对它进行了修正并给出了它的推广形式，从而成功地清除了这种局限性，另外本文也就一些文献中所持之观点：“机械能守恒必须要求势及势力是稳定的”提出异议。     

乘积空间中映射的拓扑度

本文在乘积空间上建立了广义积严格集压缩场，在其上定义了拓扑度，并证明了该度具有通常度的基本性质。     

几类乘积图的圈覆盖

文献［１］提出猜想：每个２─连通ｎ阶简单图都有一个圈覆盖Ｃ，使得｜ｃ｜≤（２ｎ－１）／３。此猜想至今尚未完全证实。本文对路、圈、完全图的若干笛卡尔乘积图和张量乘积图证实了猜想是正确的。     

有限域上的广义Euler函数

利用反演的方法给出了有限域上Ｅｕｌｅｒ函数的推广形式，在此基础上给出了广义Ｅｕｌｅｒ函数的一些结果在有限域上一元多项工环中的模拟。     

关于相对化多项式界计算的一些结果

本文给出了三个相对化的 P 与 NP 的结果。在 S.Homer 及 W.Maass 的基础上,利用递归论中的优先方法,包括有穷损害优先方法。我们进一步研究相对化的 P 与 NP 问题的结构。比如,证明了存在两个互不可比的 P-禁集。此外,类似于递归中的算术分层及破分性,我们讨论了相对化多项式界计算的有关问题。     

多重圈张量乘积的联结数

本文给出了多重圈张量乘积的联结数的计算公式,并给出了证明。