Antenne GPS en forme de champignon, navigation AIS, instrument de positionnement maritime, traceur de cartes nautiques pour navire, Beidou + GPS