« Стохастические методы оптимизации работы вычислительных систем» лекция профессора Граничина Олега Николаевича для стажеров лаборатории Системного программирования.

Slides:



Advertisements
Similar presentations
Выпускная квалификационная работа на тему: «Применение интернет-технологий как фактор повышения эффективности функционирования организации (на примере.
Advertisements

Межфакультетская магистерская программа «Математические модели, методы и программные системы современных компьютерных технологий» При поддержке Фонда содействия.
1 Системное управление рисками информационной безопасности на основе ISO 27001:2005 Валентин Никонов, к.э.н., PMP IPMA, QMS Auditor Советник председателя.
Поиск оптимального набора параметров оптимизаций компилятора Брусенцов Леонид Евгеньевич студент 4 курса ФИТ НГУ Руководители:Илья.
Образовательный комплекс "Теория и практика параллельного программирования" Гергель В.П., профессор, д.т.н. Декан факультета ВМК ННГУ Мастер - классы "
Автоматическая генерация кода программ с явным выделением состояний Канжелев С.Ю. магистрант СПбГУ ИТМО Шалыто А.А. доктор технических наук профессор СПбГУ.
Дипломная работа Ивановой О.О., группа 545 Научный руководитель: д. ф.-м. н., профессор Терехов А.Н. Генерация кода по диаграмме активностей.
Системы отбора. Условные обозначения (1) (2) (3) (4) (5) (6) (7) Математическое моделирование процессов отбора2.
Апробация электронных учебников в общеобразовательных учреждениях Министерство образования и науки Российской Федерации Федеральный институт развития образования.
Алгоритм приближённого join’а на потоках данных Выполнил : Юра Землянский, 445 группа Научный руководитель : Б.А. Новиков СПб, 2011 Санкт-Петербургский.
Санкт-Петербургский Государственный Университет Математико-механический факультет Кафедра системного программирования Научный руководитель: Б.А. Новиков.
Инструмент реинжиниринга спецификаций трансляций Константин Андреевич Улитин Научный руководитель: Я.А. Кириленко Рецензент: Н.М. Тимофеев Санкт-Петербургский.
Разработка информационной системы накопительной программы лояльности для мобильных устройств Автор: Дьяченко Василий Владимирович мат-мех, 545 группа Научный.
Некомпенсаторное агрегирование и рейтингование студентов Авторы: Гончаров Алексей Александрович, Чистяков Вячеслав Васильевич. НФ ГУ ВШЭ 2010 год.
ПРИНЦИПЫ РАЗРАБОТКИ СИСТЕМЫ КЛАССА LEARNING MANAGEMENT SYSTEM И ОПЫТ ЕЕ ИСПОЛЬЗОВАНИЯ НА ФАКУЛЬТЕТЕ МЕНЕДЖМЕНТА Афанасьева С.В. Кафедра бизнес-информатики.
Санкт - Петербургский Государственный Университет Математико - механический факультет Кафедра системного программирования Система проверки данных на полноту.
Курсовая работа студента 345 группы Чуновкина Фёдора Дмитриевича Научный руководитель: Бондарев А.В. Санкт-Петербургский Государственный Университет Математико-механический.
Технологическая платформа БИОЭНЕРГЕТИКА ОФИЦИАЛЬНО УСТАНОВЛЕННАЯ ФОРМА ЧАСТНО- ГОСУДАРСТВЕННОГО ПАРТНЕРСТВА В ИННОВАЦИОННОЙ СФЕРЕ.
СРЕДА ВИЗУАЛЬНОГО МОДЕЛИРОВАНИЯ ON-LINE Курсовая работа Научные руководители: Ю.В. Литвинов Т.А. Брыксин Иванов Всеволод, 345 группа.
Создание сервиса синхронизации разнородных баз данных Допущена к защите зав. кафедрой: д.ф.м.н., профессор Терехов А.Н. Научный руководитель: доцент Графеева.
Виртуальная лаборатория для первоначального обучения проектированию программ Н. Н. Красильников, В. Г. Парфенов, Ф. Н. Царев, А. А. Шалыто Кафедра компьютерных.
1 СПбГУ ИТМО, кафедра Компьютерных Технологий ПРИМЕНЕНИЕ АВТОМАТНОГО ПРОГРАММИРОВАНИЯ ДЛЯ ПОСТРОЕНИЯ СИСТЕМ УПРАВЛЕНИЯ БИЗНЕС- ПРОЦЕССАМИ Евгений Андреевич.
Параметризация устройств сетевого управления Казакова А.С. Научный руководитель: Венгерова Е.А. Рецензент: Ушаков К.С. Кафедра системного программирования.
Адаптивный метод распределения SPMD-заданий в грид Паньшенсков Михаил, 545 группа Научный руководитель: Лукичев А.С. Рецензент: Демьянович Ю.К июня.
Блок 3. Семейства белков I. Множественное выравнивание Первый курс, весна 2008, А.Б.Рахманинова.
ВЛАДИМИРСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ Факультет прикладной математики и физики.
Разработка программного обеспечения (Software Engineering) Часть 2. Создание ПО.
L/O/G/O Психология решения задач и проблем: классика и современность Спиридонов В.Ф. (РГГУ-ГУВШЭ)
ERAMIS “Network Europe – Russia – Asia of Masters in Informatics as a Second competence” (ERAMIS) «Магистратура по информатике как вторая компетенция для.
Growing Neural Gas Method Нейросетевой метод построения неструктурированных адаптивных сеток.
Разработка интеллектуальной многоагентной системы адаптивных роботов для игры в футбол Выполнили: А. А. Коробкин, 545 гр Г. М. Комаров, 544 гр Научный.
Microsoft Solutions Framework Технологии программирования. Курс на базе Microsoft Solutions Framework Семинар 2. Знакомство с построением диаграмм вариантов.
Сравнение различных методов хранения XML в реляционных базах данных и в разных системах. Нгуен Тхань Хуен- 545 группа Руководитель : Б.А. Новиков Рецензент:
 Нужно много различных протоколов связи  Каждый из них может реализовываться на разных платформах Современные сети Много устройств, компьютеров и сетей.
Сопоставление полигональных объектов на основе независимой фрагментации контуров Выполнил: Ю. М. Плотников Научный руководитель: канд. ф.-м. наук К. В.
PHP как язык программирования. Типы данных логические величины int, integer – целые числа real, double, float – вещественные числа string – строки array.
Генерация вероятностных автоматов методами Reinforcement Learning Выполнил: Иринёв А. В. Руководитель: Шалыто А. А.
Оптимизация Just – in - time компилятора методом профилирования значений Соколов Андрей Владимирович, ФФ НГУ, 3 курс, Руководитель:
Конвертор байт-кода java в CIL Д. С. Возжаев, 544 группа Научный руководитель: д. т. н. проф. В. О. Сафонов Рецензент: асп. А. Н. Близнюк Санкт-Петербургский.
Симулятор квантовых вычислений Выполнил: Гедерцев А.С. Руководитель, д.ф.-м.н., профессор: Граничин О.Н.
Распределение наборов неоднородных по размеру заданий в кластерных системах на основе ClassAd механизма Голубев Александр Юрьевич, 542 группа Научный руководитель:
Верификация автоматных программ Ремизов А.О., д.т.н., проф. Шалыто А.А.
Методы интерактивной визуализации динамики жидких и газообразных сред Елена Костикова, 521 гр.
Поиск путей в сложных полигонах для динамических систем реального времени. Работа Порошина И.А., 544 гр. Научный руководитель Уфнаровский В.В. Рецензент,
Решения Microsoft в области управления идентификацией и доступом Дмитрий Алтухов, Optimicon IT Optimization Consulting … в контексте.
Увеличение модульности программного обеспечения на языке Java Курсовая работа студента 345 группы Абишева Тимура Маратовича Научный руководитель: Профессор.
Санкт-Петербургский Государственный Университет Математико-Механический факультет Кафедра системного программирования Применение диаграмм двоичных решений.
Реализация XPath над S-выражениями 2007 Миленин Евгений, гр. 544 Кафедра Системного Программирования Математико-Механический ф-т, СПбГУ Научный руководитель:
Анализ и Проектирование качественных приложений Презентация по книге Крэга Лармана.
Методы определения параметров вращения Земли
Сервис описания дискретных динамических систем на основе рекуррентных алгоритмов стохастической аппроксимации и подобных им Александр Вахитов научный руководитель.
САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ Математико-механический факультет Кафедра системного программирования Автоматизация выбора оптимальной.
BioUML интегрированная расширяемая среда для моделирования биологических систем Biosoft.Ru Лабоработория Биоинформатики КТИ ВТ СО РАН
ИЗУЧЕНИЕ ПОЧВЕННОГО ОРГАНИЧЕСКОГО ВЕЩЕСТВА МЕТОДАМИ ЭЛЕКТРОФОРЕЗА И ХРОМАТОГРАФИИ ВЫСОКОГО ДАВЛЕНИЯ Матыченков В.В. *, Бочарникова Е.А. ** *Институт фундаментальных.
Моделирование систем хранения с целью уменьшения потребления энергии Научный руководитель: ассистент кафедры информатики Алиев А. А. Рецензент: ст. пр.
Разработка алгоритмов распознавания текста
Объектно-ориентированное проектирование DSP-систем в телекоммуникациях Подготовил: Сергеев Виктор Николаевич СПбГУ, математико-механический Факультет,
Разработка метода оптимизации времени выполнения модульных тестов в системе SRP Головдинова Алина Эмировна 545 группа Руководитель: Изъюров А.Л. Рецензент:
Урок 1. Цветовые модели Нижегородский государственный университет им. Н.И. Лобачевского Факультет вычислительной математики и кибернетики Кафедра интеллектуальных.
МЕТОД СКОЛЬЗЯЩЕГО КОНТРОЛЯ ДЛЯ ОЦЕНКИ КАЧЕСТВА РЕКОМЕНДАТЕЛЬНЫХ ИНТЕРНЕТ- СЕРВИСОВ А.Ю. Каминская, Р.А. Магизов Научный руководитель – Д.И. Игнатов Государственный.
Место человека в интеллектуальной техносреде В.В. Бушуев, д.т.н., проф., Генеральный директор Института энергетической стратегии ЦМТ, г.
Динамическая модель взаимодействия аминокислотных остатков с границей раздела фаз МГУ им. М.В. Ломоносова Физический Факультет кафедра физики полимеров.
Универсальная интеграция технологии построения отчетов в семейство.NET приложений Презентация дипломной работы Порсева Анатолия, 542 гр. Санкт-Петербург.
Проверка эквивалентности срединной и линейной осей многоугольника Дипломная работа студента 545 группы Подколзина Максима Валериевича Санкт-Петербургский.
«Интернет радио» Разработчик Демидко А.А. Преподаватель Бронштейн М.Е.
Алгоритм исправления ошибок при анализе в парсерах типа перенос-свертка, основанный на предположении об избыточности языка Дипломная работа студента 545.
Сравнение подходов к индексированию XML документов c поддержкой некоторых операций модификации Выполнил: Василий Шикин, 545 группа Руководитель: Дмитрий.
Санкт-Петербургский Государственный Университет Экономики и Финансов
Исследование возможностей сервисной шины SonicMQ Дипломная работа студентки 545 группы Комольцевой Дарьи Владимировны Научный руководитель: Графеева Н.Г.
О понятийном аппарате Национальной системы квалификаций Российской Федерации Есенина Екатерина Юрьевна, ведущий научный сотрудник Центра профессионального.
Presentation transcript:

« Стохастические методы оптимизации работы вычислительных систем» лекция профессора Граничина Олега Николаевича для стажеров лаборатории Системного программирования и технологий СПбГУ Санкт-Петербургский государственный университет Математико-механический факультет Кафедра системного программирования Санкт-Петербург 2004

Кибернетика  Н.Винер: «информационно- управленческую связь в разнообразных явлениях и процессах («живых» и машинных) надо рассматривать как неотъемлемую их составную часть».  Кибернетика – область науки, техники и биологии

Разделение кибернетики к 1970-м Кибернетика Теория управления Информатика Телекоммуникации, связь Роботы, Квантовые компьютеры

Задачи кибернетики к 2050 Доклад Мюррея  Создание команды роботов-футболистов  Управление через Интернет  Асинхронная теория управления  Динамически реконфигурируемое интеллектуальное управление  Перепрограммировать систему управления бактерией

Системное программирование  Операционные системы  Программирование «ядер» процессоров  Системное администрирование Организация работы систем (сложных систем)

Что такое «система»? Математические модели  результат эксперимента - число, множество чисел, кривая и т.п.  погрешности статистическая (случайная) систематическая (модели)

Динамика

Новые задачи  поведение группы людей  процессы образования белка в клетках  распространение фронта ударной волны внутри вещества,  движение в турбулентном потоке или в разреженном газе,  течения концентрированных дисперсных смесей,  реакция на внешнее нагружение сред со сложной внутренней структурой,  пластические течения твердых материалов при интенсивных нагрузках,  переходные слои вблизи межфазных границ

Новый тип моделей

Уровни описания модели Solid Liquid Gas Macro Mezo Micro

Невозможно (трудно) исключить систематические ошибки (погрешности модели) Рандомизация модели позволяет:  дать обоснованные ответы для задач, в которых пользуются догадками и эвристическими решениями  получать решения сложных задач за конечное (полиномиальное) время с определенной степенью достоверности

Простой пример Y=X+V

Рандомизированный алгоритм

Результаты моделирования

Искусственный интеллект

Настройка нейронных сетей

Оптимизация работы сервера

Панель управления и диаграмма блока выходных данных

Результат адаптации

Биоинформатика

Виртуальный футбол  Для апробирования новых методов и демонстрации в широких кругах их преимуществ хотелось бы поддержать команду «студентов» для разработки и развития виртуальной команды роботов, либо играющих в футбол, либо стреляющих танков.  - футбол  obotart/ obotart/  

Заключение  Спецкурс+спецсеминар Четверг ауд.1522 (мат.-мех.)    Граничин О.Н., Поляк Б.Т. «Рандомизированные алгоритмы оценивания и оптимизации при почти произвольных помехах», М. Наука, 2003

Спасибо за внимание