ИАиЭ СО РАН на «Технопроме–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

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

Диагностика рака простаты по выдоху

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

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

Приглашение к участию в конкурсе ВОИР «Изобретатель года»

Новосибирская областная общественная организация Всероссийского общества изобретателей и рационализаторов с 1 июля по 20 сентября проводит региональный отбор кандидатов для участия во II Всероссийском конкурсе «Изобретатель года», который является частью проекта «II Фестиваля ВОИР: Наука и изобретение для жизни», поддержанного грантом Минобрнауки.

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

Конкурс на замещение вакантных должностей

Федеральное государственное бюджетное учреждение науки Институт автоматики и электрометрии СО РАН объявляет конкурс на замещение следующих вакантных должностей:

- 1 вакантной должности заведующего лабораторией, отрасль науки - «Физика и астрономия»;

- 1  вакантной должности научного сотрудника, отрасль науки - «Физика и астрономия»;

дата начала приёма заявок – 08 августа 2024г.
дата окончания приёма заявок – 07 октября 2024г.

Документы направлять по адресу: 630090, г. Новосибирск, проспект Акад. Коптюга, 1, комната 201. Справки по телефону: (383) 333-28-33.

Положение о конкурсе и перечень необходимых документов размещены на сайте Института: http://www.iae.nsk.su в разделе «Конкурсы».

Объявление о конкурсе размещено на портале вакансий: ученые-исследователи.рф.

Преакселератор А:СТАРТ – подготовительные вебинары

В рамках подготовки к осеннему стартап-акселератору Академпарк проведёт серию бесплатных вебинаров для учёных, разработчиков и предпринимателей – преакселератор А:СТАРТ.

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