上半连续函数相关论文