Шалыто
Анатолий
Абрамович

д.т.н., профессор, заведующий кафедрой технологии программирования СПбГУ ИТМО

Автоматное программирование, машинное обучение и биоинформатика

Большинство ответственных технических систем являются событийными, а используемое в них управление является автоматным. Для таких систем может осуществляться ко-дизайн – поведение как аппаратной. так и программной части может быть описано с помощью автоматов. Автоматы могут быть либо построены эвристически, либо созданы с помощью машинного обучения. Программы, реализующие поведение рассматриваемого класса систем, называются автоматными. Такие программы могут быть эффективно верифицированы на основе метода Model Checking. Методы машинного обучения основаны на применении идей из живых систем, а в биоинформатике имеет место обратная ситуация – для исследования живых систем применяются дискретная математика, машинное обучение и программи-рование.

пт 26 апреля утренняя секция
ауд. 2414

Бужинский И.П., Ульянцев В.И.

Построение автоматов управления объектами со сложным поведением по тестам с учетом непрерывных воздействий

Чивилихин Д.С., Ульянцев В.И.

Метод построения конечных автоматов на основе муравьиного алгоритма

Чивилихин Д.С.

Эволюционные стратегии с адаптивным параметром на основе свойств ландшафта функции приспособленности

Ульянцев В.И.

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

Бужинский И.П., Ульянцев В.И.

Построение автоматов управления объектами со сложным поведением по тестам с учетом непрерывных воздействий

Якорев В.О., Шалыто А.А.

Синтез систем управления балансирующим роботом на основе методов искусственного интеллекта

Панченко Е.В., Ульянцев В.И.

Применение методов решения задачи о выполнимости квантифицированной булевой функции для построения управляющих конечных автоматов по сценариям работы и темпоральным свойствам

Александров А.В., Казаков С.В., Сергушичев А.А., Царев Ф.Н.

Метод сборки контигов геномных последовательностей из парных чтений с ошибками вставки и удаления на основе совместного применения графов де Брёйна и графов перекрытий

Славнейшев Ф.В.

Алгоритм выравнивания последовательностей ДНК для модели MapReduce

Соколов А.А., Буздалов М.В.

Разработка алгоритмов для упорядочивания структур белков

Буздалова А. С., Буздалов М. В.

Иcпользование вспомогательных функций приспособленности для тестирования решений олимпиадных задач по программированию

Буздалов М.В., Буздалова А.С.

Оценка времени работы эволюционного алгоритма RMHC под управлением алгоритма Q-Learning на задаче OneMax с мешающим критерием оптимизации

Якорев В.О., Буздалов М.В.

Генерация тестов для олимпиадных задач по программированию с помощью многокритериальных эволюционных алгоритмов

Кобер Д.А.

Гибридный алгоритм решения задачи составления расписания заданий, связанных порядком предшествования, в многопроцессорной среде

Цель и название

Инициаторы

Место проведения

Расписание

Научная программа

Секции-семинары

Регистрация / Вход

Публикации

Контесты

Программный комитет

Оргкомитет

Документы

Отзывы и рейтинги

Адреса и телефоны

Отчёты о работе

Булычев Д.Ю.

Бурова И.Г.

Гейн А.Г.

Герасимов М.А.

Граничин О.Н.

Демьянович Ю.К.

Зикратов И.А.

Кандоба И.Н.

Кириленко Я.А.

Клейменов А.Ф.

Косовский Н.К.

Крук Е.А.

Леонов Г.А.

Лучин Р.М.

Нестеров В.М.

Новиков Б.А.

Прохоров В.В.

Сафонов В.О.

Терехов А.Н.

Тимофеев А.В.

Трифонов П.В.

Тулупьев А.Л.

Фёдоров А.Р.

Фрадков А.Л.

Шалыто А.А.

Юсупов Р.М.