图族S_(r(k+m)+1)~ψ∪(rk-1)K_1的补图的色等价性定理

设ψ( k,m)表示把星图 Sk+ 1的 k度点与路 Pm的一个 1度点重迭后得到的图 ,Sψ*r(k+ m) + 1表示把星图 Srk+ 1的 rk个 1度点分别与 rψ( k,m)的每个分支的 k个 1度点 (均邻接于ψ( k,m)的 k +1度点 )依次重迭后得到的图。证明了图族 Sψ*r(k+ m) + 1∪ ( rk -1 ) K1的补图的色等价性及非色唯一性 ,进而推广了这一结果     

面近正则外平面地图的色计数函数

首先给出了不可分离面近正则(除根面外,其它每个面的次均是常数k,其中k≥3)外平面地图的色数、根面次和边数3个参数的色计数函数所满足的方程,并给出了它的显式表达式.然后,给出了可分离面近正则外平面地图的色数、根面次和边数3个参数的色计数函数所满足的方程.     

co—H空间上自同伦等价群的若干结果

研究有关co H 空间上的自同伦等价.当co H 空间X是1 连通的有限CW 复形时,εSP(SX)是有限生成的群.另外本文还得到εco H(X)是有限群的一个充分条件.     

1次+3次平面多项式系统的代数分类

采用代数不变式和空间直和的理论,对1次 3次平面多项式系统在保证轨线走向不变的前提下进行代数分类,共分成40个等价类.     

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

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

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

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

动态等值论在文学翻译中的应用

美国的尤金·奈达博士(Dr.Eugene A. Nida)的动态等值论(Dynamic Equivalence)被许多学者推崇为评判译文质量优劣的标准以及翻译所追求的最终目标.在运用奈达的"动态等值"论来指导文学翻译时,应注意的问题是,译文如果要准确传递原文信息就要充分体现原作者的美学意图,这样才能使译文受众获得和原文受众基本一致的感觉.     

一类色等价图的图特征

给出了一个有割点的连通图Ｇ是色唯一的充分必要条件为Ｇ由一个色唯一,顶点可迁图连一尾构成,进而证明了若Ｍ为色唯一,不含分离边的连通图,且Ｐ（Ｇ,λ）＝（λ－１）＾ｋｐ（Ｍ）则Ｇ含一子图同构于Ｍ及Ｋ个桥。     

逐步等效t检验最优值的修正及应用

给出了逐步生物等效t检验最大耐受剂量值的一个修正法，使用该法可以最大限度地提高药物耐受剂量水平的精度，并在概率1—α之下保证安全性，使得最优耐受剂量值最大限度地接近真实最大耐受剂量值。     

线性拟等重码的检错性能

线性拟等重码是一类特殊的等重码，文中利用码等价和线性拟等重与一阶R—M码的关系研究了线性拟等重码的检错性能；并证明了一类特殊的二元线性拟等重码是最佳检错码，并因此得出延长Hamming码是最佳检错码。