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

29 июня 2018 г. (пятница), 11:00, Учебный центр ИАиЭ, зал 1

Тема доклада:
Онтология процессов для комплекса поддержки верификации параллельных систем
(обсуждение понятийного аппарата для систем автоматической верификации алгоритмов управления)

Докладчик: канд. физ.-мат.. наук Гаранина Наталья Олеговна (Институт систем информатики им. А.П. Ершова)

Ссылка на видео-запись – https://www.youtube.com/watch?v=dF4Q3BT_eeA

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

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

19 июня 2018 г. (вторник), 9:00, Учебный центр ИАиЭ, зал 1

Тема доклада:
Технологии SimInTech. Моделирование, разработка и создание САУ (обзорная лекция)

Докладчик: Илья Колотыркин (ООО "3В Сервис", г. Томск)

План встречи – Plan.pdf

Презентация – SimInTech.pdf

Ссылка на видео-запись – https://www.youtube.com/watch?v=gUw1StYv32k

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

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

15 июня 2018 г. (пятница), 11:00, Учебный центр ИАиЭ, зал 1

Тема доклада:
Промышленные системы управления. Современный этап развития

Докладчик: канд. техн. наук Будников Константин Иванович
(Институт автоматики и электрометрии СО РАН)

Ссылка на видео-запись – https://www.youtube.com/watch?v=8Wyw7VZ84ss

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

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

08 июня 2018 г. (пятница), 11:00, Учебный центр ИАиЭ, зал 1

Тема доклада:
Проблема запутывания в квантовых вычислениях

Докладчик: д-р физ.-мат. наук Шапиро Давид Абрамович 
(Институт автоматики и электрометрии СО РАН)

Презентация – quantum.pdf

Ссылка на видео-запись – https://www.youtube.com/watch?v=7SYv3pNg1PU

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

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

23 апреля 2018 г. (понедельник), 15:00, Учебный центр ИАиЭ, зал 1

Тема доклада:
О квантовых вычислениях

Докладчик: д-р физ.-мат. наук Ильичев Леонид Вениаминович
(Институт автоматики и электрометрии СО РАН)

На примере алгоритма Бернштейна-Вазирани излагается основная идея квантовых вычислений – т. н. "квантовый параллелизм", позволяющий ускорять решение некоторых определённых вычислительных задач в сравнении с классическими алгоритмами.

Презентация – About Quantum Calculation presentation

Ссылка на видео-запись – https://www.youtube.com/watch?v=-X-nkWOQd4c

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

2 июня 2017 г. (пятница), 11:00, Учебный центр ИАиЭ, зал 3

Тема доклада:
Онтология шаблонов спецификаций

Докладчик: Гаранина Наталья Олеговна (Институт систем информатики имени А. П. Ершова)