#семинары
Семинар Павла Осиненко — доцента Центра системного проектирования Сколтеха
Когда: Понедельник, 9 июня 2025 г 16:00,
Где: Большой Каретный переулок, 19/1, аудитория 307
Тема: "Обучение с подкреплением с гарантиями"
Лектор: Павел Осиненко — доцент Центра цифровой инженерии Сколтеха, эксперт в области современного управления, автоматизации и обучения с подкреплением.
Аннотация: Приглашаем Вас на семинар, посвященный хабилитационной диссертации Павла Осиненко под названием "Обучение с подкреплением с гарантиями". Семинар посвящен наиболее авангардному из разработанных Павлом подходов под названием CALF («Critic as Lyapunov Function»), который объединяет передовые методы управления с обучением с подкреплением для обеспечения формальных гарантий. В обучении с подкреплением ключевым понятием является так называемая функция ценности, которая характеризует, насколько хорошо агент выполняет поставленную задачу. Обычно целью агента, обучающегося с применением подкрепления, является оценка указанной функции ценности, что, как известно, является трудной задачей. CALF использует свойства функции ценности агента, чтобы продемонстрировать поведение, аналогичное обращённой функции Ляпунова. Последняя подразумевает централобращённое поведение в смысле теории Ляпунова. Проблема заключается в том, что функция ценности, обучаемая нейронной сетью, подвержена несовершенствам, которые нарушают упомянутую функцию. Для решения этой проблемы CALF предлагает специальный механизм запоминания значений обученной функции ценности, при этом задействуя запасную политику в случаях, когда указанная обращенная функция Ляпунова нарушена.
Насколько известно автору, CALF - первый подход, который не использует модель управляемой системы (так называемая «среда»), является подходом реального времени, т.е. способным работать с гарантиями сразу в начале обучения, и устанавливает гарантии строго, что было показано в ряде математических теорем. Обсуждаются также расширения CALF, в том числе мультиагентные, не использующие запасные политики.
Семинар Павла Осиненко — доцента Центра системного проектирования Сколтеха
Когда: Понедельник, 9 июня 2025 г 16:00,
Где: Большой Каретный переулок, 19/1, аудитория 307
Тема: "Обучение с подкреплением с гарантиями"
Лектор: Павел Осиненко — доцент Центра цифровой инженерии Сколтеха, эксперт в области современного управления, автоматизации и обучения с подкреплением.
Аннотация: Приглашаем Вас на семинар, посвященный хабилитационной диссертации Павла Осиненко под названием "Обучение с подкреплением с гарантиями". Семинар посвящен наиболее авангардному из разработанных Павлом подходов под названием CALF («Critic as Lyapunov Function»), который объединяет передовые методы управления с обучением с подкреплением для обеспечения формальных гарантий. В обучении с подкреплением ключевым понятием является так называемая функция ценности, которая характеризует, насколько хорошо агент выполняет поставленную задачу. Обычно целью агента, обучающегося с применением подкрепления, является оценка указанной функции ценности, что, как известно, является трудной задачей. CALF использует свойства функции ценности агента, чтобы продемонстрировать поведение, аналогичное обращённой функции Ляпунова. Последняя подразумевает централобращённое поведение в смысле теории Ляпунова. Проблема заключается в том, что функция ценности, обучаемая нейронной сетью, подвержена несовершенствам, которые нарушают упомянутую функцию. Для решения этой проблемы CALF предлагает специальный механизм запоминания значений обученной функции ценности, при этом задействуя запасную политику в случаях, когда указанная обращенная функция Ляпунова нарушена.
Насколько известно автору, CALF - первый подход, который не использует модель управляемой системы (так называемая «среда»), является подходом реального времени, т.е. способным работать с гарантиями сразу в начале обучения, и устанавливает гарантии строго, что было показано в ряде математических теорем. Обсуждаются также расширения CALF, в том числе мультиагентные, не использующие запасные политики.
👍9🤓2
#семинары
СРЕДА (11 июня 2025) - Семинары лаборатории № 5 (на Большом Каретном)
◾ 15:00, аудитория 307 ИППИ
Тема: Неупругие эффекты в модели Изинга с магнитным полем
Докладчик: Менской Даниил (Лаборатория №5 ИППИ РАН, МФТИ)
Аннотация: на докладе мы рассмотрим разные сюжеты, связанные с неупругими эффектами в модели Изинга. Во-первых, будет рассказано про процесс, когда при рассеянии двух наилегчайших частиц в теории поля Изинга с магнитным полем образуется вторая по массе частица помимо самой легкой (так называемый процесс 11->12). Далее мы рассмотрим теории, ренормгрупповой поток которых проходит близко к точке Янга-Ли. Такие теории можно эффективно описывать,как возбуждения массивной теории Янга-Ли иррелевантными операторами. Первый из иррелевантных операторов является TTbar оператор. Мы продемонстрируем свойства TTbar деформированных теорий, а также вычислим по теории возмущений корреляционные функции в конформных теориях поля, возмущенных такими полями. Далее мы рассмотрим возмущение одним из потомков единственного нетривиального примарного оператора φ конформной теории поля Янга-Ли. Будет показано, что в отличие от TTbar такое возмущение приводит к нарушению интегрируемости теории. Будет вычислено (с точностью до нормировочного множителя) сечение неупругого рассеяния соответствующего процесса с рождением частиц 2 → 3. Также мы определим асимптотики сечения рассеяния при больших энергиях, а также над порогом рождения частиц.
-----------------------------------------------------------------------------------------------
◾16:00, аудитория 307 ИППИ
Тема: Зеркальная симметрия многообразий Калаби-Яу и N=2 суперконформные двумерные теории поля
Докладчик: Еремин Борис (Лаборатория №5 ИППИ РАН, МФТИ)
Аннотация: Работа посвящена исследованию зеркальной симметрии многообразий Калаби-Яу, возникающих при компактификации в теории суперструн, а также моделям двумерной N=2 суперконформной теории поля. Изучены конструкции зеркальной симметрии Батырева и Берглунда-Хубша для обратимых особенностей. Явно построены потенциалы, задающие зеркальное многообразие, показана их эквивалентность.
Исследована даульность Калаби-Яу/калибровочные линейные сигма модели (КЛСМ). Проверена зеркальная версия гипотезы Джокерса о связи статистической суммы КЛСМ и специальной геометрии на пространстве модулей Калаби-Яу для широкого класса многообразий, не относящихся к типу Ферма полиномов.
Получен спектр взаимно-локальных полей для моделей Гепнера с центральным зарядом равным 9 и с произвольным модулярным инвариантом. Описан алгоритм построения киральных полей, изучена зеркальная симметрия на уровне конформных теорий поля.
СРЕДА (11 июня 2025) - Семинары лаборатории № 5 (на Большом Каретном)
◾ 15:00, аудитория 307 ИППИ
Тема: Неупругие эффекты в модели Изинга с магнитным полем
Докладчик: Менской Даниил (Лаборатория №5 ИППИ РАН, МФТИ)
Аннотация: на докладе мы рассмотрим разные сюжеты, связанные с неупругими эффектами в модели Изинга. Во-первых, будет рассказано про процесс, когда при рассеянии двух наилегчайших частиц в теории поля Изинга с магнитным полем образуется вторая по массе частица помимо самой легкой (так называемый процесс 11->12). Далее мы рассмотрим теории, ренормгрупповой поток которых проходит близко к точке Янга-Ли. Такие теории можно эффективно описывать,как возбуждения массивной теории Янга-Ли иррелевантными операторами. Первый из иррелевантных операторов является TTbar оператор. Мы продемонстрируем свойства TTbar деформированных теорий, а также вычислим по теории возмущений корреляционные функции в конформных теориях поля, возмущенных такими полями. Далее мы рассмотрим возмущение одним из потомков единственного нетривиального примарного оператора φ конформной теории поля Янга-Ли. Будет показано, что в отличие от TTbar такое возмущение приводит к нарушению интегрируемости теории. Будет вычислено (с точностью до нормировочного множителя) сечение неупругого рассеяния соответствующего процесса с рождением частиц 2 → 3. Также мы определим асимптотики сечения рассеяния при больших энергиях, а также над порогом рождения частиц.
-----------------------------------------------------------------------------------------------
◾16:00, аудитория 307 ИППИ
Тема: Зеркальная симметрия многообразий Калаби-Яу и N=2 суперконформные двумерные теории поля
Докладчик: Еремин Борис (Лаборатория №5 ИППИ РАН, МФТИ)
Аннотация: Работа посвящена исследованию зеркальной симметрии многообразий Калаби-Яу, возникающих при компактификации в теории суперструн, а также моделям двумерной N=2 суперконформной теории поля. Изучены конструкции зеркальной симметрии Батырева и Берглунда-Хубша для обратимых особенностей. Явно построены потенциалы, задающие зеркальное многообразие, показана их эквивалентность.
Исследована даульность Калаби-Яу/калибровочные линейные сигма модели (КЛСМ). Проверена зеркальная версия гипотезы Джокерса о связи статистической суммы КЛСМ и специальной геометрии на пространстве модулей Калаби-Яу для широкого класса многообразий, не относящихся к типу Ферма полиномов.
Получен спектр взаимно-локальных полей для моделей Гепнера с центральным зарядом равным 9 и с произвольным модулярным инвариантом. Описан алгоритм построения киральных полей, изучена зеркальная симметрия на уровне конформных теорий поля.
❤5🤓4🔥1
#семинары
Семинар Сектора 11.1
Когда: в четверг, 19 июня, в 17:00
Где: в аудитории 615 ИППИ РАН (ссылка для подключения онлайн (https://telemost.yandex.ru/j/63389006341822))
Тема: разбор работы "FC⁴: Fully Convolutional Color Constancy with Confidence-weighted Pooling", Hu Y.
Докладчик: Краева Анна Юрьевна, аспирант кафедры экспериментальной физики и космофизики, НИЯУ МИФИ
Аннотация: FC⁴ — это полностью сверточная сеть для вычислительного постоянства цвета, которая решает проблему неоднозначности патчей с помощью доверительно-взвешенного пулинга. В отличие от традиционных методов, обрабатывающих все патчи одинаково, FC⁴ учится взвешивать патчи по их семантической полезности (например, лица более полезные, чем однородные поверхности), подавляя шум и сохраняя информативные области. Новый слой пулинга объединяет локальные оценки в робастное глобальное предсказание освещенности. FC⁴ достигает state-of-the-art точности на стандартных бенчмарках, обрабатывая изображения произвольного размера за один проход. Этот подход улучшает постоянство цвета и может принести пользу другим задачам зрения на основе патчей.
Семинар Сектора 11.1
Когда: в четверг, 19 июня, в 17:00
Где: в аудитории 615 ИППИ РАН (ссылка для подключения онлайн (https://telemost.yandex.ru/j/63389006341822))
Тема: разбор работы "FC⁴: Fully Convolutional Color Constancy with Confidence-weighted Pooling", Hu Y.
Докладчик: Краева Анна Юрьевна, аспирант кафедры экспериментальной физики и космофизики, НИЯУ МИФИ
Аннотация: FC⁴ — это полностью сверточная сеть для вычислительного постоянства цвета, которая решает проблему неоднозначности патчей с помощью доверительно-взвешенного пулинга. В отличие от традиционных методов, обрабатывающих все патчи одинаково, FC⁴ учится взвешивать патчи по их семантической полезности (например, лица более полезные, чем однородные поверхности), подавляя шум и сохраняя информативные области. Новый слой пулинга объединяет локальные оценки в робастное глобальное предсказание освещенности. FC⁴ достигает state-of-the-art точности на стандартных бенчмарках, обрабатывая изображения произвольного размера за один проход. Этот подход улучшает постоянство цвета и может принести пользу другим задачам зрения на основе патчей.
telemost.yandex.ru
Яндекс Телемост
Видеовстречи по ссылке. Собирайте в Телемосте рабочие конференции или встречайтесь с друзьями. Встречи не ограничены по времени. Можно скачать Телемост для Windows или macOS.
❤4🤓1
Исполняющий обязанности директора Института проблем передачи информации им. А.А. Харкевича РАН (ИППИ РАН), член-корреспондент РАН Максим Валериевич Федоров дал интервью ТАСС.
С полной версией интервью можно ознакомиться по ссылке: https://tass.ru/interviews/24231679
С полной версией интервью можно ознакомиться по ссылке: https://tass.ru/interviews/24231679
TACC
Руководитель ИППИ РАН Федоров: если не тренировать естественный интеллект, он атрофируется - Интервью ТАСС
Институт проблем передачи информации (ИППИ) РАН стоял у истоков создания цифровой вселенной человечества. О великой истории института и его сегодняшнем пути, о том, что такое хемоинформатика, нужен...
❤7😢5👍2🤓2🔥1
Старт приемной кампании в аспирантуру ИППИ РАН!
Институт проблем передачи информации Российской академии наук сообщает о начале приёма документов для поступления в аспирантуру.
Подробная информация о порядке подачи документов, требованиях к кандидатам и сроках проведения приёмной кампании размещена в соответствующем разделе на официальном сайте Института проблем передачи информации РАН.
Контакты:
Тел.: (495) 699-54-91
e-mail: [email protected]
Заведующая аспирантурой:
к.ф.-м.н. Петрова Елена Николаевна
Главный специалист:
Сидорова Елена Владимировна
Институт проблем передачи информации Российской академии наук сообщает о начале приёма документов для поступления в аспирантуру.
Подробная информация о порядке подачи документов, требованиях к кандидатам и сроках проведения приёмной кампании размещена в соответствующем разделе на официальном сайте Института проблем передачи информации РАН.
Контакты:
Тел.: (495) 699-54-91
e-mail: [email protected]
Заведующая аспирантурой:
к.ф.-м.н. Петрова Елена Николаевна
Главный специалист:
Сидорова Елена Владимировна
👍5🤓2
#семинары
Cеминар Сектора 11.1 ИППИ РАН
Когда: в четверг, 3 июля, в 17:00
Где: в аудитории 615 (ссылка для подключения онлайн https://telemost.yandex.ru/j/63389006341822)
Докладчик: Алексей Халин, м.н.с. Сектора 11.1
Тема: "Разбор решений NTIRE Challenge on Night Photography Rendering 2025"
Аннотация:
В рамках воркшопа NTIRE конференции CVPR 2025 при участии сотрудников AIRI и Сектора 11.1 было организовано соревнование Night Photography Rendering Challenge. В нём приняли участие команды из России, Китая, Саудовской Аравии, Турции и других стран. Задачей участников было предложить алгоритм обработки RAW-изображения, полученного на камеру смартфона, результат которого наиболее близок к JPEG-изображению, сделанному на DSLR-камеру. На семинаре будут разобраны решения команд-финалистов, проанализированы тренды и закономерности в подходах, а также преимущества и недостатки методов.
Cеминар Сектора 11.1 ИППИ РАН
Когда: в четверг, 3 июля, в 17:00
Где: в аудитории 615 (ссылка для подключения онлайн https://telemost.yandex.ru/j/63389006341822)
Докладчик: Алексей Халин, м.н.с. Сектора 11.1
Тема: "Разбор решений NTIRE Challenge on Night Photography Rendering 2025"
Аннотация:
В рамках воркшопа NTIRE конференции CVPR 2025 при участии сотрудников AIRI и Сектора 11.1 было организовано соревнование Night Photography Rendering Challenge. В нём приняли участие команды из России, Китая, Саудовской Аравии, Турции и других стран. Задачей участников было предложить алгоритм обработки RAW-изображения, полученного на камеру смартфона, результат которого наиболее близок к JPEG-изображению, сделанному на DSLR-камеру. На семинаре будут разобраны решения команд-финалистов, проанализированы тренды и закономерности в подходах, а также преимущества и недостатки методов.
telemost.360.yandex.ru
Яндекс Телемост
Видеовстречи по ссылке. Собирайте в Телемосте рабочие конференции или встречайтесь с друзьями. Встречи не ограничены по времени. Можно скачать Телемост для Windows или macOS.
🤓2
#семинары
Семинар Сектора 11.1 ИППИ РАН
Когда: В четверг, 10 июля, в 17:00
Где: В аудитории 615 состоится (ссылка для подключения онлайн (https://telemost.yandex.ru/j/63389006341822))
Тема: "Интерпретируемый искусственный интеллект в задачах исследования функции головного мозга"
Докладчик: Осадчий Алексей Евгеньевич, д.ф.‑м.н., директор Центра биоэлектрических интерфейсов НИУ ВШЭ, руководитель группы «Нейроинтерфейсы» Института AIRI
Аннотация:
Существующие глубокие нейронные сети для декодирования мозговой активности ставят производительность выше интерпретируемости, не устанавливая связи между правилами принятия решений и корковыми источниками, а также динамическими свойствами их электрической активности.
С другой стороны, традиционная нейровизуализация определяет нейронные субстраты, лежащие в основе поведенчески значимых состояний мозга, но опирается на упрощённые модели, неспособные уловить всю сложность вариаций мозговой активности.
Наш подход объединяет интерпретируемые нейронные сети с динамикой корковой активности на уровне источников, преодолевая эти ограничения. Это позволяет выявлять физиологически значимые паттерны, различающие сложные состояния мозга, создавать компактные, но мощные декодеры и открывать потенциально новое нейрофизиологическое знание.
Семинар Сектора 11.1 ИППИ РАН
Когда: В четверг, 10 июля, в 17:00
Где: В аудитории 615 состоится (ссылка для подключения онлайн (https://telemost.yandex.ru/j/63389006341822))
Тема: "Интерпретируемый искусственный интеллект в задачах исследования функции головного мозга"
Докладчик: Осадчий Алексей Евгеньевич, д.ф.‑м.н., директор Центра биоэлектрических интерфейсов НИУ ВШЭ, руководитель группы «Нейроинтерфейсы» Института AIRI
Аннотация:
Существующие глубокие нейронные сети для декодирования мозговой активности ставят производительность выше интерпретируемости, не устанавливая связи между правилами принятия решений и корковыми источниками, а также динамическими свойствами их электрической активности.
С другой стороны, традиционная нейровизуализация определяет нейронные субстраты, лежащие в основе поведенчески значимых состояний мозга, но опирается на упрощённые модели, неспособные уловить всю сложность вариаций мозговой активности.
Наш подход объединяет интерпретируемые нейронные сети с динамикой корковой активности на уровне источников, преодолевая эти ограничения. Это позволяет выявлять физиологически значимые паттерны, различающие сложные состояния мозга, создавать компактные, но мощные декодеры и открывать потенциально новое нейрофизиологическое знание.
telemost.360.yandex.ru
Яндекс Телемост
Видеовстречи по ссылке. Собирайте в Телемосте рабочие конференции или встречайтесь с друзьями. Встречи не ограничены по времени. Можно скачать Телемост для Windows или macOS.
🤓1
Media is too big
VIEW IN TELEGRAM
Подать документы в аспирантуру проще, чем кажется. Для этого совсем не обязательно приносить их лично.
С 2021 года сделать это можно на портале госуслуг – с помощью сервиса «Поступление в вуз онлайн»: www.gosuslugi.ru/vuzonline
Подать документы можно тремя способами:
✔️ подать электронное заявление (портал Госуслуг, сайт вуза или научной организации)
✔️ лично принести документы
✔️ направить документы почтой
📱 Единая служба поддержки сервиса "Поступление в вуз онлайн":
8(800) 100 20 17
📱 Консультации для иностранных граждан по вопросам поступления в вуз:
8(495) 122 22 68
📱 Горячая линия по вопросам приема:
8(800) 301 44 55
Приёмная кампания 2025 года уже стартовала!
Сделай шаг в будущее!
Поступай в аспирантуру онлайн.
С 2021 года сделать это можно на портале госуслуг – с помощью сервиса «Поступление в вуз онлайн»: www.gosuslugi.ru/vuzonline
Подать документы можно тремя способами:
✔️ подать электронное заявление (портал Госуслуг, сайт вуза или научной организации)
✔️ лично принести документы
✔️ направить документы почтой
📱 Единая служба поддержки сервиса "Поступление в вуз онлайн":
8(800) 100 20 17
📱 Консультации для иностранных граждан по вопросам поступления в вуз:
8(495) 122 22 68
📱 Горячая линия по вопросам приема:
8(800) 301 44 55
Приёмная кампания 2025 года уже стартовала!
Сделай шаг в будущее!
Поступай в аспирантуру онлайн.
🤓3❤1
Сотрудник ИППИ РАН Иван Ремизов решил задачу, над которой математики бились более полувека
Старший научный сотрудник Добрушинской лаборатории ИППИ РАН Иван Ремизов совместно с Олегом Галкиным (НИУ ВШЭ) решил одну из старейших задач современной математики – уточнил скорость сходимости черновских приближений для операторных полугрупп. Проблема оставалась открытой с 1968 года, когда американский математик Пол Чернов предложил метод описания динамики сложных систем, но не дал оценки, сколько шагов нужно для достижения точности.
Результаты исследования опубликованы в международном журнале Israel Journal of Mathematics (Q1) и представлены на Международной конференции «Теория функций и ее приложения», приуроченной к 120-летию со дня рождения академика РАН С.М. Никольского.
Открытие имеет теоретическое и прикладное значение: оно позволит строить более точные численные модели в квантовой физике, теплопередаче и теории управления.
Со статьей можно ознакомиться по ссылке: https://doi.org/10.1007/s11856-024-2678-x
Старший научный сотрудник Добрушинской лаборатории ИППИ РАН Иван Ремизов совместно с Олегом Галкиным (НИУ ВШЭ) решил одну из старейших задач современной математики – уточнил скорость сходимости черновских приближений для операторных полугрупп. Проблема оставалась открытой с 1968 года, когда американский математик Пол Чернов предложил метод описания динамики сложных систем, но не дал оценки, сколько шагов нужно для достижения точности.
Результаты исследования опубликованы в международном журнале Israel Journal of Mathematics (Q1) и представлены на Международной конференции «Теория функций и ее приложения», приуроченной к 120-летию со дня рождения академика РАН С.М. Никольского.
Открытие имеет теоретическое и прикладное значение: оно позволит строить более точные численные модели в квантовой физике, теплопередаче и теории управления.
Со статьей можно ознакомиться по ссылке: https://doi.org/10.1007/s11856-024-2678-x
SpringerLink
Upper and lower estimates for rate of convergence in the Chernoff product formula for semigroups of operators
Israel Journal of Mathematics - This paper studies the rates of convergence of Chernoff approximations to operator semigroups. We show that the convergence, in general, can be arbitrarily fast or...
🔥25👏6👍4❤2🤓2
#семинары
Семинар Сектора 11.1 ИППИ РАН
Когда: четверг, 17 июля, в 17:00
Где: в аудитории 615 (ссылка для подключения онлайн (https://telemost.yandex.ru/j/63389006341822))
Тема: "Обзор методологий проведения субъективных сравнений в краудсорсинге"
Докладчик: Москаленко Андрей Викторович, аспирант «Лаборатории Компьютерной Графики и Мультимедиа» ВМК МГУ, научный сотрудник AIRI
Аннотация: В докладе будут разобраны методы проведения субъективных сравнений с упором на неконтролируемое окружение асессора в краудсорсинге, будут рассказаны существующие подходы агрегации голосов и способы оптимизации необходимого числа участников в экспериментах.
Семинар Сектора 11.1 ИППИ РАН
Когда: четверг, 17 июля, в 17:00
Где: в аудитории 615 (ссылка для подключения онлайн (https://telemost.yandex.ru/j/63389006341822))
Тема: "Обзор методологий проведения субъективных сравнений в краудсорсинге"
Докладчик: Москаленко Андрей Викторович, аспирант «Лаборатории Компьютерной Графики и Мультимедиа» ВМК МГУ, научный сотрудник AIRI
Аннотация: В докладе будут разобраны методы проведения субъективных сравнений с упором на неконтролируемое окружение асессора в краудсорсинге, будут рассказаны существующие подходы агрегации голосов и способы оптимизации необходимого числа участников в экспериментах.
telemost.360.yandex.ru
Яндекс Телемост
Видеовстречи по ссылке. Собирайте в Телемосте рабочие конференции или встречайтесь с друзьями. Встречи не ограничены по времени. Можно скачать Телемост для Windows или macOS.
🔥4🤓2
#семинары
Семинар Сектора 11.1 ИППИ РАН
Когда: четверг, 24 июля, в 17:00 в 615 аудитории
Тема: "Акусто-оптическая колориметрия: наработки, первые результаты и математические основы перспектив внедрения"
Докладчики:
🔹 Ершов Егор, к.ф.-м.н., с.н.с ИППИ РАН,
🔹 Корчагин Сергей, м.н.с. ИППИ РАН,
🔹 Екатерина Зайченкова, м.н.с. ИППИ РАН
Аннотация:
Несмотря на уже почти 100-летнюю эру активного развития методов исследования восприятия цвета многие вопросы остаются без окончательного ответа, вот лишь некоторые из них: «Как человек воспринимает разницу между цветами?», «Как устроено пространство цветов?», «Можно ли создать универсальную модель восприятия цвета или даже цветных изображений целиком?».
Отчасти трудность ответа на эти вопросы кроется в недостатке накопленных феноменологических знаний о поведении зрительной системы. Для устранения последнего на базе Сектора репродукции и синтеза цвета создается новый акусто-оптический колориметр, который позволит исследовать пороги различения цвета в особенно ярких и насыщенных областях — там, где ранее это было невозможно.
В докладе будет рассказано о свойствах и устройстве нового колориметра, предложено обсуждение плана исследований и методики сбора данных о пороговом цветоразличении. В заключительной части доклада будет предложены математические наброски о перспективах использования функций цветового различия для обучения алгоритмов вычислительной фотографии.
После доклада интересующиеся слушатели приглашаются в лабораторию для ознакомления с новым колориметром.
Семинар Сектора 11.1 ИППИ РАН
Когда: четверг, 24 июля, в 17:00 в 615 аудитории
Тема: "Акусто-оптическая колориметрия: наработки, первые результаты и математические основы перспектив внедрения"
Докладчики:
🔹 Ершов Егор, к.ф.-м.н., с.н.с ИППИ РАН,
🔹 Корчагин Сергей, м.н.с. ИППИ РАН,
🔹 Екатерина Зайченкова, м.н.с. ИППИ РАН
Аннотация:
Несмотря на уже почти 100-летнюю эру активного развития методов исследования восприятия цвета многие вопросы остаются без окончательного ответа, вот лишь некоторые из них: «Как человек воспринимает разницу между цветами?», «Как устроено пространство цветов?», «Можно ли создать универсальную модель восприятия цвета или даже цветных изображений целиком?».
Отчасти трудность ответа на эти вопросы кроется в недостатке накопленных феноменологических знаний о поведении зрительной системы. Для устранения последнего на базе Сектора репродукции и синтеза цвета создается новый акусто-оптический колориметр, который позволит исследовать пороги различения цвета в особенно ярких и насыщенных областях — там, где ранее это было невозможно.
В докладе будет рассказано о свойствах и устройстве нового колориметра, предложено обсуждение плана исследований и методики сбора данных о пороговом цветоразличении. В заключительной части доклада будет предложены математические наброски о перспективах использования функций цветового различия для обучения алгоритмов вычислительной фотографии.
После доклада интересующиеся слушатели приглашаются в лабораторию для ознакомления с новым колориметром.
🤓9🔥3
#семинары
Очередное заседание Московского телекоммуникационного семинара в ИППИ РАН
Когда: Четверг, 28 августа 2025 г., в 11:30
Где: ИППИ РАН, аудитория 615 и онлайн
Тема семинара: AI and Wireless Digital Twins
Докладчик: Giovanni Geraci, Nokia, Universitat Pompeu Fabra
Примечание: Язык проведения семинара — английский
Аннотация: Беспроводные цифровые двойники (Digital Twins, DT) становятся мощным инструментом для проектирования и оптимизации беспроводных сетей следующего поколения. В отличие от статистических моделей, двойники, созданные для конкретной локации, учитывают уникальные характеристики распространения сигналов в реальных условиях. В этом докладе будут представлены беспроводные цифровые двойники, вызовы, связанные с их созданием, и новые технологии, такие как трассировка лучей и генеративный ИИ. Мы обсудим, как DT для конкретных объектов могут поддерживать реалистичное моделирование, ускорять обучение AI/ML-моделей и улучшать проектирование и развертывание беспроводных систем.
Информация о докладчике: Giovanni Geraci — старший руководитель исследований (Senior Principal Research Lead) в Nokia и профессор (Associate Professor) в Университете Помпеу Фабра (Universitat Pompeu Fabra) в Барселоне. В настоящее время его исследования сосредоточены на применении AI/ML в беспроводной связи и использовании больших языковых моделей (LLM)/агентов в телекоммуникационной отрасли. Он был лектором программы IEEE Distinguished Lecturer, провел более 100 международных лекций и получил две IEEE награды для молодых учёных (early-career awards) и три IEEE награды за лучшие статьи (best paper awards)
Очередное заседание Московского телекоммуникационного семинара в ИППИ РАН
Когда: Четверг, 28 августа 2025 г., в 11:30
Где: ИППИ РАН, аудитория 615 и онлайн
Тема семинара: AI and Wireless Digital Twins
Докладчик: Giovanni Geraci, Nokia, Universitat Pompeu Fabra
Примечание: Язык проведения семинара — английский
Аннотация: Беспроводные цифровые двойники (Digital Twins, DT) становятся мощным инструментом для проектирования и оптимизации беспроводных сетей следующего поколения. В отличие от статистических моделей, двойники, созданные для конкретной локации, учитывают уникальные характеристики распространения сигналов в реальных условиях. В этом докладе будут представлены беспроводные цифровые двойники, вызовы, связанные с их созданием, и новые технологии, такие как трассировка лучей и генеративный ИИ. Мы обсудим, как DT для конкретных объектов могут поддерживать реалистичное моделирование, ускорять обучение AI/ML-моделей и улучшать проектирование и развертывание беспроводных систем.
Информация о докладчике: Giovanni Geraci — старший руководитель исследований (Senior Principal Research Lead) в Nokia и профессор (Associate Professor) в Университете Помпеу Фабра (Universitat Pompeu Fabra) в Барселоне. В настоящее время его исследования сосредоточены на применении AI/ML в беспроводной связи и использовании больших языковых моделей (LLM)/агентов в телекоммуникационной отрасли. Он был лектором программы IEEE Distinguished Lecturer, провел более 100 международных лекций и получил две IEEE награды для молодых учёных (early-career awards) и три IEEE награды за лучшие статьи (best paper awards)
🔥5🤓3
#семинары
Очередное заседание Московского телекоммуникационного семинара.
Когда: В пятницу 29 августа 2025 г. в 17:00
Ссылка для подключения к трансляции: https://meet.google.com/giy-qzsh-amv
Тема семинара: Методы повышения производительности многоканальных устройств в сетях Wi-Fi 7
Докладчик: Илья Левицкий, ИППИ РАН
Аннотация: Одним из главных нововведений 802.11be, стандарта для Wi-Fi 7, является технология многоканальных передач. Многоканальные устройства могут передавать или принимать данные в нескольких частотных каналах одновременно, что увеличивает их суммарную пропускную способность. Однако на практике многоканальные устройства обладают особенностями, например, испытывают межканальную интерференцию или имеют ограниченный объем памяти для хранения пакетов. Эти особенности делают оптимизацию доступа к среде для таких устройств сложной научной задачей. В докладе будут представлены основные результаты диссертационной работы, посвященной разработке алгоритмов и методов управления передачей данных для повышения производительности многоканальных устройств в сетях Wi-Fi 7.
Информация о докладчике: Илья Левицкий – научный сотрудник лаборатории Беспроводных сетей ИППИ РАН. Он готовится к защите кандидатской диссертации по специальности Системы, сети и устройства телекоммуникаций под руководством д.т.н. Евгения Михайловича Хорова. Он является действующим членом рабочей группы IEEE 802.11 с правом голоса, а также автором более 40 статей и патентных заявок. Его научные интересы включают технологию Wi-Fi, технологию многоканальных передач, системы MIMO и прототипирование и помощью программно-определяемых радиосистем.
Для того чтобы получить больше информации о семинаре, посетите страницу семинара ( https://wnlab.ru/seminar/ ).
Очередное заседание Московского телекоммуникационного семинара.
Когда: В пятницу 29 августа 2025 г. в 17:00
Ссылка для подключения к трансляции: https://meet.google.com/giy-qzsh-amv
Тема семинара: Методы повышения производительности многоканальных устройств в сетях Wi-Fi 7
Докладчик: Илья Левицкий, ИППИ РАН
Аннотация: Одним из главных нововведений 802.11be, стандарта для Wi-Fi 7, является технология многоканальных передач. Многоканальные устройства могут передавать или принимать данные в нескольких частотных каналах одновременно, что увеличивает их суммарную пропускную способность. Однако на практике многоканальные устройства обладают особенностями, например, испытывают межканальную интерференцию или имеют ограниченный объем памяти для хранения пакетов. Эти особенности делают оптимизацию доступа к среде для таких устройств сложной научной задачей. В докладе будут представлены основные результаты диссертационной работы, посвященной разработке алгоритмов и методов управления передачей данных для повышения производительности многоканальных устройств в сетях Wi-Fi 7.
Информация о докладчике: Илья Левицкий – научный сотрудник лаборатории Беспроводных сетей ИППИ РАН. Он готовится к защите кандидатской диссертации по специальности Системы, сети и устройства телекоммуникаций под руководством д.т.н. Евгения Михайловича Хорова. Он является действующим членом рабочей группы IEEE 802.11 с правом голоса, а также автором более 40 статей и патентных заявок. Его научные интересы включают технологию Wi-Fi, технологию многоканальных передач, системы MIMO и прототипирование и помощью программно-определяемых радиосистем.
Для того чтобы получить больше информации о семинаре, посетите страницу семинара ( https://wnlab.ru/seminar/ ).
🔥7🤓1
Дорогие коллеги!
Поздравляю вас с Днем знаний – всенародным праздником, объединяющим поколения ученых, педагогов, студентов и всех, кто служит делу науки и просвещения! Этот день напоминает нам о неразрывной связи традиций и будущего, о том, что стремление к знаниям и истине всегда было и остается духовной опорой нашего народа.
ИППИ РАН всегда был домом для людей, посвятивших себя поиску истины и приумножению знаний. Здесь соединяются опыт старших коллег и энергия молодых исследователей, рождаются идеи, открывающие новые горизонты развития науки.
Особое место в этой живой традиции занимает наша научная молодежь – аспиранты, молодые исследователи и сотрудники, которые смело принимают эстафету старших поколений и приумножают достижения Института. Именно в вас заключена надежда на будущие открытия, на развитие науки и укрепление научного престижа страны.
В этот особенный день желаю всему коллективу ИППИ РАН и подрастающему поколению – детям и внукам наших сотрудников – вдохновения, радости познания, успехов и веры в значимость своего труда и учебы. Пусть наши общие усилия и достижения служат развитию науки на благо Отечества!
С уважением,
И.о. Директора ИППИ РАН,
член-корреспондент РАН
М.В. Федоров
Поздравляю вас с Днем знаний – всенародным праздником, объединяющим поколения ученых, педагогов, студентов и всех, кто служит делу науки и просвещения! Этот день напоминает нам о неразрывной связи традиций и будущего, о том, что стремление к знаниям и истине всегда было и остается духовной опорой нашего народа.
ИППИ РАН всегда был домом для людей, посвятивших себя поиску истины и приумножению знаний. Здесь соединяются опыт старших коллег и энергия молодых исследователей, рождаются идеи, открывающие новые горизонты развития науки.
Особое место в этой живой традиции занимает наша научная молодежь – аспиранты, молодые исследователи и сотрудники, которые смело принимают эстафету старших поколений и приумножают достижения Института. Именно в вас заключена надежда на будущие открытия, на развитие науки и укрепление научного престижа страны.
В этот особенный день желаю всему коллективу ИППИ РАН и подрастающему поколению – детям и внукам наших сотрудников – вдохновения, радости познания, успехов и веры в значимость своего труда и учебы. Пусть наши общие усилия и достижения служат развитию науки на благо Отечества!
С уважением,
И.о. Директора ИППИ РАН,
член-корреспондент РАН
М.В. Федоров
❤16🤓4🥰1
#семинары
Семинар лаборатории № 5 (на Большом Каретном)
Когда: 5 сентября 2025 в 15:00
Где: аудитория 307 ИППИ
Тема: Неупругие процессы в модели Изинга
Докладчик: Менской Даниил (Лаборатория №5 ИППИ РАН, МФТИ)
Аннотация: На семинаре мы рассмотрим теорию поля Изинга в общей точке пространства параметров как возмущение теории поля при критической температуре (так называемая теория E8 -- интегрируемая теория) оператором плотности энергии. В такой теории возникает неупругий процесс рассеяния самых легких частиц в теории с образованием двух частиц: самой легкой и следующей по массе. Будет показана связь теории поля Изинга с моделью Буллоу-Додда. Далее, используя эту связь, будет решена задача о вычислении сечения неупругого рассеяния указанного выше процесса с помощью метода форм-факторной теории возмущений.
Семинар лаборатории № 5 (на Большом Каретном)
Когда: 5 сентября 2025 в 15:00
Где: аудитория 307 ИППИ
Тема: Неупругие процессы в модели Изинга
Докладчик: Менской Даниил (Лаборатория №5 ИППИ РАН, МФТИ)
Аннотация: На семинаре мы рассмотрим теорию поля Изинга в общей точке пространства параметров как возмущение теории поля при критической температуре (так называемая теория E8 -- интегрируемая теория) оператором плотности энергии. В такой теории возникает неупругий процесс рассеяния самых легких частиц в теории с образованием двух частиц: самой легкой и следующей по массе. Будет показана связь теории поля Изинга с моделью Буллоу-Додда. Далее, используя эту связь, будет решена задача о вычислении сечения неупругого рассеяния указанного выше процесса с помощью метода форм-факторной теории возмущений.
❤3🤓1
#семинары
Семинар "Цвет, математика и искусственный интеллект"
Когда: В четверг, 4 сентября, в 17:00
Где: в 615 аудитории ИППИ (ссылка для подключения онлайн: https://telemost.yandex.ru/j/63389006341822)
Тема: "Применение оптических методов в биологии и медицине"
Докладчик: 🔹 Горин Дмитрий Александрович, д.х.н., проф. по специальности биофизика, проф. центра фотоники и фотонных технологий автономной некоммерческой образовательной организации высшего образования «Сколковский институт
науки и технологии»
Аннотация:
В докладе будут рассмотрены основные особенности взаимодействия оптического излучения с биологическими объектами, а также компоненты биологической ткани определяющие поглощение и рассеяние электромагнитного излучения оптического диапазона. Кроме того, будет изложены физические основы оптоакустического эффекта и его применение в медицине. Часть доклада будет связано с технологией жидкой биопсии, с использованием в качестве маркеров экзосом. В заключении доклада будут сформулированы основные тренды развития современной биофотоники.
Семинар "Цвет, математика и искусственный интеллект"
Когда: В четверг, 4 сентября, в 17:00
Где: в 615 аудитории ИППИ (ссылка для подключения онлайн: https://telemost.yandex.ru/j/63389006341822)
Тема: "Применение оптических методов в биологии и медицине"
Докладчик: 🔹 Горин Дмитрий Александрович, д.х.н., проф. по специальности биофизика, проф. центра фотоники и фотонных технологий автономной некоммерческой образовательной организации высшего образования «Сколковский институт
науки и технологии»
Аннотация:
В докладе будут рассмотрены основные особенности взаимодействия оптического излучения с биологическими объектами, а также компоненты биологической ткани определяющие поглощение и рассеяние электромагнитного излучения оптического диапазона. Кроме того, будет изложены физические основы оптоакустического эффекта и его применение в медицине. Часть доклада будет связано с технологией жидкой биопсии, с использованием в качестве маркеров экзосом. В заключении доклада будут сформулированы основные тренды развития современной биофотоники.
telemost.360.yandex.ru
Яндекс Телемост
Видеовстречи по ссылке. Собирайте в Телемосте рабочие конференции или встречайтесь с друзьями. Встречи не ограничены по времени. Можно скачать Телемост для Windows или macOS.
🔥2🤓2
#семинары
Семинар "Цвет, математика и искусственный интеллект"
Когда: В четверг 11 сентября 2025 г. в 17:00
Где: в 615 аудитории ИППИ (ссылка для подключения онлайн:
https://telemost.yandex.ru/j/63389006341822)
Тема семинара: Устойчивость моделей глубокого обучения
Докладчик: Корж Дмитрий Сергеевич, младший научный сотрудник научной группы «Доверенные и безопасные интеллектуальные системы» AIRI
Аннотация: В последнее время модели глубокого обучения получили повсеместное применение. Однако уязвимость к малозаметным состязательным атакам, чувствительность к естественным шумах и
семантическим возмущениям и рост рисков подделки голоса является актуальной проблемой, особенно для высокорисковых приложений, как медицина или биометрия.
Целью исследования является разработка новых сертифицируемых (доказуемых) и эмпирических методов, обеспечивающих устойчивость, доверенность и приватность моделей без существенных ограничений для их применения. Методологическая основа включает развитие сертификации классификаторов изображений к композициям семантических возмущений и прототипических векторных моделей к аддитивным возмущениям на основе случайного сглаживания и статистических методов, а также проектирование универсальных состязательных возмущений для приватности (анонимизации) говорящего и развитие моделей голосового антиспуфинга.
По результатам работы предложен новый вычислительно-аналитический метод сертификации устойчивости классификаторов изображений к широкому классу композиционных преобразований на основе анализа Липшицевости модели относительно параметров возмущения. Получены улучшенные гарантии сертификации прототипических моделей и впервые для задач идентификации говорящего. Также представлен способ анонимизации речи с использованием экспоненциальной общедисперсионной функции потерь и новой стратегии добавления возмущений. Более того, предложены новые архитектуры детекции синтетической речи на основе сетей Колмогорова-Арнольда.
Семинар "Цвет, математика и искусственный интеллект"
Когда: В четверг 11 сентября 2025 г. в 17:00
Где: в 615 аудитории ИППИ (ссылка для подключения онлайн:
https://telemost.yandex.ru/j/63389006341822)
Тема семинара: Устойчивость моделей глубокого обучения
Докладчик: Корж Дмитрий Сергеевич, младший научный сотрудник научной группы «Доверенные и безопасные интеллектуальные системы» AIRI
Аннотация: В последнее время модели глубокого обучения получили повсеместное применение. Однако уязвимость к малозаметным состязательным атакам, чувствительность к естественным шумах и
семантическим возмущениям и рост рисков подделки голоса является актуальной проблемой, особенно для высокорисковых приложений, как медицина или биометрия.
Целью исследования является разработка новых сертифицируемых (доказуемых) и эмпирических методов, обеспечивающих устойчивость, доверенность и приватность моделей без существенных ограничений для их применения. Методологическая основа включает развитие сертификации классификаторов изображений к композициям семантических возмущений и прототипических векторных моделей к аддитивным возмущениям на основе случайного сглаживания и статистических методов, а также проектирование универсальных состязательных возмущений для приватности (анонимизации) говорящего и развитие моделей голосового антиспуфинга.
По результатам работы предложен новый вычислительно-аналитический метод сертификации устойчивости классификаторов изображений к широкому классу композиционных преобразований на основе анализа Липшицевости модели относительно параметров возмущения. Получены улучшенные гарантии сертификации прототипических моделей и впервые для задач идентификации говорящего. Также представлен способ анонимизации речи с использованием экспоненциальной общедисперсионной функции потерь и новой стратегии добавления возмущений. Более того, предложены новые архитектуры детекции синтетической речи на основе сетей Колмогорова-Арнольда.
telemost.360.yandex.ru
Яндекс Телемост
Видеовстречи по ссылке. Собирайте в Телемосте рабочие конференции или встречайтесь с друзьями. Встречи не ограничены по времени. Можно скачать Телемост для Windows или macOS.
🤓4👍2✍1
#семинары
Семинар по теме «Сбалансированная идентификация: проверка гипотез о функционировании объекта на основе обработки экспериментальных данных»
Когда: 15 сентября 2025 г. в 14:00
Где: ИППИ РАН 615 аудитория (Ссылка на трансляцию: https://telemost.yandex.ru/j/90691278140732
Тема: «Сбалансированная идентификация: проверка гипотез о функционировании объекта на основе обработки экспериментальных данных»
Спикеры: Соколов А.В., Волошинов В.В.
Аннотация: Рассматривается общая постановка задачи идентификации параметров математической модели по экспериментальным данным. Оптимизационная постановка предполагает минимизацию критерия, связанного с погрешностью воспроизведения данных, на множестве допустимых решений, определяемом математический моделью. Обсуждаются вопросы изменения множества допустимых решений при добавлении дополнительных (изменении существующих) гипотез (утверждений математической модели). На методических (маятник) и реальных примерах (физиология растений и загрязнение тяжелыми металлами Кольского полуострова, высокотемпературная плазма) исследуется динамика некоторых статистических оценок точности моделирования при добавлении “правильных и неправильных” гипотез.
Технология сбалансированной идентификации, т.н. SvF-технология (Simplicity vs Fitting), математических моделей исследуемого объекта по экспериментальным данным применяется в различных прикладных исследованиях около 10 лет. В отличие от регрессионных методов или машинного обучения, эта технология позволяет исследовать структурные модели, содержащие неизвестные числовые параметры и/или функциональные зависимости, которые определяются в результате вычислений. Сценарий расчетов основан на решении двухуровневой задачи оптимизации специального типа, основанной на идеях кросс-валидации и регуляризации. Полученные числовые характеристики позволяют целенаправленно (правда, неформальным способом), вносить изменения в структурные модели, добиваясь сбалансированного соответствия эксперименту, с учетом возможных погрешностей в значениях экспериментальных данных.
Семинар по теме «Сбалансированная идентификация: проверка гипотез о функционировании объекта на основе обработки экспериментальных данных»
Когда: 15 сентября 2025 г. в 14:00
Где: ИППИ РАН 615 аудитория (Ссылка на трансляцию: https://telemost.yandex.ru/j/90691278140732
Тема: «Сбалансированная идентификация: проверка гипотез о функционировании объекта на основе обработки экспериментальных данных»
Спикеры: Соколов А.В., Волошинов В.В.
Аннотация: Рассматривается общая постановка задачи идентификации параметров математической модели по экспериментальным данным. Оптимизационная постановка предполагает минимизацию критерия, связанного с погрешностью воспроизведения данных, на множестве допустимых решений, определяемом математический моделью. Обсуждаются вопросы изменения множества допустимых решений при добавлении дополнительных (изменении существующих) гипотез (утверждений математической модели). На методических (маятник) и реальных примерах (физиология растений и загрязнение тяжелыми металлами Кольского полуострова, высокотемпературная плазма) исследуется динамика некоторых статистических оценок точности моделирования при добавлении “правильных и неправильных” гипотез.
Технология сбалансированной идентификации, т.н. SvF-технология (Simplicity vs Fitting), математических моделей исследуемого объекта по экспериментальным данным применяется в различных прикладных исследованиях около 10 лет. В отличие от регрессионных методов или машинного обучения, эта технология позволяет исследовать структурные модели, содержащие неизвестные числовые параметры и/или функциональные зависимости, которые определяются в результате вычислений. Сценарий расчетов основан на решении двухуровневой задачи оптимизации специального типа, основанной на идеях кросс-валидации и регуляризации. Полученные числовые характеристики позволяют целенаправленно (правда, неформальным способом), вносить изменения в структурные модели, добиваясь сбалансированного соответствия эксперименту, с учетом возможных погрешностей в значениях экспериментальных данных.
telemost.yandex.ru
Яндекс Телемост
Видеовстречи по ссылке. Собирайте в Телемосте рабочие конференции или встречайтесь с друзьями. Встречи не ограничены по времени. Можно скачать Телемост для Windows или macOS.
❤1🔥1🤓1
#семинары
Семинар лаборатории № 4
Когда: Среда, 17 сентября 2025 г., в 13:00
Где: Ауд. 307 ИППИ РАН + онлайн (ссылка для подключения в Zoom будет доступна позже на сайте)
Тема семинара: «R1/R2-замыкания в трёхзначной логике: предполные классы и малые базисы монотонных функций, синтез схем и применение в задачах моделирования систем передачи информации»
Докладчик: Антон Есин (ИППИ РАН)
Аннотация.
В первой части доклада рассматриваются усиленные операторы замыкания R₁ и R₂ в трёхзначной логике P₃, позволяющие корректно описывать эквивалентности между состояниями в задачах передачи данных. Показано, что для R₁ существует ровно три предполных класса, а для R₂ — пять, включая классы, отражающие строгую обработку стираний и ограничения по арности устройств.
Во второй части представлен конструктивный подход к конечнопорождаемости монотонных классов, включая использование функций выбора и мажоритарных операций. На основе этих результатов формулируются малые базисы и нормальные формы, пригодные для синтеза многозначных логических схем.
Полученные результаты образуют строгий теоретический фундамент для практических задач управления QoS и агрегацией трафика в LTE/5G/6G-сценариях в подвижных сетях, где важны устойчивость к «стираниям» сигналов и возможность локальной перекалибровки тернарных уровней. В заключительной части будет показано, как нормальные формы и малые базисы используются при синтезе многозначных блоков агрегации метрик и приоритизации в подвижных сценариях HSR. Будут продемонстрированы fail-safe-схемы с гарантированным переходом в безопасное состояние и их верифицируемые инварианты для сетевых контроллеров.
Семинар лаборатории № 4
Когда: Среда, 17 сентября 2025 г., в 13:00
Где: Ауд. 307 ИППИ РАН + онлайн (ссылка для подключения в Zoom будет доступна позже на сайте)
Тема семинара: «R1/R2-замыкания в трёхзначной логике: предполные классы и малые базисы монотонных функций, синтез схем и применение в задачах моделирования систем передачи информации»
Докладчик: Антон Есин (ИППИ РАН)
Аннотация.
В первой части доклада рассматриваются усиленные операторы замыкания R₁ и R₂ в трёхзначной логике P₃, позволяющие корректно описывать эквивалентности между состояниями в задачах передачи данных. Показано, что для R₁ существует ровно три предполных класса, а для R₂ — пять, включая классы, отражающие строгую обработку стираний и ограничения по арности устройств.
Во второй части представлен конструктивный подход к конечнопорождаемости монотонных классов, включая использование функций выбора и мажоритарных операций. На основе этих результатов формулируются малые базисы и нормальные формы, пригодные для синтеза многозначных логических схем.
Полученные результаты образуют строгий теоретический фундамент для практических задач управления QoS и агрегацией трафика в LTE/5G/6G-сценариях в подвижных сетях, где важны устойчивость к «стираниям» сигналов и возможность локальной перекалибровки тернарных уровней. В заключительной части будет показано, как нормальные формы и малые базисы используются при синтезе многозначных блоков агрегации метрик и приоритизации в подвижных сценариях HSR. Будут продемонстрированы fail-safe-схемы с гарантированным переходом в безопасное состояние и их верифицируемые инварианты для сетевых контроллеров.
❤2👍1🔥1🤓1