15.03.2021
В 2021 году на базе Института автоматики и электрометрии СО РАН будет проведён цикл академических семинаров компании Huawei – одного из глобальных лидеров рынка ИТ-инфраструктуры. Семинары посвящены современным технологиям вычисления, хранения, передачи и обработки данных.
Подробнее...
12.03.2021
Семинар «Инжиниринг современных информационных систем»
16 марта 2021 г. (вторник), 10-00 (6-00 МСК)
Тема:
Опыт верификации автоматных программ на платформе Rodin (на примере задачи управления генератором эндогаза)
Докладчик:
Максим Нейзов (Проектный институт АвтоПромТермоОбработка, Курган)
Аннотация: Формальный дедуктивный анализ представляет собой строгий математический подход к верификации алгоритмов: алгоритм описывается с помощью аксиом, а требуемые свойства доказываются как теоремы. В докладе на примере технологического процесса генерации эндогаза рассматривается процедура дедуктивной верификации на платформе Rodin (Event-B): описывается задача, автоматный алгоритм управления, определяются требования, приводится процедура преобразования алгоритма и требований для целей верификации в виде набора аксиом и теорем, демонстрируется процедура верификации, которая сводится к доказательству теорем.
Материалы:
1. Максим Нейзов. Формальный дедуктивный анализ автоматного алгоритма управления генератором эндогаза с помощью платформы Rodin. Часть 1. Часть 2. Часть 3.
2. Презентация доклада.
3. Архив проекта Rodin.
Видео -- https://youtu.be/Miqi4DWqS8o
Страница семинара
05.03.2021
С Международным женским днём!
Дорогие женщины, самые очаровательные и неповторимые, поздравляем вас с Международным женским днём! Желаем вам чудесных дней, наполненных радостными событиями, красивыми словами и делами, любовью и душевностью. Пусть ваши желания исполняются всё чаще, близкие окружают вас теплом и нежностью, заботой и безграничным вниманием! Счастья вам, прекрасные дамы, и пусть оно не заканчивается!
С праздником!
24.02.2021
Российский научный фонд объявил результаты конкурсов Президентской программы исследовательских проектов по поддержке лабораторий мирового уровня и исследований на базе существующей научной инфраструктуры. Также подведены итоги конкурса по продлению проектов. Среди победителей проекты ИАиЭ СО РАН.
Подробнее...
19.02.2021
День защитника Отечества — важный праздник, праздник настоящих мужчин, защищающих свои семьи, своих близких, свою Родину, хранящих покой и мир. Пусть спокойствие останется с нами на долгие годы, чтоб жизнь была размеренной, счастливой, а каждый день богат яркими эмоциями, приятными впечатлениями и воспоминаниями!
16.02.2021
Задачу производства «строительного материала», который поможет человеку в регенерации костей и будет постепенно усваиваться, растворяясь без следа, решают институты СО РАН в рамках проекта «Создание фундаментальных основ получения биосовместимых 3D-изделий медицинского назначения методом селективного лазерного спекания механохимически синтезированных изоморфных разновидностей апатита». По окончании работ должна появиться модель 3D-принтера, печатающего биоразлагаемые имплантаты. А «строительный материал» уже синтезировали механохимики.
Подробнее...
15.02.2021
С 11.02.2021 по 12.03.2021 департамент промышленности, инноваций и предпринимательства мэрии города Новосибирска проводит конкурсы, целью которых является стимулирование научной (научно-исследовательской), научно-технической и инновационной деятельности на территории города.
Подробнее...
12.02.2021
В период повышенной заболеваемости коронавирусной инфекцией важное значение приобретает быстрое и надёжное определение заболевания. Один из способов оперативной диагностики состояния организма разработан учёными Института автоматики и электрометрии (ИАиЭ) СО РАН совместно с компанией «Сайнтификкоин». С помощью созданного ими газоанализатора Healthmonitor можно с точностью до 85 % определить наличие в организме коронавирусной инфекции. В начале февраля в Новосибирске проходило бесплатное тестирование всех желающих в рамках исследования этой экспериментальной методики.
Подробнее...
11.02.2021
11 февраля 2021 г. в Институте автоматики и электрометрии организована виртуальная экскурсия для всех желающих. В ходе экскурсии зрители познакомятся с лабораториями Института и учёными, проводящими научные исследования. Ссылка на экскурсию https://youtu.be/eJyJXuAhpaE.
08.02.2021
Ежегодно 8 февраля российское научное сообщество отмечает свой профессиональный праздник — День российской науки. По традиции к этой дате в институтах и вузах, находящихся под научно-методическим руководством Сибирского отделения РАН, приурочены научно-популярные мероприятия: дни открытых дверей, экскурсии, лекции и так далее. Пандемия вносит коррективы и определенные ограничения, но, безусловно, в этом году праздничные события также состоятся.
Подробнее...
|
