一个快速求解哈斯图的算法

在理论证明的基础上，给出了一个哈斯图求解的算法。该算法可直接应用关系图方便、快捷地求取其盖住关系，进而得到哈斯图，从而完善了有关哈斯图求解的理论及算法。     

四符号动力学星花积的压缩特性

在四符号动力学星花积中，第2个符号序列的可选集合可从压缩的角度扩充至整个四符号空间，包括该空间中的点，线，面。     

一类递推关系的计算定理及其应用

论述了关于二次型递推关系的一类问题，并提出一种新的计算定理和相应的计算方法。     

关于π—正则半群的Green关系

给出了π－正则半群上一类广义的Ｇｒｅｅｎ关系中，若干关系类都含有唯一的幂等元的若干特征。     

基于项重写技术的机器发现逻辑

机器学习与机器发现的研究需要借鉴机器定理证明技术的成果和现代科学哲学的方法论.遵循这两个观点,本文扩展了基于项重写规则法的机器定理证明技术,使之能解决某些有关机器发现的问题.在此基础上给出了Lakatos 发现方法论的一个形式系统,并建立了实现Lakatos方法的算法.     

Fuzzy集的基数

关于Fuzzy集的基数，[1]中曾对有限支集的Fuzzy集以及极苛刻条件下的无限Fuzzy集给出过一种定义。但是，正如本文将要指出的那样，该定义是不合理的。本文将从研究Fuzzy映射入手，给出Fuzzy集基数的一般性定义。基于这一定义，不但得到有关基数的大部分结论，而且有其自身的特殊性。     

狭义相对论的复平面表示

本文根据X—O—ict复平面上坐标系旋转和洛伦兹变换的等价性,提出和利用坐标系旋转下的“投影关系”,对狭义相对论的时空理论作出较为直观的表述,进而对著名的时钟佯谬问题给出一种简明的解释。     

浅谈新型的师生关系

三种新型的师生关系一是平等民主的关系.有利于师生双向的思想交流,发挥学生的主观能动性.二是良师益友的关系.有利于陶冶学生的情操,发展学生的情感.三是全面教育的关系.有利于推行素质教育,全面发展学生的能力.     

光路一一对应的红外编译码遥控系统

由于红外线兼有电磁波和光的特性，在红外光的发射、接收系统中采用编码、译码集成电路可大大提高其抗干扰性。但在实际应用上，由于红外管的发射有－３０°的立体角，在特定场合，会造成光的干扰，从而使系统误运行。利用光路的一一对应关系，较好地解决了这一难题。     

实空间上的闭子集与相似包含关系

Paul Frdos曾提出如下关于实直线R的问题：是否对R的每一个无限子集X，都存在一个具有正测度（Lebesgue测度）的闭子集E，使得E的任何子集都不相似于X（E的任何子集都不与X线性同胚）。1984年，Falconer证明了如下结论：对于一个满足limxn=0和linxn 1/xn＝1的单调递减的正实数列{xn}，Erdos问题有一个部分肯定的解答。本文将证明：上述关于数列的条件可以替换为更一般的（弱一些的）条件。最后把本文的相应结论推广到有限维欧氏空间R^n中。