有限覆盖半群相关论文