Сервис описания дискретных динамических систем на основе рекуррентных алгоритмов стохастической аппроксимации и подобных им Александр Вахитов научный руководитель. - презентация

1 Сервис описания дискретных динамических систем на основе рекуррентных алгоритмов стохастической аппроксимации и подобных им Александр Вахитов научный руководитель проф. О.Н. Граничин

2 Содержание Вступление. Задача. Актуальность Основные черты сервиса RecService Близкие разработки Примеры описаний на языке сервиса

3 Сложные системы Многокомпонентность Гибридность (разная природа компонентов) Сосуществование разных методов решения сложных задач Примеры: управление движением судна во льдах[Нечаев], адаптивная идентификация активных радаров[НТЦ Вектор]

4 Сервис RecService Коллекция реализаций рекуррентных методов для различных прикладных задач, разработанных на каф. Системного программирования Удобство обучения методам Легкость моделирования систем с использованием методов Подключение реальных систем к сервису Состоит из модулей: коллекции компонент, хранения моделей и процессов, коммуникации через веб-службы, информационной системы, выполнения бизнес-процессов

5 Близкие разработки UML,SADT – средства описания систем Abstract State Machines – исполняемые спецификации систем, а не реальные системы MATLAB Simulink преимущественно моделирование, отсутствие работы с данными в реальном времени, сложность подключения к внешней системе

6 Базовые элементы моделей ЗадачаКомпонент СмыслКласс задач (напр., оптимизация со специальными свойствами сходимости оценок) утилитарная функция Алгоритм, метод, управляющая конструкция, адаптер к внешней системе Реализац ия ИнтерфейсКласс

7 Описание задачи как интерфейса: пара M – множество пар наборов допустимых входных и выходных параметров вида (i k ->o k ) (открытые методы) S – семантическое описание Пример: S=генерация случайного числа M=giveRandom: double

8 Компонент как класс: S- семантическое описание T-набор задач (implements) I-набор параметров инициализации (в том числе ссылки на другие компоненты, связь с которыми необходима) F-терминальное сообщение и ответ на него P-описание сохраняемых параметров

9 Опросник минимальной длины T-набор классов E-набор вопросов Найти порядок задания вопросов, минимизирующий среднее число вопросов до однозначного определения класса Дополнительно: возможность менять порядок вопросов после каждого ответа

10 Вопросник минимальной длины Ответ БД признаков и классов Сортировка признаков C (k),s (k) (c i ) (k) (t i ) j

11 Вопросник минимальной длины: адаптивное обучение Ответ SPSA Расчет весов для пар признак-состояние (c i ) (k) C (k),s (k)

12 Адаптивный поиск изображений* * Работа выполняется по гранту компании «Яндекс» «Интернет-Математика 2007» Выбор изображений Расчет приоритетов Генерация случайных векторов Расчет функции схожести

13 Перспективы RecService Полномасштабная реализация Интерфейс к информационной системе Формирование расчетных заданий для GRID Автоматизированный расчет параметров для процедур стохастической аппроксимации