Pilzkopf-GPS-Antenne, Dualfrequenz-Beidou-Satellitennavigation, AIS-Timing-Positionierungssystem für Kraftfahrzeuge