Аналитическая ведомственная целевая программа «Развитие научного потенциала высшей школы».
Мероприятие 2. «Проведение фундаментальных исследований в области естественных, технических и гуманитарных наук. Научно-методическое обеспечение развитие инфраструктуры вузовской науки».
Раздел 2.1. Подраздел 2.1.2. «Адаптивное и автоматное управление мобильными роботами». Регистрационный номер: 2.1.2/6326.
Федеральная целевая программа «Научные и научно-педагогические кадры инновационной России» на 2009–2013 годы.
Мероприятие 1.2.1. «Проведение научных исследований научными группами под руководством докторов наук».
Открытый конкурс НК-408П на выполнение НИР по направлениям «Механика», «Информатика», «Математика» по проблеме «Применение методов искусственного интеллекта в разработке управляющих программных систем».
Федеральная целевая программа «Научные и научно-педагогические кадры инновационной России» на 2009–2013 годы.
Мероприятие 1.2.2. «Проведение научных исследований научными группами под руководством кандидатов наук».
Открытый конкурс НК-421П на выполнение НИР по направлениям «Информатика», …, по проблеме «Методы повышения качества при разработке автоматных программ с использованием функциональных и объектно-ориентированных языков программирования».
Федеральная целевая программа «Научные и научно-педагогические кадры инновационной России» на 2009–2013 годы.
Мероприятие 1.3.1. «Проведение научных исследований молодыми учеными–кандидатами наук».
Открытый конкурс НК-178П на выполнение НИР по направлению «Информатика» по проблеме «Разработка методов совместного применения генетического и автоматного программирования для построения систем управления беспилотными летательными аппаратами».
Грант РФФИ – 10–01–0654-а.
Тема: «Разработка методов машинного обучения на основе генетического программирования для построения управляющих конечных автоматов».
Федеральная целевая программа «Научные и научно-педагогические кадры инновационной России» на 2009–2013 годы.
Мероприятие 1.2.1. «Проведение научных исследований научными группами под руководством докторов наук».
Открытый конкурс на выполнение НИР по направлению «Информатика» по проблеме «Разработка метода машинного обучения на основе алгоритмов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов».
Федеральная целевая программа «Научные и научно-педагогические кадры инновационной России» на 2009–2013 годы.
Мероприятие 1.2.1. «Проведение научных исследований научными группами под руководством докторов наук».
Открытый конкурс на выполнение НИР в следующих областях: биокаталитические, биосинтетические и биосенсорные технологии; биомедицинские и ветеринарные технологии жизнеобеспечения и защиты человека и животных; геномные и постгеномные технологии создания лекарственных средств; клеточные технологии; биоинженерия; биоинформационные технологии по проблеме «Разработка метода сборки геномных последовательностей на основе восстановления фрагментов по парным чтениям».
Федеральная целевая программа «Научные и научно-педагогические кадры инновационной России» на 2009-2013 годы.
Мероприятие «Проведение научных исследований целевыми аспирантами по направлению нано-, био-, информационные, когнитивные технологии».
Тема исследования: «Разработка методов автоматической генерации тестов на основе эволюционных алгоритмов».
Федеральная целевая программа «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2007-2013 годы»
Мероприятие 1.4 Программы (III очередь) «Проведение проблемно-ориентированных поисковых исследований и создание научно-технического задела по перспективным технологиям в области информаци-онно-телекоммуникационных систем»).
Тема исследования: «Разработка алгоритмов сборки геномных последовательностей для вычислительных систем экзафлопсного уровня производительности».
II. Монографии
Поликарпова Н. И., Шалыто А. А. Автоматное программирование. СПб.: Питер. 2011. – 176 с.
Вельдер С. Э., Лукин М. А., Шалыто А. А., Яминов Б. Р. Верификация автоматных программ. СПб.: Наука. 2011. – 241 с.
Князев Е., Шопырин Д. Методы автоматизированной классификации изменений программного кода. LAMBERT Academic Publishing. 2011. – 136 с.
III. Учебное пособие
Вельдер С. Э., Лукин М. А., Шалыто А. А., Яминов Б. Р. Верификация автоматных программ. СПбГУ ИТМО. 2011. - 246 с.
IV. Статьи в журналах из перечня ВАК
Янкин Ю. Ю., Шалыто А. А.
Автоматное программирование ПЛИС в задачах управления электроприводом //
Информационно-управляющие системы. 2011. № 1, с. 50 – 56.
Федотов П. В., Степанов О. Г.
Внесение изменений в автоматные программы //
Научно-технический вестник СПбГУ ИТМО. 2011. № 1, с. 77 – 83.
Александров А. В., Казаков С. В. Сергушичев А. А., Царев Ф. Н., Шалыто А. А.
Генерация конечных автоматов для управления моделью беспилотного самолета //
Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 3 – 11.
Клебан В. О., Шалыто А. А.
Разработка системы управления малоразмерным вертолетом //
Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 12 – 16.
Соколов Д. О.
Применение двухэтапного генетического программирования для построения модели танка в игре «Robocode» //
Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 16 – 22.
Чернявский И. И.
Применение машинного обучения для создания управляющих автоматов на примере игры «Robocode» //
Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 22 – 26.
Алексеев С. А., Калиниченко А. И., Клебан В. О., Шалыто А. А.
Автоматический синтез системы управления мобильным роботом для решения задачи «Кегельринг» //
Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 26 – 31.
Сергеев А. А., Клебан В. О., Шалыто А. А.
Анализ эффективности использования GPU для автоматического синтеза системы управления мобильным роботом //
Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 32 – 36.
Алексеев С. А., Клебан В. О., Шалыто А. А.
Программно-аппаратный комплекс для исследования автоматного управления мобильными роботами //
Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 37 – 40.
Скорынин П. А.
Детекторы особенностей в методе Виолы-Джонса, построенные на основе конечных автоматов //
Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 40 – 44.
Трофимов Д. А., Шалыто А. А.
Методы оптимизации стратегий в играх для двух участников с использованием генетических алгоритмов //
Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 45 – 49.
Заикин А. К.
Разработка методов построения конечных автоматов с использованием алгоритма имитации отжига на примере игры «Война за ресурсы» //
Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 49 – 54.
Данилов В. Р., Шалыто А. А.
Метод представления автоматов линейными бинарными графами для использования в генетическом программировании //
Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 54 – 57.
Кулев В. А.
Автоматический подбор параметров внешней среды при генерации автоматных программ с помощью генетических алгоритмов //
Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 57 – 62.
Тихомиров А. В., Шалыто А. А.
Применение генетического подхода для генерации клеточных автоматов //
Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 62 – 66.
Законов А. Ю., Шалыто А. А.
Применение генетических алгоритмов для генерации тестов для автоматных программ //
Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 66 – 72.
Буздалов М. В.
Генерация тестов для олимпиадных задач по программированию с использованием генетических алгоритмов //
Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 72 – 77.
Борисенко А. А., Парфенов В. Г.
Совместное применение контрактов и верификации для повышения качества автоматных программ //
Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 77 – 81.
Тяхти А. С.
Виртуальная лаборатория обучения методам искусственного интеллекта для генерации управляющих конечных автоматов //
Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 81 – 85.
Колесников Е. И., Костиков Е. В., Шагаров С. С.
Исследование рекурсивных алгоритмов сжатия и восстановления изображения //
Известия СПбГЭТУ «ЛЭТИ». 2011. № 4, с. 36 – 40.
Цыцулин А. К., Фахми Ш. С., Колесников Е. И., Очкур С. В.
Функционал взаимообмена сложности и точности систем кодирования непрерывного сигнала //
Информационные технологии. 2011. № 4, с. 71 – 77.
Ахи А. А., Станкевич А. С., Шалыто А. А.
Алгоритм построения флибов со 100%-ой точностью предсказания //
Информационные технологии. 2011. № 7, с. 34 – 37.
Александров А.В., Казаков С.В., Мельников С.В., Сергушечев А.А., Царев Ф.Н., Шалыто А.А.
Метод исправления ошибок в наборе чтений нуклеатидной последовательности //
Научно-технический вестник СПбГУ ИТМО. 2011. Вып. 5, с. 81 - 84.
Казаков С.В., Царев Ф.Н., Шалыто А.А.
Метод построения конечных автоматов верхнего уровня для управления моделью беспилотного
самолета на основе обучающих примеров //
Научно-технический вестник СПбГУ ИТМО. 2011. Вып. 6, с. 64 - 68.
Буздалов М.В. Генерация тестов для олимпиадных задач по теории графов с использованием эволюционных стратегий //
Научно-технический вестник СПбГУ ИТМО. 2011. Вып. 6, с. 123 - 127.
V. Статьи
Янкин Ю. Ю., Шалыто А. А. Применение автоматного подхода при программировании модулей управления шаговыми двигателями, выполненных на основе ПЛИС //Системы управления и обработки информации. 2011. Вып. 22. с. 92 – 103.
VI. Конференции
1. XXXIX научная и учебно-методическая конференция профессорско-преподавательского и научного состава СПбГУ ИТМО. 2011.
Шалыто А. А., Царев Ф. Н., Буздалов М. В., Федотов П. В., Малаховски Я. М., Заикин А. К., Кошевой А. А., Скорынин П. А. Разработка основных положений применения искусственного интеллекта и верификации моделей для создания программных систем со сложным поведением на основе автоматного подхода.
Шалыто А. А., Царев Ф. Н., Дворкин М. Э., Чернявский И. И., Александров А. В., Казаков С. В., Сергушичев А. А., Ульянцев В. И. Разработка методов машинного обучения на основе генетического программирования для построения управляющих конечных автоматов.
Гуров В. С., Царев Ф. Н., Данилов В. Р., Поликарпова Н. И., Буздалов М. В., Царев М. Н., Александров А. В., Сергушичев А. А., Казаков С. В. Разработка методов совместного применения генетического и автоматного программирования для построения систем управления беспилотными летательными аппаратами.
Царев Ф. Н., Егоров К. В., Буздалов М. В., Царев М. Н., Ульянцев В. И. Разработка методов машинного обучения на основе генетических алгоритмов для построения управляющих конечных автоматов.
Шалыто А. А, Шопырин Д. Г., Гуров В. С., Корнеев Г. А., Царев Ф. Н., Клебан В. О., Егоров К. В., Суясов Д. И., Кошевой А. А., Царев М. Н., Скорынин П. А., Попов С. И., Попов Ю. И., Буздалов М. В., Малаховски Я. М., Федотов П. В. Применение методов искусственного интеллекта в разработке управляющих программных систем.
Шопырин Д. Г., Гуров В. С., Корнеев Г. А., Степанов О. Г., Царев Ф. Н., Лукин М. А., Астафуров А. А., Клебанов А. А., Яминов Б. Р., Егоров К. В., Царев М. Н., Малаховски Я. М., Буздалов М. В., Борисенко А. А., Федотов П. В. Методы повышения качества при разработке автоматных программ с использованием функциональных и объектно-ориентированных языков программирования.
Клебан В. О., Шалыто А. А. Разработка системы управления малоразмерным вертолетом.
Соколов Д. О. Применение двухэтапного генетического программирования для построения модели танка в игре Robocode.
Чернявский И. И. Применение машинного обучения для создания управляющих автоматов на примере игры Robocode.
Алексеев С. А., Калиниченко А. И., Клебан В. О., Шалыто А. А. Автоматический синтез системы управления мобильным роботом для решения задачи Кегельринг.
Сергеев А. А. Анализ эффективности использования графических сопроцессоров для автоматического синтеза системы управления мобильным роботом.
Алексеев С. А., Клебан В. О., Шалыто А. А. Программно-аппаратный комплекс для исследования автоматного управления мобильными роботами.
Скорынин П. А., Клебан В. О. Детекторы особенностей в методе Виолы-Джонса, построенные на основе конечных автоматов.
Трофимов Д. А., Шалыто А. А. Методы оптимизации стратегий в играх для двух участников с использованием генетических алгоритмов.
Данилов В. Р., Шалыто А. А. Метод представления автоматов линейными бинарными графами для использования в генетическом программировании.
Кулев В. А. Автоматический подбор параметров внешней среды при генерации автоматных программ с помощью генетических алгоритмов.
Тихомиров А. В., Шалыто А. А. Применение генетического подхода для генерации клеточных автоматов.
Законов А. Ю., Шалыто А. А. Применение генетических алгоритмов к генерации тестов для автоматных программ.
Буздалов М. В. Генерация тестов для олимпиадных задач по программированию с использованием генетических алгоритмов.
Борисенко А. А., Парфенов В. Г. Совместное применение контрактов и верификации для повышения качества автоматных программ.
Тяхти А. С. Виртуальная лаборатория обучения методам искусственного интеллекта для генерации управляющих конечных автоматов.
Столяров Л. В., Петряйкин Ф. А., Уваров Н. С. Разработка платформы автоматного моделирования с возможностью трехмерной визуализации.
2. Состояние, проблемы и перспективы создания корабельных информационно-управляющих комплексов. ОАО «Концерн «Моринформсистема «Агат». М.: 2011.
Ремизов А. О., Шалыто А. А. Процесс создания программного обеспечения с использованием автоматного подхода // Сборник докладов конференции «Состояние, проблемы и перспективы создания корабельных информационно-управляющих комплексов». М.: ОАО «Концерн «Моринформсистема «Агат». 2011, с. 229 – 234.
3. VIII Всероссийская межвузовская конференция молодых ученых. СПбГУ ИТМО. 12-15 апреля 2011.
IV сессия научной школы «Технологии высокопроизводительных вычислений и компьютерного моделирования»
Шалыто А. А. Автоматное программирование и мотивация к творчеству.
III сессия научной школы «Технологии программирования и искусственный интеллект»
Александров А. В., Казаков С. В., Сергушичев А. А., Мельников С. В., Исенбаев В. В., Царев Ф. Н. Метод сборки генома с помощью восстановления его аргументов по парным чтениям.
Борисенко А. А. Контроль качества программ со сложным поведением: инкрементальная верификация.
Буздалов М. В. Генерация тестов для олимпиадных задач по программированию с использованием эволюционных стратегий.
Вельдер С. Э. Автоматическое доказательство аналогов гипотезы Черни-Пэна.
Вотинов И. А., Григорьева М. В. Анализ применимости правил вывода контекстно-свободных грамматик в фреймовых моделях экспертных систем.
Геращенко Е. В. Алгоритм сравнения и слияния абстрактных синтаксических деревьев в среде языково-ориентированного программирования.
Гиндин С. И. Учет сложности варианта задания при оценке результатов тестирования.
Егоров К. В. Применение генетического программирования для построения автоматов управления системами со сложным поведением на основе контрактов и тестовых примеров.
Лукин М. А. Верификация автоматных программ при помощи верификатора SPIN.
Малаховски Я. М. Применение зависимых систем типов для валидации и верификации автоматных программ.
Малаховски Я. М. Верификация аспектов управления ресурсами автоматных программ.
Паращенко Д. А., Станкевич А. С. Суффиксные автоматы с сохранением промежуточных версий и их приложения.
Паращенко Д. А., Станкевич А. С. Обработка строк на основе суффиксных автоматов.
Пенькин Д. М. Адаптивный алгоритм выявления плагиата исходного кода программ.
Попов С. И. Многоэтапное обучение агентов, управляемых автоматами, с помощью генетических алгоритмов.
Попов С. О. Применение генетического программирования для генерации конечных автоматов по спецификации.
Попов Ю. И. Применение генетических алгоритмов и автоматов в асимметрических гибридных играх.
Селифонов Е. В. Оптимизация высокопроизводительных вычислений с использованием графических процессоров.
Смирнов Е. В. Применение генетических алгоритмов для локальной оптимизации программного кода.
Сорокин И. В. Использование модифицированной платформы Стюарта для моделирования динамики движущегося объекта.
Тихомиров А. В. Генерация клеточных автоматов на основе обучающих примеров при помощи генетического программирования.
Ульянцев В. И. Применение методов решения задач о выполнимости булевой функции для построения управляющих конечных автоматов по сценарию работы.
Федотов П. В. Разработка методов безопасного внесения изменений в автоматные программы.
Тимофеев К. И. Проектирование и реализация Web-приложений с использованием автоматного программирования на примере REST- и MVC-архитектур.
Чеботаев А. П. Построение рекомендательной системы с использованием вложенных тегов в качестве абстракции над любым видом данных.
Чеботарева Ю. К. Применение центральных паттерн-генераторов и генетических алгоритмов для генерации движений человекоподобных роботов.
Яминов Б. Р. Верификация автоматных программ при помощи верификации UniMod. Verifier.
Секция 1. «Информационные системы и технологии»
Бульенов А. В. Применение автоматного программирования в frontend-разработке.
Красильников Н. Н. Семантическая инфраструктура социальной сети.
Маврин П. Ю., Станкевич А. С. Проблемы автоматической генерации вариантов заданий для проверочных работ.
Секция 6. «Фотоника и оптотехника»
Колесников Е. И. Оценка эффективности полигонально-рекурсивных структур кодирования полутоновых изображений.
Секция 12. «Интеллектуальные системы в гуманитарной сфере»
Царев М. Н. Разработка экспертной системы для оценки качества действий судьи в игровых видах спорта на примере футбола.
4. Всероссийская конференция «Мехатроника и робототехника. Современное состояние и тенденции развития. Новочеркасск. ЮРГТУ (НПИ). 2011.
Колчанов И. С., Савченко А. В., Шалыто А. А. Исследование законов управления насосным агрегатом в системе жилищно-коммунального хозяйства // Сборник статей Всероссийской конференции «Мехатроника и робототехника. Современное состояние и тенденции развития». Новочеркасск: ЮРГТУ (НПИ). 2011, с. 105 – 108.
Попович М. А., Савченко А. В., Шалыто А. А. Исследование влияния способа управления асинхронным двигателем на энергопотребление насосного агрегата // Сборник статей Всероссийской конференции «Мехатроника и робототехника. Современное состояние и тенденции развития». Новочеркасск: ЮРГТУ (НПИ). 2011, с. 135 – 139.
5. 13-я международная конференция «Цифровая обработка сигналов и ее приложения. DSPA – 2011». М.: Институт проблем управления им. В.А. Трапезникова РАН. 2011.
Колесников Е. И., Костикова Е. В. Развитие триангуляционного подхода сжатия и восстановления изображений /Доклады 13-ой международной конференции «Цифровая обработка сигналов и ее приложения. DSPA – 2011». М.: Институт проблем управления им. В.А. Трапезникова РАН. 2011. Выпуск: XIII – 2, с. 131 – 133.
6. 14-th Annual Graduate Workshop (part of the «Genetic and Evolutionary Computation Conference». GECCO – 2011). Dublin. Organized by ACM SIGEVO.
Tsarev F., Egorov K. Finite State Machine Induction using Genetic Programming Based on Testing and Model Checking /
Proceedings of the 2011 GECCO Conference Companion on Genetic and Evolutionary Computation. NY. : ACM. 2011, pp. 759 – 762.
Buzdalov M. Generation of Tests for Programming Challenge Tasks using Evolution Algorithms /
Proceedings of the 2011 GECCO Conference Companion on Genetic and Evolutionary Computation. NY. : ACM. 2011, pp. 763 – 766.
Alexandrov A. , Sergushichev A., Kazakov S., Tsarev F. Genetic Algorithm for Induction of Finite Automation with Continuous and Discrete Output Actions /
Proceedings of the 2011 GECCO Conference Companion on Genetic and Evolutionary Computation. NY. : ACM. 2011, pp. 775 – 778.
7. Вторая Межвузовская научная конференция по проблемам информатики (СПИСОК – 2011). Матмех. СПбГУ, 29.04.2011. Секция «Автоматное управление, эволюционные алгоритмы, верификация на моделях». Руководитель – А.А. Шалыто
Сергушичев А. А., Исенбаев В. В., Царев Ф. Н., Прохорчук Е. Б., Шалыто А. А.
Разработка метода восстановления фрагментов нуклеотидных последовательностей по парным чтениям /
Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 320 – 325.
Александров А. В., Казаков С. В., Мельников С. В., Прохорчук Е. Б., Царев Ф. Н., Шалыто А. А.
Разработка метода удаления ошибок из набора чтений нуклеотидной последовательности /
Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 326 – 329.
Александров А. В., Казаков С. В., Сергушичев А. А., Царев Ф. Н., Шалыто А. А.
Применение генетических алгоритмов на основе обучающих примеров для построения конечных автоматов для управления моделью беспилотного самолета /
Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 330 – 332.
Казаков С. В., Царев Ф. Н., Шалыто А. А.
Метод построения конечных автоматов верхнего уровня для управления моделью беспилотного самолета на основе обучающих примеров /
Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 333 – 335.
Буздалов М. В.
Генерация тестов для олимпиадных задач по программированию с использованием эволюционных стратегий /
Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 336 – 338.
Буздалов М. В.
Генерация конечных автоматов с помощью генетических алгоритмов для решения задач навигации /
Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 339 – 342.
Егоров К. В., Царев Ф. Н.
Применение генетического программирования для построения автоматов управления системами со сложным поведением на основе верификации моделей и обучающих примеров /
Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 343 – 350.
Егоров К. В., Шалыто А. А.
Применение генетического программирования для построения автоматов управления системами со сложным поведением на основе контрактов и тестовых примеров /
Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 351 – 355.
Ульянцев В. И., Царев Ф. Н.
Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы /
Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 356 – 358.
Вельдер С. Э.
Автоматическое доказательство аналогов гипотезы Черни-Пэна /
Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 359 – 362.
Паращенко Д. А., Станкевич А. С.
Обработка строк на основе суффиксных автоматов /
Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 363 – 365.
Паращенко Д. А., Станкевич А. С.
Суффиксные автоматы с сохранением промежуточных версий и их приложения /
Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 366 – 367.
Малаховски Я. М.
Применение систем типов для валидации и верификации автоматных программ /
Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 368, 369.
Тихомиров А. В.
Генерация клеточных автоматов на основе обучающих примеров при помощи генетического программирования /
Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 370 – 372.
Лукин М. А.
Разработка и верификация многопоточных автоматных программ /
Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 373, 374.
Алексеев С. А., Клебан В. О.
Программно-аппаратный комплекс для исследования аппаратного управления мобильными роботами /
Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 375, 376.
Смирнов Е. В.
Применение генетических алгоритмов для локальной оптимизации программного кода /
Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 377 – 379.
Купцов А. В.
Вывод nullness-контрактов из исходного кода программы с помощью графа потока управления /
Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 380 – 384.
8. VI-ая Международная научно-практическая конференция «Интегрированные модели и мягкие вычисления в искусственном интеллекте. Коломна: 2011.
Буздалов М. В. Генерация конечных автоматов с помощью генетических алгоритмов для решения задач навигации //Сборник научных трудов VI-ой Международной научно-практической конференции «Интегрированные модели и мягкие вычисления в искусственном интеллекте. М. : Физмалит. 2011, с. 566 – 577.
Егоров К. В., Шалыто А. А. Применение генетического программирования для построения автоматов управления системами со сложным поведением на основе контрактов и тестовых примеров //Сборник научных трудов VI-ой Международной научно-практической конференции «Интегрированные модели и мягкие вычисления в искусственном интеллекте. М. : Физмалит: 2011, с. 610 – 615.
9. XIV Международная конференция по мягким вычислениям и измерениям (SCM'2011)
Вихарев А.К., Ульянцев В.И., Шалыто А.А. Применение алгоритма EDSM для
построения управляющих конечных автоматов по сценариям работы // Сборник докладов XIV
Международной конференции по мягким вычислениям и измерениям (SCM'2011). -
Санкт-Петербург, СПбГЭТУ, 2011. - Т. 2. - С. 76-80.
Ульянцев В.И., Царев Ф.Н., Шалыто А.А. Применение методов решения задачи о
выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям
работы // Сборник докладов XIV Международной конференции по мягким вычислениям и
измерениям (SCM'2011). - Санкт-Петербург: СПбГЭТУ, 2011. - Т. 2. - С. 69-75.
10. Конференция «Разработка ПО 2011» (CEE-SECR 2011) Центр Digital October, Москва, 31 октября – 3 ноября
11. Международная конференция в области управления проектами "Software Project Management Conference". СПб.: 26.11.2011.
Шалыто А.А. Кадры для ИТ-индустрии: найти и удержать /
Международная конференция в области управления проектами "Software Project Management Conference".
СПб.: 2011, с. 23. http://it-conf.ru/ru/content/403.htm и http://www.slideshare.net/VLDCORP/ss-10494723
12. Корабельные системы управления и обработки информации. Проектирование и изготовление. Научно-техническая конференция молодых специалистов. СПб.: ОАО "Концерн "НПО "Аврора". 24.11.2011 г.
Ремизов А.О., Волобуев В.Н., Шалыто А.А. Верификация автоматных программ методом Model Checking /
Сборник тезисов докладов научно-технической конференции молодых специалистов "Корабельные системы управления и обработки информации. Проектирование и изготовление".
СПб.: ОАО "Концерн "НПО "Аврора". 2011, с. 53,54.
13. 10th International Conference on Machine Learning and Applications. Honolulu, Hawaii, Dec. 18-21, 2011
Ulyantsev V., Tsarev F. Extended Finite-State Machine Induction using SAT-Solver /
Proceedings of the Tenth International Conference on
Machine Learning and Applications, ICMLA 2011, Honolulu, HI, USA,
18-21 December 2011. IEEE Computer Society, 2011. Vol. 2. P. 346–349.
Afanasyeva A., Buzdalov M. Choosing Best Fitness Function with Reinforcement Learning /
Proceedings of the Tenth International
Conference on Machine Learning and Applications, ICMLA 2011, Honolulu,
HI, USA, 18-21 December 2011. IEEE Computer Society, 2011. Vol. 2. P. 354–357.
VII. Свидетельства о регистрации программ
Колесников Е. И., Костикова Е. В.
Программный кодек изображений методом разбиения на два полигона //
Свидетельство о регистрации программы для ЭВМ. № 2011 6130 77. Дата регистрации – 18.04.2011.
Колесников Е. И., Костикова Е. В.
Полигональный рекурсивный кодер изображений //
Свидетельство о регистрации программы для ЭВМ. № 2011 613 700. Дата регистрации – 12.05.2011.
Александров А. В., Исенбаев В. В., Казаков С. В., Мельников С. В., Сергушичев А. А., Царев Ф. Н.
Программное средство для удаления ошибок из набора чтений нуклеотидной последовательности //
Свидетельство о регистрации программы для ЭВМ. № 2011 614454. Дата регистрации – 06.06.2011.
Александров А. В., Казаков С. В., Сергушичев А. А., Царев Ф. Н.
Программное средство для генерации конечных автоматов с дискретными и непрерывными выходными воздействиями //
Свидетельство о регистрации программы для ЭВМ. № 2011 615664. Дата регистрации - 19.07.2011.
Федотов П.В., Шестаков А.В.
Программное средство для автоматизированных рефакторингов в инструментальном средстве Unimod //
Свидетельство о регистрации программы для ЭВМ. № 2011 615490. Дата регистрации - 14.07.2011.
Федотов П.В., Лиференко К.А.
Виртуальная лаборатория для обучения рефакторингу автоматных программ //
Свидетельство о регистрации программы для ЭВМ. № 2011 615491. Дата регистрации - 14.07.2011.
Буздалов М.В.
Программное средство для построения управляющих конечных автоматов, решающих задачи навигации, с использованием генетических алгоритмов //
Свидетельство о регистрации программы для ЭВМ. № 2011 613927. Дата регистрации - 14.07.2011.
Тяхти А.С., Царев Ф.Н., Чебатуркин А.А.
Виртуальная лаборатория для обучения методам искусственного интеллекта при построении конечных автоматов //
Свидетельство о регистрации программы для ЭВМ. № 2011 615119. Дата регистрации - 08.09.2011.
VIII. Статьи (публицистические)
Шалыто А. А. Неужели вы придаете значение словам? // Образование для взрослых. Эксперт-выпуск. 2011. № 8, с. 40, 41.
Парфенов В. Г., Шалыто А. А. Подготовка высококвалифицированных специалистов в области производства программного обеспечения и развитие
технологий программирования на кафедре «Компьютерные технологии» /
Университет XXI века. СПбГУ ИТМО. 2011, с. 53 – 126.
IX. Книга публицистическая
Шалыто А.А. Заметки о мотивации. СПб.: Мозаика НК. 2011. – 72 с.
Шалыто А.А. Заметки о мотивации. СПб.: Мозаика НК. 2011. – 112 с.
X. Диссертации
Новиков Ф.А. Методы алгоритмизации предметных областей. Диссертация на соискание ученой степени доктора технических наук. НИУ ИТМО, 2011.
Станкевич А.С. Методология и технические решения для проведения олимпиад по информатике и программированию. Диссертация на соискание ученой степени кандидата технических наук. НИУ ИТМО, 2011.
XI. Награды
Студенты и аспиранты кафедры «Компьютерные технологии» НИУ ИТМО, выигравшие гранты Правительства
Санкт-Петербурга для студентов, аспирантов, молодых ученых и молодых кандидатов наук //
Шестнадцатая Санкт-Петербургская Ассемблея молодых ученых и специалистов. СПб.: 2011. – 170 с.
Буздалов М.В. Генерация тестов для олимпиадных задач по теории графов с использованием эволюционных алгоритмов.
Малаховски Я.М. Применение систем типов для валидации и верификации автоматных программ, представленных на функциональных языках программирования.
Федотов П.В. Разработка методов внесения изменений в автоматные программы.
Калиниченко А.И. Автоматический синтез системы управления мобильным роботом.
Попов С.И. Разработка методов автоматизации распутывания «клинчей» в топологии печатного монтажа.
Царев Ф.Н. Разработка методов машинного обучения на основе эволюционных алгоритмов и верификация моделей для построения управляющих конечных автоматов.