IFR：全球机器人数量到2020年将增加一倍