函数S—粗集相关论文