软RSL-代数相关论文