1/4000 сек - это минимально допустимая дискретность представления времени срабатывания датчиков. далее на основе этой информации и информации о расположении датчиков выполняется оценка скорости движения состава и расстояния между осями.