远程批处理系统 (remote batch processing system)