d析取矩阵相关论文