Научная деятельность по автоматному программированию за 2005 год



Научная деятельность по автоматному программированию за 2005 год

I. Статьи в журналах из списка ВАК
  1. Наумов Л.А., Шалыто А.А. Классификация структур, порождаемых одномерными двоичными клеточными автоматами из точечного зародыша //Известия РАН. Теория и системы управления. 2005. № 5, с.137–145.
  2. Кретинин А.В., Солдатов Д.В., Шалыто А.А., Шостак А.В. Использование нейросетевых конечных автоматов для моделирования функционирования агрегатов жидкостного ракетного двигателя //Информационные технологии. 2005. № 8, с.47–53.
  3. Кретинин А.В., Солдатов Д.В., Шалыто А.А., Шостак А.В. Ракеты. Автоматы. Нейронные сети //Нейрокомпьютеры: разработка и применение. 2005. № 5, 50–59.
  4. Альтерман И.З., Шалыто А.А. Формальные методы программирования логических контроллеров //Промышленные АСУ и контроллеры. 2005. № 10, c.49–52.
  5. Казаков М.А., Шалыто А.А.Методы построения логики визуализаторов алгоритмов //Открытое образовангие. 2005. № 4, с.53-57.
  6. Корнеев Г.А., Шалыто А.А. Построение визуализаторов алгоритмов дискретной математики //Научно-технический вестник СПбГУ ИТМО. Высокие технологии в оптических и информационных системах. СПбГУ ИТМО. 2005. Вып.23, с.118–129.
  7. Корнеев Г.А., Шалыто А.А. VIZI – язык описания визуализаторов алгоритмов //Научно-технический вестник СПбГУ ИТМО. Высокие технологии в оптических и информационных системах. СПбГУ ИТМО. 2005. Вып.23, с.130–137.
  8. Аничкин И.М. Нейросеть для управления мотоциклом //Научно-технический вестник СПбГУ ИТМО. Высокие технологии в оптических и информационных системах. СПбГУ ИТМО. 2005. Вып.23, с.162–170.

II. Статьи в других российских изданиях
  1. Корнеев Г.А., Шамгунов Н.Н., Шалыто А.А. State Machine –расширение языка Java для эффективной реализации автоматов //Информационно-управляющие системы. 2005. № 1, с.16–24.
  2. Казаков М.А., Шалыто А.А. Реализация анимации при построении визуализаторов алгоритмов на основе автоматного подхода //Информационно-управляющие системы. 2005. № 4, с.51–60.
  3. Пестов О.А., Шалыто А.А. Сапер. Мины. Автоматы //Компьютерные инструменты в образовании. 2005. № 2, с.76–81.
  4. Бабаев А.i Фильтрация строк с использованием автоматов //RSDN. 2005. № 1, с.14–19.
  5. Шопырин Д.Г. Метод проектирования и реализации конечных автоматов на основе виртуальных вложенных классов //Информационные технологии моделирования и управления. 2005. № 1, с.87–96.
  6. Шопырин Д.Г. Объектно-ориентированная реализация конечных автоматов на основе виртуальных методов //Информационно-управляющие системы. 2005. № 3, с.36–40.
  7. Наумов Л.А. Решение задач с помощью клеточных автоматов посредством программного обеспечения CAMEL (Часть I) //Информационно-управляющие системы. 2005. № 5, с.22–30.
  8. Наумов Л.А. Решение задач с помощью клеточных автоматов посредством программного обеспечения CAMEL (Часть II) //Информационно-управляющие системы. 2005. № 6, с.30–38.
  9. Казаков М.А., Шалыто А.А. Автоматный подход к реализации анимации в визуализаторах алгоритмов //Компьютерные инструменты в образовании. 2005. № 3, с.62–76.
  10. Новиков Ф.А. Визуальное конструирование программ //Информационно-управляющие системы. 2005. № 6, с.9–22.
  11. Петрошенко П.А., Корнеев Г.А., Шалыто А.А. Реализация игры "Морской бой" на основе автоматного подхода //Компьютерные инструменты в образовании. 2005. № 6, с.72–82.

III. Публикации по пуляризации науки
  1. Шалыто А.А. Занимательные вопросы //Компьютерные инструменты в образовании. 2005. № 5, с.85–88.

