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



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

I. Государственные контракты в рамках Федеральной целевой программы "Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2007-2012 годы" по мероприятию 1.4 "Проведение проблемно-ориентированных поисковых исследований и создание научно-технического задела по перспективным технологиям в области информационно-телекоммуникационных систем".
II. Статьи в российских изданиях из перечня ВАК
  1. Шопырин Д.Г., Шалыто А.А. Графическая нотация наследования автоматных классов //Программирование. 2007. № 5, с. 62-74.
  2. Лобанов П.Г., Шалыто А.А. Использование генетических алгоритмов для автоматического построения конечных автоматов в задаче о флибах //Известия РАН. Теория и системы управления. 2007. № 5, с. 127-136.
  3. Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. Инструментальное средство для поддержки автоматного программирования //Программирование. 2007. №6, с. 65-80.
  4. Кретинин А.В., Солдатов Д.В., Шалыто А.А., Шостак А.В. Диагностирование аварийных состояний турбонасосного агрегата жидкостного ракетного двигателя //Нейрокомпьютеры: разработка, применение. 2007. №9, с. 372-379.
  5. Степанов О.Г., Шалыто А.А., Шопырин Д.Г. Предметно-ориентированный язык автоматного программирования на базе динамического языка RUBY //Информационно- управляющие системы. 2007. №4, с. 22-27.

III. Статьи в других российских изданиях
  1. Вавилов К.В., Шалыто А.А. Что плохого в неавтоматном подходе к программированию контроллеров //Промышленные АСУ и контроллеры. 2007. №1, с. 49–51.
  2. Вельдер С.Э., Шалыто А.А. О верификации простых автоматных программ на основе метода "Model Checking" //Информационно-управляющие системы. 2007. №3, с. 27–38.
  3. Красильников Н.Н., Парфенов В.Г., Царев Ф.Н., Шалыто А.А. Виртуальная лаборатория для первоначального обучения проектированию программ //Компьютерные инструменты в образовании. 2007. №5, с. 62-67.
  4. Коротков М. А. Алгоритмы укладки диаграмм состояний //Научно-технический вестник. Вып. 39. Исследования в области информационных технологий. Труды молодых ученых. СПбГУ ИТМО. 2007, с. 169-176. http://vestnik.ifmo.ru/ntv/39/ntv_39.2.10.pdf
  5. Рубинов К. В. Подход к тестированию программных интерфейсов приложений мобильных устройств //Научно-технический вестник. Вып. 39. Исследования в области информационных технологий. Труды молодых ученых. СПбГУ ИТМО. 2007, с. 177-187. http://vestnik.ifmo.ru/ntv/39/ntv_39.2.11.pdf
  6. Князев Е.Г., Шопырин Д.Г. Анализ изменений программного кода методом кластеризации метрик //Научно-технический вестник. Вып. 39. Исследования в области информационных технологий. Труды молодых ученых. СПбГУ ИТМО. 2007, с. 197-208. http://vestnik.ifmo.ru/ntv/39/ntv_39.2.13.pdf
  7. Сытник С.А. Создание автоматных веб-приложений //Научно-технический вестник. Вып. 39. Исследования в области информационных технологий. Труды молодых ученых. СПбГУ ИТМО. 2007, с. 209-214. http://vestnik.ifmo.ru/ntv/39/ntv_39.2.14.pdf
  8. Лобанов П.Г. Использование генетических алгоритмов для решения задачи об "умном муравье" //Научно-технический вестник. Вып. 39. Исследования в области информационных технологий. Труды молодых ученых. СПбГУ ИТМО. 2007, с. 215-221. http://vestnik.ifmo.ru/ntv/39/ntv_39.2.15.pdf
  9. Поликарпова Н.И., Точилин В.Н. Применение генетического программирования для реализации систем со сложным поведением //Научно-технический вестник. Вып. 39. Исследования в области информационных технологий. Труды молодых ученых. СПбГУ ИТМО. 2007, с. 276-293. http://vestnik.ifmo.ru/ntv/39/ntv_39.3.3.pdf
  10. Раер М.Г. Автоматное расширение языка C# //Научно-технический вестник. Вып. 39. Исследования в области информационных технологий. Труды молодых ученых. СПбГУ ИТМО. 2007, с. 304-312. http://vestnik.ifmo.ru/ntv/39/ntv_39.3.5.pdf

