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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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