IV. Публикации на электронных носителях
  1. Шалыто А.А. Еще раз об открытой проектной документации //PC WEEK/RE. 2005. № 11, c.33,34. Мир ПК–Диск. 2005. № 5. – 6 с.
  2. Лобанов П., Шалыто А. Подсчет длины строк в строке //Мир ПК. 2005. № 7, с.66–70; Мир ПК–Диск. 2005. № 6. – 15 с.
  3. Гуров В.С., Нарвский А.С., Шалыто А.А. Исполняемый UML из России /PC Week/RE. № 26, c.18,19.
  4. Зарубин А., Краюхин Д., Шалыто А.А. Система сбора данных на метеорологической станции (пример из книги Г. Буча) //Мир ПК–Диск. 2005. № 3. – 27 с.
  5. Богданов М., Шалыто А.А. Компьютерная игра "Lode Runner". Мир ПК-Диск. 2005. № 3. – 15 с.
  6. Фельдман П., Шалыто А.А. Разработка средств для отладки автоматных программ //Мир ПК–Диск. 2005. № 4. – 53 с.
  7. Ярцев Б., Шалыто А.А. Разработка ПО роботов Lego Mindstroms на основе автоматного подхода. //Мир ПК–Диск. 2005. № 4. – 73 с.
  8. Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. UniMod 01.02.012 //Мир ПК–Диск. № 6.
  9. Бедный Ю. Построение визуализатора нахождения максимального потока в сети методом Диница и Малхотры-Кумара-Махешвари на базе технологии Vizi //Мир ПК–Диск. № 6. – 101 с.
  10. Заякин Е.А., Шалыто А.А. Метод устранения повторных фрагментов кода при реализации конечных автоматов //Мир ПК–Диск. № 8. – 22 с.
  11. Шалыто А.А. Триединая задача одного педагогического эксперимента в области IT-образования //IT news. 2005. № 15, с.14.

