УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»

Научная работа за 2009 год

• Аналитическая ведомственная целевая программа «Развитие научного потенциала высшей школы». Мероприятие 2. «Проведение фундаментальных исследований в области естественных, технических и гуманитарных наук. Научно-методическое обеспечение развитие инфраструктуры вузовской науки». Раздел 2.1. Подраздел 2.1.2. «Адаптивное и автоматное управление мобильными роботами». Регистрационный номер: 2.1.2/6326.
• Федеральная целевая программа «Научные и научно-педагогические кадры инновационной России» на 2009 - 2013 годы. Направление 1. «Стимулирование закрепления молодежи в сфере науки, образования и высоких технологий». Мероприятие 1.3.1. «Проведение научных исследований молодыми учеными – кандидатами наук». Выполнение поисковых научно-исследовательских работ по проекту (лоту): «Проведение поисковых научно-исследовательских работ по направлению «Информатика». Тема: «Разработка методов совместного применения генетического и автоматного программирования для построения систем управления беспилотными летательными объектами». Регистрационный номер: НК–178/12.
• Федеральная целевая программа «Научные и научно-педагогические кадры инновационной России» на 2009–2013 годы. Мероприятие 1.2.2. «Проведение научных исследований научными группами под руководством кандидатов наук». Открытый конкурс НК-421П на выполнение НИР по направлениям «Информатика», …, по проблеме «Методы повышения качества при разработке автоматных программ с использованием функциональных и объектно-ориентированных языков программирования».
• Федеральная целевая программа «Научные и научно-педагогические кадры инновационной России» на 2009–2013 годы. Мероприятие 1.3.2. «Проведение научных исследований целевыми аспирантами». Открытый конкурс НК-385П на выполнение НИР по направлению «Информатика» по проблеме «Разработка методов машинного обучения на основе генетических алгоритмов для построения управляющих конечных автоматов».

• Поликарпова Н. И., Шалыто А. А. Автоматное программирование. СПб.: Питер. 2009. 176 с.

• Васильев В.Н., Парфенов В.Г., Шалыто А.А. Инновационная система подготовки специалистов в области производства программного обеспечения в СПбГУ ИТМО // Научно-технический вестник СПбГУ ИТМО. 2009. № 4 (62), с.5–12.
• Тимофеев К.И, Астафуров А.А., Шалыто А.А. Наследование автоматных классов с использование динамических языков программирования (на примере языка RUBY) // Информационно-управляющие системы. 2009. № 4, с.21–25.
• Шалыто А. А., Мандриков Е. А., Чеботарева Ю. К. Автоматное программирование и параллельные вычисления //Известия высших учебных заведений. Приборостроение. 2009. № 10, с. 66–73.
• Вельдер С. Э., Шалыто А. А. Верификация автоматных моделей методом редуцированного графа переходов // Научно-технический вестник СПбГУ ИТМО. 2009. № 6 (64), с. 66–77.
• Малаховски Я. М., Шалыто А. А. Реализация конечных автоматов на функциональных языках программирования //Информационно-управляющие системы. 2009. №6, с. 30–33.
• Владыкин А.А., Шалыто А.А. Непроцедурный текстовый язык описания автоматных обработчиков XML-документов и его применение // Информационные технологии. 2009. № 12, с.38-45.
• Малаховски Я. М., Шалыто А. А. Конечные автоматы в чистых функциональных языках программирования. Автоматы и Haskell // RSDN. 2009. № 3, с.
• Поликарпова Н. И., Шалыто А. А. Парадигма автоматного программирования //RSDN Magazinе. 2009. № 1, с.53–58.

1. Davydov A., Sokolov D., Tsarev F., Shalyto A. Application of Genetic Programming for Generation of Controllers represented by Automata / Preprints of the 13th IFAC Symposium on Information Control Problems in Manufacturing. Moscow. Russia. June 3 – 5, 2009, pp. 684–689.

