Search academic texts

Information × Registration Number 0510U000281, Doctoral dissertation Status д.т.н. Date 25-03-2010 popup.evolution o Title Forming the methods of syntheses of signaling and centralizations station systems on the base of dynamic functional models. Author Cheptsov Mikhail Nikolaevich, popup.head Boynik Anatoliy Borisovich popup.opponent Загарій Геннадій Іванович popup.opponent Каргін Анатолій Олексійович popup.opponent Фурман Ілля Олександрович Description У дисертації розроблено комплексний інноваційний підхід щодо формування методів синтезу станційних систем сигналізації та централізації на основі динамічних функціональних моделей, у яких на відміну від існуючих реалізовано наскрізний динамічний режим функціонування із застосуванням аналітичних залежностей між вхідними та вихідними сигналами. В роботі виявлені умови та доведена можливість виникнення динамічних небезпечних відмов у програмних засобах реалізації станційних систем. Встановлено закономірності формування відповідальних команд, розроблено адитивну й мультиплікативну динамічні моделі перевірки умов безпеки та виконано синтез безпечного функціонального елементу. На основі його застосування розроблено комплекс функціональних моделей: контролю секцій, сигнальних, маршрутних. Виконано синтез наскрізної динамічної станційної системи сигналізації й централізації, що дозволяє покращити експлуатаційні характеристики та підвищити рівень функціональної безпеки. Registration Date 2010-03-25 popup.nrat_date 2020-04-04 Close