论文部分内容阅读
本文首先给出了(d，r)-disjunct阵、(d；r)-separable阵、(d:r)-separable阵、d-disjunct矩阵间的一些新关系.分别给出了列数为n的d-disjunct矩阵和d-separable矩阵行数的下界.然后构作了两类有纠错功能的disjunct矩阵.第一类构作是在给定矩阵A、B的基础上构作矩阵M.M的行用A、B的行标的直积标定，M的列用A、B的列标的直积标定，M中元素由A、B中元素作合取而得；第二类构作是取M的特殊子阵构作对角矩阵M*，并研究M*的disjunct性质和separable性质，确定了M为(-d;r)-separablc矩阵时，M*的子矩阵Mml×n1的列数的上界.最后在有限几何中，构作了新矩阵M(d，k，n，r)和M(L，P)，证明了它们是disjtmct矩阵，研究了它们的检错和纠错能力.
主要结果是：
定理2.1.1.令M是t×n的二元矩阵.设1≤d≤k≤n-r，1≤s≤r≤n-d，若M是一个(k，s)-disjunct矩阵，则M也是(d，r)-disjunct矩阵.
定理2.1. 2.dr-1-disjunct矩阵也足(d；2r)-separable矩阵.
定理2.1.3.如果M是含0-列的(d；r)-separable矩阵，令M(1)是从M中删去0-列后得到的矩阵，则M(1)是(d-1)r-1-disjunct矩阵.
定理2.1.6.令M是不含0-列的(2d；r)-separable矩阵，则给M至多增加r行就可以得到一个(d+1；r)-separable矩阵.
定理2.1.7.从dr-l-disjunct矩阵M中任意删除r行得到矩阵M(3），可证M(3)足(d；r)-separable矩阵.
定理2.2.1.令t(d，n)表示含n列的d-disjunet矩阵的行数的最小值，则定理2.2.2.令tn(d，n)表示含n列的d-separable矩阵M的行数的最小值，则其中td=max{tD|D|=d}，tD表示呈阳性的试验次数(行的个数).
定理3.1.3.若给定的(0，1)矩阵A=(aij)m、n是dc1c-disjunct矩阵，B=(bij)m1，n1是(de32-disjunet矩阵.则按定义3.1.1规定，在A、B基础上定义的矩阵M是de-disjunct矩阵，其中d=min{dl，d2}，e=(e1+1)(e2+1)-1.