4.检查型矩阵