实数处理相关论文