Пропустить команды ленты
Пропустить до основного контента

Анонсы семинаров



Четверг, 19 сентября 2019 г. 16:00
303 к. нового здания ИММ УрО РАН

"Варианты конструктивизма в математике"

Уважаемые коллеги!
19 сентября на семинаре сектора компьютерной визуализации
Михаил Бахтерев выступит с сообщением
"Варианты конструктивизма в математике"

Аннотация:
 Предлагается краткий обзор различных подходов к конструктивной математике и их влияния на неокрепшие умы программистов.

Семинар состоится в 303 комнате нового здания ИММ УрО РАН по С. Ковалевской, 16.
Начало в 16:00.

Ждём всех!
Четверг, 12 сентября 2019 г. 16:00
303 к. нового здания ИММ УрО РАН

"Проект нового конструктора программ научной визуализации"

Уважаемые коллеги!
12 сентября на семинаре сектора компьютерной визуализации
Павел Васёв выступит с докладом "Проект нового конструктора программ научной визуализации".

Описание.
Сформулирована типовая модель работы программы визуализации, которая состоит из набора визуальных объектов и различных цепочек преобразований, наполняющих эти визуальные объекты данными. Для описания программ по этой модели создается специальный язык программирования. Разрабатывается система-интерпретатор этого языка, которая по входному файлу описания генерирует программу визуализации для заданной целевой платформы. Платформы поддерживаются viewlang (qml) и nodejs, а также в простом режиме ruby. Ожидается для webgl 2.0 шейдеров, а также для qt 3D. 

Ожидаемые возможности:

  • по исходному файлу порождать коды визуализации для разных платформ (браузер, десктоп, сервер) на выбор пользователя.
  • взаимодействие кодов преобразований, исполняющихся одновременно на разных платформах, и с внешними компонентами по сети.
  • как частный случай запуск консольных программ в качестве тела преобразования, и передача результатов другим преобразованиям.
  • асинхронные вычисления, которые сейчас реализованы за счет qml, и запланировано подключение reactivex.io (для node).
В работе используются идеи М.О. Бахтерева, С.С. Кумкова, А.И. Зенкова и других коллег.


Вложения: image1.png image1.png ; image2.png image2.png ; image3.png image3.png
Четверг, 5 сентября 2019 г. 16:00
303 к. нового здания ИММ УрО РАН

МАШИНА ДУБИНСА: ТРЕХМЕРНОЕ МНОЖЕСТВО ДОСТИЖИМОСТИ

​В.С. Пацко ,  А.А. Федотов
Исследуется трёхмерное множество достижимости в момент для управляемого объекта "машина Дубинса". Управлением является угловая скорость поворота вектора линейной скорости. Наряду со случаем, когда по постановке задачи поворот возможен в обе стороны, рассматриваются случаи одностороннего поворота. Дано описание сечений трёхмерного множества достижимости по угловой координате. Исследованы закономерности развития множества достижимости. Приводятся результаты моделирования.

Четверг, 11 июля 2019 г. 16:00
303 к. нового здания ИММ УрО РАН

КАМ или теория категорий для системных программистов

М. Бахтерев выступит с новым рассказом о своём видении современной языковой картины.

КАМ (Категорная Абстрактная Машина) – это процессор (как CPU), архитектура которого напрямую выводится из семантики λ-исчисления. Математической абстракцией этого процессора является моноид Чёрча, который легко обобщается на понятие декартово замкнутой категории. Таким образом, рассуждение о построении КАМ является прямым свидетельством связи всего нашего программирования с некоторыми фундаментальными математическими конструкциями. В докладе предлагается повторить классическое рассуждение о построении КАМ.

А также коллеги – посетители ИННОПРОМа поделятся своими впечатлениями. Ждём всех! В.Л. Авербух.

Понедельник, 8 июля 2019 г. 15:00
Актовый зал ИММ УрО РАН

М.О.Бахтерев Человеческий взгляд на Haskell

8 июля 2019 г. в 15:00 проводится очередное заседание семинара. Место проведения - Актовый зал ИММ УрО РАН. Подробности на сайте.
Приглашаются все желающие.
Четверг, 4 июля 2019 г. 16:00
303 к. нового здания ИММ УрО РАН

Павел Васёв о конференции по виртуальной и расширенной реальности

Уважаемые коллеги!
4 июля на семинаре сектора компьютерной визуализации Павел Васёв расскажет о конференции по виртуальной и расширенной реальности, в которой он принял участие.

"6th International Conference on Augmented Reality, Virtual Reality and Computer Graphics (SALENTO AVR 2019)"

Также Т.И. Серёжникова расскажет о результатах последних исследований.

Семинар состоится в 303 комнате нового здания ИММ УрО РАН по ул. С. Ковалевской, 16. Начало в 16:00.

Ждём всех!
В.Л. Авербух


Понедельник, 1 июля 2019 г. 15:00
Актовый зал ИММ УрО РАН

О.Евсегнеев Моделирование поведения группы роботов с применением эвристических методов оптимизации: нейронных сетей и генетических алгоритмов.

1 июля 2019 г. в 15:00 проводится очередное заседание семинара. Место проведения - Актовый зал ИММ УрО РАН. Подробности на сайте.
Приглашаются все желающие.
Среда, 26 июня 2019 г. 15:00
Актовый зал ИММ УрО РАН
Cеминар отдела динамических систем

Дифференциальные игры и уравнения Гамильтона — Якоби для систем нейтрального типа

Докладчик: Плаксин Антон Романович

Рассматривается позиционная дифференциальная игра двух лиц, в которой движение динамической системы описывается уравнением нейтрального типа. Этой игре ставится в соответствие задача Коши для уравнения Гамильтона Якоби с коинвариантными производными. Дается определение минимаксного решения этой задачи. Доказывается, что минимаксное решение существует, единственно и совпадает с ценой исходной дифференциальной игры. Приводится эквивалентное определение минимаксного решения в терминах подходящих производных по направлениям.

Понедельник, 24 июня 2019 г. 15:00
Актовый зал ИММ УрО РАН

А.Спиридонов Формирование бесконфликтного слияния потоков судов при заданном расписании их прибытия

24 июня 2019 г. в 15:00 проводится очередное заседание семинара. Место проведения - Актовый зал ИММ УрО РАН. Подробности на сайте.
Приглашаются все желающие.
Понедельник, 17 июня 2019 г. 15:00
Актовый зал ИММ УрО РАН

Д.Усталов Постдок в Германии: опыт и советы

17 июня 2019 г. в 15:00 проводится очередное заседание семинара. Место проведения - Актовый зал ИММ УрО РАН. Подробности на сайте.
Приглашаются все желающие.

 
Фильтры анонсов семинаров

Выводить на страницу:

Размещено

С
по

Искать


Семинар: