煤与瓦斯突出预报的模糊聚类关联分析法

首先采用模糊聚类分析对煤与瓦斯突出的样本集合进行分类，建立不同突出程度的模糊模式。然后用关联分析确定待预报样本与模式的关联程度，以此预测预报样本的煤与瓦斯突出危险程度。这种预报方法相对于模糊聚类分类后，将模式与待预报样本组成新的样本集合，再进行聚类分析，以此分类结果进行预报法。不仅可靠程度高，而且能定量描述待报样本与模式的亲和程度。     

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

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

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

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

Im∪CP形图的匹配等价

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

关于模n剩余类环

《近世代数》教材[1]中列举了大量的例子,其中最重要的就是整数环z的模n的剩余类环(z。,+,·)这类例子,全书有三十多处涉及到它。因此我们不仅要掌握理解这些例子,更重要的是通过学习这些例子熟悉了解相关的理论知识,从而达到举一反三,触类旁通的效果。下面谈三个问题。     

超幂零根环类的另一种模刻划

本文对Ｓｚａｓｚ，Ｆ．Ａ提出了的“找出超幂零根环类的一个模刻划”问题给出了一个不同于文献「２，３」的解法。     

子群是正规子群的一个充分条件

判断子群是否为正规子群有多种方法,本文从有限群与其子群阶的关系上,给出子群是正规子群的一个充分条件。     

Erds 等人的一个定理的新证明

本文给出定理:“在2n—1个整数中,必有n 个数,它们的和被n 整除”的一个新的证明,它无需先讨论n 为素数。     

居加猜想的一个等价命题

文章利用数论中的一些简单结果,建立了居加猜想的一个等价命题。