实验室 虚拟世界 空间机器人 英国 研究组 数学模型 包装有效期 时间差