I类超导体相变与气液相变的相似性

从等温方程和吉布斯函数出发，讨论了考虑几何效应后Ｉ类超导体的超导态，中间态和正常态的相变与气液相变的相似性。     

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

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

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

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

墨家辩学的研究对象与逻辑类型

《墨辩》六篇中的“辩”指的是论辩，墨家辩学理论是中国古代关于论辩形式、方法及其规律的科学。墨家辩学中包含有形式逻辑的思想，这种形式逻辑思想届于非形式化的，它通过辩学对自然语言中广义逻辑问题的研究得以表现，因此说，墨家辩学的逻辑类型是中国古代的非形式化的自然语言逻辑。     

关于模n剩余类环

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