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



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-Yota
 Стрим
 Смольный
Учебный процесс
 Образование
 Дипломы
 Курсовые проекты
 Лабораторные работы
 Учебные курсы
 Визуализаторы
 Unimod-проекты
 Семинары
 Стипендии
Наука
 События и факты
 Госконтракты
 Статьи
 Диссертации
 Книги
 Презентации
 Свидетельства
 Сотрудничество
Исследования
 Автоматы
 Верификация
 Геном
 Искусственный интеллект
 Генетические алгоритмы
 Движение
 UniMod
 Роботы и агенты
 Нейронные сети
 ФЦП ИТМО-Аалто
 Разное

О нас
 Премии
 Сертификаты и дипломы
 Соревнования по программированию
 Прорыв
 Автографы
 Рецензии

Беллетристика
 Мотивация
 Мысли
Медиа
 Видео
 Фотографии
 Аудио
 Интервью

English
 Home

 Articles
 Posters
 Automata-Based Programming
 Initiatives
 Projects
 Presentations
 UniMod
 UniMod Projects
 Visualizers


Поиск по сайту

Яndex



   Главная / События и факты / Научная работа за 2010 год (версия для печати)


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



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

I. Государственные контракты
  • Аналитическая ведомственная целевая программа «Развитие научного потенциала высшей школы». Мероприятие 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П на выполнение НИР по направлению «Информатика» по проблеме «Разработка методов совместного применения генетического и автоматного программирования для построения систем управления беспилотными летательными аппаратами».
  • Федеральная целевая программа «Научные и научно-педагогические кадры инновационной России» на 2009–2013 годы. Мероприятие 1.3.2. «Проведение научных исследований целевыми аспирантами». Открытый конкурс НК-385П на выполнение НИР по направлению «Информатика» по проблеме «Разработка методов машинного обучения на основе генетических алгоритмов для построения управляющих конечных автоматов».
  • Грант РФФИ – 10–01–0654-а. Тема: «Разработка методов машинного обучения на основе генетического программирования для построения управляющих конечных автоматов».
II. Монографии
  • Поликарпова Н. И., Шалыто А. А. Автоматное программирование. СПб.: Питер. 2010. 176 с.
III. Статьи в журналах из перечня ВАК
  • Поликарпова Н. И., Точилин В. Н., Шалыто А. А. Метод сокращенных таблиц для генерации автоматов с большим числом входных переменных на основе генетического программирования // Известия РАН. Теория и системы управления. 2010. № 2, с.100 – 117.
  • Polikarpova N. I., Tochilin V. N,, Shalyto A. A. Method of Reduced Tables for Generation of Automata with a Large Number of Input Variables Based on Genetic Programming // Journal of Computer and Systems Sciences International, 2010. vol, 49. № 2, pp. 265–282.
  • Суясов Д. И. Выделение структурных признаков изображений символов на основе клеточных автоматов с метками // Информационно-управляющие системы. 2010. № 4, с.39–45.
  • Клебанов А. А., Степанов О. Г., Шалыто А. А. Применение шаблонов требований к формальной спецификации и верификации автоматных программ // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2010. № 5, с. 91–95.
  • Егоров К. В., Царев Ф. Н., Шалыто А. А. Применение генетического программирования для построения автоматов управления системами со сложным поведением на основе обучающих примеров и спецификации // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики, № 5 (69), 2010, с. 81-86.
  • Попов С. И., Попов Ю. И., Шалыто А. А. Задача о муравьеде и муравьях // Информационные технологии, № 8, 2010, с. 18-22.
  • Акишев И. Р., Дворкин М. Э. О построении минимальных детерминированных конечных автоматов, распознающих префиксный код заданной мощности // Прикладная дискретная математика. № 2, с. 104–116.
  • Царев Ф. Н. Метод построения управляющих конечных автоматов на основе тестовых примеров с помощью генетического программирования // Информационно-управляющие системы. 2010. № 5, с. 31–36.
  • Малаховски Я. М., Корнеев Г. А. Валидация автоматов с переменными на функциональных языках программирования // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2010. № 6, с. 73–77.
  • Тарасюк М. В., Царев Ф. Н. Метод оценивания трафика VPN-сети на основе моделей скрытой Марковской цепи в задачах технической разведки // Безопасность информационных технологий. 2010. № 3, с. 149–152.
  • Опарин В. В., Фильченков А. А., Сироткин А. В., Тулупьев А. Л. Матроидное представление семейства графов смежности над набором фрагментов знаний // Научно-технический вестник СПбГУ ИТМО. 2010. № 4, с. 73–77.
