Лекции Предакселератора НТИ

Обучающая программа Предакселератор НТИ предлагает прослушать лекции от специалистов разных направлений, связанных с развитием трансфера технологий, развитием промышленности в РФ с помощью экосистемы Национальной Технологической Инициативы

Подробнее...

Семинар «Инжиниринг современных информационных систем»

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.

ссылка на вебинар -- https://meet.google.com/iqb-gbix-azj

Страница семинара 

Семинар «Инжиниринг современных информационных систем»

11 ноября 2021 г. (четверг), 14:00 (10:00 МСК)

Тема:
Автоматно-функциональная парадигма программирования реактивных систем

Докладчик:
Максим Нейзов

Аннотация: Доклад посвящен вопросу объединения функционального и автоматного подходов к программированию реактивных систем широкого класса. Обсуждается вопрос применимости подхода и его достоинства, позволяющие упростить разработку и формальную верификацию, повысить понимаемость программ, минимизировать число ошибок. Практическое использование концепции автоматно-функционального подхода демонстрируется на поясняющих примерах.

ссылка на вебинар -- https://meet.google.com/iqb-gbix-azj

Страница семинара 

Ускорение света. Новую платформу для фотоники создают в Сибири

Сотрудникам лаборатории волоконной оптики Института автоматики и электрометрии Сибирского отделения РАН (ИАиЭ СО РАН) удалось доказать, что, несмотря на слабость рэлеевского рассеяния, при большой длине и большой мощности накачки оптического световода пассивное волокно само становится лазером, усиливая свет на комбинационных частотах. Так был создан новый тип лазеров – случайные волоконные лазеры.

Подробнее...

Памяти Валентина Павловича Гапонцева

22 октября ушёл из жизни крупный физик, создатель технологии мощных компактных волоконных лазеров, основатель крупнейшей в мире компании по их производству кандидат физико-математических наук Валентин Павлович Гапонцев.

Подробнее...

Звёзды и тернии физики

25 октября состоялась юбилейная конференция «Сквозь тернии к звёздам» (г. Троицк), посвящённая 60-летию В.В. Бражкина, на которой выступали сотрудники ИФВД и коллеги из других академических институтов. С докладом «Неожиданные возможности спектроскопии неупругого рассеяния света для молекулярных доменов» выступил член-корреспондент РАН Николай Суровцев из ИАиЭ СО РАН.

Подробнее...

Семинар «Инжиниринг современных информационных систем»

28 октября 2021 г. (четверг), 14:00 (10:00 МСК)

Тема:
Ко-моделирование аппаратной и программной части реальной киберфизической системы: ArduPilot на основе Arduino

Докладчик:
Сергей Старолетов (лаб. киберфизических систем ИАиЭ СО РАН)

Аннотация: Изучение передового опыта архитектурной организации программных систем для реальных киберфизических систем можно проводить на решениях с открытым исходным кодом, которые разрабатываются большими сообществами энтузиастов. Такие решения неоднократно тестировались на реальных устройствах в различных природных условиях. Построение моделей с использованием программного кода, представление их в графической форме позволяет нам анализировать устойчивые архитектурные программно-аппаратные решения и свойства таких систем. В докладе рассматривается система управления квадрокоптером на базе платы ArduPilot Mega, обсуждается планировщик задачи и их взаимосвязь. Также обсуждается распределенное решение для системы управления на базе SPI и CAN-шины.

ссылка на вебинар -- https://meet.google.com/iqb-gbix-azj

Страница семинара 

Семинар «Инжиниринг современных информационных систем»

15 октября 2021 г. (пятница), 14:00 (10:00 МСК)

Тема:
Сдвиговый автомат как средство задания структурных свойств автоматной модели поведения

Докладчик:
Максим Нейзов (Проектный институт АвтоПромТермоОбработка, Курган)

Аннотация: Доклад посвящен подходу к дедуктивной верификации управляющих программ, который заключается в построении автоматной модели программы и задании на её основе системы аксиом. При построении аксиоматики одной из ключевых задач является задача формализации структурных свойств автоматной модели. В качестве решения в докладе будет представлена модификация автоматной модели, которая получила название "сдвиговый автомат". Свойства модели демонстрируются и обсуждаются на примерах.

ссылка на вебинар -- https://meet.google.com/iqb-gbix-azj

Страница семинара 

Сковородин Иван Николаевич

17.01.1940–11.10.2021

11 октября 2021 года ушёл из жизни старейший сотрудник Института, заслуженный ветеран СО РАН, руководитель тематической группы автоматизации измерительных технологий, главный специалист-электроник

Сковородин Иван Николаевич

Коллектив Института выражает глубокое cоболезнование родным и близким покойного.

Прощание состоится 14 октября в 14.00 в похоронном доме ИМИ по адресу ул. Арбузова, 2а.

Просто добавь свинца: самый известный магнитный материал задаст тон электронике будущего

Ученые из МФТИ изучили новые свойства одного из самых популярных в мире материалов для производства магнитов. Оказалось, что этот материал можно применять в электронике нового поколения — терагерцовых приборах. Работа опубликована в журнале группы Nature — NPG Asia Materials. В работе принимали участие их коллеги из Института автоматики и электрометрии СО РАН.

Подробнее...