Ehresmann型wrpp半群相关论文