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



Главная

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

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

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

English
 Home

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


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

Яndex



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


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



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

I. Статьи в журналах из списка ВАК
  1. Шалыто А.А. Многофункциональные логические модули из элементов с двусторонней проводимостью //Известия РАН. Теория и системы управления. 2006. № 1, с.78–81.
  2. Шалыто А.А. Автоматное программирование //Известия Уральского государственного университета. 2006. № 43. (Компьютерные науки и информационные технологии. Вып.1), с.181–190.
  3. Шалыто А.А. О проекте "Технология автоматного программирования: применение и инструментальные средства" //Информационные технологии. 2006. № 2, с.79.
  4. Вавилов К.В., Шалыто А.А. LabVIEW и SWITCH-технология //Промышленные АСУ и контроллеры. 2006. № 6, с.43–45.

II. Статьи в других российских изданиях
  1. Мазин М.А., Шалыто А.А. Анимация. Flash-технология. Автоматы //Информатика. 2006. № 11, с.36–47.
  2. Наумов Л. Обзор программного обеспечения для решения задач с использованием клеточных автоматов. Причины возникновения проекта CAME&L //Телекоммуникации и информатизация образования. 2006. №2(33), с.32–43.
  3. Оршанский С.А., Шалыто А.А. Применение динамического программирования при решении задач на конечных автоматах //Компьютерные инструменты в образовании. 2006. № 4, с.26–35.
  4. Корнеев Г.А., Шалыто А.А. Автоматизированное построение визуализаторов алгоритмов дискретной математики //Компьютерные инструменты в образовании. 2006. № 5, с. 16-26.

III. Статьи в иностранных журналах
  1. Shopyrin D. Multimethods in C++ Using Recursive Deferred dispatching //IEEE Software. 2006. May/June, pp.62–73.

IV. Публикации на электронных носителях
  1. Канжелев С.Ю., Шалыто А.А. Преобразование графов переходов, представленных в формате Microsoft Visio, в исходные коды программ для различных языков программирования (инструментальное средство MetaAuto) //Мир ПК– Диск. 2006. № 1, 77 с.
  2. Гуров В.С., Нарвский А.С., Шалыто А.А. Исполняемый UML из России // Мир ПК– Диск. 2006. № 3. 5 с.
  3. Вишняков С., Кочелаев Д., Шалыто А. "Устройство" для карточной игры "Покер" //Мир ПК–Диск. 2006. № 5. 20 с.
  4. Джанмухамедов В., Хвастунов А., Шалыто А. Визуализация сборки "Кубика Рубика" //Мир ПК–Диск. 2006. № 5. 71 с.
  5. Колыхматов И., Рыбак О., Шалыто А. Моделирование устройства для продажи газированной воды на инструментальном средстве UniMod //Мир ПК– Диск. 2006. № 6. 50 с.
  6. Паращенко Д., Царев Ф., Шалыто А. Технология моделирования одного класса мультиагентных систем на основе автоматного программирования на примере игры "Соревнование летающих тарелок" //Мир ПК– Диск. 2006. № 9. 62 с.

V. Свидетельства об официальной регистрации программ для ЭВМ
  1. Гуров В.С., Мазин М.А., Шалыто А.А. Ядро автоматного программирования //Свидетельство об официальной регистрации программы для ЭВМ. № 2006 613249 от 14.09.2006.

