Цель. Разработка формализованного описания системы числовой кодовой автоблокировки на основе анализа характерных отказов системы автоблокировки и методики её технического обслуживания. Методика. Для проведения исследований был использован теоретико-аналитический метод. Результаты. Проанализированы характерные отказы систем автоблокировки, обнаружены основные причины их возникновения. Установлено, что большинство отказов возникает из-за несовершенства системы технического обслуживания. Проанализированы преимущества и недостатки существующей технологии обслуживания автоблокировки; обнаружены работы, которые могут быть автоматизированы с помощью средств технического диагностирования; проведено формализованное описание системы числовой кодовой автоблокировки в виде графа в пространстве состояний системы. Научная новизна. Предложен граф состояний системы числовой кодовой автоблокировки, учитывающий постепенный переход системы от исправного состояния к потере работоспособности, который позволяет провести селекцию диагностической информации по качественным признакам и увеличить эффективность восстановительных работ в случае возникновения неисправности. Практическая значимость. Полученные результаты анализа и предложенный граф состояний могут быть положены в основу разработки новых средств диагностирования устройств автоблокировки, что, в свою очередь, позволит повысить эффективность работы и обслуживание устройств автоблокировки в целом.

Purpose. Development of formalized description of automatic block system of numerical code based on the analysis of characteristic failures of automatic block system and procedure of its maintenance. Methodology. For this research a theoretical and analytical methods have been used. Findings. Typical failures of the automatic block systems were analyzed, as well as basic reasons of failure occur were found out. It was determined that majority of failures occurs due to defects of the maintenance system. Advantages and disadvantages of the current service technology of automatic block system were analyzed. Works that can be automatized by means of technical diagnostics were found out. Formal description of the numerical code of automatic block system as a graph in the state space of the system was carried out. Originality. The state graph of the numerical code of automatic block system that takes into account gradual transition from the serviceable condition to the loss of efficiency was offered. That allows selecting diagnostic information according to attributes and increasing the effectiveness of recovery operations in the case of a malfunction. Practical value. The obtained results of analysis and proposed the state graph can be used as the basis for the development of new means of diagnosing devices for automatic block system, which in turn will improve the efficiency and service of automatic block system devices in general.