IV. Статьи
  1. Ремизов А. О., Шалыто А. А. Верификация автоматных программ на основе метода Model Checking //Системы управления и обработки информации. 2010. Вып. 21, с. 84 – 94.
  2. Станкевич А. С. Использование алгоритмов анализа левоконтекстных терминальных грамматик в задачах автоматического тестирования программ //Труды СПИИРАН. 2010. Вып. 13, с. 106 – 121.
  3. Егоров К.В., Царев Ф. Н., Шалыто А. А. Совместное применение генетического программирования и верификации для построения автоматов управления системами со сложным поведением // Труды СПИИРАН. 2010. Вып. 15, с. 123 – 135.
V. Конференции
    XI конференция молодых ученых «Навигация и управление движением». СПб.: ЦНИИ «Электроприбор». 2009. Состояние, проблемы и перспективы создания корабельных информационно-управляющих комплексов. ОАО «Концерн «Моринформсистема «Агат». М.: 31.03–2.04. 2010 г.
    • Ремизов А.О., Шалыто А.А. Верификация автоматных программ /Сборник докладов научно-технической конференции «Состояние, проблемы и перспективы создания корабельных информационно-управляющих комплексов. ОАО «Концерн «Моринформсистема «Агат». М.: 2010, с. 90–98.
    • Ремизов А.О., Шалыто А.А. Автоматный подход к созданию программного обеспечения боевой информационно-управляющей системы /Сборник докладов научно-технической конференции «Состояние, проблемы и перспективы создания корабельных информационно-управляющих комплексов. ОАО «Концерн «Моринформсистема «Агат». М.: 2010, с. 155–159.
    Состояние, проблемы и перспективы создания корабельных информационно-управляющих комплексов. ОАО «Концерн «Моринформсистема «Агат». М.: 31.03–2.04. 2010 г.
    • Ремизов А.О., Шалыто А.А. Верификация автоматных программ /Сборник докладов научно-технической конференции «Состояние, проблемы и перспективы создания корабельных информационно-управляющих комплексов. ОАО «Концерн «Моринформсистема «Агат». М.: 2010, с. 90–98.
    • Ремизов А.О., Шалыто А.А. Автоматный подход к созданию программного обеспечения боевой информационно-управляющей системы /Сборник докладов научно-технической конференции «Состояние, проблемы и перспективы создания корабельных информационно-управляющих комплексов. ОАО «Концерн «Моринформсистема «Агат». М.: 2010, с. 155–159.
    XVII Всероссийская научно-методическая конференция «Телематика`2010»
    • Маврин П.Ю., Парфенов В.Г., Станкевич А.С. Автоматизация составления вариантов заданий для проверочных работ /Труды XVII Всероссийской научно-методической конференции «Телематика`2010». Т. 1. СПбГУ ИТМО. 2010, с. 196, 197.
    • Станкевич А.С., Парфенов В.Г., Маврин П.Ю. Использование левоконтексных грамматик для описания сценариев автоматического тестирования программных решений /Труды XVII Всероссийской научно-методической конференции «Телематика`2010». Т. 1. СПбГУ ИТМО. 2010, с. 198, 199.
    • Александров А.В., Казаков С.В., Парфенов В.Г., Сергушичев А.А., Царев Ф.Н. Применение генетических алгоритмов на основе обучающих примеров для построения конечных автоматов для управления моделью беспилотного самолета /Труды XVII Всероссийской научно-методической конференции «Телематика`2010». Т. 2. СПбГУ ИТМО. 2010, с. 343.
    • Буздалов М.В., Парфенов В.Г. Генерация конечных автоматов с помощью генетических алгоритмов для решения задач навигации /Труды XVII Всероссийской научно-методической конференции «Телематика`2010». Т. 2. СПбГУ ИТМО. 2010, с. 343, 344.
    • Егоров К.В., Парфенов В.Г., Царев Ф.Н. Совместное применение генетического программирования и верификации моделей для построения автоматов управления системами со сложным поведением /Труды XVII Всероссийской научно-методической конференции «Телематика`2010». Т. 2. СПбГУ ИТМО. 2010, с. 344, 345.
    Семинар «Семантика, спецификация и верификация программ: теория и приложения». Казань. 14, 15 июня 2010.
    • Клебанов А.А., Степанов О.Г., Шалыто А.А. Применение шаблонов требований к формальной спецификации и верификации автоматных программ /Труды семинара «Семантика, спецификация и верификация программ: теория и приложения». Казань. 2010, с. 124–130.
    4 Spring/Summer Young Researcher`s Colloquium on Software Engineering». Нижний Новгород. 1, 2 июня 2010.
    • Zakonov A., Stepanov O., Shalyto A.A. A GA-Based Approach for Test Generation for Automata-Based Programs /Proceeding of the 4 Spring/Summer Young Researcher`s Colloquium on Software Engineering» (SYRCoSE 2010). Nizhny Novgorod. 2010, pp.37–42.
    • Klebanov A.A. On the Formal Specification of Automata-based Programs via Specification Patterns /Proceeding of the 4 Spring/Summer Young Researcher`s Colloquium on Software Engineering» (SYRCoSE 2010). Nizhny Novgorod. 2010, pp.97–99.
    Международная конференция по мягким вычислениям и измерениям (SCM`2010). СПбГЭТУ «ЛЭТИ». 2010.
    • Александров А. В., Казаков С. В., Сергушичев А. А., Царев Ф. Н. Генетическое программирование на основе обучающих примеров для построения конечных автоматов управления моделью беспилотного самолета /Сборник докладов международной конференции по мягким вычислениям и измерениям (SCM`2010). СПбГЭТУ «ЛЭТИ». Т. 1, с. 263–267.
    IEEE East-West Design & Test Symposium (EWDTS`10). St. Petersburg. 2010.
    • Zakonov A., Stepanov O., Shalyto A.A. GA-Based and Design by Contract Approach to Test Generation for EFSMs /Proceedings of IEEE East-West Design & Test Symposium (EWDTS`10). St. Petersburg. 2010, pp. 152–155.
    Всероссийская научно-практическая конференция с международным участием «Информационные технологии в профессиональной деятельности и научной работе». Йошкар-Ола. Марийский государственный технический университет. 2010
    • Бульенов А. В. Комплексное использование автоматного подхода в разработке WEB-приложений /Сборник материалов Всероссийской научно-практической конференции с международным участием «Информационные технологии в профессиональной деятельности и научной работе». Йошкар-Ола. Марийский государственный технический университет. 2010, с. 132–134.
    • Фахми Ш.С., Колесников Е.И. Пирамидально рекурсивные алгоритмы кодирования и декодирования нестационарных изображений /Сборник материалов Всероссийской научно-практической конференции с международным участием «Информационные технологии в профессиональной деятельности и научной работе». Йошкар-Ола. Марийский государственный технический университет. 2010, с. 147–151.
    Российская конференция с международным участием «Технические и программные средства систем управления, контроля и измерения» (УКИ`10). М.: Институт проблем управления им. В.А. Трапезникова РАН. 2010.
    • Шалыто А. А. Автоматное программирование /Труды конференции «Технические и программные средства систем управления, контроля и измерения» (УКИ`10). М.: Институт проблем управления им. В.А. Трапезникова РАН. 2010, c.156 –167.
    IX Сибирская научная школа-семинар с международным участием «Компьютерная безопасность и криптография» (SIBERCRYPT`10). Тюмень, 2010.
    • Акишев И. Р., Дворкин М. Э. О построении минимальных детерминированных конечных автоматов, распознающих префиксный код заданной мощности // Прикладная дискретная математика. № 3. Приложение, с.92–94.
    II Международная научно-практическая конференция «Объектные системы – 2010» (Зимняя сессия). Ростов–на–Дону. Южно-Российский государственный технический университет. 2010.
    • Столяров Л. В., Петряйкин Ф. А., Уваров Н. С. Разработка платформы для автоматного моделирования и проведения соревнований автоматных интеллектов с трехмерной визуализацией /Материалы II Международной научно-практической конференции «Объектные системы – 2010» (Зимняя сессия). Ростов–на–Дону. Южно-Российский государственный технический университет. 2010, с. 75–81.
    10th Annual International Software Testing Conference 2010. Software Testing College
    • Zakonov A., Shalyto A. Design by contract approach to test generation for EFSMs using GA /10th Annual International Software Testing Conference 2010. Software Testing College
