关于K_4(2,2,3,δ,ε,η)的色性问题

证明在K4-同胚图K4(2，2，3，δ，ε，η)这一类图簇中，任何两个不同构的图之间不存在色等价关系．这一结论从色多项式的角度刻划了K4-同胚图K4(2，2，3，δ，ε，η)的结构特征，为研究K4-同胚图K4(α，β，γ，δ，ε，η)的色唯一性奠定了基础．     

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

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

超图的最小边数与染色问题

讨论了3一致l-超图的最小边数问题,给出了上色数为2的3一致l-超图的最小边数的一个上界.     

关于几类图的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)的上界．     

RED算法的分析及其在FPGA中的实现

拥塞检测与拥塞避免算法是实现IP网络QoS的重要措施之一.随机早检测算法通过计算TCP流的平均队列长度,进行适当的概率丢弃分组,从而有效地避免了由TCP流导致的网络拥塞.该算法因其具有较低的时延、较高的吞吐量和较好的公平性而被广泛采用.首先详细阐述了RED算法的基本原理,通过对算法的理解和分析,提出了一种有效的和可行的FPGA实现方案,该方案在遵循算法原理本身的同时,以相对较少的硬件资源和快速性实现了RED算法.     

结合图的导出匹配可扩性

简单图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)是超级限制边连通的, 回答了张克民等人提出的问题.     

我国农村劳动力结构转移现状的实证分析和对策

用Markov过程模型，对我国农村劳动力结构的变迁进行模拟与研究，通过农村劳动力系统的Markov转移概率的估计，对我国农村劳动力结构转移状况进行了实际分析。并借此分析，提出了可供选择的应对策略。     

特殊的steinhaus图的同构问题

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

激光相干控制光电流的密度矩阵表述

用以密度矩阵微扰论为理论基础的Feynman图形技术分析了相干控制光电流和光学整流的物理实质, 说明它们分别来源于密度矩阵对角元和非对角元对应的“实”和“虚”跃迁; 从极化的角度来讲, 两者又分别对应于带内极化和带间极化. 从时域和频域两个角度分别阐明了相干控制光电流在超短激光脉冲激发下的时间演化情况以及对频率的依赖关系, 并且由光生载流子在动量空间的分布进一步说明带内极化是相干控制光电流产生的原因.