IV. Конференции

XXXVI научная и учебно-методическая конференция профессорско-преподавательского и научного состава СПбГУ ИТМО.Санкт-Петербург. 30 января - 2 февраля 2007 г.
  1. Санкт-Петербург. 30 января – 2 февраля 2007 г. Шалыто А.А. Switch-технология - технология создания автоматных программ //XXXVI научная и учебно-методическая конференция профессорско-преподавательского и научного состава СПбГУ ИТМО. 2007.
  2. Гуров В.С., Мазин М.А., Шалыто А.А. Визуальное конструирование автоматных программ //XXXVI научная и учебно-методическая конференция профессорско-преподавательского и научного состава СПбГУ ИТМО. 2007.
  3. Царев Ф.Н., Шалыто А.А. Проектирование программного обеспечения для беспилотных летательных объектов с использованием инструментального средства автоматного программирования //XXXVI научная и учебно-методическая конференция профессорско- преподавательского и научного состава СПбГУ ИТМО. 2007.
  4. Потемкин А.С., Меретяков М.И. Моделирование цифрового фотоаппарата на основе автоматного программирования //XXXVI научная и учебно-методическая конференция профессорско-преподавательского и научного состава СПбГУ ИТМО. 2007.
  5. Астафуров А.А., Шалыто А.А. Применение технологии автоматного программирования в системах единого доступа //XXXVI научная и учебно-методическая конференция профессорско-преподавательского и научного состава СПбГУ ИТМО. 2007.
  6. Вельдер С.Э., Шалыто А.А. Введение в верификацию автоматных программ //XXXVI научная и учебно-методическая конференция профессорско-преподавательского и научного состава СПбГУ ИТМО. 2007.
  7. Князев Е.Г., Шопырин Д.Г. Анализ динамических метрик программы //XXXVI научная и учебно-методическая конференция профессорско-преподавательского и научного состава СПбГУ ИТМО. 2007.
  8. Степанов О.Г., Шопырин Д.Г. Динамические контракты в объектно-ориентированных программах //XXXVI научная и учебно-методическая конференция профессорско- преподавательского и научного состава СПбГУ ИТМО. 2007.
  9. Лобанов П.Г., Шалыто А.А. Использование автоматов с флагами для решения задачи о "флибах" //XXXVI научная и учебно-методическая конференция профессорско- преподавательского и научного состава СПбГУ ИТМО. 2007.
Евразийский научный симпозиум. Сеул 1-4 апреля 2007 г.
    1.Korneev G.A., Shalyto A.A. State-Driven Programming /Материалы Евразийского научного симпозиума. Корея. Сеул. Политехнический университет. 2007, с. 185–195. kor-cis.kpu.ac.kr, www.eurasia.re.kr
