Моделювання логічної підсистеми маршрутизації залізничної станції на основі функціональної ознаки
DOI:
https://doi.org/10.18664/ikszt.v0i6.87096Ключові слова:
об’єкт керування та контролю, електрична централізація, маршрут, функціональна ознака, логічна умова, програмне забезпечення, технологічний процесАнотація
Ключовим аспектом при розробленні та конфігуруванні програмного забезпечення станційних систем автоматики, дослідженні їх безпечності та надійності є формалізація логічних умов їхнього функціонування. В основу цієї формалізації покладено розроблення структурно-логічних моделей технологічних процесів реалізації маршрутів на залізничних станціях, якому присвячено викладене у статті дослідженняПосилання
Traussing, R. Safety-Critical Systems: Processes, Standards and Certification [Text]: for the Seminar “Analysis, Design and Implementation of Reliable Software” / R. Traussing. – Paderborn: Universität Paderborn, 2004. – 17 p.
ДСТУ 4178-2003. Комплекси технічних засобів систем керування та регулювання руху поїздів. Функційна безпечність і надійність. Вимоги та методи випробовування [Текст]. – К.: Держспоживстандарт України, 2003. – 32 с.
Брабанд, Й. Взаимосвязь между стандартами CENELEC в области железнодорожной сигнализации и другими стандартами по безопасности [Электронный ресурс] / Й. Брабанд, Ю. Хирао, Д. Ф. Людеке. – Режим доступа: http://www.ibtrans.ru/CENELEC.pdf. – Загл. с экрана. – (Дата обращения: 15.10.2016).
Духанов, А. В. Имитационное моделирование сложных систем [Текст]: курс лекций / А. В. Духанов, О. Н. Медведева. – Владимир: Изд-во Владим. гос. ун-та, 2010. – 115 с.
Тарадин, Н. А. Методы оценки безопасности функционирования систем железнодорожной автоматики и телемеханики [Текст]: дис. … канд. техн. наук: 05.22.08 «Управление процессами перевозок» / Н .А. Тарадин; Московский государственный университет путей сообщения. – М.: МГУПС, 2010. – 209 с. – Библиогр.: С.167-179.
Бобровський, В. І. Теоретичні основи удосконалення конструкції та технології роботи залізничних станцій [Текст]: автореф. дис. … д-ра техн. наук: 05.22.20 / Бобровський Володимир Ілліч. – Дніпропетровськ: ДНУЗТ, 2002. – 27 с.
Вернигора, Р. В. Підвищення ефективності функціонування залізничних станцій як ергатичних систем [Текст]: автореф. дис. … канд. техн. наук: 05.22.20 / Вернигора Роман Віталійович. – Дніпропетровськ: ДНУЗТ, 2008. – 24 с.
Козаченко, Д. М. Модель колійного розвитку для імітаційного моделювання гіркових процесів [Текст] / Д. М. Козаченко // Вісник Дніпр. національного університету залізничного транспорту ім. акад. В. Лазаряна: зб. наук. праць, 2009. – Вип. 29. – С. 54 – 58.
Кустов, В. Ф. Экспериментально-статические модели распределённых технологических объектов [Текст] / В. Ф. Кустов, А. Ю. Каменев // Металлургическая и горнорудная промышленность. – 2013. – № 2. – С. 97 – 101.
Каменєв, О. Ю. Методи матричної інтерпретації підсистеми логічних залежностей мікропроцесорної централізації стрілок та сигналів [Текст] / О. Ю. Каменєв // Радіоелектронні та комп’ютерні системи. – 2012. – № 2. – С. 110 – 117.
Ургансков, Д. И. Методы обеспечения и средства доказательства безопасности микропроцессорных систем железнодорожной автоматики и телемеханики [Текст]: дис. … канд. техн. наук: 05.22.08 «Управление процессами перевозок» / Д. И. Ургансков; Петербургский государственный университет путей сообщения. – СПб.: ПГУПС, 2003. – 219 с. – Библиогр.: С. 189 – 203.
Мороз, В. П. Обґрунтування вибору середовища для побудови імітаційної моделі колійного розвитку станції [Текст] / В. П. Мороз, С. О. Змій, Р. В. Турчинов // Інформаційно-керуючі системи на залізничному транспорті. – Харків: УкрДАЗТ, 2011. – № 5. – С. 153.
Сапожников, Вл. В. Станционные системы автоматики и телемеханики [Текст]: учебн. для вузов ж.-д. трансп. / Вл. В. Сапожников, Б. Н. Елкин, И. М. Кокурин и др.; под ред. Вл. В. Сапожникова. – М.: Транспорт, 1997. – 432 с.
Дослідження функційної безпечності та електромагнітної сумісності мікропроцесорної системи електричної централізації станції «Вугільна» на етапі імітаційних та стендових випробувань [Текст]: звіт з НДР (проміж.) / УкрДАЗТ; керівник А. Б. Бойнік. – Номер держ. реєстр. 0112U006925; інв. номер 0713U007283. – 2012.
Сигорский, В. П. Математический аппарат инженера [Текст] / В. П. Сигорский. – изд. 2-е, стереотип. – К.: Техника, 1977. – 768 с.
Unity Pro [Text]: Program Languages and Structure Reference Manual / Schneider Electric, 2012. – 722 p.
Bolton, W. Programmable Logic Controllers [Text] / W. Bolton. – Fourth Edition. – Oxford: Elsevier Linacre House, 2006. – 303 p.
##submission.downloads##
Опубліковано
Номер
Розділ
Ліцензія
Авторське право (c) 2017 В. І. МОЙСЕЄНКО, Ю. В. КАМЕНЄВ, В. В. ГАЄВСЬКИЙ, К. В. КРАВЧЕНКО
Ця робота ліцензується відповідно до Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
