充足半群相关论文