VI. Материалы конференций в России
  1. Гуров В.С., Мазин М.А., Нарвский В.С., Парфенов В.Г., Шалыто А.А. UniMod – инструментальное средство для поддержки автоматного программирования /Материалы X Всероссийской конференции по проблемам науки и высшей школы "Фундаментальные исследования в технических университетах". СПбГПУ. 2006, с.481–488.
  2. Гуров В.С., Мазин М.А., Парфенов В.Г. Графический отладчик UML-диаграмм состояний в программном пакете UniMod //XIII Всероссийской научно-технической конференции "Телематика-2006". СПб.: СПбГУ ИТМО. 2006. http://tm.ifmo.ru/tm2006/db/doc/get_thes.php?id=302
  3. Наумов Л. Сравнение специализированных сетевых протоколов CTP (Commands Transfer Protocol) и IL (Internet Link) //Труды XIII Всероссийской научно-методической конференции "Телематика-2006". Том 1. СПбГУ ИТМО. 2006, с.78,79.
  4. Гуров В.С., Мазин М.А., Нарвский В.С., Шалыто А.А. Инструментальное средство для поддержки автоматного программирования /Рабочий семинар "Наукоемкое программное обеспечение" на шестой международной конференции "Перспективы систем информатики". Новосибирск: Институт проблем информатики имени А.П. Ершова СО РАН. 2006, с.52–54.
  5. Гуров В.С., Мазин М.А., Нарвский В.С., Шалыто А.А. UniMod – инструментальное средство для автоматного программирования /Материалы Третьей Международной конференции по проблемам управления. М.: Институт проблем управления. 2006, с.224–227.
  6. Аничкин И.М. Применение нейронной сети для управления мотоциклом /Материалы Третьей Международной конференции по проблемам управления. М.: Институт проблем управления. 2006, с. 285–288.
  7. Паращенко Д.А., Шалыто А.А, Царев Ф.Н. Технология моделирования одного класса мультиагентных систем на основе автоматного программирования /Материалы третьей международной научной молодежной школы "Высокопроизводительные вычислительные системы. ВПВС-2006. Таганрог: НИИ МВС ТРТУ. 2006, с.224–229.
  8. Ярцев Б.М., Шалыто А.А. Автоматный подход к разработке эмуляторов реактивных мультиагентных систем /Материалы третьей международной научной молодежной школы "Высокопроизводительные вычислительные системы. ВПВС-2006. Таганрог: НИИ МВС ТРТУ. 2006, с.229–234.
  9. Царев Ф.Н., Шалыто А.А. Гибридное управление беспилотными летательными объектами на основе автоматного программирования /1-я Российская мультиконференция по проблемам управления. Сборник докладов четвертой научной конференции "Управление и информационные технологии". СПГУ ЭТУ "ЛЭТИ". 2006, с.138– 144.
  10. Лобанов П.Г., Шалыто А.А. Использование генетических алгоритмов для автоматического построения конечного автомата в задаче о "флибах" /1-я Российская мультиконференция по проблемам управления. Сборник докладов четвертой научной конференции "Управление и информационные технологии". СПГУ ЭТУ "ЛЭТИ". 2006, с. 144–149.
  11. Паращенко Д.А., Шалыто А.А, Царев Ф.Н. Применение автоматного программирования при моделировании одного класса мультиагентных систем //Материалы девятой международной конференции "Интеллектуальные системы и компьютерные науки". М.: МГУ. 2006. Т.2, с.352–355.
  12. Поликарпова Н.И. Объектно-ориентированный подход к моделированию и спецификации сущностей со сложным поведением /Сборник материалов Всероссийского конкурса инновационных проектов аспирантов и студентов по приоритетному направлению науки и техники "Информационно-телекоммуникационные системы". М.: Федеральное агентство по науке и инновациям РФ. 2006, с.170,171.
  13. Паращенко Д.А., Шалыто А.А, Царев Ф.Н. Технология моделирования одного класса мультиагентных систем на основе автоматного программирования /Материалы седьмой международной научно-технической конференции "Искусственный интеллект. Интеллектуальные и многопроцессорные системы". Том 2. Таганрог: ТРТУ. 2006, с.116–121.
  14. Ярцев Б.М., Шалыто А.А. Автоматный подход к разработке эмуляторов реактивных мультиагентных систем /Материалы седьмой международной научно-технической конференции "Искусственный интеллект. Интеллектуальные и многопроцессорные системы". Том 2. Таганрог: ТРТУ. 2006, с.121–126.
  15. Маврин П.Ю., Корнеев Г.А., Шалыто А.А. Формальная семантика диаграмм состояний, удобная для практического применения /Software Engineering Conference (Russia) "Paths to Competitive Advantage" (SECR 2006). М.: 2006, с.43–46.
  16. Шопырин Д.Г., Шалыто А.А. A Graphical Notion of State-Based Classes Inheritance /Software Engineering Conference (Russia) "Paths to Competitive Advantage" (SECR 2006). М.: 2006, с.20–23.
  17. Канжелев С.Ю., Шалыто А.А. Автоматическая генерация кода программ с явным выделением состояний /Software Engineering Conference (Russia) "Paths to Competitive Advantage" (SECR 2006). М.: 2006, с.60–63.
  18. Поликарпова Н.И. Object-Oriented Approach to Modeling and Specifications /Software Engineering Conference (Russia) "Paths to Competitive Advantage" (SECR 2006). М.: 2006, с.13–19.
  19. Паращенко Д.А., Шалыто А.А, Царев Ф.Н. Применение автоматного программирования для моделирования группового управления движением одного класса беспилотных летальных объектов /Навигация и гироскопия. 2006. N4, с.110. Рефераты докладов на XXV конференции памяти Н.Н.Острякова. ГНЦ РФ ЦНИИ "Электроприбор". Конференция проходила в рамках 1-я Российской мультиконференции по проблемам управления.

