В статье рассмотрены задачи синтеза алгоритмического отображения систем обеспечения жизненного цикла железнодорожной автоматики и телемеханики как сложных систем массового обслуживания. Принято, что алгоритмическое отображение представляется в виде алгоритмов обслуживания заявок, должно формализоваться на языке параллельных логических схем алгоритмов (ПЛСА) и использоваться в качестве основы имитационных моделей сложных систем массового обслуживания. Показана целесообразность синтеза объединенного алгоритма обслуживания заявок. Дано определение объединенного алгоритма обслуживания заявок. Разработан метод объединения алгоритмов, основанный на построении матрицы вхождений элементов исходного алфавита ПЛСА, анализе разбиений по ее составляющим, позволяющий синтезировать объединенный алгоритм обслуживания заявок при однократном вхождении элементов исходного алфавита, минимальном количестве разделительных логических условий и минимизированном количестве разделительных логических условий. Применение предложенного метода объединения алгоритмов позволяет сократить объем имитационных моделей и соответственно количества ошибок в моделирующей программе.
системы обеспечения жизненного цикла железнодорожной автоматики и телемеханики, сложные системы массового обслуживания, имитационное моделирование, алгоритм обслуживания заявок, объединенный алгоритм, матрица вхождений, разделительные логические условия
1. Сапожников Вл. В. Доказательство безопасности систем ж.-д. автоматики / Вл. В. Сапожников, О. А. Наседкин // Наука и транспорт. - 2006. - С. 10-13.
2. Наседкин О. А. Особенности испытания МПУ ЖАТ / О. А. Наседкин, Е. В. Ледяев // Автоматика связь, информатика. - 2012. - № 7. - С. 30-32.
3. Васильев Д. А. Экспертная программа для проведения испытаний технологического программного обеспечения систем микропроцессорной централизации / Д. А. Васильев, С. В. Гизлер, О. А. Наседкин, М. П. Шайфер // Развитие элементной базы и совершенствование методов построения устройств железнодорожной автоматики и телемеханики : сб. науч. тр. ; под. ред. Вл. В. Сапожникова. - СПб. : ФГБОУ ВПО ПГУПС, 2014. - С. 39-42.
4. Насонов Г. Ф. Автоматизированная система мониторинга проектирования, производства, строительства и проведения пусконаладочных работ по системам СЦБ / Г. Ф. Насонов, М. Н. Василенко, П. Е. Булавский // Транспорт Российской Федерации. - 2010. - № 3. - С. 46-49.
5. Василенко М. Н. Автоматизированная система экспертизы схемных решений железнодорожной автоматики и телемеханики / М. Н. Василенко, А. М. Горбачев, Д. В. Зуев, Е. В. Григорьев // Транспорт Российской Федерации. - 2011. - № 5. - С. 64-67.
6. Молодцов В. П. Системы диспетчерского контроля и мониторинга устройств железнодорожной автоматики и телемеханики : учеб. пособие / В. П. Молодцов, А. А. Иванов. - СПб. : Петербургский гос. ун-т путей сообщения, 2010. - 140 с.
7. Ефанов Д. В. Обеспечение безопасности движения за счет технического диагностирования и мониторинга устройств железнодорожной автоматики и телемеханики / Д. В. Ефанов, П. А. Плеханов // Транспорт Урала. - 2011. - № 3. - С. 44-48.
8. Лыков А. А. Техническое диагностирование и мониторинг состояния устройств ЖАТ / А. А. Лыков, Д. В. Ефанов, С. В. Власенко // Транспорт Российской Федерации. - 2012. - № 5. - С. 67-72.
9. Ефанов Д. В. Некоторые аспекты развития систем функционального контроля устройств железнодорожной автоматики и телемеханики / Д. В. Ефанов // Транспорт Урала. - 2015. - № 1. - С. 35-40.
10. Тележенко Т. А. Автоматизированная система экспертизы схемных решений ЖАТ / Т. А. Тележенко // Автоматика, связь, информатика. - 2009. - № 5. - С. 24-26.
11. Василенко М. Н. Электронный документооборот в хозяйстве СЦБ / М. Н. Василенко, В. Г. Трохов, Д. В. Зуев // Автоматика, связь, информатика. - 2014. - № 8. - С. 2-3.
12. Василенко М. Н. Развитие электронного документооборота в хозяйстве АТ / М. Н. Василенко, В. Г. Трохов, Д. В. Зуев, Д. В. Седых // Автоматика, связь, информатика. - 2015. - № 1. - С. 14-16.
13. Нестеров В. В. Развитие систем СТДМ, АСУ-Ш-2 и АОС-ШЧ / В. В. Нестеров // Автоматика, связь, информатика. - 2012. - № 12. - С. 45-46.
14. Информационные технологии : учебник для вузов / Б. Я. Советов, В. В. Цехановский. - М. : Высшая школа, 2003. - 263 с. Электронное моделирование 429 Автоматика на транспорте № 4, том 1, декабрь 2015
15. Булавский П. Е. Матричный метод формализации имитационных моделей сложных систем массового обслуживания / П. Е. Булавский, Д. С. Марков // Известия Петербургского университета путей сообщения. - 2010. - № 4. - С. 186-195.
16. Алиев Т. И. Основы моделирования дискретных систем / Т. И. Алиев. - СПб. : СПбГУ ИТМО, 2009. - 363 с.
17. GPSSWORLD. Основы имитационного моделирования различных систем / Е. М. Кудрявцев. - М. : ДМК Пресс, 2004. - 317 с.
18. Марков Д. С. Метод порционного моделирования транспортных систем массового обслуживания / Д. С. Марков, В. Б. Соколов // Развитие элементной базы и совершенствование методов построения устройств железнодорожной автоматики и телемеханики : сб. науч. тр. ; под ред. Вл. В. Сапожникова. - СПб. : ФГБОУ ВПО ПГУПС, 2014. - С. 43-47.
19. Синтез управляющих автоматов / В. Г. Лазарев, Е. И. Пийль. - М. : Энергия, 1984. - 408 с.
20. Дьяченко В. Ф. Управление на сетях связи / В. Ф. Дьяченко, В. Г. Лазарев, Г. Г. Саввин. - М. : Наука, 1967. - 223 с.
21. Balci О. Verifi cation, validation and accreditation / O. Balci // Proceedings of the 1998 Winter Simulation Conference, Washington, DC, USA, December 13-16, Piscataway, NJ, 1998. - Pp. 41-48.
22. Шаманов В. И. Управление процессом модернизации комплексов систем железнодорожной автоматики и телемеханики / В. И. Шаманов // Автоматика на транспорте. - 2015. - Т. 1. - № 3. - С. 237-250.
23. Carson J. S. Model verifi cation and validation / J. S. Carson // Proceedings of the 2002 Winter Simulation Conference, San Diego, CA, USA, December 08-11, 2002. - Pp. 52-58.
