一致域可分解性论文