VII. Материалы конференций за рубежом
  1. Shalyto A., Shamgunov N., Korneev G. State Machine Design Pattern //.NET Technologies 2006 – Shot communication papers conference proceedings. 4-th International Conference in Central Europe on .NET Technologies. University of West Bohemia. 2006, pp.51– 58.
  2. Paraschenko D., Shalyto A., Tsarev F. Modeling Technology for One Class of Multi-Agent Systems with Automata Based Programming /Proceedings of 2006 IEEE International Conference on Computational Intelligence for Measurement Systems and Applications (CIMSA-2006). La Coruna. Spain. 2006, pp.15– 20. VIII. Проведение семинаров (без публикации трудов)
  3. Семинар "Автоматное программирование". Семинар проводился в рамках Международного Симпозиума по Информатике в России (Computer Science in Russia – CSR 2006), проводимого С.-Петербургским отделением математического института им. В.А. Стеклова РАН и Международным математическим институтом им. Л.Эйлера.
    http://is.ifmo.ru/seminar/autprsem/ (заслушано 19 докладов)
  4. Семинар с Бертраном Мейром на тему: “Работы по программной инженерии, проводимые на кафедре „Технологии программирования“ СПбГУ ИТМО”.
    http://is.ifmo.ru/seminar/_meyerprog.pdf (заслушано 12 докладов).

IX. Публицистика
  1. Шалыто А.А. Триединая задача одного педагогического эксперимента в области IT-образования //Открытое образование. 2006. № 1, с.82– 85.
  2. Шалыто А.А. Бертран Мейер – почетный доктор СПбГУ ИТМО //Компьютер-информ. 2006. № 15, с.6. Статья размещена сайте http://www.ci.ru
  3. Шалыто А.А. Будут ли в России ИТ-ученые в XXI-веке? //Мир ПК-Диск. 2006. № 1, 4 с. 4. Гуров В.С., Нарвский А.С., Шалыто А.А. Исполняемый UML из России //Мир ПК– Диск. 2006. № 3. – 5 с.
  4. Шалыто А.А. Как это было, или Почему раньше хорошо учили вычислительной технике //МирПК– Диск. 2006. № 1. – 6 с.
  5. Шалыто А.А. Прикольно, гламурно, пафосно //Компьютерра. 2006. № 11(631), с.38; Мир ПК–Диск. 2006. № 5. – 2 c.
  6. Шалыто А.А. Информация или дух //Компьютерра. 2006. № 12(632), с.94,95.
  7. Об автоматном программировании. Врезка в статью "Субъектное программирование" //Компьютерра. 2006. № 13(633), с.47.
  8. Шалыто А.А. Дает ли современный российский университет современные знания //Компьютерра. 2006. № 15(635), с.64, 65.
  9. Шалыто А.А. Термин в клетке //Компьютерра. 2006. № 16(636), с.60, 61.
  10. Шалыто А.А. Почему холопы плохо работают? //Компьютерра. 2006. № 19(639), с.66, 67.
  11. Шалыто А.А. Почему у нас трудности с инновациями //Компьютерра. 2006. № 20(640), с.26, 27.
  12. Шалыто А.А. Должен ли народ знать своих героев? //Компьютерра: Северо-Запад. 2006. № 20(640), с.1,2.
  13. Шалыто А.А. Об оценке профессионалами //Компьютерра. 2006. № 27–28 (647– 648), с. 56,57. Мир ПК– Диск. 2006. № 8. – 2 с.
  14. Шалыто А.А. Образование и наука – фундамент университета //Университет ИТМО. 2006. № 72, с.3.
  15. Шалыто А.А. ИТ-образование: острых проблем еще очень много //PC WEEK/RE. 2006. № 14, с.52,53.
  16. Шалыто А.А. Как правильно? //PC WEEK/RE. 2006. № 37, с.52.
  17. Шалыто А.А. Кому нужны ИТ-таланты //PC WEEK/RE. 2006. № 39, с.59.
  18. Шалыто А.А. Победы и проблемы российской школы программирования //PC WEEK/RE. 2006. 47, с.42,45.
  19. Парфенов В.Г., Шалыто А.А. Финал командного чемпионата мира по программированию ACM 2005/2006 в Сан-Хосе (США) //Компьютерные инструменты в образовании. 2006. № 2, с.25–33.
  20. Шалыто А.А. Бертран Мейер – почетный доктор СПбГУ ИТМО //Компьютерные инструменты в образовании. 2006. № 3, с.3–6.

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

XI. Награды
  1. Шалыто А.А. включен в книгу "Выдающиеся выпускники и деятели Санкт-Петербургского государственного электротехнического университета "ЛЭТИ" имени В.И. Ульянова (Ленина). СПб.: Изд-во СПбГЭТУ "ЛЭТИ" им. В.И. Ульянова (Ленина).2006, с.299.
  2. Царев Ф.Н. получил стипендию Правительства Санкт-Петербурга. http://www.spbdnevnik.ru/?show=article&id=1023



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