IV межвузовская конференция молодых ученых СПбГУ ИТМО.Санкт-Петербург. 10-13 апреля 2007 г.
  1. Котов А.Н. Сравнение различных вариантов реализации на примере задачи о декодировании файлов формата GIF /Сборник тезисов IV межвузовский конференции молодых ученых. СПб.: СПбГУ ИТМО. 2007, с. 56.
  2. Поликарпова Н.И., Точилин В.Н. Применение генетических алгоритмов для генерации логики вычислительных систем /Сборник тезисов IV межвузовский конференции молодых ученых. СПб.: СПбГУ ИТМО. 2007, с. 57.
  3. Бреслав А.А., Коротков М.А., Лукьянова А.П. Построение объектных моделей по текстовых описаниям /Сборник тезисов IV межвузовский конференции молодых ученых. СПб.: СПбГУ ИТМО. 2007, с. 57.
  4. Бреслав А.А. Разработка текстового синтаксиса доменно-специфичных языков, ориентированная на целевую модель /Сборник тезисов IV межвузовский конференции молодых ученых. СПб.: СПбГУ ИТМО. 2007, с. 58.
  5. Бедный Ю.Д., Данилов В.Р., Кулев В.А., Мандриков Е.А. Разработка методов построения автоматов с помощью генетических алгоритмов /Сборник тезисов IV межвузовский конференции молодых ученых. СПб.: СПбГУ ИТМО. 2007, с. 59.
  6. Раер М.Г. Автоматное расширение языка С# /Сборник тезисов IV межвузовский конференции молодых ученых. СПб.: СПбГУ ИТМО. 2007, с. 59, 60.
  7. Коротков М.А. Алгоритмы укладки диаграммы состояний /Сборник тезисов IV межвузовский конференции молодых ученых. СПб.: СПбГУ ИТМО. 2007, с. 66, 67.
  8. Рубинов К.В. Подход к тестированию программных интерфейсов приложений мобильных устройств /Сборник тезисов IV межвузовский конференции молодых ученых. СПб.: СПбГУ ИТМО. 2007, с. 67.
  9. Красс А.Л., Лысенко Е.А., Лакунин М.А., Евтифеева О., Счастливцев Р. Анализ алгоритмов поиска плагиата в исходных кодах программ /Сборник тезисов IV межвузовский конференции молодых ученых. СПб.: СПбГУ ИТМО. 2007, с. 67, 68.
  10. Князев Е.Г., Шопырин Д.Г. Анализ изменений программного кода методом кластеризации метрик /Сборник тезисов IV межвузовский конференции молодых ученых. СПб.: СПбГУ ИТМО. 2007, с. 68.
  11. Сытник С.А. Создание автоматных веб-приложений с учетом истории переходов между страницами /Сборник тезисов IV межвузовский конференции молодых ученых. СПб.: СПбГУ ИТМО. 2007, с. 68, 69.
  12. Лобанов П.Г. Использование генетических алгоритмов для решения задачи об "Умном муравье" /Сборник тезисов IV межвузовский конференции молодых ученых. СПб.: СПбГУ ИТМО. 2007, с. 69.
XI Всероссийская конференция по проблемам науки и высшей школы "Фундаментальные исследования и инновации в технических университетах". Санкт-Петербург. СПбГПУ. 18-19 мая 2007 г.
  1. Шалыто А.А. Технология автоматного программирования /Материалы XI Всероссийской конференции по проблемам науки и высшей школы "Фундаментальные исследования и инновации в технических университетах". Санкт-Петербургский государственный политехнический университет. 2007, с. 202–205. IV-я Международная научно-практическая конференция "Интегрированные модели и мягкие вычисления в искусственном интеллекте". Коломна. Московский государственный технический университет им. Н.Э.Баумана. 28-30 мая 2007 г..
  2. Царев Ф.Н., Шалыто А.А. Применение генетического программирования для генерации автоматов в задаче об "умном муравье" /Сборник научных трудов. IV-я Международная научно-практическая конференция "Интегрированные модели и мягкие вычисления в искусственном интеллекте". М.: Физматлит. 2007, с. 590–597.
  3. Поликарпова Н.И., Точилин В.Н., Шалыто А.А. Применение генетического программирования для реализации систем со сложным поведением /Сборник научных трудов. IV-я Международная научно-практическая конференция "Интегрированные модели и мягкие вычисления в искусственном интеллекте". М.: Физматлит. 2007, с. 598–604.
XIV Всероссийская научно-методическая конференция "Телематика-2007". Санкт-Петербург. СПбГУ ИТМО. 18-21 июня 2007 года.Санкт-Петербург. 18–21 июня 2007 года.
  1. Шалыто А.А. Автоматно-ориентированное программирование /XIV Всероссийская научно- методическая конференция "Телематика-2007". СПб.: СПбГУ ИТМО. 2007. Т.1, с. 198–200. http://tm.ifmo.ru/tm2007/db/doc/get_thes.php?id=63
  2. Гуров В.С., Мазин М.А., Шалыто А.А. Текстовый язык для автоматного программирования /XIV Всероссийская научно-методическая конференция "Телематика-2007". СПб.: СПбГУ ИТМО. 2007. Т.2, с. 424, 425. http://tm.ifmo.ru/tm2007/db/doc/get_thes.php?id=39
  3. Гуров В.С., Мазин М.А., Зубок Д.А., Парфенов В.Г., Шалыто А.А. Два подхода к созданию программ с использованием инструментального средства UniMod /XIV Всероссийская научно-методическая конференция "Телематика-2007". СПб.: СПбГУ ИТМО. 2007. Т.2, с. 428. http://tm.ifmo.ru/tm2007/db/doc/get_thes.php?id=284
  4. Лобанов П.Г., Шалыто А.А. Использование генетических алгоритмов для решения задачи об "умном муравье" /XIV Всероссийская научно-методическая конференция "Телематика-2007". СПб.: СПбГУ ИТМО. 2007. Т.2, с. 426, 427 http://tm.ifmo.ru/tm2007/db/doc/get_thes.php?id=146