VI. О нас
VII. Свидетельства о регистрации программ
  1. Чеботарева Ю. К., Шалыто А. А. Программное средство для автоматической генерации движений человекоподобного робота в среде Webots. Свидетельство о государственной регистрации программы для ЭВМ. № 2010 610927. Дата регистрации – 29.01.2010.
  2. Малаховски Я. М., Шалыто А. А. Библиотека для поддержки автоматного программирования на языке Haskell. Свидетельство о государственной регистрации программы для ЭВМ. № 2010 614196. Дата регистрации – 29.06.2010.
  3. Царев Ф. Н. Программное средство для построения управляющих автоматов на основе обучающих примеров с использованием генетических алгоритмов. Свидетельство о государственной регистрации программы для ЭВМ. № 2010 614197. Дата регистрации – 29.06.2010.
  4. Алексеев С. А., Калиниченко А. И., Клебан В. О., Шалыто А. А. Программный комплекс для исследования автоматного управления роботами. Свидетельство о государственной регистрации программы для ЭВМ. № 2010 614264. Дата регистрации – 30.06.2010.
  5. Данилов В. Р., Шалыто А. А. Программное средство для генерации на основе генетического программирования автоматов, представленных линейными графами. Свидетельство о государственной регистрации программы для ЭВМ. № 2010 615014. Дата регистрации – 03.08.2010.
  6. Борисенко А. А., Шалыто А. А. Программное средство для автоматической проверки контрактов и темпоральных спецификаций в среде MPS