V. Материалы конференций в России
  1. Шалыто А.А. Автоматно-ориентированное программирование /Материалы IX Всероссийской конференции по проблемам науки и высшей школы "Фундаментальные исследования в технических университетах". СПб.: Изд-во Политехнического университета. 2005, с.44–52.
  2. Гуров В.С., Мазин М.А., Шалыто А.А. Операционная семантика UML-диаграмм состояний в программном пакете UniMod /Труды XII Всероссийской научно-методической конференции "Телематика-2005". СПб.: СПбГУ ИТМО. Т.1, с.74–76.
  3. Казаков М.А., Шалыто А.А. Технология построения визуализаторов алгоритмов на основе автоматного подхода /Труды XII Всероссийской научно-методической конференции "Телематика-2005". СПб.: СПбГУ ИТМО. Т.2, с.507–508.
  4. Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. UniMod: Метод и средство разработки реактивных объектно-ориентированных программ с явным выделением состояний /Труды Второй Всероссийской научной конференции "Методы и средства обработки информации". М.: МГУ. 2005, с.361–366.
  5. Корнеев Г.А., Шалыто А.А Преобразование программ в систему взаимодействующих конечных автоматов /Труды Второй Всероссийской научной конференции "Методы и средства обработки информации". М.: МГУ. 2005, с.385–387.
  6. Станкевич А.С., Корнеев Г.А., Маврин П.Ю. Использование конечных автоматов с магазинной памятью для автоматизации тестирования программных решений /Труды XII Всероссийской научно-методической конференции "Телематика-2005". СПб.: СПбГУ ИТМО. Т.2, с.510–511.
  7. Шопырин Д.Г. Программирование с явным выделением состояний на платформе.NET /Труды XII Всероссийской научно-методической конференции "Телематика-2005". СПб.: СПбГУ ИТМО. Т.1, с.86–87.
  8. Коротков М.А. Разработка алгоритма укладки диаграмм состояний /Труды XII Всероссийской научно-методической конференции "Телематика-2005". СПб.: СПбГУ ИТМО. Т.1, с.89–92.
  9. Наумов Л.А. Новая версия сетевого протокола для высокопроизводительных вычислений CTP (Commands Transfer Protocol) v.1.2 /Труды XII Всероссийской научно-методической конференции "Телематика-2005". СПб.: СПбГУ ИТМО. Т.1, с.92, 93.
  10. Наумов Л.А. Преимущества использования обобщенных координат для многомерных решеток клеточных автоматов /Труды XII Всероссийской научно-методической конференции "Телематика-2005". СПб.: СПбГУ ИТМО. Т.1, с.93–95.
  11. Столбов С.А., Шалыто А.А. Метод реализации с использованием клеточных автоматов игр, в которых преобладают локальные взаимодействия /Материалы международной научно-технической конференции "Интеллектуальные и многопроцессорные системы - 2005". Таганрог - Донецк - Минск, ТРТУ. 2005. Т.1, с. 138–141.
  12. Ярцев Б.М., Шалыто А.А. Автоматный подход к разработке управляющих программ для реактивных мультиагентных систем /Материалы международной научно-технической конференции "Интеллектуальные и многопроцессорные системы – 2005". Таганрог – Донецк – Минск, ТРТУ. 2005. Т.2, с. 13–17.
  13. Gurov V.S., Mazin M.A., Narvsky A.S, Shalyto A.A. UniMod: Method and Development of Reactive Object-Oriented Programs with Explicit States Emphasis /Proceedings 2005 of St. Petersburg IEEE Chapters. International Conference "110 Anniversary of Radio Invention". SPbETU "LETI". 2005, pp.106–110.
  14. Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. Проект UniMod: исполняемый UML //Software Engineering Conference in Russia – SEC(R)2005. Abctracts, c.12, 13. Электронный диск с тем же названием.
  15. Корнеев Г.А., Шалыто А.А. Построение системы конечных автоматов по программному коду //Software Engineering Conference in Russia – SEC(R) 2005. Abctracts, c.12. Электронный диск с тем же названием.
  16. Гуров В.С., Мазин М.А. Создание системы автоматического завершения ввода с использование пакета UniMod /Вестник II межвузовской конференции молодых ученых. Сборник научных трудов. Т.1. СПбГУ ИТМО, 2005, с.73–87.
  17. Корнеев Г.А. Метод преобразования программ в систему взаимодействующих автоматов /Вестник II межвузовской конференции молодых ученых. Сборник научных трудов. Т.1. СПбГУ ИТМО, 2005, с.65–72.
  18. Корнеев Г.А. Технология разработки визуализаторов алгоритмов /Вестник II межвузовской конференции молодых ученых. Сборник научных трудов. Т.1. СПбГУ ИТМО, 2005, с.18–23.
  19. Шопырин Д.Г. Реализация мультиметодов на языке программирования С++ /Вестник II межвузовской конференции молодых ученых. Сборник научных трудов. Т.1. СПбГУ ИТМО, 2005, с.46–48.
  20. Коротков М.А. Алгоритмы укладки диаграмм состояний /Вестник II межвузовской конференции молодых ученых. Сборник научных трудов. Т.1. СПбГУ ИТМО, 2005, с.5–11.
  21. Казаков М.А. Реализация концепции многоуровневой системы дистанционного обучения на базе интернет-школы программирования /Вестник II межвузовской конференции молодых ученых. Сборник научных трудов. Т.1. СПбГУ ИТМО, 2005, с.176–183.
  22. Корнеев Г.А., Станкевич А.С. Методы тестирования решений задач на соревнованиях по программированию /Вестник II межвузовской конференции молодых ученых. Сборник научных трудов. Т.1. СПбГУ ИТМО, с.36–40.
  23. Казаков М.А. Реализация концепции многоуровневой системы дистанционного обучения на базе Интернет-школы программирования /Вестник II межвузовской конференции молодых ученых. Сборник научных трудов. Т.1. СПбГУ ИТМО, с.176–183.

VI. Материалы конференций за рубежом
  1. Naumov L., Korneev G., Shalyto A. Methods of Object-Oriented Reactive Agents Implementation on the Basis of Finite Automata /2005 International Conference on "Integration of Knowledge Intensive Multi-Agent Systems: Modeling, Exploration and Engineering". KIMAS-05. Boston: IEEE Boston Section. 2005, pp.460–465.
  2. Yartsev B., Korneev G., Kotov V., Shalyto A. Automata-Based Programming of the Reactive Multi-Agent Control Systems /2005 International Conference on "Integration of Knowledge Intensive Multi-Agent Systems: Modeling, Exploration and Engineering". KIMAS-05. Boston: IEEE Boston Section. 2005, pp.449–453.

VII. Материалы, опубликованные в Интернет
  1. Шалыто А.А. Новая инициатива в программировании. Движение за открытую проектную документацию. http://opensource-forum.ru, раздел "Программа".
  2. Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. Проект с открытым кодом UniMod – инструментальное средство для автоматного программирования на платформе "Ecipse". http://opensource-forum.ru, раздел "Программа".

