Research on the algorithm of identifying track circuit occupation in simulation platform of high-speed train control system | IEEE Conference Publication | IEEE Xplore