再论q^—图

本文在文[1]的基础上,讨论了没有q-割团、但有(q+1)-割团且q-色唯一的q-图的结构。     

关于k—消去图的若干新结果

设G是一个图．k是自然数．图G的一个k-正则支撑子图称为G的一个k-因子．若对于G的每条边e．G—e都存在一个k-因子，则称G是一个k-消去图．该文得到了一个图是k-消去图的若干充分条件，推广了文［2—4］中有关结论．     

图的度序列不等式

用代数的方法证明了有关图度序列的几个不等式，并且得到了其相应的极图。     

网络拓扑自动发现算法的研究与实现

网络拓扑管理是网络配置管理的一个主要方面，本文对网络拓扑自动发现的有关问题进行了详细的分析，并提出了相应的算法，最后给出测试结果。     

用Technicolor理论研究稀有辐射衰变Bc→Dsγ

在一代Technicolor(TCI)和带有一个无质量的标量二重态(TCⅡ)模型下,计算荷电的哥尔斯通粒子对衰变B_c→D_sγ的贡献,并把它们同标准模型的计算相比较,发现哥尔斯通粒子对电磁企鹅图的贡献很大(TCI下),在TCⅡ下贡献较小;而对弱湮没图的贡献可以忽略不计,还对同位旋三重态粒子π+p的质量进行了约束. 预言将来在LHC上能对不同模型下的分支比Br(B_c→D_sγ)的差异进行研究,进而对不同的模型进行检验.     

图G_i~(S*)(P,2(sum form j=1 to n)mj)的伴随多项式因式分解的图论方法及应用

通过研究图的伴随多项式的因式分解 ,给出了证明非色唯一图的一种新方法 ,并且得到了若干图簇的色等价图的结构性质     

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

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