Метод діагностування підсистеми залізничної автоматики за допомогою мереж Петрі

Автор(и)

  • V. P. Moroz Український державний університет залізничного транспорту, Україна
  • E. M. Tsebro Український державний університет залізничного транспорту, Україна
  • S. A. Zmiy Український державний університет залізничного транспорту, Україна
  • R. V. Turchinov Український державний університет залізничного транспорту, Україна
  • A. O. Lapko Український державний університет залізничного транспорту, Україна

DOI:

https://doi.org/10.15802/ecsrt2015/73857

Ключові слова:

діагностика, система залізничної автоматики, мережі Петрі, стрілочний електропривод, алгоритм керування, граф досяжності

Анотація

Мета. Розробка методу визначення несправностей у підсистемі, який ґрунтується на моделюванні алгоритму функціонування даної підсистеми за допомогою мереж Петрі. Методика. Для досягнення мети дослідження використано мережі Петрі, положення теорії графів. Результати. За допомогою мережі Петрі проведено моделювання функціонування підсистеми керування стрілочним електроприводом з електродвигуном постійного струму. Запропоновано метод діагностування підсистеми на основі аналізу графу досяжності мережі Петрі. Наукова новизна. Застосування математичного апарату теорії множин дозволяє формалізувати пошук переходу мережі Петрі, який вказує на несправність в підсистемі, що досліджується.

Біографії авторів

V. P. Moroz, Український державний університет залізничного транспорту

Мороз Володимир Петрович

Кафедра «Автоматика та комп'ютерне телекерування рухом поїздів» (АТ)
кандидат технічних наук, доцент

E. M. Tsebro, Український державний університет залізничного транспорту

Є. М. ЦЕБРО, магістр

S. A. Zmiy, Український державний університет залізничного транспорту

Змій Сергій Олексійович

Кафедра «Автоматика та комп'ютерне телекерування рухом поїздів» (АТ)
старший викладач

R. V. Turchinov, Український державний університет залізничного транспорту

Турчинов Роман Володимирович

Кафедра «Автоматика та комп'ютерне телекерування рухом поїздів» (АТ)

старший викладач

A. O. Lapko, Український державний університет залізничного транспорту

Лапко Антон Олександрович

Кафедра «Автоматика та комп'ютерне телекерування рухом поїздів» (АТ)
кандидат технічних наук, доцент

Посилання

Мороз, В. П. Аналіз методів моделювання асинхронних паралельних процесів [Текст] / В. П. Мороз, Є. М. Цебро // Зб. наук. праць. – Донецьк: ДонІЗТ, 2012. Вип. № 29 . – С 44-48.

Model-based dependability evaluation of complex critical control systems Francesco Flammini [Електронний ресурс] – Режим доступу: http://www.fedoa.unina.it/1522/1/Flammini_Ingegneria_Informatica_ed_Automatica.pdf (Дата звернення: 19.06.2014).

Сабуров, П. С. Оценка технического состояния электромеханических систем на основе сетей Петри. [Текст]: авто-реф. дис. канд. техн. наук: 05.13.06 / Сабуров Павел Сергеевич – Владимир., 2011. – 20 с.

Питерсон, Дж. Теория сетей Петри и моделирование систем [Текст] / Дж. Питерсон пер. с англ.. – М.: Мир, 1984. – 264 с.

Data structures and software dependability [Електронний ресурс] – Режим доступу: http://www-dssz.informatik.tucottbus.de/DSSZ/Software/ Snoopy (Дата звернення: 19.06.2014).

Диагностирование устройств железнодорожной автоматики и агрегатов подвижных единиц [Текст] / А. Б. Бойник, Г. И. Загарий, С. В. Кошевой, Н. И. Лу-ханин, Н. В. Поэта, В. И. Поддубняк. – Х.: ЧП Издательство «Новое слово», 2008. – 304 с.

Контроль функционирования больших систем [Тескт]: / Г. П. Шибанов, А. Е. Артеменко, А. А. Метешкин, Н. И. Циклинский под ред. Г. П. Шибанова. – М.: Машиностроение, 1977. – 360 с.

Котов, В. Е. Сети Петри [Тескт] / В. Е. Котов. – М.: Наука гл. ред. физ.-мат. лит., 1984. – 160 с.

Jensen, K. Coloured Petri Nets Modelling and Validation of Concurrent Systems / K. Jensen, L. M. Kristensen. – Berlin: Springer-Verlag, 2009. – 384 p.

Синчук, О. Н. Сети Петри как аппарат для исследования аварийных режимов в тяговых электротехнических комплексах [Текст] / О. Н. Синчук, В. О. Черная // Вісник КДУ імені Михайла Остроградського. Випуск 3/2010 (62). Частина 1. С 128-131.

Станционные системы автоматики и телемеханіки [Текст] / Вл. В. Сапожников, Б. Н. Елкин, И. М. Кокурин и др.; под ред. Вл. В. Сапожникова. – М.: Транспорт, 1997. – 432 с.

##submission.downloads##

Опубліковано

2015-12-15

Як цитувати

Moroz, V. P., Tsebro, E. M., Zmiy, S. A., Turchinov, R. V., & Lapko, A. O. (2015). Метод діагностування підсистеми залізничної автоматики за допомогою мереж Петрі. Електромагнітна сумісність та безпека на залізничному транспорті, (10). https://doi.org/10.15802/ecsrt2015/73857

Номер

№ 10 (2015)

Розділ

БЕЗПЕКА НА ЗАЛІЗНИЧНОМУ ТРАНСПОРТІ

Ліцензія

Автори, які публікуються у цьому журналі, погоджуються з наступними умовами:

  • Автори залишають за собою право на авторство своєї роботи та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons Attribution License, котра дозволяє іншим особам вільно розповсюджувати опубліковану роботу з обов'язковим посиланням на авторів оригінальної роботи та першу публікацію роботи у цьому журналі.

  • Автори мають право укладати самостійні додаткові угоди щодо неексклюзивного розповсюдження роботи у тому вигляді, в якому вона була опублікована цим журналом (наприклад, розміщувати роботу в електронному сховищі установи або публікувати у складі монографії), за умови збереження посилання на першу публікацію роботи у цьому журналі.

  • Політика журналу дозволяє і заохочує розміщення авторами в мережі Інтернет (наприклад, у сховищах установ або на особистих веб-сайтах) рукопису роботи, як до подання цього рукопису до редакції, так і під час його редакційного опрацювання, оскільки це сприяє виникненню продуктивної наукової дискусії та позитивно позначається на оперативності та динаміці цитування опублікованої роботи (див. The Effect of Open Access).