Заседания семинаров
16.20 к. 305, ИМ
С. В. Агапов (ИМ СО РАН)
Полиномиальные интегралы геодезических потоков и обобщенный метод годографа. II.
16.20 ч., ауд. 5251, НГУ
Баранов И. В. (НГУ)
Варшавский А. Е. Средний класс: анализ зависимости размера от уровня неравенства доходов (Экономика и математические методы, 2023, том 59, вып. 3)
13.00 ч., ауд. 344, ИМ
Любанова А. Ш. (Сибирский федеральный университет, Красноярск)
Обратные и нелокальные задачи для уравнений и систем диффузии и фильтрации (по материалам докторской диссертации).
Аннотация
Исследуется корректность некоторых новых коэффициентных обратных задач для уравнений соболевского типа и ассоциированных с ними задач для уравнений эллиптического и параболического типа. Исследуются свойства решений некоторых из обратных задач для уравнений соболевского типа (устойчивость, гладкость, асимптотическое поведение). Постановки коэффициентных обратных задач для линейных уравнений эллиптического и соболевского типа и результаты, полученные для них, обобщаются на случай нелинейных уравнений фильтрации. Методы решения обратных задач для эволюционных уравнений применяются для исследования нелокальных краевых задач для систем нагруженных уравнений параболического и соболевского типа, в которых условия по времени заданы только для одной из неизвестных функций. Устанавливаются достаточные условия глобальной однозначной разрешимости таких задач.
10.00 ч., к. 417, ИМ
1. Алексей Попов
Свойства статистики Хмелёва.
Аннотация
В рассматриваемой модели тексты на естественном языке трактуются как реализации некоторых цепей Маркова, где состояниями цепей выступают символы алфавита. Статистика Хмелёва является модификацией дивергенции Кульбака–Лейблера и выступает показателем того, насколько два текста похожи между собой. Рассмотрено поведение статистики в задаче определения подлинности текстов. Также исследовано предельное поведение статистики для двухсимвольного алфавита в случае, когда тексты порождены цепями Маркова с одинаковыми матрицами переходных вероятностей.
2. Александр Тарасенко
Задача оптимального котирования в стохастической модели биржевого стакана.
Аннотация
Наиболее актуальная задача, для которой применимы вероятностные модели биржевого стакана, это нахождение эффективных стратегий торговли. Для формулировки понятия оптимальной стратегии и ее нахождения может быть применима теория стохастического оптимального управления. В докладе будет рассказано о существующих работах, в которых оптимальное управление применяется к биржевому стакану, а также о наших идеях и попытках применения этой теории к модели, сформулированной в бакалаврской работе.
16.20 ч., ауд. 115, ИМ
Д. М. Анищенко (НГУ)
Кто боится Альфреда Тарского?
Аннотация
В докладе пойдет речь о IF-логике Хинтикки (Independence-Friendly Logic), которая представляет собой обогащение первопорядковой логики за счет введения ветвящихся кванторов по индивидным переменным. В результате выразительные возможности IF-логики оказываются эквивалентными сигма-1-1-фрагменту логики второго порядка. По этой причине IF-логика обходит ограничительную теорему Тарского о невыразимости истинности – один из важнейших негативных результатов для арифметики Пеано. Это очень эффектный пример показывающий как незначительное, казалось бы, изменение языка приводит к важным и интересным последствиям. Семантически IF-логика задается при помощи теоретико-игровой семантики, поэтому в ходе доклада потребуется ввести базовые понятия теории игр.
18.10 ч., ауд. 5273, НГУ
Андрей Гумиров
Язык построения исполнимых спецификаций D0SL (продолжение).