Формування методів синтезу станційних систем сигналізації та централізації на основі динамічних функціональних моделей

Abstract

UA: Чепцов М.М. Формування методів синтезу станційних систем сигналізації та централізації на основі динамічних функціональних моделей. - Рукопис. Дисертація на здобуття наукового ступеня доктора технічних наук за спеціальністю 05.22.20 – експлуатація та ремонт засобів транспорту; Українська державна академія залізничного транспорту; Харків, 2010. У дисертації розроблено комплексний інноваційний підхід щодо формування методів синтезу станційних систем сигналізації та централізації на основі динамічних функціональних моделей, у яких на відміну від існуючих реалізовано наскрізний динамічний режим функціонування із застосуванням аналітичних залежностей між вхідними та вихідними сигналами. В роботі виявлені умови та доведена можливість виникнення динамічних небезпечних відмов у програмних засобах реалізації станційних систем. Встановлено закономірності формування відповідальних команд, розроблено адитивну й мультиплікативну динамічні моделі перевірки умов безпеки та виконано синтез безпечного функціонального елементу. На основі його застосування розроблено комплекс функціональних моделей: контролю секцій, сигнальних, маршрутних. Виконано синтез наскрізної динамічної станційної системи сигналізації й централізації, що дозволяє покращити експлуатаційні характеристики та підвищити рівень функціональної безпеки. EN: Cheptsov M. Forming the methods of syntheses of signaling and centralizations station systems on the base of dynamic functional models. - Manuscript. The dissertation on competition of a scientific degree of the doctor of technical sciences on a specialty 05.22. 20 – exploitation and repair of transport means; Ukrainian state academy of the railway transport; Kharkiv, 2010. Here, in His dissertation designed complex new approach to forming the methods of syntheses of signaling and centralizations station systems on the base of dynamic functional models, in which, unlike existing marketed end-to-end dynamic mode of operation with using the analytical dependencies between in and out signals. In work there are revealed condition and proved possibility of arising the dynamic dangerous refusals of software programs of realization station systems. Installed regularities of forming the responsible commands, designed additional and multiplication dynamic models of checking the safety conditions, executed syntheses of safe functional element. On the base of its using complex of functional models is designed: checking the sections, signal, routing. Executed syntheses of end-to-end dynamic station warning systems and centralizations, which allows to perfect field-performance dates and raise’s a function of safety level.