Семинары >> Архив >> Семинар Лаборатории 1 им.М.С.Пинскера
Страница Лаборатории 1 им. М.С. Пинскера
Руководитель семинара: Вьюгин Владимир Вячеславович
Основные направления работы семинара:
2016
Ближайший семинар:
8 февраля
Предзащита кандидатской диссертации
Алексей Зайцев
Построение регрессионных моделей на основе гауссовских процессов с использованием данных разной точности
Рассмотрим задачу построения регрессионной модели в случае, если помимо выборки точных данных задана вторая выборка большего размера грубых данных. В таком случае удобной оказывается модель регрессии на основе гауссовских процессов, с помощью которой можно эффективно восстанавливать сложные зависимости и оценивать точность модели в новых точках.
В первой части доклада рассматриваются теоретические свойства регрессии на основе гауссовских процессов, а именно приведена теорема Бернштейна-фон Мизеса для случая возможной неверной спецификации модели и конечных выборок. Получены оценки разности между байесовской оценкой, оценкой максимума правдоподобия и наилучшей параметрической оценкой, качества аппроксимации апостериорного распределения параметров регрессионной модели нормальным распределением.
При выборках размера больше нескольких тысяч точек непосредственное применение регрессии на основе гауссовских процессов невозможно из-за высокой вычислительной сложности алгоритма. Во второй части доклада рассматриваются два подхода, позволяющие работать с большими выборками данных разной точности или в случае наличия черного ящика для получения грубых данных с помощью аппарата регрессии на основе гауссовских процессов. Приводятся примеры применения разработанных алгоритмов для решения задач суррогатного моделирования и оптимизации инженерных конструкций.
Прошедшие семинары:
2015
2 октября (пятница), 1100, аудитория 615 ИППИ РАН
Алгоритмы построения экстремальных эллипсоидов в задачах представления и анализа данных
Будут рассмотрены методы описания пространства дизайна и представления данных с помощью экстремальных эллипсоидов.
Работа актуальна в области оптимизации, предсказательного метамоделирования, детектирования аномалий, задачах представления данных.
Пусть имеется конечное множество точек X, удовлетворяющих заданному множеству линейных ограничений. Ставится двухкритериальная задача нахождения эллипсоида минимального объема, содержащего наибольшее количество точек из X, который принадлежит заданному многограннику ограничений.
Будут представлены приближенные методы построения фронта Парето этой задачи. На базе классических экстремальных эллипсоидов с помощью дополнительных процедур учета многогранника ограничений разработаны алгоритмы приближения фронта Парето. В пространствах небольшой размерности проведено сравнение предложенных методов со случайной генерацией параметров эллипсоида. В упрощенном случае отсутствия линейных ограничений предложен алгоритм на основе решения задачи выпуклой оптимизации для соответствующей гладкой задачи, которая аппроксимирует исходную задачу, содержащую дискретный критерий.
Задачи построения экстремальных эллипсоидов формулируются в виде задач выпуклого программирования, в которой ограничения записываются с использованием аппарата линейных матричных неравенств. Это позволяет использовать при решении этих задач известные высокоэффективные пакеты (CVX и др.)
Будут также рассмотрены две вспомогательные задачи, позволяющие ускорить построение оптимальный эллипсоидов, сократив избыточность данных: задача определения тех точек из конечного множества, которые являются вершинами выпуклой оболочки и задача удаления из системы линейных неравенств тех, отсутствие которых не меняет решение этой линейной системы.
2013
5 июня
prof. Andre Scedrov (University of Pennsylvania).
A Rewriting Framework for Activities Subject to Regulations
Activities such as clinical investigations or financial processes are subject
to regulations to ensure quality of results and avoid negative consequences. Regulations may be imposed by multiple governmental agencies as well as by institutional policies and protocols. Due to the complexity of both regulations and activities there is great potential for violation due to human error, misunderstanding, or even intent. Executable formal models of regulations, protocols, and activities can form the foundation for automated assistants to aid planning, monitoring, and compliance checking.
We propose a model based on multiset rewriting where time is discrete and is specified by timestamps attached to facts. Actions, as well as initial, goal and critical states may be constrained by means of relative time constraints. Moreover, actions may have non-deterministic effects, i.e., they may have different outcomes whenever applied. We demonstrate how specifications in our model can be straightforwardly mapped to the rewriting logic language Maude, and how one can use existing techniques to improve performance. Finally, we also determine the complexity of the plan compliance problem, that is, finding a plan that leads from an initial state to a desired goal state without reaching any undesired critical state. We consider all actions to be balanced, i.e., their pre and post conditions have the same number of facts. Under this assumption on actions, we show that the plan compliance problem is PSPACE-complete when all actions have only deterministic effects and is EXPTIME-complete when actions may have non-deterministic effects.
This is joint work with Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Carolyn Talcott, and Ranko
25 апреля
Игорь Евстигнеев
Эволюция in pecunia: эволюционная биология финансовых рынков
Прошедшие семинары - 2012
Прошедшие семинары - 2011
Прошедшие семинары - 2010
Прошедшие семинары - 2009
| 
