Основные публикации 2016 года

Статьи

1. Ковадло П. Г., Лубков А. А., Бевзов А. Н., Будников К. И., Власов С. В., Зотов А. А., Колобов Д. Ю., Курочкин А. В., Котов В. Н., Лылов С. А., Лях Т. В., Максимов А. С., Перебейнос С. В., Петухов А. Д., Пещеров В. С., Попов Ю. А., Русских И. В., Томин В. Е. Система автоматизации Большого солнечного вакуумного телескопа // Автометрия. 2016. Т. 52, вып. 2. С. 97–106.
2. Сизов. М. М., Зюбин В. Е., Лях Т. В., Медведев А. М., Семенов Ю. И. Использование языка Caph для обработки видеосигналов в системе автоматизации электронно-лучевой сварки // Промышленные АСУ и контроллеры. 2016. № 6. С. 38-43.
3. Лях Т. В., Зюбин В. Е., Сизов. М. М. Опыт применения языка Reflex при автоматизации Большого солнечного вакуумного телескопа // Промышленные АСУ и контроллеры. 2016. № 7. С. 37-43.
4. Лях Т. В, Зюбин В. Е. Верификация промышленных алгоритмов управления методом Model checking в сочетании с концепцией виртуальных объектов управления // Системная информатика, 2016, № 8, С. 11-20
5. Розов А.С., Зюбин В.Е. Расширенная модель гиперпроцесса для программирования микроконтроллеров // Промышленные АСУ и контроллеры, №9, 2016 г., Стр. 34-38.

Труды международных и российских конференций

1. Розов А.С. Методика программирования открытых микроконтроллерных платформ на основе гиперавтоматов // XVII Всероссийская конференция молодых учёных по математическому моделированию и информационным технологиям, Новосибирск, 30 октября - 3 ноября 2016 г.
2. Лях Т.В, Зюбин В.Е. Верификация промышленных алгоритмов управления методом Model checking в сочетании с концепцией виртуальных объектов управления // «Системная информатика», 2016, №8, С. 11-20
3. Tatiana V. Liah, V. E. Zyubin. The Reflex Language Usage to Automate the Large Solar Vacuum Telescope // 17th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM). (Erlagol, Altai Republic, Russia, June 30 2016-July 4, 2016). pp. 137-139.
4. Лях Т.В., Зюбин В.Е. Модельно-ориентированный метод автоматической верификации управляющих алгоритмов // Материалы XVII Всероссийской конференции молодых учёных по математическому моделированию и информационным технологиям. (Россия, г. Новосибирск, 30 октября – 3 ноября 2016 г.). С. 94-95.
5. Лях Т.В., Зюбин В.Е. Интеграция событийно-управляемых блоков на языке рефлекс в системы управления, реализованные на NI LABVIEW // Сборник трудов XV международной конференции NIDays 2016. (Россия, г. Москва, 25 Ноября 2016). С. 27-29.