X международная конференция по мягким вычислениям и измерениям. Санкт-Петербург. СПбГЭТУ "ЛЭТИ". 25-27 июня 2007 г.
  1. Царев Ф.Н., Шалыто А.А. О построении автоматов с минимальным числом состояний для задачи об "умном муравье" //Сборник докладов X международной конференции по мягким вычислениям и измерениям. СПбГЭТУ "ЛЭТИ". Т.2, 2007, с. 88–91.
  2. Поликарпова Н.И., Точилин В.Н., Шалыто А.А. Разработка библиотеки для генерации управляющих автоматов методом генетического программирования //Сборник докладов X международной конференции по мягким вычислениям и измерениям. СПбГЭТУ "ЛЭТИ". Т.2, 2007, с. 84–87.
  3. Мандриков Е.А., Кулев В.А., Шалыто А.А. Построение автоматов с помощью генетиченских алгоритмов для решения задачи о "флибах" //Сборник докладов X международной конференции по мягким вычислениям и измерениям. СПбГЭТУ "ЛЭТИ". Т.1, 2007, с. 293–296.
  4. Князев Е.Г., Лобанов П.Г. Оценка опасности изменений программного кода путем анализа покрытия кода модульными тестами //Сборник докладов X международной конференции по мягким вычислениям и измерениям. СПбГЭТУ "ЛЭТИ". Т.2, 2007, с. 273–275.
Международная научная конференция, посвященная памяти профессора А.М. Богомолова "Компьютерные науки и технологии". Саратов. Саратовский государственный университет. 2-4 июля 2007 г.
  1. Гуров В.С., Мазин М.А., Шалыто А.А. Текстовый язык автоматного программирования //Тезисы докладов Международной научной конференции, посвященной памяти профессора А.М. Богомолова "Компьютерные науки и технологии". Саратов: Саратовский государственный университет. 2007, с. 33–35.
  2. Корнеев Г.А., Парфенов В.Г., Шалыто А.А. Верификации автоматных программ //Тезисы докладов Международной научной конференции, посвященной памяти профессора А.М. Богомолова "Компьютерные науки и технологии". Саратов: Саратовский государственный университет. 2007, с. 66–69.
  3. Шалыто А.А. Автоматное программирование //Тезисы докладов Международной научной конференции, посвященной памяти профессора А.М. Богомолова "Компьютерные науки и технологии". Саратовский государственный университет. 2007, с. 143–145.
