Семинары по ИТ-технологиям от компании Huawei пройдут в Институте автоматики и электрометрии СО РАН

В 2021 году на базе Института автоматики и электрометрии СО РАН будет проведён цикл академических семинаров компании Huawei – одного из глобальных лидеров рынка ИТ-инфраструктуры. Семинары посвящены современным технологиям вычисления, хранения, передачи и обработки данных.

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

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

16 марта 2021 г. (вторник), 10-00 (6-00 МСК)

Тема:
Опыт верификации автоматных программ на платформе Rodin (на примере задачи управления генератором эндогаза)

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

Аннотация: Формальный дедуктивный анализ представляет собой строгий математический подход к верификации алгоритмов: алгоритм описывается с помощью аксиом, а требуемые свойства доказываются как теоремы. В докладе на примере технологического процесса генерации эндогаза рассматривается процедура дедуктивной верификации на платформе Rodin (Event-B): описывается задача, автоматный алгоритм управления, определяются требования, приводится процедура преобразования алгоритма и требований для целей верификации в виде набора аксиом и теорем, демонстрируется процедура верификации, которая сводится к доказательству теорем.

Материалы:
1. Максим Нейзов. Формальный дедуктивный анализ автоматного алгоритма управления генератором эндогаза с помощью платформы Rodin. Часть 1. Часть 2. Часть 3.
2. Презентация доклада.
3. Архив проекта Rodin.

Видео -- https://youtu.be/Miqi4DWqS8o

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

С Международным женским днём!

Дорогие женщины, самые очаровательные и неповторимые, поздравляем вас с Международным женским днём! Желаем вам чудесных дней, наполненных радостными событиями, красивыми словами и делами, любовью и душевностью. Пусть ваши желания исполняются всё чаще, близкие окружают вас теплом и нежностью, заботой и безграничным вниманием! Счастья вам, прекрасные дамы, и пусть оно не заканчивается!

С праздником!

Проекты ИАиЭ СО РАН среди победителей конкурсов Президентской программы исследовательских проектов РНФ

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

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

С Днём защитника Отечества!

День защитника Отечества — важный праздник, праздник настоящих мужчин, защищающих свои семьи, своих близких, свою Родину, хранящих покой и мир. Пусть спокойствие останется с нами на долгие годы, чтоб жизнь была размеренной, счастливой, а каждый день богат яркими эмоциями, приятными впечатлениями и воспоминаниями!

Сдано в печать. Уникальные биоразлагаемые имплантаты изготовят на 3D-принтере

Задачу производства «строительного материала», который поможет человеку в регенерации костей и будет постепенно усваиваться, растворяясь без следа, решают институты СО РАН в рамках проекта «Создание фундаментальных основ получения биосовместимых 3D-изделий медицинского назначения методом селективного лазерного спекания механохимически синтезированных изоморфных разновидностей апатита». По окончании работ должна появиться модель 3D-принтера, печатающего биоразлагаемые имплантаты. А «строительный материал» уже синтезировали механохимики.

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

Объявлены конкурсы на присуждение премий и на предоставление грантов в форме субсидий в сфере науки и инноваций

С 11.02.2021 по 12.03.2021 департамент промышленности, инноваций и предпринимательства мэрии города Новосибирска проводит конкурсы, целью которых является стимулирование научной (научно-исследовательской), научно-технической и инновационной деятельности на территории города.

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

Газоанализотор Healthmonitor помогает выявлять коронавирус

В период повышенной заболеваемости коронавирусной инфекцией важное значение приобретает быстрое и надёжное определение заболевания. Один из способов оперативной диагностики состояния организма разработан учёными Института автоматики и электрометрии (ИАиЭ) СО РАН совместно с компанией «Сайнтификкоин». С помощью созданного ими газоанализатора Healthmonitor можно с точностью до 85 % определить наличие в организме коронавирусной инфекции. В начале февраля в Новосибирске проходило бесплатное тестирование всех желающих в рамках исследования этой экспериментальной методики.

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

Ко Дню науки в ИАиЭ СО РАН организована виртуальная экскурсия для всех желающих

11 февраля 2021 г. в Институте автоматики и электрометрии организована виртуальная экскурсия для всех желающих. В ходе экскурсии зрители познакомятся с лабораториями Института и учёными, проводящими научные исследования. Ссылка на экскурсию https://youtu.be/eJyJXuAhpaE.

Программа мероприятий, посвящённых Дню российской науки

Ежегодно 8 февраля российское научное сообщество отмечает свой профессиональный праздник — День российской науки. По традиции к этой дате в институтах и вузах, находящихся под научно-методическим руководством Сибирского отделения РАН, приурочены научно-популярные мероприятия: дни открытых дверей, экскурсии, лекции и так далее. Пандемия вносит коррективы и определенные ограничения, но, безусловно, в этом году праздничные события также состоятся.

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