块r－循环矩阵的推广

给出了块初等ｒ－循环矩阵的新概念，研究了之们的性质，证明了利用ＦＦＴ求逆的计算复杂性为Ｏ（ｍ＿２ｎｌｏｇ２ｎ＋ｎｍ￣３）。     

K-n-度

本文基于K-算子提出了K-n-度的概念,得到了NP集类的K-n-度结构的一些初步结果。     

图论算法复杂性问题(一)

本文论述了图论算法复杂性的基本理论和分析方法。由它的表示式和阶的运算,可以分析一个具体问题的算法复杂性,进而明确某一具体算法的有效性。     

最长公共子串的快速搜索算法

本文提出了两个字符串之间最长公共子串这一概念,并在对它进行理论分析的基础上,给出了两种求取最长公共子串的快速算法。     

多项式时间、指数时间复杂性类和Tally集

可计算复杂性类之间的差异和联系是结构复杂性理论中主要研究的问题,而多项式时间复杂性类P和NP与指数时间复杂性类E和NE之间的关系更加引人注目.众所周知:如果P=NP,则E=NE.但反过来是否有:如果E=NE,则P=NP,仍是一个未解决问题.有多种途径试图解决这个问题.Book证明了:E=NE当且仅当在NP-P中不存在Tally集;Hartmanis等证明了:E=NE当且仅当在NP-P中不存在稀疏集(sparse set),这就是著名的向上分离结果(upward-separation result).此外是相对化的应用,到目前为止,关于这个问题     

产生式系统的一种新匹配算法

本文提出了产生式系统的一种新匹配算法，并对新算法的时空复杂性作了估计，还进行了模拟试验，结果表明，新匹配算法明显提高了效率。     

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

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

EV-DO系统中的终端认证研究

作为CDMA2000 1x现实的演进方向，EV—DO系统能够更好地支持3G分组数据业务。根据3GPP2制订的协议并参考相关RFC，研究了EV—DO系统中存在的接入网络和因特网对终端认证机制的具体过程。在此基础上，对EV—DO系统的安全解决方案也进行了具体分析。     

利用Tsuprem4和Medici对200伏VDMOS进行虚拟制造

通过将已知工艺参数与工艺模拟软件Tsuprem4结合起来，将模拟结果直接导入器件模拟软件Medici，对击穿电压及阈值电压，终端保护环进行了模拟计算，获得了具体的设计参数，并对利用这两个软件进行虚拟制造的过程中需要注意的问题进行了阐述．     

密钥覆盖问题的NP完全性证明

 给出了密钥覆盖问题的模型建立过程,并从顶点覆盖问题的判定形式出发,证明了密钥覆盖问题的判定形式是NP完全问题,为组通信安全的研究,尤其是多播安全的研究奠定了更为坚实的基础.