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

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

Автоматное управление, эволюционные алгоритмы, верификация на моделях

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

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

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

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

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

Метод сборки генома с использованием технологии MapReduce

Афанасьева А.С.

Выбор функции приспособленности особей генетического алгоритма с помощью обучения с подкреплением

Егоров К.В., Царев Ф.Н., Шалыто А.А.

Построение автоматов управления системами со сложным поведением на основе верификации и сценариев работы

Соколов А.А.

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

Законов А.Ю.

Построение автоматных моделей веб-приложений

Банных А.Г.

Применение деревьев для реализации массовых операций на многомерных массивах данных

Коноплев Ю.Ю.

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

Бочкарев А.И.

Портирование генетических алгоритмов на платформу OpenCL на примере генерации автомата в задаче "Умный муравей"

Буздалов М.В.

Применение эволюционных алгоритмов для покрытия кода тестами

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

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

Малаховски Я.М.

Полиморфные по числу аргументов функции

Ульянцев В.И., Царев Ф.Н.

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

Масальских А.В.

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

Родиков Д.Е.

Иерархическое восстановление разреженной структуры пространства и точек съемки по набору фотографий

Malakhovski J.

Dependent polyvariadic functions

Если хотите выступить в этой секции (на этом семинаре), то напишите письмо с тезисами своего выступления:

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

Инициаторы

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

График работы

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

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

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

Публикации

Контесты

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

Оргкомитет

Документы

Оптимизация затрат

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

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

Булычев Д.Ю.

Бурова И.Г.

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

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

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

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

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

Крук Е.А.

Леонов Г.А.

Лучин Р.М.

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

Новиков Б.А.

Сафонов В.О.

Терехов А.Н.

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

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

Фёдоров А.Р.

Фрадков А.Л.

Шалыто А.А.