Пошук академічних текстів

Інформація × Реєстраційний номер 0510U000281, Докторська дисертація На здобуття д.т.н. Дата захисту 25-03-2010 Статус Запланована Назва роботи Формування методів синтезу станційних систем сигналізації та централізації на основі динамічних функціональних моделей Здобувач Чепцов Михайло Миколайович, Керівник Бойнік Анатолій Борисович Опонент Загарій Геннадій Іванович Опонент Каргін Анатолій Олексійович Опонент Фурман Ілля Олександрович Опис У дисертації розроблено комплексний інноваційний підхід щодо формування методів синтезу станційних систем сигналізації та централізації на основі динамічних функціональних моделей, у яких на відміну від існуючих реалізовано наскрізний динамічний режим функціонування із застосуванням аналітичних залежностей між вхідними та вихідними сигналами. В роботі виявлені умови та доведена можливість виникнення динамічних небезпечних відмов у програмних засобах реалізації станційних систем. Встановлено закономірності формування відповідальних команд, розроблено адитивну й мультиплікативну динамічні моделі перевірки умов безпеки та виконано синтез безпечного функціонального елементу. На основі його застосування розроблено комплекс функціональних моделей: контролю секцій, сигнальних, маршрутних. Виконано синтез наскрізної динамічної станційної системи сигналізації й централізації, що дозволяє покращити експлуатаційні характеристики та підвищити рівень функціональної безпеки. Дата реєстрації 2010-03-25 Додано в НРАТ 2020-04-04 Закрити