半连续函数插入相关论文