Памяти Виктора Павловича Бессмельцева

19 августа 2024 г. ушёл из жизни Виктор Павлович Бессмельцев – заведующий лабораторией лазерной графики, к.т.н., выдающийся учёный, экспериментатор, талантливый изобретатель, Заслуженный ветеран СО РАН.

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

ИАиЭ СО РАН подписал международное соглашение о сотрудничестве на «Технопроме-2024»

Новосибирский Институт автоматики и электрометрии СО РАН и ОАО «Минский НИИ радиоматериалов» заключили договор на выполнение научно-исследовательской и опытно-конструкторской работы (НИОКР). Подписание соглашений состоялось на международном форуме технологического развития «Технопром-2024» у стенда Республики Беларусь.

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

Итоги первого дня форума «Технопром»

Новосибирский Институт автоматики и электрометрии СО РАН принял участие в международном форуме технологического развития «Технопром-2024». По итогам первого дня проведён ряд переговоров с инновационными компаниями, руководством СО РАН, белорусскими делегациями, в том числе с ОАО «Минский НИИ радиоматериалов» и ОАО «Планар».

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

Завершился 11-й Международный семинар по волоконным лазерам RFL-2024

Международный семинар проходил в «Технопарке» с 19 по 23 августа. Российские и зарубежные учёные встретились для обсуждения актуальных вопросов развития волоконных лазеров, лазерной оптики, нанофотоники.

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

ИАиЭ СО РАН на «Технопроме–2024»

С 27 по 30 августа в Новосибирске пройдёт форум технологического развития «Технопром-2024». ИАиЭ СО РАН примет участие в работе форума.

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

Состоялось открытие 11-го Международного семинара по волоконным лазерам RFL-2024

В конференц-зале «Технопарка» состоялось официальное открытие Международного семинара по волоконным лазерам. С приветственными словами выступили почётный председатель программного комитета А.М. Шалагин, председатель оргкомитета, академик РАН М.П. Федорук, председатель программного комитета член-корр. РАН С.А. Бабин.

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

Оптическая спектроскопия: как с помощью света узнать структуру и состав вещества?

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

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

Стартовал приём заявок на конкурс «УМНИК-Фотоника-2024»

Фонд содействия инновациям объявил о старте отбора проектов по конкурсу «УМНИК-Фотоника-2024» в рамках программы «Участник молодежного научно-инновационного конкурса».

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

Объявлен приём заявок на совместный конкурс РНФ и Департамента науки и технологий Министерства науки и технологий Республики Индия (DST)

Российский научный фонд и Министерство науки и технологий Республики Индия (DST) открывают приём заявок на пятый совместный конкурс для международных научных коллективов.

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

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

14 августа 2024 г. (четверг), 14:00 (10:00 МСК), google-meet

Тема:
LTL-спецификации специального вида для разработки и верификации управляющих программ

Докладчик:
Нейзов Максим Вячеславович (ИАиЭ СО РАН)

Аннотация:

Язык линейной темпоральной логики LTL широко применяется для спецификации свойств реагирующих систем. Однако данный формализм может применяться и для спецификации поведения таких систем. По сравнению со специализированными языками моделирования и спецификации поведения, использование языка LTL имеет некоторые преимущества: (1) отсутствует привязка к конкретному инструментальному средству, (2) LTL-спецификация является математическим объектом, что позволяет применять соответствующий математический аппарат при синтезе и анализе поведения реагирующих систем. В докладе будут представлены три LTL-спецификации специального вида: (1) декларативная — для описания поведения управляющих программ, (2) императивная — для построения императивного кода программ, (3) ограниченно недетерминированного поведения — для описания окружения управляющих программ. Использование предлагаемых LTL-спецификаций позволяет выполнять разработку и верификацию управляющих программ для замкнутых систем (систем с обратной связью).

Для демонстрации подхода используется пример установки для литья пластмасс.

Ссылка на вебинар для подключения -- https://meet.google.com/iqb-gbix-azj

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