基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

知识库中精确知识的判定算法

研究了知识库中挖掘它所包含的精确知识的方法，给出知识库的相关概念及精确知识的定义，讨论了一种在所定义的知识库中提取并判定精确知识的算法．     

对一种筛法的探讨

从筛法的本质出发,深入讨论一种标准筛法的有关性质,寻找其内在规律,最后得出一种差集非空的充分条件和一些比较实用的结论。     

居加猜想的一个等价命题

文章利用数论中的一些简单结果,建立了居加猜想的一个等价命题。     

Ramsey数R（6,n）的两个下界

构造了２个新的素数阶循环图,从而得到了２个Ｒａｍｓｅｙ数的下限：Ｒ（６,１６）≥２７８,Ｒ（６,１７）≥３９８。此结果已经计算机验证,填补了Ｒａｍｓｅｙ数下界的２个空白。     

AKS算法及关于它的一种改进算法的实现分析

2002年，Agrawal、Kayal和Saxena成功地解决了多项式时间判别素数这一著名的世界难题，他们给出了一个算法(简称AKS算法)，该算法对输入整数是素数还是合数进行判断。它是一个确定的多项式时间算法．后来许多科学家对该算法进行了改进，其中一个比较好的改进是由Bernstein给出的(简称Bernstein算法)．作者详细分析了这两种算法，利用C语言实现了这两种算法，并进行了比较，找出了真正需要用到AKS算法和Bemstein算法来判断其为素数和合数的最小数，并估计出所需要的运行时间．     

一类高阶非线性中立型时滞偏微分方程解的振动性

研究一类具有连续分布偏差变元的高阶非线性中立型时滞偏微分方程，获得了方程解振动的一些新的判定准则。     

数字电路测试生成的二元判定图方法

测试是保证电路系统可靠性的重要手段,已成为集成电路设计与生产的一个组成部分,研究了基于二元判定图的数字电路测试生成方法,对布尔函数的表示和操作的二元判定图进行研究,详细讨论了其中的ite算符;给出了基于二元判定图的电路测试生成方法的实现步骤,并用实例进行了说明。