大字符集语言单模式匹配算法

分析了大字符集的特点和人类查找字符串的过程，提出了一个新的单模式匹配算法，该算法利用字频和已成功匹配的前、后缀信息对模式串进行预处理。在查找阶段，运用了连续跳跃的思想。实验表明，本算法比其他同类算法更加高效。     

基于KMP算法的有限自动机的确定化

一般非确定有限自动机转化为确定的有限自动机,其时间复杂度是指数函数级.对于小规模的,以输入串为识别语言的非确定的有限自动机,可采用本文介绍的方法加以确定化,其效率有极大的提高.     

关于KMP空间的一个注记

本文给出自反空间与KMP空间的乘积是KMP空间的一个简单证明,并提出若干问题。     

一种改进的KMP入侵检测的模式匹配算法

提出了一种基于KMP的模式匹配算法,给出了具体的实现方法。在不丢失匹配项的前提下,增大next函数的值,使得模式串向右尽可能得滑动更远的一段距离,忽略不必要的比较。通过实验证明,该方法与传统的方法相比能有效地加快匹配的速度,提高入侵检测的效率。     

关于Krein－Milman性质和Radon－Nikodym性质的等价性（Ⅰ）

Ｋｒｅｉｎ－Ｍｉｌｍａｎ性质和Ｒａｄｏｎ－Ｎｉｋｏｄｙｍ性质的等价性研究是Ｂａｎａｃｈ空间几何学理论中一个有趣的课题．本文综述了１９８８年以前这方面的主要成果．     

对KMP算法中模式串所构造自动机的改进

对发生失配现象时KMP算法中模式串所构造自动机的处理过程进行了分析，指出了其中状态函数的向后处理存在不足，并对此进行了相应的改进．     

关于KMP空间的一个注记

本文给出自反空间与KMP空间的乘积是KMP空间的一个简单证明,并提出若干问题。     

简化GNU编译器套件抽象语法树的算法研究

提出了一种消除抽象语法树文本中冗余的方法,借助Knuth-Morris-Pratt(KMP)算法,设计核心算法,对抽象语法树进行简化,并选出几个经典的代码片段进行实验,对算法的性能做了相应验证.实验结果表明,算法在消除冗余方面的简化率达到90%以上.