1. Бедный Ю. , Шалыто А. А. Применение генетических алгоритмов для создания системы управления танком в игре Robocode / Труды четвертой международной конференции по проблемам управления. М.: Институт проблем управления. 2009, с.1521-1529.
2. Васильев В. Н., Казаков М. А., Корнеев Г. А., Парфенов В. Г., Шалыто А. А. Три кита подготовки программистов //Открытые системы. 2009. № 3, с. 54-56.
3. Федотов П.В., Царев Ф.Н., Шалыто А.А. Задача поиска усердных бобров и ее решение // Компьютерные инструменты в образовании. 2009. № 2, с. 70–76.
4. Столяров Л.В., Дединский И.Р., Шалыто А.А. Трансляция описаний автоматов, представленных в формате Microsoft Visio, в исходный код на языке C // Прикладная дискретная математика. Приложение. 2009. № 1, c. 81–83.
5. Столяров Л. В. Трансляция описаний автоматов, представленных в формате Microsoft Visio, в исходный код на языке C //Компьютерные инструменты в образовании. 2009. № 4, с. 35–44.
6. Ремизов А. О., Шалыто А. А. Применение автоматного подхода при создании программного обеспечения БИУС //Системы управления и обработки информации. 2009. Вып. 18, с. 82–87.
7. Волобуев В. Н., Калачинский А. В. Опыт использования автоматного подхода при разработке программного обеспечения систем боевого управления //Системы управления и обработки информации. 2009. Вып. 18, с. 88–92.
8. Опарин В. В., Тулупьев А. Л. Синтез графа смежности с минимальным числом ребер: формализация алгоритма и анализ его корректности //Труды СПИИРАН. 2009. Вып. 11, с. 142–157.

