布尔矩阵与关系性质的判断

本文用布尔矩阵理论的方法对关系及其性质作了系统的论述，并给出了判断关系的可传递性的一个很方便的布尔矩阵方法。     

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

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

反循环布尔矩阵的本原性

研究反循环布尔矩阵的本原性,引入了反循环布尔矩阵的概念,用矩阵方法以及关于循环矩阵的结果来研究其本原性。得到了反循环布尔矩阵本原性的一个充要条件。反循环布尔矩阵的本原性由其一行元素中1的位置分布特性所决定。     

布尔矩阵空间及正则布尔矩阵的g－逆线性空间

研究了布尔矩阵空间和正则布尔矩阵的ｇ－逆线性空间的一些性质。在此基础上，给出了正则布尔矩阵的ｇ－逆集的另一个表示法。进而，提出了正则布尔矩阵的特征矩阵概念，通过特征矩阵可以表征一个正则布尔矩阵的极小ｇ－逆集、主ｇ－逆和ｇ－逆线性空间的一些重要性质。     

布尔矩阵空间及正则布尔矩阵的g—逆线性空间

研究了布尔矩阵空间和自则布尔矩阵的ｇ－逆线笥空间的一些性质，在些基础上，给出了正则布尔矩阵的ｇ－逆集的另一个表示法，进而，提出了正则布尔矩阵的特征矩阵概念，通过了特征矩阵可以表征一个正则布尔矩阵的极小ｇ－逆集、主ｇ－逆和ｇ－逆线性空间的一些重要性质。     

基于可辨识布尔矩阵和分类系数的属性约简算法

为了增强粗糙集理论中某些概念与运算的直观性，分别给出了可辨识布尔矩阵和分类系数的定义．用分类系数简捷地描述了粗糙集中的相关概念与运算．提出了基于可辨识布尔矩阵和分类系数的快速属性约简算法．     

AFS结构上矩阵的幂等指数估计

在应用AFS结构(M，τ，x)研究故障诊断问题中，需要寻找正整数，使其满足Mτ^2r=Mτ^r，由于复杂系统对应的AFS结构上矩阵Mτ的阶数较大，为了减少计算量，需要估计出最小的r，就此问题，给出了基于集合M上的布尔矩阵的概念并得出其传递闭包的相关性质，进而在集合M上的布尔矩阵与(0，1)布尔矩阵之间建立一种同态映射并给出其证明，最后应用该映射对r的范围进行了估计。     

布尔矩阵平方根的一些性质

布尔矩阵的平方根问题是一个到目前为止尚未解决的组合问题.既没有一个通用的准则可以用来判断一个布尔矩阵是否有平方根,对于有平方根的布尔矩阵也没有一种快速的方法构造出其平方根.从布尔矩阵的结构特征出发,首先讨论有平方根的布尔矩阵具有的一些性质,指出布尔矩阵与其平方根在结构上存在的内在联系;基于这些联系,给出两种由已知平方根构造新平方根的方法;最后得到布尔矩阵存在平方根的一个充要条件,并以此给出一种构造布尔矩阵平方根的方法.     

知识基的布尔矩阵求解方法

用布尔矩阵方法对知识空间的原子和知识基进行研究.首先,建立知识空间和(反)知识背景之间的联系;其次,用布尔矩阵表示(反)知识背景,研究其对应的关系矩阵和对象关系矩阵的性质;最后,从知识状态、算子、布尔向量和布尔矩阵等角度判定原子的特征,给出知识空间中原子和知识基的求解方法.     

广义循环布尔矩阵半群的格林关系

研究了广义循环布尔矩阵的秩，在此基础上对广义循环布尔矩阵半群的Ｌ、Ｒ关系进行了刻划。     

一个特殊的线性函数与H布尔函数的关系

通过讨论一个特殊的线性函数与H布尔函数的关系问题,发现它的良好性质在H布尔函数的生成验证中都有用途.     

布尔路,布尔圈长度及维数

证明了ｎ－维立方图中布尔路与布尔圈之间的内在联系,给出了布尔路,布尔圈的长度及其维数估计。     

布尔格的一个扩张

通过几个引理证明了下述命题：任一个布尔格Ｂ０可以嵌入到一个备的、无素区间的布尔格Ｂｕ内。     

一般Boole格的单点扩张Boole—最小扩张Boole格

对一般Ｂｏｏｌｅ格Ｌ，利用其Ｓｔｏｎｅ空间的特征已讨论了Ｌ的单点扩张Ｂｏｏｌｅ格Ｅｐ（Ｌ）［１］。在其代数结构上并未给出Ｅｐ（Ｌ）与Ｌ之间的关系．现从代数结构上讨论一般Ｂｏｏｌｅ格的扩张，而且给出了一般Ｂｏｏｌｅ格的最小扩张Ｂｏｏｌｅ格．     

基于LabVIEW的Petri网控制器实现

为使Petri网更易应用于测控系统,提出一种基于图形化编程工具LabVIEW、组件化的时延C/E Petri网系统实现方法.在LabVIEW中,用布尔控件表示Petri网的库所(布尔控件值为TRUE表示库所中有token),用子VI控件表示Petri网的变迁.变迁被触发时,变迁VI控件通过布尔控件的控件引用修改库所的值...     

一般Boole空间的单点紧扩张

本文研究了一般Ｂｏｏｌｅ空间的一个特征和Ｂｏｏｌｅ格的一个判定定理。及一般Ｂｏｏｌｅ格的素幻与其单点扩张Ｂｏｏｌｅ格的素幻之间的关系。     

二维布尔运算

In this paper, a mechanismic analysis was made on singular condition of multipoints and multiedges in boolean operation. On the basis of intersection points eigenvalue, the problem of quadruplepoint and multiedges was addressed, and a complete solution for the singular problem on 2D boolean operation was given in a simple way.     

知识状态的不同表达及其应用

知识状态可用可达阵R的列的布尔并表示,但表示方式不唯一,由此引出累赘表达式和简洁表达式的概念及其作用,并将某些结果推广到多值Q矩阵.     

关于Bent函数的一些研究

利用布尔置换 ,构造了一种新的Bent函数 ,并对这类布尔函数的构造进行了研究 ,发现利用Bent函数的满足扩散准则的特性和布尔函数非线性度的中间结果可以构造出两类函数形式简单的 ,满足高次扩散准则的、具有较高非线性度的平衡布尔函数 ,从而拓宽了Bent函数的应用领域