基于决策类的分块差别矩阵及属性集求核算法

通过对基于差别矩阵的属性集求核算法研究,提出一种基于决策类的分块差别矩阵及相关属性集求核算法.该算法无论域划分过程,删除决策表信息系统中相容对象和对分块差别矩阵中元素之间关系的讨论,避免对象间的不必要比较.及时存储不相容对象作为遍历分块差别矩阵寻找核属性的判定条件,避免核属性的求解错误.实例分析与实验验证,说明了该算法的有效性.     

不完备模糊目标信息系统的α,β精度约简算法

本文首先定义了不完备模糊目标信息系统及其非对称相似关系,然后借鉴经典的可辨识矩阵精度约简算法,提出一种新的基于非对称相似关系的可辨识矩阵(α,β)精度约简算法,对不完备模糊目标信息系统进行属性约简.最后给出一个实例,检验算法的可行性.     

覆盖粗糙集属性约简的新算法

覆盖广义粗糙集是Pawlak粗糙集的重要推广,其属性约简是粗糙集理论中最重要的问题之一.Tsang等基于一种生成覆盖设计了覆盖信息系统属性约简算法,但并未明确指出其适用的覆盖粗糙集类型.在本文中,我们首先指出Tsang的属性约简算法适用的覆盖粗糙集是第五,第六和第七类.其次,我们通过建立覆盖与自反且传递的二元关系之间的等价关系,提出了一种时间复杂度更低的属性约简算法,并证明了本文中的属性约简方法就是Wang等所提出的一般二元关系属性约简的特例.本文不仅提出了属性约简的简化算法,还首次建立起覆盖属性约简与二元关系属性约简之间的联系,具有理论和实际的双重意义.     

基于粒关系包含度矩阵的属性约简算法研究

针对信息系统属性约简问题,通过借助粒关系包含度矩阵这一中间工具,给出一种决策表属性启发式约简算法.首先,计算决策表中条件属性与决策属性之间的粒关系包含度矩阵;然后,将粒关系包含度矩阵中隐含的信息L_B作为启发式算子对决策表进行属性约简;最后,删除冗余属性并设置终止条件,实现决策表的属性约简.通过实例验证了该算法的有效性.     

基于可辨识矩阵的属性约简算法及应用

针对决策信息系统最大分布约简问题,从代数角度给出了一种启发式属性约简算法.该算法在最大分布可辨识属性矩阵基础上,首先以最大分布核属性集为起点,然后对其余属性按其在可辨识属性矩阵中出现的频数大小逐次添加到核属性集中,再根据启发式算子对新的属性集给出最大分布约简的判断.重复以上步骤,直到找到最大分布约简.算例分析表明该算法的有效性和可行性.     

基于可辨识矩阵的模糊目标系统决策约简算法

在模糊目标信息系统决策约简和可辨识矩阵定义的基础上,讨论了可辨识矩阵的性质以及与决策约简集之间的关系.同时定义一种新的属性重要度,并将此作为启发式信息,设计了一种模糊目标决策信息系统最小决策约简算法,通过实例验证该算法简捷、有效.     

改进的简化决策表及属性约简

研究了不一致决策表的简化与属性约简问题,指出目前简化的决策表的局限:在简化的决策表上用现有的属性约简方法与在原决策表上基于正区域的属性约简方法,所得到的结果不一致.进一步对简化的决策表进行转换,得到新的决策表.基于正区域的属性约简,证明了在原决策表上约简与在新的决策表上约简结果相同.从而保证在实际应用中,对新的决策表可以用任意一种属性约简方法.     

关于求解Fuzzy矩阵方程的注记

定义了 Fuzzy矩阵 A的同解简化矩阵 A( 2 ) ,利用同解简化矩阵 A( 2 ) 给出了 Fuzzy矩阵方程的简化解法 ,指出了文 [4]中定理 3的错误 .     

变精度粗糙集的约简算法

文中研究了变精度粗糙集的属性约简问题,通过设置参数β,简化决策表,定义其上β的限制正域,进而给出其约简算法,并结合实例分析,验证该算法的有效性.     

直觉模糊集信息系统属性约简算法

针对信息系统属性值是直觉模糊集的情况提出一种新的属性约简算法:首先定义各个属性值之间贴近度函数,计算出各个属性值的贴近度矩阵,定义了直觉模糊集信息系统的可区分矩阵,给出了其约简的判定定理,利用模糊聚类中的平方法求出其可区分矩阵的传递闭包,将其转化为等价矩阵,给定一个主观水平对其进行模糊聚类,将其转化为具有等价关系的信息系统并且进行约简,从而得到直觉模糊集信息系统的核心属性。给出了该算法的复杂度。最后通过一个算例表明这种方法的有效性和合理性。     

非半简分叉问题的范式

根据文[1]给出了求解非半简分叉问题范式的方法．作为应用实例分析了一般非线性系统的非半简双零特征值问题的范式，给出用原系统系数表达的范式系数．     

中间逻辑中的良构范式

本文在中间逻辑中引入了良构范式的概念,为该类范式的研究提出了一个通用方法,并应用该方法证明了HT逻辑是存在一般蕴含范式的最弱中间逻辑,经典命题逻辑CPL是存在限制蕴含范式的仅有中间逻辑.     

Projective DNF formulae and their revision

Combinatorial and learnability results are proven for projective disjunctive normal forms, a class of DNF expressions introduced by Valiant.     

Skew-Hadamard Matrices and the Smith Normal Form

We show that the Smith normal form of every skew-Hadamard matrix of order 4m is diag[1,2,...,2, 2m,...,2m,4m]     

Stanley decomposition of the joint covariants of three quadratics

The Stanley decomposition of the joint covariants of three quadratics is computed using a new transvectant algorithm and computer algebra. This is sufficient to compute the general form of the normal form with respect to a nilpotent with three 3-dimensional irreducible blocks.      

主范式的运算性质

研究了极大项、极小项的运算性质 ,利用这些性质给出了求 A,A∨ B,A∧ B,A→ B,A B的主范式的公式 ,由此可用程序化的方法求任意公式的主范式 .     

NORMAL FORMS OF INTEGRABLE SYSTEMS AT A RESONANT SADDLE

１ＩｎｔｒｏｄｕｃｔｉｏｎａｎｄｔｈｅＲｅｓｕｌｔＣｏｎｓｉｄｅｒａｐｌａｎａｒａｎａｌｙｔｉｃｓｙｓｔｅｍｏｆｔｈｅｆｏｒｍｘ＝Ｐ（ｘ，ｙ），ｙ＝Ｑ（ｘ，ｙ），（１．１）ｗｈｅｒｅＰａｎｄＱａｒｅａｎａｌｙｔｉｃｆｕｎｃｔｉｏｎｓｉｎ（ｘ，ｙ）ｉｎ...     

Applications of the duality method to generalizations of the Jordan canonical form

The Jordan normal form for a matrix over an arbitrary field and the canonical form for a pair of matrices under contragredient equivalence are derived using Pták's duality method.