Стартовал прием заявок на конкурсы работ, представляемых на соискание премий Правительства Российской Федерации 2022 года в области науки и техники для исследователей и молодых ученых.
С помощью компьютерно-синтезированных голограмм — микроизображений на кварцевых пластинках — учёные проверяют качество изготовления зеркал больших телескопов и космической оптики. Для этого сами голограммы должны быть очень точными. Российские исследователи из Института автоматики и электрометрии СО РАН предложили способ контроля их качества с помощью особых «меток», которые записываются в поле голограммы по мере её создания. Предложенный метод позволяет существенно увеличить точность записи компьютерно-синтезированных голограмм, а в перспективе поможет автоматизировать этот процесс. Результаты исследования, поддержанного грантом Российского научного фонда (РНФ), опубликованы в журнале Sensors.
Узнать о достижениях сибирской науки теперь можно по пути на работу: один из поездов метро Новосибирска преобразился к Фестивалю «Наука 0+». ИАиЭ СО РАН принимает участие в мероприятиях Фестиваля.
Обучающая программа Предакселератор НТИ предлагает прослушать лекции от специалистов разных направлений, связанных с развитием трансфера технологий, развитием промышленности в РФ с помощью экосистемы Национальной Технологической Инициативы
Семинар «Инжиниринг современных информационных систем»
17 ноября 2021 г. (среда), 15:00 (11:00 МСК)
Тема: Framework for closed-loop formal verification of distributed automation software with plant model generator from event logs
Докладчик: Midhun Xavier (Luleå University of Technology, Sweden)
Аннотация: This seminar introduces a concept of an automatic generation of a formal model of plant from the event logs. The formal model implementation and its verification are done with the help of a comprehensive toolchain that can combine design, simulation, formal verification, and distributed deployment of automation software. The talk discusses conceptual, methodological, and instrumental components of the toolchain.
Семинар «Инжиниринг современных информационных систем»
11 ноября 2021 г. (четверг), 14:00 (10:00 МСК)
Тема: Автоматно-функциональная парадигма программирования реактивных систем
Докладчик: Максим Нейзов
Аннотация: Доклад посвящен вопросу объединения функционального и автоматного подходов к программированию реактивных систем широкого класса. Обсуждается вопрос применимости подхода и его достоинства, позволяющие упростить разработку и формальную верификацию, повысить понимаемость программ, минимизировать число ошибок. Практическое использование концепции автоматно-функционального подхода демонстрируется на поясняющих примерах.
Сотрудникам лаборатории волоконной оптики Института автоматики и электрометрии Сибирского отделения РАН (ИАиЭ СО РАН) удалось доказать, что, несмотря на слабость рэлеевского рассеяния, при большой длине и большой мощности накачки оптического световода пассивное волокно само становится лазером, усиливая свет на комбинационных частотах. Так был создан новый тип лазеров – случайные волоконные лазеры.