Заседания семинаров
Объединенный семинар «Дискретный анализ» и «Комбинаторика и символьные последовательности»
Евдокимов А. А., Максимлюк Ю. П.
Интервальные вложения в гиперкуб и кодирование табло.
Артём Павлович Ковалевский
Впечатления от Китайско-российского вероятностного симпозиума (часть 2).
Аннотация
Во второй части рассказа о симпозиуме будет сделан обзор докладов второго, третьего и четвертого рабочих дней, а также лекций, прочитанных аспирантками из Санкт-Петербурга.Велисевич А. В. (Сибирский федеральный университет, г. Красноярск)
Обратные задачи для эллиптических уравнений и уравнений соболевского типа (по материалам кандидатской диссертации).
Научный руководитель к.ф-м.н. Любанова А. Ш.
Аннотация
Рассматриваются три обратные задачи отыскания неизвестной функции $𝑢$ и неизвестного младшего коэффициента $𝑘$ в эллиптическом уравнении $𝑀𝑢 + 𝑘𝑟(𝑢) = 𝑓$, (две из них – для линейного уравнения при $𝑟(𝑢) = 𝑢$) с граничными данными различного типа и интегральным условием переопределения на границе исследуемой области. Также исследуются условия стабилизации сильного решения обратной задачи для уравнения соболевского типа к решению одной из этих задач. Оператор $𝑀$ предполагается сильно эллиптическим и самосопряженным.
Основными результатами работы являются теоремы существования и единственности сильного обобщенного решения исходных задач, а также достаточные условия непрерывной зависимости решений этих задач от исходных данных. Кроме того, к основным результатам относятся достаточные условия стабилизации сильного решения обратной задачи для уравнения соболевского типа к сильному решению соответствующей стационарной обратной задачи для эллиптического уравнения с интегральным условием переопределения на границе.
Практический интерес к данным задачам обусловлен тем фактом, что в многочисленных приложениях коэффициенты исходного уравнения характеризуют физические свойства среды: проницаемость, теплопроводность и так далее. В рассмотренных задачах неизвестным является коэффициент поглощения.
Идентификатор конференции: 314 114 3903
Код доступа: 009
Емельяненков И. А.
Комплексы предикатных структур и их свойства.
к.ф.-м.н. Дмитрий Кондратьев, ИСИ
Автоматизация доказательства условий корректности программ и перспективы применения машинного обучения в данной области.
Семинар посвящен памяти Юрия Григорьевича Решетняка.
Zoom
Д. А. Троценко (Новосибирск)
Теория верхних множеств.