Z_2对称奇点理论的一点推广

本文推广了Golubitsky和Langford关于Z_2对称奇点理论的工作,从中给出了Z_2余维数的计算公式。     

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

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

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

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

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

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

Im∪CP形图的匹配等价

完整刻画了 I_m∪C_p(p≥6为偶数或素数且 p≠m-3)及其补图的匹配等价图．     

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

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

一类色等价图的图特征

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

K4-同胚图色性研究的几个重要结果

讨论了K4-同胚图K4(α，β，γ，δ，ε，η)的色性，给出并证明了围长分别为3，4，5的三大类K4-同胚图是色惟一的充分必要条件，从而为K4-同胚图问题的解决奠定了基础．此外给出了一种新方法，这种方法利用了K4-同胚图的圈长序列，为K4-同胚图色性的研究提供了更有利的工具．     

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

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

线性拟等重码的检错性能

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