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

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

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

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

线性拟等重码的检错性能

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

英汉词汇比较中文化内涵的展现

本文主要通过对英汉词汇在不同文化内涵方面的比较，展示出文化因素在英汉词汇中不同的对应形式，以期引起学习者对外语词汇学习中文化内涵的重视。     

基于抽象语法描述的中间表示技术

中间表示技术是高质量可重定目标编译器开发中的关键技术。针对嵌入式软件危机 ,提出了一种基于抽象语法描述的中间表示技术 AIR。AIR以代数数据类型为主体 ,并用面向对象特征对其进行扩展。在这种中间表示技术中 ,通过使用不受限制的高级中间表示 ,可充分利用现有的前端。通过这种语法能对现有中间表示提供自然编码的抽象中间表示 ,提高了编译成份的可复用性和互操作性 ,简化了编译基础设施的建构 ,进一步实现了高质量编译器的快速开发     

孪生组合恒等式（九）——等价类型

等价类型的孪生组合恒等式分为直接等价、间接等价以及自身等价等3种,每种各举2例,其中包含重要公式nr=n-1r+n-1r-1 的等价公式.     

内存数据库查询优化

基于一种广泛接受的内存数据库系统基本概念及内存数据库中的SB-树索引结构，提出了更方便关系代数操作的SB^*-树．在此基础上，提出了优化的关系代数操作的实现算法．根据这些算法和关系代数等价定理，给出了对关系代数查询树进行逻辑优化的规则，并证明了逻辑优化的正确性．最后给出了代价评估模型，实验表明提出的内存数据库查询优化算法相对于传统的优化算法具有更好的时间及空间性能．     

图的代数连通度及其点连通度

G是一个简单图.a(G),k(G)分别为G的代数连通度和点连通度,该文刻画了满足a(G)=k(G)的图.G=(V,E)是一个n阶简单图,点连通度为k(G)≤[n/2].H是G的任意最小点割集,则a(G)=k(G)当且仅当对任意u∈H和v∈V\H,有uv∈E.     

幺半群中亚同余概念及幺半群的一分类定理

将群中模H左（右）同余概念及有关理论推广到么半群上，给出么半群中模H左（右）亚同余、亚同余概念及么半群的一个分类定理。     

关于行列有限方阵的对角化

给出了般域上行列有限无限方阵对角化（在等价意义下）问题的解答，对其中主要定理之一作了详细证明。