Второй IT-семинар от компании Huawei в ИАиЭ СО РАН

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

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

Стартовала регистрация на трек «Наука» конкурса управленцев «Лидеры России»

31 марта 2021 года началась регистрация на четвёртый конкурс «Лидеры России» – флагманский проект президентской платформы «Россия – страна возможностей»: среди специальных треков – трек «Наука», инициированный Координационным советом по делам молодежи в научной и образовательной сферах.

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

Плаксина Роза Николаевна

29.12.1937 – 05.04.2021

5 апреля 2021 года после тяжёлой болезни ушла из жизни старейший сотрудник Института (1961–2014), главный специалист по охране труда, ветеран СО РАН

Плаксина Роза Николаевна

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

Прощание состоится 8 апреля с 10:00 до 11:00
в похоронном доме «ИМИ» по адресу ул. Арбузова, 2а.
Отправление автобуса в 10:00 от Института автоматики.

Workshop "Control Software: Models, Methods, and Languages"

Лаборатория киберфизических систем Института проводит международный семинар "Control Software: Methods, Models, and Languages" по формальным и формализованным методам разработки и анализа систем автоматического управления. Это сателлитный семинар при X международной конференции Model and Data Engineering, проходящей в этом году в Таллине в конце июня (вероятнее всего, дистанционно).

Принятые на семинар статьи будут опубликованы в виде трудов в журнале "Communications in Computer and Information Science" (Scopus Q3).

Дедлайн для тезисов – 5 апреля, для полноформатных статей – 12 апреля 2021.

Сайт семинара: https://sites.google.com/view/csmml2021/

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

29 марта 2021 г. (понедельник), 10-00 (6-00 МСК)

Тема:
Предметно-ориентированное решение для разработки device managment подсистемы семейства телекоммуникационных систем

Докладчик:
д.т.н., проф. Кознов Дмитрий Владимирович (СПбГУ)

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

Видео -- https://www.youtube.com/watch?v=esnvZo-DnRM

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

Семинары по ИТ-технологиям от компании 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

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

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

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

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

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

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

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

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

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