Международная конференция по проблемам управления - IV. М. Институт проблем управления РАН им. В. А. Трапезникова. 26-30 января 2009 г.
1. Клебан В. О., Шалыто А. А. Автоматный подход к проектированию многоуровневых систем управления мобильными роботами.
2. Клебан В. О., Шалыто А. А. Компонентная архитектура программного обеспечения мобильного робота.
XXXVIII научная и учебно-методическая конференция профессорско-преподавательского и научного состава СПбГУ ИТМО. Санкт-Петербург. 4 февраля 2009 г.
1. Вельдер С. Э. Метод верификации автоматных моделей на основе редуцированного графа переходов.
2. Данилов В. Р. Программное средство AutoAnt для генерации автоматов, представленных деревьями решений.
3. Яминов Б. Р., Шалыто А. А. Верификация автоматных программ при помощи верификатора UniMod/verifier.
4. Давыдов А. А., Соколов Д. О., Царев Ф. Н. Разработка программного средства 3 Genetic для генерации автоматов управления системами со сложным поведением.
5. Лукин М. А., Шалыто А. А. Верификация визуальных автоматных программ с использованием инструментального средства SPIN.
6. Бульенов А. В. Применимость автоматного программирования в разработке веб-приложений.
VI Всероссийская межвузовская конференция молодых ученых. Сессии научных школ. 14-17 апреля 2009 года: Программа. - СПб: СПбГУ ИТМО, 2009. Секций 6 "Информационные технологии", подсекция А - Автоматное програмирование
• Владыкин А.А. (аспир.). Эффективный разбор XML на основе автоматного подхода.
• Суясов Д.И. (аспир.). Утончение изображений символов на основе клеточных автоматов.
• Суясов Д.И. (аспир.). Технология распознавания символов на основе клеточных автоматов.
• Колесников Е.И. (аспир.). Обзор маршрутов проектирования прикладного программного обеспечения для ПЛИС/ASIC/SoC на основе языков С/С++.
• Малаховски Я.М. (студ.). Реализация конечных автоматов на функциональных языках программирования.
• Чепурной А.И. (аспир.). Выбор исполнимой модели для описания логики переходов веб-приложений.
• Клебан В.О. (студ.). Контроль работы автоматных программ с использованием аппарата цифровой обработки сигналов.
• Клебан В.О. (студ.), Стрюк Л.Е. (студ.). Моделирование бизнес-процессов с использованием конечных автоматов.
• Бульёнов А.В. (аспир.). Методы автоматного программирования в разработке web-приложений.
• Буздалов М.В. (студ.). Применение генетических алгоритмов для генерации тестов к олимпиадным задачам по программированию.
• Вельдер С.Э. (аспир.). Верификация автоматных моделей на основе построения редуцированного графа переходов.
• Стрюк Л.Е. (студ.), Клебан В.О. (студ.). Использование конечных автоматов при построении ядра микрооперационной системы реального времени.
• Царев Ф.Н. (студ.). Применение метода представления функции переходов с помощью абстрактных конечных автоматов в генетическом программировании.
• Попов С.О. (студ.). Метод построения детерминированных автоматов на основе использования вероятностных автоматов.
• Родиков Д.Е. (студ.), Соколов Д.О. (студ.). Анализ использования нескольких функций приспособленности для построения автоматов с помощью генетических алгоритмов на примере задачи "Умный муравей 3".
• Чеботарева Ю.К. (студ.). Применение генетических алгоритмов для генерации числовых последовательностей, описывающих движение, на примере шага вперед человекоподобного робота.
• Федотов П.В. (студ.), Соколов Д.О. (студ.), Царев Ф.Н. (студ.). Применение генетического программирования в задаче поиска усердных бобров.
• Канжелев С.Ю. (аспир.). Декомпозиция логики конечных автоматов и особенности ее реализации.
• Лукин М.А. (студ.). Верификация визуальных автоматных программ с использованием инструментального средства SPIN.
• Тимофеев К.И. (студ.), Астафуров А.А. (аспир.). Наследование автоматных классов с использованием динамических языков программирования (на примере языка RUBY).
• Мандриков Е.А. (студ.), Кулев В.А. (студ.). Применение автоматного программирования для построения систем управления бизнес-процессами.
• Маврин П.Ю. (аспир.). Декларативное объявление сервисов в динамических компонентных системах.
XIII Всероссийская конференция по проблемам науки и высшей школы "Фундаментальные исследования и инновации в технических университетах". СПбПУ. 18,19 мая 2009 г.
• Шалыто А. А. Автоматное программирование. Новые задачи /Материалы XIII Всероссийской конференция по проблемам науки и высшей школы "Фундаментальные исследования и инновации в технических университетах". Т.1. СПбПУ. 2009, с.19-21.
Северо-Западная региональная научно-практическая конференция "Одаренные дети: проблемы, перспективы, развитие". СПб академия постдипломного педагогического образования. 20,21 апреля 2009 г.
• Шалыто А. А. Проектные методы в обучении одаренных студентов и школьников.
Third Spring Young Researchers` Colloquiums on Software Engineering (SYRCoSE`2009). Moscow. 2009.
• Gubin Y., Timofeev K., Shalyto A. Creation of Automation Classes from Graphical Models and Automatic Solutions for Inverse Problem / Proceeding of the Third Spring Young Researchers` Colloquiums on Software Engineering (SYRCoSE`2009). Moscow. 2009, pp. 50-55.
• Timofeev K., Astafurov A. Inheritance of Automata Classes Using Dynamic Programming Languages (using Ruby as an Example) /Proceeding of the Third Spring Young Researchers` Colloquiums on Software Engineering (SYRCoSE`2009). Moscow. 2009, pp. 104-108.
• Reshetnikov E. Automata-based Programming in Visual Studio 2005: State Machine Designer Tool //Proceeding of the Third Spring Young Researchers` Colloquiums on Software Engineering (SYRCoSE`2009). Moscow. 2009, pp. 109-113.
• Mandrikov E., Kulev V. Application of Automata-Based Programming for Construction of Bisiness Processes Management Systems /Proceeding of the Third Spring Young Researchers` Colloquiums on Software Engineering (SYRCoSE`2009). Moscow. 2009, pp. 114, 115.
• Vladykin A. Declarative Language for SAX Handler Definition /Proceeding of the Third Spring Young Researchers` Colloquiums on Software Engineering (SYRCoSE`2009). Moscow. 2009, pp. 116-118.
Научно-практическая конференция студентов, аспирантов, молодых ученых и специалистов "Интегрированные модели, мягкие вычисления, вероятностные системы и комплексы программ в искусственном интеллекте (ИММВИИ-2009)". Коломна. 26, 27 мая 2009 г.
• Данилов В. Р., Шалыто А. А. Представление функции переходов линейными бинарными графами при генерации управляющих автоматов с помощью генетического программирования / Научные доклады научно-практической конференции студентов, аспирантов, молодых ученых и специалистов "Интегрированные модели, мягкие вычисления, вероятностные системы и комплексы программ в искусственном интеллекте". М.: Физматлит. 2009. T.1, с. 109-115.
• Красс А. Л. Метод обучения сложных систем с большим числом входных данных и выходных воздействий / Научные доклады научно-практической конференции студентов, аспирантов, молодых ученых и специалистов "Интегрированные модели, мягкие вычисления, вероятностные системы и комплексы программ в искусственном интеллекте". М.: Физматлит. 2009. T.1, с. 147-156.
• Царев Ф. Н. Применение метода представления функций переходов с помощью абстрактных конечных автоматов в генетическом программировании / Научные доклады научно-практической конференции студентов, аспирантов, молодых ученых и специалистов "Интегрированные модели, мягкие вычисления, вероятностные системы и комплексы программ в искусственном интеллекте". М.: Физматлит. 2009. T.1, с. 275-283.
• Гниломедов И. И. Моделирование экономических агентов при помощи конечных автоматов / Научные доклады научно-практической конференции студентов, аспирантов, молодых ученых и специалистов "Интегрированные модели, мягкие вычисления, вероятностные системы и комплексы программ в искусственном интеллекте". М.: Физматлит. 2009. T.2, с. 72-89.
• Давыдов А. А., Соколов Д. О., Царев Ф. Н. Применение генетического программирования и метода сокращенных таблиц переходов для построения автоматов управления моделью беспилотного летательного объекта / Научные доклады научно-практической конференции студентов, аспирантов, молодых ученых и специалистов "Интегрированные модели, мягкие вычисления, вероятностные системы и комплексы программ в искусственном интеллекте". М.: Физматлит. 2009. T.2, с. 90-99.
• Мандриков Е. А., Чеботарева Ю. К. Генерация числовых последовательностей, описывающих движение человекоподобного робота, при помощи генетических алгоритмов / Научные доклады научно-практической конференции студентов, аспирантов, молодых ученых и специалистов "Интегрированные модели, мягкие вычисления, вероятностные системы и комплексы программ в искусственном интеллекте". М.: Физматлит. 2009. T.2, с. 181-188.
V-я Международной научно-практической конференции "Интегрированные модели и мягкие вычисления в искусственном интеллекте". Коломна. 28-30 мая 2009 г.
• Данилов В. Р., Шалыто А. А. Метод представления функций переходов деревьями решений для генерации автоматов / Сборник научных трудов V-я Международной научно-практической конференции "Интегрированные модели и мягкие вычисления в искусственном интеллекте". Коломна. 2009. Т. 2, c. 589-595.
Форум РУССОФТ (Форум разработчиков ПО). СПб., 11.06.2009.
• Парфенов В. Г., Шалыто А. А. Подготовка высококвалифицированных специалистов по производству программного обеспечения (http://www.russoft.ru/msf/agenda.html).
Международная научная конференция «Компьютерные науки и информационные технологии». Саратов: СГУ. 2009.
• Шалыто А. А. Автоматное программирование. Новые задачи /Доклады Международной научной конференции "Компьютерные науки и информационные технологии". Саратов: СГУ. 2009, с.
• Царев Ф. Н. Метод построения автоматов управления системами со сложным поведением на основе тестов с помощью генетического программирования / Доклады Международной научной конференции "Компьютерные науки и информационные технологии". Саратов: СГУ. 2009, с.
• Маврин П. Ю., Корнеев Г. А. Компонентная модель с поддержкой динамической реконфигурации / Доклады Международной научной конференции "Компьютерные науки и информационные технологии". Саратов: СГУ. 2009, с.
Международная научная конференция «Компьютерные науки и информационные технологии». Саратов: СГУ. 2009.
• Шалыто А. А. Автоматное программирование. Новые задачи /Материалы Международной научной конференции «Компьютерные науки и информационные технологии». Саратов: СГУ. 2009, с. 219–223.
• Царев Ф. Н. Метод построения автоматов управления системами со сложным поведением на основе тестов с помощью генетического программирования / Материалы Международной научной конференции «Компьютерные науки и информационные технологии». Саратов: СГУ. 2009, с. 216–219.
• Маврин П. Ю., Корнеев Г. А., Станкевич А. С. Компонентная модель с поддержкой динамической реконфигурации / Материалы Международной научной конференции "Компьютерные науки и информационные технологии". Саратов: СГУ. 2009, с. 240, 241.
V-я Международной научно-практической конференции "Интегрированные модели и мягкие вычисления в искусственном интеллекте". Коломна. 28–30 мая 2009 г.
• Данилов В. Р., Шалыто А. А. Метод представления функций переходов деревьями решений для генерации автоматов / Сборник научных трудов V-я Международной научно-практической конференции «Интегрированные модели и мягкие вычисления в искусственном интеллекте». Т. 2. Коломна: Физматлит. 2009, c. 589–595.
Третьей Всероссийской научной конференции «Методы и средства обработки информации». МГУ. 2009 г.
• Данилов В. Р., Шалыто А. А. Представление функций переходов линейными бинарными графами при генерации управляющих автоматов с помощью генетического программирования / Труды Третьей Всероссийской научной конференции «Методы и средства обработки информации». МГУ. 2009, с. 110–115.
• Малаховки Я. М., Шалыто А. А. Реализация конечных автоматов на функциональных языках программирования / Труды Третьей Всероссийской научной конференции «Методы и средства обработки информации». МГУ. 2009, с. 136–142.
• Решетников Е. О. Инструментальное средство для поддержки автоматного программирования в среде разработки Microsoft Studio 2005 / Труды Третьей Всероссийской научной конференции «Методы и средства обработки информации». МГУ. 2009, с. 161–166.
Третья Всероссийская научная конференция «Нечеткие системы и мягкие вычисления». Волгоград: ВолгГТУ. 2009.
• Буздалов М. В. Применение генетических алгоритмов для определения неэффективных решений олимпиадных задач по программированию (на примере задачи о рюкзаке) / Сборник статей третьей Всероссийской научной конференции «Нечеткие системы и мягкие вычисления». Т.2. Волгоград: ВолгГТУ. 2009, с.16–24.
• Попов С. И., Попов Ю. И., Шалыто А. А. Задача о муравьеде и муравьях / Сборник статей третьей Всероссийской научной конференции «Нечеткие системы и мягкие вычисления». Т.2. Волгоград: ВолгГТУ. 2009, с. 57–63.
• Чеботарева Ю. К. Применение генетических алгоритмов для генерации функций, описывающих движение (на примере шага вперед человекоподобного робота) / Сборник статей третьей Всероссийской научной конференции «Нечеткие системы и мягкие вычисления». Т.2. Волгоград: ВолгГТУ. 2009, с.79–88.
Санкт-Петербургский научный форум «Наука и общество. Информационные технологии. IV Петербургская встреча лауреатов Нобелевской премии». СПб.: 21–25.09.2009.
• Парфенов В. Г., Шалыто А. А. Инициатива в ИТ-образовании России «Сохраним в университетах лучших!» //Тезисы докладов Санкт-Петербургского научного форума «Наука и общество. Информационные технологии. IV Петербургская встреча лауреатов Нобелевской премии». СПб.: СПГУТД. 2009, с. 177–181.
Третья Российская летняя школа по информационному поиску (RuSSIR`2009). Петрозваводск. 11-16.09. 2009.
• Владыкин А. Декларативный язык описания алгоритмов извлечения данных из XML-документов /Труды третьей Российской конференции молодых ученых по информационному поиску. Петрозаводск: ПетрГУ, 2009, с. 6–11.
SECR-2009
• Губин Ю., Шалыто А. Нейро-автоматное управление /SECR-2009. М.
IV Международная научно-практическая конференция «Современные информационные технологии и ИТ-образовние». М.: МГУ. 2009.
• Тяхти А. С., Чебатуркин А. А., Царев Ф. Н., Шалыто А. А. Виртуальная лаборатория для обучения методам искусственного интеллекта для генерации управляющих конечных автоматов /Сборник докладов IV Международной научно-практической конференции «Современные информационные технологии и ИТ-образовние». М.: ИНТУИТ. РУ, МГУ. 2009, с.222–227.
32 конференция молодых ученых и специалистов Института проблем передачи информации им. А. А. Харкевича РАН «Информационные технологии и системы» (ИТИС`09). М.: ИППИ, 15–18 декабря 2009.
• Егоров К. В., Царев Ф. Н. Совместное применение генетического программирования и верификации моделей для построения автоматов управления системами со сложным поведением /Сборник трудов конференции «Информационные технологии и системы» (ИТИС`09). М.: Институт проблем передачи информации им. А. А. Харкевича РАН. 2009, с. 77–82.
Третий Санкт-Петербургский конгресс «Профессиональное образование, наука, инновации». СПбГУ ИТМО, 20,21 ноября 2009.
• Парфенов В. Г., Шалыто А. А. Инициатива в ИТ-образовании России «Сохраним в университетах лучших!» //Труды третьего Санкт-Петербургского конгресса «Профессиональное образование, наука, инновации». СПбГУ ИТМО. 2009, с. 200–203.
XI конференция молодых ученых «Навигация и управление движением». СПб.: ЦНИИ «Электроприбор». 2009.
• Змеев И. Ю. Разработка программного обеспечения электронных устройств методами автоматного программирования /Материалы XI конференции молодых ученых «Навигация и управление движением». СПб.: ЦНИИ «Электроприбор». 2009, c. 285–289.
Международная конференция по мягким вычислениям и измерениям (SCM`2009). СПбГЭТУ «ЛЭТИ». 2009.Б.
• Царев Ф. Н. Построение автоматов управления системами со сложным поведением на основе тестов с помощью генетического программирования /Сборник докладов международной конференции по мягким вычислениям и измерениям (SCM`2009). СПбГЭТУ «ЛЭТИ». Т. 1, с. 231–234.

1. Шалыто А. А. Владимир Борисович Яковлев - ученый. Педагог и организатор. К 75-летию со дня рождения // Информационно-управляющие системы. 2009. № 1, с. 76, 77
2. Шалыто А. А., Царев Ф. Н. Небывалая победа российской школы программирования //Методическая газета для учителей информатики "Информатика". 2009. № 10, с.1, 48; Еженедельник "IT News". 2009. № 8, с.16., RSDN Magazine. 2009. № 1, с. 59,60; Компьютерные инструменты в образовании. 2009. № 2, c.3–5; Виртуальный компьютерный музей www.computermuseum.ru
3. Круглый стол на тему "Нужны ли России информационные технологии?" / Санкт-Петербургские ведомости. 29.05.2009, с. 6.
4. Маврин П., Буздалов М., Шалыто А. Спортивное программирование битва «Россия – Китай» // Компьютер-информ. 2009. №12–13 , с.17.
5. Шалыто А. А. Проектный подход при обучении разработке программ //Компьютерные инструменты в образовании. 2009. № 4, с. 30–38.

1. Кузнецов И. Новые методы разработки программного обеспечения (рецензия на книгу Поликарповой Н. И., Шалыто А. А. Автоматное программирование) //IT News. 2009. № 5, с. 30, 31.
2. Рецензия на книгу Поликарповой Н. И., Шалыто А. А. Автоматное программирование /Труды Санкт-Петербургского института информатики и автоматизации РАН. Вып. 7. 2009, с. 285.

1. Клебан В. О., Шалыто А. А. Средство для обеспечения взаимодействия автоматных программ, реализующих управление мобильными роботами. Свидетельство о государственной регистрации программы для ЭВМ. № 2009 615456. Дата регистрации – 1.10.2009.
2. Клебан В. О., Шалыто А. А. Система автоматного управления макетом безэкипажного танка. Свидетельство о государственной регистрации программы для ЭВМ. № 2009 615622. Дата регистрации – 8.10.2009.