下半连续函数相关论文