Международная научно-техническая мультиконференция "Проблемы информационно- компьютерных технологий и мехатроники". Международная научно-техническая конференция "Многопроцессорные вычислительные и управляющие системы". Дивноморск. 24-29 сентября 2007 г.
  1. Шалыто А.А. Парадигма автоматного программирования /Международная научно- техническая мультиконференция "Проблемы информационно-компьютерных технологий и мехатроники". Материалы международной научно-технической конференции "Многопроцессорные вычислительные и управляющие системы"(МВУС`2007). Таганрог: НИИМВС. Т.1, с. 191-194.
  2. Корнеев Г.А., Шалыто А.А. Верификация управляющих программ со сложным поведением, построенных на основе автоматного подхода /Международная научно-техническая мультиконференция "Проблемы информационно-компьютерных технологий и мехатроники". Материалы международной научно-технической конференции "Многопроцессорные вычислительные и управляющие системы" (МВУС`2007). Таганрог: НИИМВС. Т.1, с. 194-198.
  3. Гуров В.С., Шалыто А.А., Яминов Б.Р. Технология верификации автоматных моделей программ без их трансляции во входной язык верификатора /Международная научно- техническая мультиконференция "Проблемы информационно-компьютерных технологий и мехатроники". Материалы международной научно-технической конференции "Многопроцессорные вычислительные и управляющие системы" (МВУС`2007). Таганрог: НИИМВС. Т.1, с. 198-203.
  4. Царев Ф.Н., Шалыто А.А. Применение генетического программирования для построения мультиагентной системы одного класса /Международная научно-техническая мультиконференция "Проблемы информационно-компьютерных технологий и мехатроники". Материалы международной научно-технической конференции "Многопроцессорные вычислительные и управляющие системы" (МВУС`2007). Таганрог: НИИМВС. Т.2, с. 46-51.
  5. Гунич И.С., Иринев А.В., Шалыто А.А. Автоматный подход к моделированию микроорганизмов с использованием генетических алгоритмов /Международная научно- техническая мультиконференция "Проблемы информационно-компьютерных технологий и мехатроники". Материалы международной научно-технической конференции "Многопроцессорные вычислительные и управляющие системы" (МВУС`2007). Таганрог: НИИМВС. Т. 2, с. 51-56.
Третья всероссийская научно-практическая конференция по имитационному моделированию и его применению в промышленности. "Имитационное моделирование. Теория и практика". Санкт-Петербург. ФГУП "Центральный научно-технический институт технологий судостроения". 18-21 октября 2007 г.
  1. Никитин А.С., Чураков М.Ю., Шалыто А.А. Применение автоматного программирования для имитационного моделирования разъезда машин на нерегулируемом перекрестке равнозначных дорог /Сборник докладов третьей всероссийской научно-практической конференции по имитационному моделированию и его применению в промышленности. "Имитационное моделирование. Теория и практика" (ИММОД-2007). СПб.: ФГУП "ЦНИИ ТС". 2007. Т.1, с. 296-301.
    Первый Санкт-Петербургский конгресс "Профессиональное образование, наука, инновации в XXI веке". Санкт-Петербург. СПбГУ ИТМО. 26, 27 октября 2007 г.
  1. Васильев В.Н., Казаков М.А., Корнеев Г.А., Парфенов В.Г., Шалыто А.А. Инновационная система поиска и подготовки высоквалифицированных разработчиков программного обеспечения на основе проектного и соревновательного подходов. /Труды первого Санкт- Петербургского конгресса "Профессиональное образование, наука, инновации в XXI веке". СПб.: СПбГУ ИТМО. 2007, с. 84-97.
  2. Васильев В.Н., Казаков М.А., Корнеев Г.А., Парфенов В.Г., Шалыто А.А. Применение проектного подхода на основе автоматного программирования при подготовке разработчиков программного обеспечения. /Труды первого Санкт-Петербургского конгресса "Профессиональное образование, наука, инновации в XXI веке". СПб.: СПбГУ ИТМО. 2007, с. 98-100.
Третья международная научно-практическая конференция "Исследование, разработка и применение высоких технологий в промышленности". СПб. 14.03.07 – 17.03.07.
  1. Наумов А.С. Виртуальная машина автоматного программирования. http://htfi.ru/?p=19&lang=ru&m=0 Software Engineering Conference (Russia) (SECR-2007). М.: 2007. Москва. 1, 2 ноября 2007 г.
  2. Астафуров А.А., Шалыто А.А. Декларативный подход к вложению и наследованию автоматных классов при использовании императивных языков
  3. Князев Е.Г., Шопырин Д.Г. Использование автоматической классификации изменений программного кода в управлении процессом разработки программного обеспечения.

V. Защита диссертаций
  1. Наумов Л.А. Метод введения обобщенных координат и инструментальное средство для автоматизации проектирования программного обеспечения вычислительных экспериментов с использованием клеточных автоматов. Специальность 05.13.12. "Системы автоматизации проектирования (приборостроение)". СПбГУ ИТМО. 22.05.2007. http://is.ifmo.ru/papers/_ln_Thesis.pdf

VI. Участие в конкурсах
  1. Научная школа "Информационные и компьютерные технологии" (руководители В.Н. Васильев, А.А. Шалыто) вошла в число победителей конкурса научно-педагогических школ Санкт-Петербурга, проводимого Администрацией города.
  2. Гуров В.С., Мазин М.А. отмечены на Java-конкурсе, проводимом корпорацией Sun в России за разработку инструментального средства UniMod.
  3. Царев Ф.Н. стал одним из победителей конкурса грантов 2007 г. для студентов и аспирантов ВУЗов Санкт-Петербурга. http://www.rshu.ru/news/74

VII. Публицистика
  1. Шалыто А.А. Визит Бертрана Мейера в Санкт-Петербург //Информационно-управляющие системы. 2007. № 1, с. 55, 56. http://is.ifmo.ru/misc/_Meyer.pdf
  2. Шалыто А.А. Писать по-русски //Газета "Университет ИТМО". 2007. № 82, с. 8, 9. http://newspaper.ifmo.ru/article.php?pid=122&id=972
  3. Шалыто А.А. Русский язык. Шутки в сторону. http://pcweek.ru/?ID=627296
  4. Шалыто А.А. Триединая задача педагогического эксперимента в области ИТ-образования //Инженерное образование. 2007. № 4, c.208–213. http://is.ifmo.ru/belletristic/triedin/
  5. Левкович-Маслюк Л. ИТ-образование: академический угол. Преподаватели (Н.Н. Непейвода и А.А. Шалыто) о качестве, количестве и карьере //Компьютерра. 2007. 23 (691), с. 24, 25. http://offline.computerra.ru/2007/691/323510/

VIII. О нас
  1. Васильев В.Н., Тихонов А.Н., Куракин Д.В. Информацонно-телекоммуникационные системы в разработках по Федеральной целевой научно-технической программе (31. Технология автоматного программирования: применение и инструментальные средства) //Открытое образование. 2007. № 1, с. 31–48.
  2. Татарчевский В.А. Применение SWITCH-технологии в задачах управления технологическими процессами //Надежность. 2007. № 1, с. 21–27. http://is.ifmo.ru/works/_ALL.pdf
  3. Татарчевский В.А. Применение SWITCH-технологии при разработке прикладного программного обеспечения для микроконтроллеров. Часть 3 //Компоненты и технологии. 2007. № 1, с. 74, 75. http://is.ifmo.ru/works/_21_66.pdf
  4. Татарчевский В.А. Применение SWITCH-технологии при разработке прикладного программного обеспечения для микроконтроллеров. Часть 4 //Компоненты и технологии. 2007. № 2, с. 148–150. http://is.ifmo.ru/works/_28_67.pdf
  5. Татарчевский В.А. Применение SWITCH-технологии при разработке прикладного программного обеспечения для микроконтроллеров. Часть 5 //Компоненты и технологии. 2007. № 3, с. 180–182. http://is.ifmo.ru/works/_28_68.pdf
  6. Татарчевский В.А. Применение SWITCH-технологии при разработке прикладного программного обеспечения для микроконтроллеров. Часть 6. Реализация протокола Modbus //Компоненты и технологии. 2007. № 4, с. 202–204. http://is.ifmo.ru/works/_36_69.pdf
  7. Татарчевский В.А. Применение SWITCH-технологии при разработке прикладного программного обеспечения для микроконтроллеров. Часть 7. //Компоненты и технологии. 2007. №7, с. 164-168. http://is.ifmo.ru/works/_2007_09_03_14_72.pdf
  8. Татарчевский В.А. Применение SWITCH-технологии при разработке прикладного программного обеспечения для микроконтроллеров. Часть 8. //Компоненты и технологии. 2007. №8, с. 134-136 http://
  9. Парфенов В.Г. Технологии программирования //Газета "Университет ИТМО". 2007. № 86, с. 2, 3. http://faculty.ifmo.ru/redakcia/?part=contents_numbers&id_article=318

IX. Награды
  1. Шалыто А.А. включен в книгу "Who's Who in Scince and Engineering". Ninth Edition. 2006-2007. Marquis Who's Who Publications Board.
  2. Царев Ф.Н. Стипендия Правительства РФ
  3. Царев Ф.Н. занял второе место на конкурсе "У.М.Н.И.К.", который проводился в рамках X международной конференции по мягким вычислениям и измерениям. СПбГЭТУ "ЛЭТИ". 2007. http://www.ifmo.ru/news/934/2007_07_02.htm
  4. Царев Ф.Н. – лауреат молодежной премии Санкт-Петербурга в области информационных технологий