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

Статьи

1. Liakh T.V., Rozov A.S., Zyubin V.E. Reflex Language: a Practical Notation for Cyber-Physical Systems // System Informatics, 2018. No. 12. P. 85–104.
2. Зюбин В. Е., Петухов А. Д., Розов А. С. Автоматизация измерений мюонным скважинным плотномером // Промышленные АСУ и контроллеры, 2018, №11, С.35–41.
3. Лях Т. В., Зюбин В. Е., Гаранина Н. О. Автоматизированная верификация алгоритмов управления сложными технологическими объектами на программных имитаторах // Вестник НГУ: Серия Информационные технологии. 2018. Том 16, №4, С. 85–94 (DOI: 10.25205/1818-7900-2018-16-4-85-94)
4. Кузнецов С. А. К вопросу о проблемах создания отечественных САПР для электроники Приборы и системы. Управление. Контроль. Диагностика. 2018. № 4. С. 7–15.

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

5. Liakh T. V., Zyubin V. E. Verification of industrial control algorithms in virtual laboratory stands // International Conference on Electrical, Electronics, Computers, Communication, Mechanical and Computing (EECCMC) (Madras, India, 28-29 January 2018)
6. Garanina N. O., Zyubin V., Lyakh T., Gorlatch S.: An Ontology of Specification Patterns for Verification of Concurrent Systems // New Trends in Intelligent Software Methodologies, Tools and Techniques – Proceedings of the 17th International Conference SoMeT18, Granada, Spain, 26–28 September 2018: P. 515–528 DOI: 10.3233/978-1-61499-900-3-515
7. Кугаевских А. В. Проектирование топологии нейронной сети выделения краев // Интеллектуальный анализ сигналов, данных и знаний: методы и средства: сб. ст. 2 Всерос. науч.-практ. конф. с междунар. участием им. В. В. Губарева, 11-13 дек. 2018 г. - Новосибирск : Изд-во НГТУ. 2018. - С. 528-534.
8. Кондратьев А. Ю., Гончаренко А. И., Зюбин В. Е. Исследование применимости облегченных типов данных с плавающей запятой для работы нейронных сетей // Интеллектуальный анализ сигналов, данных и знаний: методы и средства: Сборник статей II всероссийской научно-практической конференции с международным участием им. В. В. Губарева, Новосибирск, 11 - 13 декабря, 2018. С.514-522.
9. Нефедов Д. В. "Расширение синтаксиса процесс-ориентированного языка industrial-c средствами статической параметризации // Оптические и информационные технологии 2018
10. Санжиев Е. С. "Получение пленочного аксикона вакуумным напылением с контролем температуры испарителя в автоматическом ПИД-режиме // Оптические и информационные технологии 2018
11. Краснов Д. В. "Развитие языка industrial-c по результатам апробации при автоматизации УВН-71П-3 // Оптические и информационные технологии 2018
12. Марченко К. В. "Разработка Android-системы непрерывной трансляции аудио- и видеоданных в облачные сервисы" // Материалы 56-ой Международной научной студенческой конференции "Студент и научно-технический прогресс": Информационные технологии, Новосибирск, 22-27 апреля 2018. C. 40.
13. Марченко К.В. Мобильное приложение непрерывной передачи видеоданных в GOOGLE DRIVE // Перспективы развития фундаментальных наук. Сборник научных трудов XV Международной конференции студентов, аспирантов и молодых ученых. 2018. С. 123-125.
14. Кутенев И. Д. Разработка универсального шейдера объемных эффектов и его интеграция в модель глобального освещения на основе объемов распространения света и каскадных воксельных сеток // Материалы 56-ой Международной научной студенческой конференции "Студент и научно-технический прогресс": Информационные технологии, Новосибирск, 22-27 апреля 2018. C. 91.
15. Кондратьев А. Ю., Поспелов И. А. Реализация оппонентного процесса и эффекта цветового постоянства при нейросетевой сегментации изображений // Материалы 56-ой Международной научной студенческой конференции "Студент и научно-технический прогресс": Информационные технологии, Новосибирск, 22-27 апреля 2018. C. 235.
16. Пахомов И. В. Модель яркостной нейросетевой сегментации изображений // Материалы 56-ой Международной научной студенческой конференции "Студент и научно-технический прогресс": Информационные технологии, Новосибирск, 22-27 апреля 2018. C. 93.

РИД

17. Розов А. С. Транслятор языка "IndustrialC" версии 1.0 Свидетельство о государственной регистрации программы для ЭВМ № 2018617246, 21 июня 2018 г.
18. Марченко К. В., Лях Т. В. Android-приложение непрерывной передачи видеоданных в облачные сервисы версии 1.0 Св-во об офиц. Регистрации программы № 2018660945.
19. Лях Т. В. Программный комплекс автоматической верификации процесс-ориентированных алгоритмов 1.0 Свидетельство о государственной регистрации программы для ЭВМ № 2018665910, 14 ноября 2018 г.

Монографии

Кугаевских А. В. Проектирование информационных систем. Системная и бизнес-аналитика : учеб. пособие – Новосибирск : Изд-во НГТУ, 2018. – 256 с.

Подготовленные статьи

Anureev I., Garanina N., Liakh T., Rozov A., Zyubin V. Towards safe cyber-physical systems: the Reflex language and its transformational semantics.