VIII. Принимали участие в работе международных конференций
  1. 2005 International Conference on "Integration of Knowledge Intensive Multi-Agent Systems: Modeling, Exploration and Engineering". KIMAS-05. Boston: IEEE Boston Section. 2005.
  2. 2005 of St. Petersburg IEEE Chapters. International Conference "110 Anniversary of Radio Invention". SPb ETU "LETI". 2005.
  3. Международная научно-техническая конференция "Интеллектуальные и многопроцессорные системы – 2005". Таганрог – Донецк – Минск, ТРТУ. 2005. Т.1.
  4. Software Engineering Conference in Russia – SEC(R) 2005. М.: RUSSOFT. 2005.

IX. Принимали участие в работе конференций базе университета
  1. XXXIII конференция профессорско-преподавательского состава
  2. II межвузовская конференция молодых ученых

X. Принимали участие в работе конференций других университета
  1. IX Всероссийская конференция по проблемам науки и высшей школы "Фундаментальные исследования в технических университетах". СПб.: Политехнический университет. 2005.
  2. XII Всероссийская научно-методическая конференция "Телематика-2005". СПб.: СПбГУ ИТМО.
  3. Вторая Всероссийская научная конференция "Методы и средства обработки информации". М.: МГУ. 2005.
  4. Open Sourсе Forum. М.: RUSSOFT. 2005.

XI. Организационные мероприятия
  1. Проведены мероприятия по присвоению Ученым Советом СПбГУ ИТМО звания "Почетный доктор ИТМО" президенту корпорации Borland Д. Фуллеру.
  2. Проведены мероприятия по присвоению Ученым Советом СПбГУ ИТМО звания "Почетный доктор ИТМО" создателю языка программирования "Паскаль" Н. Вирту.
  3. На базе СПбГУ ИТМО и корпорации Borland организована научно-исследовательская лаборатория "Технологии программирования".
  4. На базе СПбГУ ИТМО организована для обучения продвинутым курсам информатики "Академия Borland".
  5. На базе СПбГУ ИТМО начал работать общегородской научный семинар "Визуальные средства разработки программ".

XII. Темы, гранты, контракты
  1. Грант корпорации "Borland" на поведение научных исследований.
  2. Грант РФФИ № 05-07-90086 "Разработка среды и библиотеки "CAMEL" для организации параллельных и распределенных вычислении на основе клеточных автоматов".
  3. Грант РФФИ № 05-07-90011 "Разработка технологии объектно-ориентированного программирования с явным выделением состояний"
  4. Тема № 15005 Министерства образования и науки "Разработка основных положений создания программных систем управления со сложным поведением на основе объектно-ориентированного и автоматного подходов".
  5. Государственный контракт № 02.435.11.1009 на выполнения опытно-конструкторской работы по теме (Шифр ИТ-13.4/004): "Технология автоматного программирования: применение и инструментальные средства" (VI очередь), выполняемой в рамках Федеральной целевой научно-технической программы "Исследования и разработки по приоритетным направлениям развития науки и техники" на 2002-2006 годы.

XIII. Публицистика
  1. Шалыто А.А. Еще раз об асинхронных процессорах. Памяти Виктора Ильича Варшавского //PC Week/RE. 2005. № 7, с.37–39; Мир ПК–Диск. 2005. № 4. –7 с.
  2. Шалыто А.А. Кому нужны IT-таланты? //PC Week/RE. 2005. № 16, с.42, 45; Мир ПК–Диск. 2005. № 6. – 6 c.
  3. Шалыто А.А. Еще раз об открытой проектной документации //PC Week/RE. 2005. № 11, c.33,34.
  4. Гуров В.С., Нарвский А.С., Шалыто А.А. Исполняемый UML из России //PC Week/RE. 2005. № 26, c.18, 19.
  5. Шалыто А.А. Будут ли в России ИТ-ученые в XXI-веке? //PC Week/RE. 2005. № 44, c.44, 47.
  6. Шалыто А.А. Как это было, или Почему раньше хорошо учили вычислительной технике //PC Week/RE. 2005. № 46, c.55, 56.
  7. Шалыто А.А. Никлаус Вирт – почетный доктор СПбГУ ИТМО //Компьютерные инструменты в образовании. 2005. № 5, c.3–7; Информационно-управляющие системы. 2005. № 5, с.56–58.
  8. Шалыто А.А. Триединая задача одного педагогического эксперимента в области IT-образования //IT news. 2005. № 15, с.14.

XIV. Диссертиции
    Шопырин Данил Геннадьевич. Методы объектно-ориентированного проектирования и реализации программного обеспечения реактивных систем. Руководитель – Шалыто Анатолий Абрамович.