强线性相关与弱线性无关

目的推广线性相关与线性无关的定义与性质。方法借助于对比分析的方法进行研究。结果/结论引入了强线性相关与弱线性无关的定义,给出了它们的性质和判别方法,并得到线性空间的一些结论。     

布尔行列式及其性质

在布尔代数上引入多种意义下的行列式,主要讨论了det1(A)和det2(A)的性质,并推广了各行列式的性质,得到一些交换体上行列式不曾具有的结论.     

MTL代数中的布尔滤子和正蕴涵滤子

在MTL代数中,给出布尔滤子的几种等价刻画,提出了正蕴涵滤子和固执滤子的概念,讨论了它们的一些基本性质,得到几类滤子之间及相互转化的关系。证明在满足正则性的MTL代数中,布尔滤子和正蕴涵滤子相互等价,超滤和固执滤子相互等价。     

平面图的4—着色的简单布尔方程表示

如果一个无环平面图G至多有一个非三角形的面,则称G为准极大平面图（near-trian-gulation)本给出了极大平面图和准极大平面图4－着色的一类布尔方程表示式,该布尔方程所含变元较少,结构简单,具有良好的递归性质,为利用计算机寻找给定平面图的4－着色提供了很好的算法。     

关于布尔矩阵的加权Moore-Penrose逆

讨论布尔矩阵的加权Moore-Penrose逆,给出了布尔矩阵的加权Moore-Penrose逆存在的一些充分必要条件以及布尔矩阵的加权Moore-Penrose逆的一些刻画和性质,特别,得到了当布尔矩阵A的加权Moore-Penrose逆存在时,A的加权Moore-Penrose逆是唯一的,并且当权矩阵大于等于单位矩阵时A的加权Moore-Penrose逆正好等于A的转置矩阵。     

恰有d个顶点带环的本原有向图的公共后继的界

如果存在正整数p,使有向图G中任一有序顶点对u和v都有长为p的途径,则有向图G称为本原有向图．设Pn(d)是n(n≥3)阶恰有d个顶点带环的本原有向图的集合,LG(k)是本原有向图G的k-公共后继(k-c．c．),2≤k≤n;又设L(n,d,k)=max|LG(k)|G∈Pn(d)|,由此得到了k-公共后继的界：n-[d/2]≤L(n,d,k)≤n-1,1≤d≤n．     

关于多输出布尔函数的非线性度

多输出布尔函数的非线性度首先在文献[1]中被引进,本文称之为多输出布尔函数的第一类非线性度。本文定义了一种与之不同的多输出布尔函数的第二类非线性度,讨论了两者之间的关系,指出了它们的密码学意义,并且进一步讨论了两类多输出布尔函数的第二类非线性度。     

条件独立性的三种形式及其相互关系

给出了随机变量的随机条件独立性、回归条件独立性及其强随机条件独立性的概念,并且证明了这几种条件独立性的相互关系。主要结论是在一定条件下,强随机条件独立必有回归条件独立;随机条件独立性与回归条件独立性是等价的。它们对概率论及其数理统计的应用是有意义的。     

具有高阶传播准则的对称布尔函数的直接确定

在密码学的应用中,布尔函数的传播准则和对称性是非常重要的性质.Preneel等率先提出高阶传播准则.作者用一个新的非常有趣的组合方法,给出一个对所有对称且具有二阶或二阶以上传播准则的布尔函数的直接确定,当函数一旦对称时,此法很可能有效.     

保持二元布尔半环上矩阵的传递闭包的线性算子

研究保持二元布尔半环上矩阵的传递闭包的线性算子,给出保持传递闭包的可逆线性算子的刻画,并证明当矩阵的阶n≥2时,强保持传递闭包的线性算子一定是可逆的。