本文利用n阶射影平面和n维射影几何构作了d-disjunct矩阵和(d，e)- disjunct矩阵，讨论了它的析取(disjunct)性质及检纠错能力；在有限域......

定理机器验证是自动推理领域内的一个重要研究课题，其研究方法和研究成果具有十分显著的理论意义与应用价值。目前研究者们已成功验......

一个(d,r;z]-disjunct矩阵在许多领域有着极为广泛的应用.利用n阶射影平面的性质构作了(d,r;z]-disjunct矩阵,并研究了它的检错性......

Non-adaptive group testing（NGT）算法在许多领域中都有着非常广泛的应用,而d-disjunct矩阵是NGT算法的一个重要的数学模型.研究了n......