12.11.2021
Семинар «Инжиниринг современных информационных систем»
17 ноября 2021 г. (среда), 15:00 (11:00 МСК)
Тема:
Framework for closed-loop formal verification of distributed automation software with plant model generator from event logs
Докладчик:
Midhun Xavier (Luleå University of Technology, Sweden)
Аннотация: This seminar introduces a concept of an automatic generation of a formal model of plant from the event logs. The formal model implementation and its verification are done with the help of a comprehensive toolchain that can combine design, simulation, formal verification, and distributed deployment of automation software. The talk discusses conceptual, methodological, and instrumental components of the toolchain.
ссылка на вебинар -- https://meet.google.com/iqb-gbix-azj
Страница семинара
09.11.2021
29 октября 2021 года на территории Новосибирского государственного технического университета прошло заседание Экспертного совета при Комитете Государственной Думы по промышленности и торговле по развитию биотехнологий, фармацевтической и медицинской промышленности. Институт автоматики и электрометрии СО РАН представил на нём свои разработки.
Подробнее...
09.11.2021
Семинар «Инжиниринг современных информационных систем»
11 ноября 2021 г. (четверг), 14:00 (10:00 МСК)
Тема:
Автоматно-функциональная парадигма программирования реактивных систем
Докладчик:
Максим Нейзов
Аннотация: Доклад посвящен вопросу объединения функционального и автоматного подходов к программированию реактивных систем широкого класса. Обсуждается вопрос применимости подхода и его достоинства, позволяющие упростить разработку и формальную верификацию, повысить понимаемость программ, минимизировать число ошибок. Практическое использование концепции автоматно-функционального подхода демонстрируется на поясняющих примерах.
ссылка на вебинар -- https://meet.google.com/iqb-gbix-azj
Страница семинара
08.11.2021
Сотрудникам лаборатории волоконной оптики Института автоматики и электрометрии Сибирского отделения РАН (ИАиЭ СО РАН) удалось доказать, что, несмотря на слабость рэлеевского рассеяния, при большой длине и большой мощности накачки оптического световода пассивное волокно само становится лазером, усиливая свет на комбинационных частотах. Так был создан новый тип лазеров – случайные волоконные лазеры.
Подробнее...
05.11.2021
22 октября ушёл из жизни крупный физик, создатель технологии мощных компактных волоконных лазеров, основатель крупнейшей в мире компании по их производству кандидат физико-математических наук Валентин Павлович Гапонцев.
Подробнее...
29.10.2021
25 октября состоялась юбилейная конференция «Сквозь тернии к звёздам» (г. Троицк), посвящённая 60-летию В.В. Бражкина, на которой выступали сотрудники ИФВД и коллеги из других академических институтов. С докладом «Неожиданные возможности спектроскопии неупругого рассеяния света для молекулярных доменов» выступил член-корреспондент РАН Николай Суровцев из ИАиЭ СО РАН.
Подробнее...
26.10.2021
Семинар «Инжиниринг современных информационных систем»
28 октября 2021 г. (четверг), 14:00 (10:00 МСК)
Тема:
Ко-моделирование аппаратной и программной части реальной киберфизической системы: ArduPilot на основе Arduino
Докладчик:
Сергей Старолетов (лаб. киберфизических систем ИАиЭ СО РАН)
Аннотация: Изучение передового опыта архитектурной организации программных систем для реальных киберфизических систем можно проводить на решениях с открытым исходным кодом, которые разрабатываются большими сообществами энтузиастов. Такие решения неоднократно тестировались на реальных устройствах в различных природных условиях. Построение моделей с использованием программного кода, представление их в графической форме позволяет нам анализировать устойчивые архитектурные программно-аппаратные решения и свойства таких систем. В докладе рассматривается система управления квадрокоптером на базе платы ArduPilot Mega, обсуждается планировщик задачи и их взаимосвязь. Также обсуждается распределенное решение для системы управления на базе SPI и CAN-шины.
ссылка на вебинар -- https://meet.google.com/iqb-gbix-azj
Страница семинара
13.10.2021
Семинар «Инжиниринг современных информационных систем»
15 октября 2021 г. (пятница), 14:00 (10:00 МСК)
Тема:
Сдвиговый автомат как средство задания структурных свойств автоматной модели поведения
Докладчик:
Максим Нейзов (Проектный институт АвтоПромТермоОбработка, Курган)
Аннотация: Доклад посвящен подходу к дедуктивной верификации управляющих программ, который заключается в построении автоматной модели программы и задании на её основе системы аксиом. При построении аксиоматики одной из ключевых задач является задача формализации структурных свойств автоматной модели. В качестве решения в докладе будет представлена модификация автоматной модели, которая получила название "сдвиговый автомат". Свойства модели демонстрируются и обсуждаются на примерах.
ссылка на вебинар -- https://meet.google.com/iqb-gbix-azj
Страница семинара
12.10.2021
17.01.1940–11.10.2021
11 октября 2021 года ушёл из жизни старейший сотрудник Института, заслуженный ветеран СО РАН, руководитель тематической группы автоматизации измерительных технологий, главный специалист-электроник
Сковородин Иван Николаевич
Коллектив Института выражает глубокое cоболезнование родным и близким покойного.
Прощание состоится 14 октября в 14.00 в похоронном доме ИМИ по адресу ул. Арбузова, 2а.
12.10.2021
Ученые из МФТИ изучили новые свойства одного из самых популярных в мире материалов для производства магнитов. Оказалось, что этот материал можно применять в электронике нового поколения — терагерцовых приборах. Работа опубликована в журнале группы Nature — NPG Asia Materials. В работе принимали участие их коллеги из Института автоматики и электрометрии СО РАН.
Подробнее...
|
