Теоретичне обґрунтування безпечності функціонування інформаційних моделей стаціонарних об’єктів і взаємодії між ними. Розробка моделі частини колійного розвитку станції для нормування та прогнозування технічного стану напольних пристроїв автоматики.
Аннотация к работе
Міністерство освіти і науки України Автореферат дисертації на здобуття наукового ступеня кандидата технічних наукОднак для їх модернізації потрібно, насамперед, дослідити діюче нормативне забезпечення, моделі обєктів, для яких воно побудоване, та принципи, котрі закладено в регламенти, що забезпечують безпеку в інформаційних системах управління стаціонарними обєктами залізничної автоматики (СОЗА). Суттєвою відмінністю даного дослідження від уже відомих у стандартизації моделей безпечного управління СОЗА є стандартизація моделей зі збільшенням кількості станів для вирішення проблем оцінювання якості (технічного стану) стаціонарних обєктів та застосування їх у мікропроцесорних системах, котрі розробляються на базі існуючих датчиків інформації. Таким чином, актуальна проблема стандартизації інформаційних та інформаційно-керуючих моделей безпечного управління СОЗА може бути вирішена на основі методів обєктно-орієнтованого проектування та обєктно-орієнтованого програмування і розглянута як база для оцінювання якості функціонування оперативної підсистеми управління рухом поїздів. Розробка таких моделей дозволить створити стандарт на відображення та сприяти розвязанню проблеми збільшення швидкості руху поїздів з одночасним зменшенням витрат часу на простої. Робота виконувалась як складова програми збільшення безпеки руху на залізницях у 1997-2001 роках, затвердженої Постановою КМУ від 22.04.97 №367, та планів НДДКР Міністерства транспорту України та Державної адміністрації залізничного транспорту України (Укрзалізниці) в рамках науково-дослідних тем: "Розробка пакету технічної документації мікропроцесорного маршрутного набору електричної централізації нового типу" (держ. реєстр №0197U014974); "Розробка пакету технічної документації та випробування за допомогою імітаційної моделі роботи станції, програмного забезпечення компютерної системи управління рухом поїздів на залізничній дільниці з відкритою платформою" (держ. реєстр №0397U015075); "Переробка галузевого стандарту "Автоматизовані системи управління на залізничному транспорті.На базі отриманої множини можна побудувати розширені, інформаційні моделі та визначити окремі (базові) стани СОЗА за допомогою функцій алгебри-логіки. Таким чином, діючі нормативно-технічні параметри не дозволяли виявити за зміною стану обєкта, що має стохастичну природу, виражений дискретний характер і додатково залежить від внутрішнього стану орієнтованої на релейну елементну базу системи ДУ, технологічні характеристики подій, котрі впливають як на якість процесу перевезень, їх стабільність, так і на безпеку як складову якості послуг. Якщо визначити станцію як множину дискретних входів , виходів на СОЗА , котрі в моменти часу визначають зміну вхідних та вихідних наборів, то буде справедливим вираз де Х - множина вхідних, а Y - множина вихідних сигналів (у нашому випадку ); Визначивши інформацію про стан рейкових кіл, стрілок, світлофорів та внутрішній стан системи в цілому через множини А, B, C, E відповідно, а керуючі елементи через множину D, додатково проаналізовано всі можливі події для систем станційної автоматики та систем, котрим вона надає інформацію при розширенні до рівня диспетчерського кола. На основі розроблених багатофакторних моделей СОЗА, побудованих графів та мереж Петрі для кожного з обєктів складено таблиці станів обєктів для реформування нормативного забезпечення - галузевого стандарту.Доведено доцільність застосування розроблених моделей при проектуванні та впровадженні мікропроцесорних диспетчерських систем на транспорті з використанням галузевого стандарту. Розроблена загальна модель функціонування стаціонарних обєктів автоматики, що дозволяє визначити роботу систем мікропроцесорного управління та створити нормативне забезпечення та технічної документації. Встановлено критерії стандартизації та проведено синтез моделей функціонування стаціонарних обєктів автоматики на основі мереж Петрі з подальшою стандартизацією на галузевому рівні. Достовірність наукових положень підтверджується наявністю експериментальних перевірок у виробничих умовах та численних актів про впровадження основних положень роботи на залізничному транспорті України, у тому числі і на ділянках міжнародних транспортних коридорів. За підсумками перевірки розроблених положень стало можливим створення нормативного документу галузевого рівня та впровадження ефективних систем управління на транспорті.