导航软件是怎么知道前方拥堵的？难道真的是靠卫星观测的？涨知识