用布尔矩阵分析离散事件系统

本文用布尔矩阵研究了一类可用自动机描述的离散事件系统有在关性质。通过简单的矩阵运算，便可确定出系统状态间的距离（事件数）等参数。此外还讨论了用状态转移矩阵确定系统的可能逻辑迹集等问题。     

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

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

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

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

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

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

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

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

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

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

一类CI-SAC布尔函数的存在性及其构造

相关免疫且满足严格雪崩准则的布尔函数称为CI-SAC函数。本文利用特征矩阵给出了一类布尔函数为平衡且代数次数达到最大的CI-SAC函数的一个充分必要条件，也就通过特征矩阵给出了具有这类”综合优良性”的布尔函数的一种简单易行的构造方法。     

非相关布尔函数个数的精确值

文献［１］指出非相关布尔函数的构造和计数问题是序列密码中一个困难而末解决的问题，本文利用组合分析的方法和（０，１）－矩阵，给出构造所有非相关布尔函数的一般方法，从而彻底解决了非相关布尔函数的计数问题。     

准域上矩阵

本文给出准域上矩阵的一些特性。从而可以统一地研究在通信中的布尔矩阵、有限域上矩阵和数域上矩阵,特别是统一地研究在开关电路与编码理论中的布尔矩阵和 GF(2)上的(0,1)矩阵。     

多臂织物组织设计的数学方法

本文介绍布尔矩阵设计多臂织物组织的方法。结合三原组织及其变化组织的设计,用代数矩阵方法详细分析了纹板、穿综和组织之间的相互关系,并得到了相应的结论。     

基于模糊聚类分析中布尔矩阵法的一种改进算法

为避免布尔矩阵法中当截矩阵不是等价矩阵时需要对布尔矩阵重新构造才能实现分类,引入了分类对象间相似比的概念,引进了聚类分析中的布尔矩阵法.实例证明,与传统的几种分类方法的分类结果相比,改进算法得出的分类结果比较符合实际情况,更易让人接受和理解.     

威布尔分布在齿轮减速器可靠性建模中的应用

应用威布尔分布理论导出了二级直齿圆柱齿轮减速器的一种寿命可靠性模型。这种可靠性模型建立在各主要传动零件可靠性威布尔分布的基础上，系统可靠性模型也是威布尔分布。减速器的可靠性用系统寿命来表示，即全部零件的９０％幸存概率，是以各个零件相应的寿命为根据的。当给定可靠度时，载荷寿命的变化用指数关系来描述。     

用多路转接器(MUX)实现各种逻辑函数的设计

本文利用多路转接器(MUX)布尔矩阵表达式和展开定理来设计逻辑函数,该方法比用真值表、卡诺图法设计要简便直观。     

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

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

5维2阶Hadamard矩阵的计数问题

本文首次利用布尔函数来研究 n 维2阶 Hadamard 矩阵,建立了它与 n 元 H-布尔函数之间的一一对应关系。从而使问题的研究得到了简化,在5维2阶 Hadamard矩阵的计数方面得到了一些新的结果。     

布尔型关系矩阵的收敛性、特征模糊集及稳定性分析

提出了文[1]中部分错误，在此基础上分析了带有“max-product”合成运算的布尔型关系矩阵的稳定性，讨论了关系矩阵及模糊状态过程的收敛性，指出了稳定关系矩阵特征模糊集的确定办法及几种特殊情表下的算法。     

N维2阶Hadamard矩阵

本文找到了一种适用于研究一般 n 维2阶 Hadamard 矩阵的系统性较强的新方法——H-布尔函数法.并且借助于此新法我们用十分简单的推理解决了国际上近十年来一直末能解决的几个有关 n 维2阶 Hadamard 矩阵的难题.     

关于由邻接矩阵求可达性矩阵的方法

介绍了由邻接矩阵求可达性矩阵的三个方法.一般方法、布尔矩阵算法、及Warshall算法.     

具有给定周期的不可约布尔矩阵的传递指数集

本文考虑具有周期为ｐ的ｎ阶不可约布尔矩阵的传递指数集Ｔｎ，ｐ（１）给出Ｔｎ、ｐ的一个空隙，（２）证明了若ｎ＝ｐｒ＋ｓ，０≤ｓ≤ｐ－１，则当ｒ＞１时，当ｒ≥３５时，其中当ｓ＝０时ω＝０，否则ω＝１。（３）给出对称非本原布尔矩阵的传递指数集ＳＴｎ，２＝｛ｍ｜２≤ｍ≤ｎ－１且ｍ为偶数｝。     

求多输出函数质蕴涵的一种方法

运用布尔矩阵运算的方法对确定多输出函数的质蕴涵进行了研究，并通过示例说明了这种方法的运算程序。