导出半群相关论文