关于不可约布尔矩阵的传递指数

本文证明了n阶非本原布尔矩阵的传递指数的上界为1/2(n-2)~2+2(当n为偶数时)和1/2(n-3)~2+ 4(当n为奇数时),并证明了该上界是可达的。     

利用特征矩阵求布尔函数的零化子

对n元非线性布尔函数的代数次数、特征矩阵和代数免疫度进行了研究,在分析布尔函数的代数次数与特征矩阵关系的基础上,得到了布尔函数的代数免疫度与特征矩阵的关系,并据此给出了寻找布尔函数零化子的一个算法。     

对矢量图形的组合拆分算法及编程实现

组合拆分是编辑矢量图形不可缺少的操作，如保证图元的显示顺序不被打扰，以及保证整幅图形的显示效果是一个很关键的问题。利用面向对象的方法，通过设计适当的类，将图形元素对象化，并且设计了组合图元类CComboDraw，较好地实现了对图元对象的组合拆分操作。论述了在VC＋＋6．0环境下利用MFC类库对图元进行组合及拆分操作的算法和编程实现。另外，图形元素经组合或拆分操作后，图形的显示顺序（即图元的图层）会发生改变，为此又给出了图形的显示算法和编程实现。     

布尔矩阵在树的判定中的应用

树的邻接矩阵在电子工程、计算机领域有重要应用.定义了图的布尔矩阵,给出了树的标准型,并且应用标准型给出了树的判定方法和算法,用计算机实现了该算法.     

收敛布尔矩阵的极限形式和收敛指数

将常用类型的模糊矩阵都纳入到了二阶占优模糊矩阵的统一框架之内,利用模糊矩阵的有向伴随图,依次探讨了收敛布尔矩阵的极限形式和收敛指数.     

关于不可约布尔矩阵的传递指数

本文证明了n阶非本原布尔矩阵的传递指数的上界为1/2(n-2)^2 2(当n为偶数时)和1/2(n-3)^2 4(当n为奇数时)，并证明了该上界是可达的。     

基于布尔差别矩阵逻辑运算的属性约简

针对差别矩阵属性约简存在的不足,首先将决策表简化,并引入布尔差别矩阵定义及其逻辑运算方法;然后给出基于布尔差别矩阵核属性和属性约简的定义,同时证明了该核属性和属性约简与正区域的核属性和属性约简是等价的;接着,设计基于属性布尔差别矩阵逻辑运算的属性约简算法,算法的时间和空间复杂度均为O(|C||U/C|2)。最后,通过实例和实验验证本文算法的正确性和高效性。     

阿达玛矩阵与活尔什系统的布尔模型

本文用经典的例题逻辑框架介绍了阿达玛矩阵和活尔什函数系统的概念，全文分四节，第一第，提出了所论命题逻辑的语法与语义，第二节，在布尔模型的讨论中包括两个算法，它们用于对上述概念进行定义，同时这一节还描述了布尔模型与阿达玛矩阵及活尔什系统的对应关系。第三节，给出布尔模型的某些性质，如对称、反对称、级、距离等，同时对重要的事实（定理３、定理５、推论１及定理７）给出了证明，前面三节提供了例子，最后第四节概     

基于聚类布尔矩阵的Apriori算法的研究

针对聚类布尔矩阵的Apriori算法—CBM_Apriori算法的不足之处,提出了一种基于聚类布尔矩阵的Eclat算法—CBM_Eclat算法。该算法首先对布尔矩阵使用K-medoids算法,获得权值和聚类后的布尔矩阵;然后将聚类后的布尔矩阵转换成Tidset,并采用逻辑"交操作"运算,进而有效地减少了聚类布尔矩阵存储和候选项集的生成,提高了该算法的执行效率。通过实例应用和算法执行结果都能够证明CBM_Eclat算法具有可行性和有效性。     

用布尔矩阵求解算符优先表算法的改进

算符文法的算符优先表可以用布尔矩阵理论求解，传统的算法在文法的全部符号集合上定义各类关系，导致布尔矩阵规模较大。对算法进行了改进，将文法符号划分为终结符集合与非终结符集合2个子集，在子集之间定义关系，可降低布尔矩阵规模，提高运算效率。     

阿达玛矩阵与沃尔什系统的布尔模型(英文)

本文用经典的命题逻辑框架介绍了阿达玛矩阵和沃尔什函数系统的概念全文分四节．第一节，提出了所论命题逻辑的语法与语义第二节，在布尔模型的讨论中包括两个算法，它们用于对上述概念进行定义，同时这一节还描述了布尔模型与阿达玛矩阵及沃尔什系统的对应关系第三节，给出布尔模型的某些性质，如对称、反对称、级、距离等，同时对重要的事实（定理3、定理5、推论1及定理7）给出了证明前面三节提供了例子，最后第四节概述了结论