|
|
Главная / События и факты / Научная работа за 2008 год
(версия для печати)
Научная работа за 2008 год
Научная работа за 2008 год
I. Государственные контракты в рамках Федеральной целевой
программы "Исследования и разработки по приоритетным
направлениям развития научно-технологического комплекса
России на 2007-2012 годы" по мероприятию 1.4 "Проведение
проблемно-ориентированных поисковых исследований и создание
научно-технического задела по перспективным технологиям в
области информационно-телекоммуникационных систем".
- Лот 12. "Разработки в области языков программирования и
моделирования программного обеспечения, технологий и
инструментальных средств проектирования программ".
Тема "Технология генетического программирования для генерации
автоматов управления системами со сложным поведением" (шифр
"2007-4-1.4-18-01-033").
- Лот 13. "Разработка технологий верификации программного
обеспечения". Тема "Разработка технологии верификации
управляющих программ со сложным поведением, построенных на
основе автоматного подхода" (шифр "2007-4-1.4-18-02-041").
II. Статьи в российских изданиях из перечня ВАК
- Мандриков Е.А., Кулев В.А., Шалыто А.А. Применение
генетических алгоритмов для создания управляющих автоматов
в задаче о "Флибах" //Информационные технологии. 2008. №1,
с.42-45,89.
- Гуров В.С., Мазин М.А., Шалыто А.А. Автоматическое завершение
ввода условий в диаграммах состояний // Информационно-управляющие
системы. 2008. № 1, c. 24-33.
- Князев Е.Г., Шопырин Д.Г. Использование автоматизированной
классификации изменений программного кода в управлении
процессом разработки программного обеспечения //Информационно-
управляющие системы. 2008. №2, с.15-21.
- Князев Е.Г, Шопырин Д.Г. Автоматизированная классификация изменений
программного кода методами многомерного статистического анализа
// Информационные технологии. 2008. № 5, с. 48-53.
- Егоров К.В., Шалыто А.А. Методика верификации автоматных
программ //Информационно-управляющие системы. 2008. № 5,
с.15-21.
- Шалыто А.А. Парадигма автоматного программирования //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 3-24
- Поликарпова Н.И., Точилин В.Н., Шалыто А.А. Применение генетического программирования для генерации автоматов с большим числом входных переменных //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 24-42
- Царев Ф.Н. Совместное применение генетического программирования, конечных автоматов и искусственных нейронных сетей для построения системы управления беспилотным летательным аппаратом //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 42-60
- Давыдов А.А., Соколов Д.О., Царев Ф.Н. Применение генетического программирования и методов сокращенных таблиц переходов и деревьев решений для построения автоматов управления моделью беспилотного летательного аппарата //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 60-79
- Лобанов П.Г., Сытник С.А., Шалыто А.А. Построение автопилота для упрощенной модели вертолета с помощью генетического алгоритма //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 79-88
- Бедный Ю Д., Шалыто А.А. Создание системы управления танком для игры robocode с использованием генетических алгоритмов //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 88-99
- Мандриков Е.А., Кулев В.А. Разработка инструментального средства для генерации конечных автоматов с использованием генетических алгоритмов //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 100-103
- Данилов В.Р. Метод представления автоматов деревьями решений для использования в генетическом программировании //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 103-108
- Давыдов А.А., Соколов Д.О., Царев Ф.Н. Применение генетических алгоритмов для построения автоматов Мура и систем взаимодействующих автоматов Мили на примере задачи об "умном муравье" //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 108-114
- Лобанов П.Г. Методы оптимизации генетических алгоритмов для построения конечных автоматов //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 114-122
- Вельдер С.Э., Шалыто А.А. Методы верификации моделей автоматных программ //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 123-137
- Курбацкий Е.А. Верификация программ, построенных на основе автоматного подхода с использованием программного средства SMV //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 137-145
- Лукин М.А., Шалыто А.А. Верификация автоматных программ с использованием верификатора SPIN //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 145-162
- Гуров В.С., Яминов Б.Р. Верификация автоматных программ при помощи верификатора UNIMOD.VERIFIER //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 162-177
- Егоров К.В., Шалыто А.А. Разработка верификатора автоматных программ //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 177-189
- Законов А.Ю. Применение автоматного подхода для создания корректных JAVA CARD-приложений //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 189-198
- Клебанов А.А., Шалыто А.А. Разработка корректных JAVA CARD-программ на основе автоматного подхода //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 198-211
- Канжелев С.Ю. Верификации взаимодействия частей реактивной системы, реализованных с помощью автоматного подхода //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 211-221
- Степанов О.Г. Метод автоматической динамической верификации автоматных программ //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 221-229
- Астафуров А.А. Декларативный подход к вложению и наследованию автоматных классов при использовании императивных языков программирования //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 230-238
- Тимофеев К.И., Астафуров А.А. Наследование автоматных классов с использованием динамических языков программирования на примере RUBY //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 238-250
- Кочелаев Д.Ю., Лагунов И.А., Хасянзянов Б.З., Яминов Б.Р. Инструментальное средство для поддержки автоматного программирования UNIMOD 2: проектирование. валидация. верификация. реализация //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 251-257
- Гуров В.С., Мазин М.А., Шалыто А.А. Текстовый язык автоматного программирования //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 258-263
- Лагунов И.А. Текстовый язык автоматного программирования FSML для инструментального средства UNIMOD //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 263-272
- Рубинов К.В., Веденеев В.В., Парфенов В.Г. Метод разработки тестов для программных интерфейсов приложений на основе конечно-автоматной модели тестирования //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 273-280
- Клебан В.О., Шалыто А.А., Парфенов В.Г. Построение системы автоматического управления мобильным роботом на основе автоматного подхода //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 281-285
- Клебан В.О., Новиков Ф.А. Применение конечных автоматов в документообороте //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 286-294
- Красс А.Л. Метод обучения сложных систем с большим числом входных данных и выходных воздействий //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 295
- Клебанов А.А., Шалыто А.А. Разработка корректных Java Card-программ на основе автоматного подхода // Моделирование и анализ информационных систем. 2008. Т.15. №3, с. 47-55
III. Статьи в других российских изданиях
- Маврин П.Ю., Корнеев Г.А., Станкевич А.С., Шалыто А.А.
Моделирование жизненного цикла компоненты программного комплекса
использованием диаграмм состояний //Информатизация и связь. 2008. № 2, с.20-23.
IV. Конференции
XXXVII научная и учебно-методическая конференция СПбГУ ИТМО.
29.01 - 1.02.2008 г.
- Шалыто А.А., Корнеев Г.А. Разработка технологии генетического
программирования для генерации автоматов управления системами со
сложным поведением.
- Корнеев Г.А., Шалыто А.А. Технология верификации управляющих
программ со сложным поведением, построенных на основе автоматного
подхода.
- Лобанов П.Г., Сытник С.А. Построение автопилота для упрощенной
модели вертолета с помощью генетических алгоритмов.
- Царев Ф.Н., Шалыто А.А. Применение генетического программирования
для генерации одного класса систем управления беспилотными
летательными объектами.
- Бедный Ю.Д., Шалыто А.А. Применение генетических алгоритмов для
генерации системы управления танком в игре "Robocode".
- Курбацкий Е.А., Шалыто А.А. О верификации программ, построенных
на основе автоматного подхода.
VI научно-технической конференции "Научное программное
обеспечение в образовании и научных исследованиях". СПб.: СПбГПУ.
30, 31 января 2008 г.
- Гуров В.С., Яминов Б.Р. Технология верификации автоматных
моделей без их трансляции во входной язык верификатора
/Труды научно-технической конференции "Научное программное
обеспечение в образовании и научных исследованиях". СПб.:
СПбГПУ. 2008, с.36-40.
- Егоров К.В., Райков П.М., Шалыто А.А. Применение автоматного
подхода для создания одного класса мультиагентных систем
/Материалы VI научно-технической конференции "Научное
программное обеспечение в образовании и научных исследованиях".
СПб.: СПбГПУ, с.46-52.
- Данилов В.Р., Шалыто А.А. Метод генетического программирования
для генерации автоматов, представленных деревьями решений
/Труды научно-технической конференции "Научное программное
обеспечение в образовании и научных исследованиях". СПб.:
СПбГПУ. 2008, с.174-181.
- Царев Ф.Н., Шалыто А.А. Применение генетических алгоритмов для
построения автоматов с минимальным числом состояний для задачи
об "Умном муравье" /Труды научно-технической конференции
"Научное программное обеспечение в образовании и научных
исследованиях". СПб.: СПбГПУ. 2008, с.209-215.
- Васильев В.Н., Казаков М.А., Корнеев Г.А., Парфенов В.Г.,
Шалыто А.А. Автоматное программирование и проектный подход
при подготовке разработчиков программного обеспечения
/Труды научно-технической конференции "Научное программное
обеспечение в образовании и научных исследованиях". СПб.:
СПбГПУ. 2008, с.248-250.
- Красильников Н.Н., Парфенов В.Г., Царев Ф.Н., Шалыто А.А.
Виртуальная лаборатория для первоначального обучения
проектированию программ /Труды научно-технической
конференции "Научное программное обеспечение в образовании
и научных исследованиях". СПб.: СПбГПУ. 2008, с.264-271.
Южно-Уральская конференция по разработке ПО "Технологии Microsoft в
теории и практике программирования" IT Fest 2008. Южно-Уральский
государственный университет. 11-13 марта 2008 года.
- Рубинов К.В., Ведененев В.В., Шалыто А.А. Метод разработки тестов
для программных интерфейсов приложений на основе конечно-автоматной
модели тестирования.
V Всероссийская межвузовская конференция молодых ученых. СПб.:
СПбГУ ИТМО. 15-18 апреля 2008 г.
- Шалыто А.А. Автоматное программирование.
- Бедный Ю.Д. Применение генетических алгоритмов для создания
системы управления танком в игре "Robocode".
- Кулев В.А., Мандриков Е.А. Программный комплексдля разработки и
анализа различных генетических алгоритмов.
- Степанов О.Г. Метод автоматической динамической верификации
автоматных программ.
- Астафуров А.А. Декларативный подход к вложению и наследованию
автоматных классов при использовании императивных языков
программирования.
- Веденеев В.В., Рубинов К.В. Метод разработки тестов для
программных интерфейсов приложений на основе коечно-автоматной
модели тестирования.
- Царев Ф.Н. Применение генетического программирования для
построения автоматов Мили в задаче об "Умном муравье".
- Лобанов П.Г. Методы оптимизации генетических алгоритмов для
построения конечных автоматов.
- Канжелев С.Ю. Проблема ожидания событий в реактивных системах,
реализованных с помощью автоматного подхода.
- Царев М.Н., Царев Ф.Н. Графический язык описания игровых
эпизодов в футболе.
- Рубинов К.В. О некоторых задачах тестирования программного
обеспечения.
- Клебанов А.А. Технология автоматного программирования для
создания корректных Java card-программ.
19 Всероссийская научно-техническая конференция "Экстремальная
робототехника". СПб: ЦНИИ РТК, 8,9 апреля 2008.
- Клебан В.О., Шалыто А.А. Использование автоматного
программирования для построения многоуровневых систем
управления мобильными роботами /Сборник тезисов
19 Всероссийской научно-технической конференции "Экстремальная
робототехника". СПб: ЦНИИ РТК, 2008, с.85-87.
- Клебан В.О., Шалыто А.А. Автоматизированные сервисы и мобильные
роботы /Сборник тезисов 19 Всероссийской научно-технической
конференции "Экстремальная робототехника". СПб: ЦНИИ РТК, 2008,
с.115,116.
XII Всероссийская конференция по проблемам науки и высшей школы
"Фундаментальные исследования и инновации в технических
университетах". СПб: СПбГПУ, 14 мая 2008.
- Бедный Ю.Д., Шалыто А.А. Применение генетических алгоритмов
для создания системы управления танком в игре "Robocode"
/Материалы XII Всероссийской конференции по проблемам науки и
высшей школы "Фундаментальные исследования и инновации в
технических университетах". СПб: СПбГПУ, с.205-208.
- Клебан В.О., Шалыто А.А. Использование автоматного
программирования при построении гибридной системы управления
мобильным роботом /Материалы XII Всероссийской конференции по
проблемам науки и высшей школы "Фундаментальные исследования
и инновации в технических университетах". СПб: СПбГПУ,
с.210,211.
- Царев Ф.Н., Шалыто А.А. Совместное Применение генетического
и автоматного программирования для построения мультиагентной
системы /Материалы XII Всероссийской конференции по проблемам
науки и высшей школы "Фундаментальные исследования и инновации в
технических университетах". СПб: СПбГПУ, с. 213-215.
Second Spring Young Researchers' Colloquium on Software Engineering
(SYRCoSE'2008). SPb: SPbSU, May 29-30, 2008.
- Klebanov A. Automata-Based Programming Technology Extension for
Generation of JML Annotated Java Card Code /Proceeding of the
Second Spring Young Researchers' Colloquium on Software
Engineering (SYRCoSE'2008). SPb: SPbSU. 2008. Vol.1, pp.41-44.
- Astafurov A., Shalyto A. Declarative Approach to Implementing
Automata Classes in Imperative Programming Languages /Proceeding
of the Second Spring Young Researchers' Colloquium on Software
Engineering (SYRCoSE'2008). SPb: SPbSU. 2008. Vol.1, pp.45-49.
- Davydov A., Sokolov D., Tsarev F. Application of Genetic
Algorithms for Construction of Moore Automation and Systems
of Interacting Mealy Automata in "Artificical Ant" Problem
/Proceeding of the Second Spring Young Researchers' Colloquium
on Software Engineering (SYRCoSE'2008). SPb: SPbSU. 2008. Vol.1,
pp.51-54.
- Kochelaev D., Khasanzyanov B., Yaminov B., Shalyto A. Instru-
mental Tool for Automata-Based Software Development "UniMod 2"
/Proceeding of the Second Spring Young Researchers' Colloquium
on Software Engineering (SYRCoSE'2008). SPb: SPbSU. 2008. Vol.1,
pp.55-57.
- Mandrikov E., Kulev V. Development of Software System for
State Machine Generation Using Genetic Algorithms /Proceeding
of the Second Spring Young Researchers' Colloquium on Software
Engineering (SYRCoSE'2008). SPb: SPbSU. 2008. Vol.1, pp.59,60.
- Kurbatsky E. Verification of Automata-Based Programs
/Proceeding of the Second Spring Young Researchers' Colloquium
on Software Engineering (SYRCoSE'2008). SPb: SPbSU. 2008. Vol.2,
pp.15-17.
- Stepanov O., Shalyto A. A Method for Automatic Runtime
Verification of Automata-Based Programs /Proceeding of the
Second Spring Young Researchers' Colloquium on Software
Engineering (SYRCoSE'2008). SPb: SPbSU. 2008. Vol.2, pp.19-23.
- Knyasev E. Automated Source Code Changes Classification for
Effective Code Review and Analysis /Proceeding of the Second
Spring Young Researchers' Colloquium on Software Engineering
(SYRCoSE'2008). SPb: SPbSU. 2008. Vol.2, pp.55-59.
XI Международная конференция по мягким вычислениям и измерениям
(SCM'2008). СПб.: СПбГЭТУ. 23-25 июня 2008.
- Данилов В.Р., Шалыто А.А. Метод генетического программирования
для генерации автоматов, представленных деревьями решений /Cборник докладов XI
Международной конференции по мягким вычислениям и измерениям (SCM'2008). СПб.: СПбГЭТУ. 2008, с. 248-251.
- Мандриков Е.А., Кулев В.А. Применение распределенных вычислений
для автоматической генерации конечных автоматов с использованием
генетических алгоритмов /Cборник докладов XI
Международной конференции по мягким вычислениям и измерениям
(SCM'2008). СПб.: СПбГЭТУ. 2008, с. 255-260.
- Бедный Ю.Д., Шалыто А.А. Применение генетических алгоритмов для
создания системы управления танком в игре "Robocode" /Cборник докладов XI
Международной конференции по мягким вычислениям и измерениям
(SCM'2008). СПб.: СПбГЭТУ. 2008, с. 261-265.
- Давыдов А.А., Соколов Д.О., Царев Ф.Н., Шалыто А.А. Применение
островного генетического алгоритма для построения автоматов Мура
и систем взаимодействующих автоматов Мили на примере задачи об
"Умном муравье" /Cборник докладов XI Международной конференции по мягким вычислениям и измерениям
(SCM'2008). СПб.: СПбГЭТУ. 2008, с. 266-270.
Итоговая конференция по результатам выполнения мероприятий ФЦП
"Исследования и разработки по приоритетным направлениям
развития научно-технического комплекса России на 2007-2012
годы" по приоритетному направлению
"Информационно-телекоммуникационные системы" за 2008 год.
Ханта-Мансийск: Югорский научно-исследовательский институт
информационных технологий. 2008.
- Шалыто А.А. Технология генетического программирования для
генерации автоматов управления системами со сложным поведением
/Тезисы итоговой конференция по результатам выполнения мероприятий ФЦП
"Исследования и разработки по приоритетным направлениям
развития научно-технического комплекса России на 2007-2012
годы" по приоритетному направлению "Информационно-телекоммуникационные системы"
за 2008 год. Ханта-Мансийск: Югорский научно-исследовательский институт
информационных технологий. 2008, с.66-67.
- Шалыто А.А. Разработка технологии верификации управляющих
программ со сложным поведением, построенных на основе
автоматного подхода /Тезисы итоговой конференция по результатам выполнения
мероприятий ФЦП "Исследования и разработки по приоритетным направлениям
развития научно-технического комплекса России на 2007-2012
годы" по приоритетному направлению "Информационно-телекоммуникационные системы"
за 2008 год. Ханта-Мансийск: Югорский научно-исследовательский институт
информационных технологий. 2008, с.76-77.
III Международная научно-практическая конференция "Современные
информационные технологии и ИТ-образование". ВМК МГУ. 2008.
- Давыдов А.А., Соколов Д.О., Царев Ф.Н., Шалыто А.А.
Виртуальная лаборатория обучения генетическому программированию для
генерации управляющих конечных автоматов / Сборник докладов III Международной
научно-практической конференции "Современные информационные технологии
и ИТ-образование". ВМК МГУ. М.: МАКС Пресс, 2008, с. 179 - 183.
Mobile Software Forum. Санкт-Петербург. 16.12.2008.
- Шалыто А.А. Панельная дискуссия (Подготовка разработчиков ПО для
мобильных устройств). http://www.youtube.com/watch?v=CWdwgUsvDmo
Всероссийская научная конференция студентов и аспирантов "Молодые исследователи - регионам". Вологодский государственный технический университет. 2008 г.
- Мандриков Е. А., Кулев В. А. Разработка инструментального средства для генерации конечных автоматов с использованием генетических алгоритмов / Молодые исследователи - регионам: Материалы всероссийская научная конференция студентов и аспирантов. Вологда: Вологодский государственный технический университет. Т. 1. 2008, с. 55, 56.
V. Свидетельства об официальной регистрации программ для ЭВМ
- Поликарпова Н.И., Точилин В.Н. Генетический генератор автоматов
//Свидетельство об официальной регистрации программы для ЭВМ.
N2008 610473 от 25.01.2008.
- Яминов Б.Р., Шалыто А.А. Расширение верификатора Bogor для
верификации автоматных UniMod-моделей //Свидетельство об официальной регистрации программы для ЭВМ.
№ 2008 611055 от 28.02.2008.
- Лукин М.А., Шалыто А.А. Транслятор автоматной
UniMod-пролграммы во входной язык верификатора SPIN //Свидетельство об
официальной регистрации программы для ЭВМ.№ 2008 610473 от 25.01.2008.
- Курбацкий Е.А., Шалыто А.А.Транслятор автоматной во входной язык верификатора SMV
//Свидетельство об официальной регистрации программы для ЭВМ.
№2008 614 235 от 4.09.2008.
- Вельдер С.Э., Шалыто А.А. Система преобразования автоматной модели в модель Крипке и
верификации CTL-свойтв на ней //Свидетельство об официальной регистрации программы для ЭВМ.
№2008 614 385 от 11.09.2008.
VI. Публицистика
- Шалыто А.А. Сохраним в университетах лучших! //Сайт еженедельника
"PCWEEK/RE". 10.04.2008; Еженедельник "PCWEEK/RE". 2008. №14
- Маврин П.Ю., Шалыто А.А. Триумф российской школы программирования
//Сайт еженеделька "PCWEEK/RE". 14.04.2008
- Шалыто А.А. Зачем нам чемпионы по программированию? //Компьютерра.
2008. №14(730), c.22-24; Командный чемпионат мира по программированию
ACM 2008/2009. Северо-Восточный Европейский регион. СПбГУ ИТМО. 2008,
с. 167-172.
- Маврин П.Ю., Шалыто А.А. Зачем нам чемпионы по программированию
//ITnews. 2008. №8, с.11.
- Шалыто А.А. Писать по-русски. Шутки в сторону //Труды
общеобразовательных структур высших учебных заведений. 2008.
Вып.2. В обществе мысли. СПб.: Межрегиональный институт
экономики и права. С.276-288.
- Шалыто А.А. Новое движение в ИТ-отрасли России "Сохраним в
университетах лучших" //Компьютерные инструменты в образовании.
2008. № 1, с.5-10. http://ipo.spb.ru/journal/article/855/
- Акишев И. Об опыте участия в командных соревнованиях по
программированию формата ACM ICPC /Методическая газета для учителей информатики
"Информатика". 2008. № 19, с. 20-28; Девятая Всероссийская олимпиада
школьников по информатике и программированию. СПбГУ ИТМО. 2008, с. 92-109.
|