基于可辨识矩阵的动态属性约简算法

可辨识矩阵是粗集理论中可以标识决策属性和条件属性之间关系的矩阵。根据数据库的动态建立特性，提出了一种基于粗集理论中的可辨识矩阵的动态属性约简算法，利用数据的动态性和可辨识矩阵的特性对己有的属性约简进行修正，并通过实例证明了这种算法的有效性，该算法极大地节省了计算量，提高了算法的执行效率。     

基于粗糙集理论的集对分析方法

针对集对分析的基本理论,分析粗集与集对的相似之处,将粗糙集理论与集对论相互嫁接、相互渗透,提出集对分析中的粗糙集方法,用粗集中的上下近似集来定义集对中的同异反联系度。这种方法的研究将有利于融合二者的优势,为确定不确定系统的数据分析、数据挖气掘、知识发现等提供了更扎实的理论基础。     

基于粗糙集理论的集对分析方法

针对集对分析的基本理论,分析粗集与集对的相似之处,将粗糙集理论与集对论相互嫁接、相互渗透,提出集对分析中的粗糙集方法,用粗集中的上下近似集来定义集对中的同异反联系度.这种方法的研究将有利于融合二者的优势,为确定不确定系统的数据分析、数据挖气掘、知识发现等提供了更扎实的理论基础.     

基于模糊概念格的气象云图识别关系模型及应用

构建一种基于模糊概念格的气象云图识别关系模型．此模型选取2个相邻时刻的卫星云图进行云团移动研究，求出每个云团的属性评估值，得到两时刻云团间的评估关系；以评估关系为对象，以云团的特征为属性建立模糊概念格，利用相似度确定相同云团；最后，通过实例证明了以该模型为基础建立的气象云图识别方法更具精确性和实用性．     

阿贝尔群G_n(P~m)的自同构群的构造

本文对任意的自然数n、m及素数P,讨论了具有特征■的阿贝尔群G_n(P~m)的自同构群的构造,证明了主要定理:Aut(G_n(P~m))与整环ZP~m上的几阶矩阵乘法群M_n(P~m)同构。     

复杂网络K-紧密概率属性子图高效挖掘算法

针对复杂网络中节点和边及其属性值均可能存在不确定性的实际,以及采用传统的紧密子图挖掘算法挖掘出的紧密子图实际上并不一定紧密的问题,在已提出的概率属性图基础上,提出紧密概率属性子图的概念,将其分为紧密概率I型属性子图和紧密概率II型属性子图,并用期望紧密度对其进行度量,同时给出了相应的紧密子图判定定理;进一步提出K-紧密概率属性子图高效挖掘算法,以快速发现复杂网络中联系紧密且顶点和边的存在概率最高的K个子图;最后通过蛋白质网络和虚拟网络中的数据对算法进行了模拟实验,验证了算法在不同大小的复杂网络中具有较好的适应性及较高的挖掘效率.     

含有m阶循环子群的pm阶群的同构分类

本文在〔1〕的基础上写成。首先证明了任一个含有m阶循环子群的pm阶群一定是亚循环群。然后对任意给定的m与p,求出两两不同构的含有m阶循环子群的pm阶群的个数。这里m为大于1的正整数,p表示素数。     

Tableau算法在粗逻辑知识推理中的应用

Tableau算法是本体推理部分描述逻辑中用于ABox一致性检验的算法,基于二值逻辑,不能完成多值概念的一致性检测。将粗糙逻辑的基本思想植入描述逻辑体系中,并改进了Tableau算法,使粗糙描述逻辑能够完成对粗糙概念的推理任务,为基于语义的本体知识检索奠定了技术基础。     

矩阵方程x~h≡E(modp)的一种简便解法

给出了矩阵方程x~h三E(modp)的一种简便的解法,主要结果是文中的解的存在定理和构成定理,利用文中的结果可解碍方程的所有解。     

关系代数中“除法”运算的SQL查询实现

利用离散数学作为分析工具,给出了关系代数中除法运算的各种查询原理,特别阐述了SQL查询语句的实现,无论是教学还是实际应用具有一定的指导意义.