Track correlation algorithm of AIS and satellite electronic information based on point-track distance | IEEE Conference Publication | IEEE Xplore