gps卫星星座由24颗微型组成