二元覆盖主同余关系相关论文