VIII. Статьи (публицистические)
  1. Шалыто А. А. Сохраним лучших! Save the best! //Русский меценат. 2010. Вып.7, с.  47–51.
  2. Шалыто А. А. Дерзайте. Все в ваших руках! //Ежегодное издание для 11- классников «Выпускной класс». № 10. (2010), с.28.
  3. Шалыто А. А. Так много надо успеть //Образование для взрослых. 2010. № 7, c. 31–33.
  4. Шалыто А. А. Путь к успеху //Газета «Университет ИТМО». 2010. № 121, с. 7.
  5. Шалыто А. А. Рецепт от «утечки мозгов» //Ученый совет. 2010. № 8, с. 21-23.
  6. Шалыто А. А. Распределенный город солнца // Сайт еженедельника «PC WEEK/RE». http://www.pcweek.ru/themes/detail.php?ID=122449
  7. Шалыто А. А. ИТ-образование: государство или не только … //Сайт еженедельника «PC WEEK/RE». http://www.pcweek.ru/themes/detail._print.php?ID=122014&print=Y
  8. Шалыто А. А. На ком держится Россия //Сайт еженедельника «PC WEEK/RE». http://www.pcweek.ru/spheres/detail.php?ID=123873&SPHERE_ID=83002
IX. Книга публицистическая
  1. Шалыто А. А. Заметки о мотивации. СПб.: Мозаика НК. 2010. – 48 с.
  2. Шалыто А. А. Заметки о мотивации. Второе издание. СПб.: Мозаика НК. 2010. – 48 с.
  3. Шалыто А. А. Заметки о мотивации. Третье издание. СПб.: Мозаика НК. 2010. – 48 с.
X. Диссертации
  1. Казаков М. А. Методы построения визуализаторов алгоритмов дискретной математики на основе автоматного подхода. Диссертация на соискание ученой степени кандидата технических наук. СПбГУ ИТМО, 2010.
  2. Мазин М. А. Автоматное программирование для среды языково-ориентированного программирования. Диссертация на соискание ученой степени кандидата технических наук. СПбГУ ИТМО, 2010.



© 2002—2017 По техническим вопросам сайта: vl.ulyantsev@gmail.com