2024

Permanent URI for this communityhttps://crust.ust.edu.ua/handle/123456789/18623

Browse

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • Thumbnail Image
    Item type:Item,
    Створення математичної моделі станційного рейкового кола у вигляді скінченного дискретного автомата
    (Український державний університет науки і технологій, Дніпро, 2024) Маловічко, Володимир Володимирович; Маловічко, Наталія Валентинівна; Рибалка, Роман Володимирович
    UKR: Мета. Гарантування безпеки руху поїздів є обов’язковим завданням під час розвитку технічної оснащеності залізничного транспорту в Україні. Для діагностування та перевірки працездатності таких систем використовують імітаційні моделі напільних пристроїв, зокрема рейкового кола. Найбільш розповсюдженими є моделі у вигляді диференціальних рівнянь та в операторній формі. На жаль, вони не повністю підходять для розв’язання вказаної задачі. У зв’язку з цим виникає необхідність створення математичної моделі, яка простіше інтегрується для перевірки як релейних електричних централізацій, так і систем мікропроцесорної централізації. Методика. Для досягнення поставленої мети автори запропонували створити математичну модель у вигляді скінченного дискретного автомата. У цій роботі розглянуто створення моделі станційного рейкового кола як напрямленого графа. Під час створення моделі визначено вхідні та вихідні величини моделі та стани. Побудовано таблиці входів та виходів автомата, створено секвенційні вирази для абстрактної моделі автомата та виконано їх мінімізацію. Закодовано стани автомата за допомогою тригерних схем. Результати. У ході проведених досліджень було створено математичну модель рейкового кола у вигляді скінченного автомата моделі Мура, а також проведено перевірку її працездатності в програмному середовищі Proteus. Розроблена модель дозволяє імітувати роботу станційного рейкового кола на рівні абстракції, що оперує з двійковими сигналами. Це дозволяє спростити узгодження роботи моделі з програмними засобами мікропроцесорної централізації. У цілому з’явилась можливість більш ефективно перевіряти працездатність систем мікропроцесорної централізації на етапах проєктування і під час уведення в експлуатацію. Наукова новизна. Розроблена математична модель дозволяє визначити реакцію програмної частини мікропроцесорної централізації на поведінку рейкового кола в різних, зокрема нетипових режимах роботи, а також визначити реакцію системи станційної електричної централізації на окремі відмови і на виникнення декількох відмов одночасно. Практичне значення. Запропоновану математичну модель можна використовувати як для перевірки роботи систем мікропроцесорної централізації на стадії проєктування та впровадження, так і для релейних систем централізації під час розробки діагностичних комплексів контролю їх працездатності.