The mathematical model of operation of the four-unit station exit signal as a Moor discrete automaton
Gespeichert in:
| Titel: | The mathematical model of operation of the four-unit station exit signal as a Moor discrete automaton |
|---|---|
| Autoren: | Malovichko, V., Malovichko, N. |
| Quelle: | ELECTROMAGNETIC COMPATIBILITY AND SAFETY ON RAILWAY TRANSPORT; № 15 (2018): ELECTROMAGNETIC COMPATIBILITY AND SAFETY ON RAILWAY TRANSPORT ЭЛЕКТРОМАГНИТНАЯ СОВМЕСТИМОСТЬ И БЕЗОПАСНОСТЬ НА ЖЕЛЕЗНОДОРОЖНОМ ТРАНСПОРТЕ; № 15 (2018): ЭЛЕКТРОМАГНИТНАЯ СОВМЕСТИМОСТЬ И БЕЗОПАСНОСТЬ НА ЖЕЛЕЗНОДОРОЖНОМ ТРАНСПОРТЕ Електромагнітна сумісність та безпека на залізничному транспорті; № 15 (2018): Електромагнітна сумісність та безпека на залізничному транспорті |
| Verlagsinformationen: | Dnipropetrovsk National University of Railway Transport named after Acad. V. Lazaryan, 2018. |
| Publikationsjahr: | 2018 |
| Schlagwörter: | электрическая централизация, математическая модель, безопасность функционирования, выходной светофор, направленный граф, секвенциальные выражения, електрична централізація, математична модель, безпека функціонування, вихідний світлофор, направлений граф, секвенціальні вирази, electric interlocking, mathematical model, operation safety, exit light signal, oriented graph, sequential expressions |
| Beschreibung: | Purpose. Development of the mathematical model of operation of the four-unit station exit signal as a Moor finite discrete automaton. Methodology. The development of the mathematical model of the light signal with four light units as a finite discrete automaton requires the construction of the automaton state graph, to encode the inputs, outputs and transitions of the automaton, to construct sequential equations and to minimize them. Also on the trigger basis, it is necessary to create a memory cell to store the previous state of the automaton. Results. The resulting mathematical model of the light signal can be used for the testing of the correctness of operation of the MPC systems, which will allow avoiding the occurrence of some dangerous situations during their operation. Scientific novelty. During the work, the mathematical model of operation of the exit light signal with the train and shunting signals as a Moore finite discrete automaton was created. The practical significance. Due to the obtained model of the light signal, it becomes possible to simulate the operation of signals using computer technology by combining the occurrence of various types of failures at different moments during the train station movements and creating both train and shunting routes. This allows tracking the reaction of the system and the object on failures at the stage of testing and running. Цель. Создание математической модели работы четырехзначного выходного станционного светофора, как конечного дискретного автомата. Методика. Для создания математической модели выходного светофора с четырьмя огнями в виде конечного дискретного автомата необходимо построить граф состояний автомата, выполнить кодирование входов, выходов и переходов автомата, построить секвенциальные уравнения и выполнить их минимизацию. Также на базе триггеров необходимо создать ячейку памяти для хранения предыдущего состояния автомата. Результаты. Полученная математическая модель светофора может быть использована для тестирования правильности функционирования систем МПЦ что позволит избежать возникновения части опасных ситуаций во время их эксплуатации. Научная новизна. В ходе работы создана математическая модель работы выходного светофора с поездными и маневровыми сигналами в виде дискретного автомата модели Мура. Практическое значение. Благодаря полученной модели светофора появляется возможность моделирования работы сигналов с помощью вычислительной техники комбинированием возникновения различных типов отказов в различные моменты времени при движении поездов по станции и создании как поездных так и маневровых маршрутов. Это позволяет отслеживать реакцию системы и объекта на отказы на стадии тестирования и запуска. Мета. Створення математичної моделі роботи чотирьохзначного вихідного станційного світлофора, як скінченного дискретного автомату. Методика. Для створення математичної моделі вихідного світлофору з чотирма вогнями у вигляді скінченного дискретного автомату необхідно побудувати граф станів автомату, виконати кодування входів, виходів та переходів автомату, побудувати секвенціальні вирази та виконати їх мінімізацію. Також на базі тригерів необхідно створити чарунку пам’яті, для зберігання попереднього стану автомата. Результати. Отримана математична модель світлофору може бути використана для тестування правильності функціонування систем МПЦ що дозволить уникнути виникнення частини небезпечних ситуацій під час їх експлуатації. Наукова новизна. В ході роботи створена математична модель роботи вихідного світлофору з поїзними та маневровими сигналами у вигляді дискретного автомату моделі Мура. Практичне значення. Завдяки отриманій моделі світлофора з’являється можливість моделювання роботи сигналів за допомогою обчислювальної техніки з комбінуванням виникнення різних типів відмов в різні моменти часу при русі поїздів по станції та створенні поїзних і маневрових маршрутів. Це дає змогу відслідковувати реакцію системи та об’єкта на відмови на стадії тестування та запуску. |
| Publikationsart: | Article |
| Dateibeschreibung: | application/pdf |
| Sprache: | Russian |
| ISSN: | 2223-5620 2411-1554 |
| Zugangs-URL: | http://ecsrt.diit.edu.ua/article/view/171933 |
| Dokumentencode: | edsair.scientific.p..ccaec56c9b5a0d68da9e39b0e76ab93f |
| Datenbank: | OpenAIRE |
Nájsť tento článok vo Web of Science | Abstract: | Purpose. Development of the mathematical model of operation of the four-unit station exit signal as a Moor finite discrete automaton. Methodology. The development of the mathematical model of the light signal with four light units as a finite discrete automaton requires the construction of the automaton state graph, to encode the inputs, outputs and transitions of the automaton, to construct sequential equations and to minimize them. Also on the trigger basis, it is necessary to create a memory cell to store the previous state of the automaton. Results. The resulting mathematical model of the light signal can be used for the testing of the correctness of operation of the MPC systems, which will allow avoiding the occurrence of some dangerous situations during their operation. Scientific novelty. During the work, the mathematical model of operation of the exit light signal with the train and shunting signals as a Moore finite discrete automaton was created. The practical significance. Due to the obtained model of the light signal, it becomes possible to simulate the operation of signals using computer technology by combining the occurrence of various types of failures at different moments during the train station movements and creating both train and shunting routes. This allows tracking the reaction of the system and the object on failures at the stage of testing and running.<br />Цель. Создание математической модели работы четырехзначного выходного станционного светофора, как конечного дискретного автомата. Методика. Для создания математической модели выходного светофора с четырьмя огнями в виде конечного дискретного автомата необходимо построить граф состояний автомата, выполнить кодирование входов, выходов и переходов автомата, построить секвенциальные уравнения и выполнить их минимизацию. Также на базе триггеров необходимо создать ячейку памяти для хранения предыдущего состояния автомата. Результаты. Полученная математическая модель светофора может быть использована для тестирования правильности функционирования систем МПЦ что позволит избежать возникновения части опасных ситуаций во время их эксплуатации. Научная новизна. В ходе работы создана математическая модель работы выходного светофора с поездными и маневровыми сигналами в виде дискретного автомата модели Мура. Практическое значение. Благодаря полученной модели светофора появляется возможность моделирования работы сигналов с помощью вычислительной техники комбинированием возникновения различных типов отказов в различные моменты времени при движении поездов по станции и создании как поездных так и маневровых маршрутов. Это позволяет отслеживать реакцию системы и объекта на отказы на стадии тестирования и запуска.<br />Мета. Створення математичної моделі роботи чотирьохзначного вихідного станційного світлофора, як скінченного дискретного автомату. Методика. Для створення математичної моделі вихідного світлофору з чотирма вогнями у вигляді скінченного дискретного автомату необхідно побудувати граф станів автомату, виконати кодування входів, виходів та переходів автомату, побудувати секвенціальні вирази та виконати їх мінімізацію. Також на базі тригерів необхідно створити чарунку пам’яті, для зберігання попереднього стану автомата. Результати. Отримана математична модель світлофору може бути використана для тестування правильності функціонування систем МПЦ що дозволить уникнути виникнення частини небезпечних ситуацій під час їх експлуатації. Наукова новизна. В ході роботи створена математична модель роботи вихідного світлофору з поїзними та маневровими сигналами у вигляді дискретного автомату моделі Мура. Практичне значення. Завдяки отриманій моделі світлофора з’являється можливість моделювання роботи сигналів за допомогою обчислювальної техніки з комбінуванням виникнення різних типів відмов в різні моменти часу при русі поїздів по станції та створенні поїзних і маневрових маршрутів. Це дає змогу відслідковувати реакцію системи та об’єкта на відмови на стадії тестування та запуску. |
|---|---|
| ISSN: | 22235620 24111554 |