UC矩阵正确性检验