广义上(下)半连续函数相关论文