Research on judgment and restraining algorithm of track divergence in air traffic control system | IEEE Conference Publication | IEEE Xplore