关于数字系统设计的研究

阐述了VHDL硬件描述语言与电路设计的关系及设计过程，在此基础上对数字系统设计方法进行了分析与比较。     

判异准则在标准差控制图上的应用

在标准差控制图的八个判异准则基础上,提出了相应的非对称标准差控制图的判异准则,分别给出了它们的实际报警率,并讨论了八个准则应用在标准差控制图时的平均运行长度。     

一类极大临界2连通图的结构

引入图的粘合的概念，讨论了极大临界2连通图G的性质，给出了一个图是这类图的一个充要条件。由此给出该类图的一种新的构造方法，即G能按条件先粘合一系阶大于2的完全图的边，然后粘合四圈C4的t个拷贝得到．     

pqr阶Cayley图的边-Hamilton性的一个注记

设G为限群，|G|=pqr,p,q,r为相异素数，M是G的一个生成集，作者证明了若M中含有p阶正规元，则Calyley图X（G，M）是边-Hamilton图     

关于丢番图方程x2-D=2n的一些非例外情况的解

借助于丢番图逼近中Beukers的一些深刻结果,讨论了丢番图方程中的广义Ramanujan-Nagell方程x2-D=2n在D=m·2s+1时的一些非例外情况,利用初等方法求出了当m=1,3时该方程在n≥s时的全部非负整数解,并得到了一些有用的推论.     

主动数据库的规则终止性分析

提出一种基于进化图的规则终止性静态分析的方法，全面考虑了触发图、活化图和惰化图。这种基于进化图的分析方法比传统基于图的分析方法分析更为精确，之后提出了规则终止性分析算法并证明了其正确性。     

关于几类图的L(3,2,1)-标号问题

图G的L(2，1)-标号是一个从顶点集V(G)到非负整数集的函数f(x)，使得若d(x，y)=1，则|f(x)-f(y)|≥2；若d(x，y)=2，则|f(x)-f(y)|≥1．图G的三(2，1)-标号数λ(G)是使得G有max{f(v)：v∈V(G)}=k的L(2，1)-标号中的最小数k．该文将L(2，1)-标号问题推广到更一般的情形即L(3，2，1)-标号问题，并得出了Kneser图、高度不正则图、Halin图的λ3(G)的上界．     

结合图的导出匹配可扩性

简单图G和H的结合图G[H]的顶点集为V(G)×V(H),其中(u,v)和(u′,v′)相邻的充分必要条件是:或者uu′∈E(G)或者u＝u′并且vv′∈E(H).研究了结合图G[H]的导出匹配可扩性,证明了若G和H是非平凡图,G是连通图,且G和H满足下列条件之一,则G[H]是导出匹配可扩的:(1) G和H中有一个是导出匹配可扩的;(2) G和H都有完美匹配;(3) G和H中一个有完美匹配,另一个有几乎完美匹配.     

多元De Bruijn图的限制边连通性

多元De Bruijn图UB(d, n)是De Bruijn网络的拓扑结构, 它具有高效网络应该具备的许多特性, 如短直径、小最大度和多节点. 本文研究无向多元De Bruijn图的的限制边连通性, 证明当n≥4时UB(d, n)是超级限制边连通的, 回答了张克民等人提出的问题.     

特殊的steinhaus图的同构问题

针对以双对称矩阵为邻接阵的steinhaus图．剖析它的邻接阵的结构，给出了这类图同构的判定条件。