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



Главная

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

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

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

English
 Home

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


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

Яndex



   Главная / О нас / Шалыто Анатолий Абрамович (версия для печати)


Шалыто Анатолий Абрамович



Фото Год рождения: 1948
Ученое звание: профессор
Ученая степень: доктор технических наук
Должность: заведующий кафедрой "Технологии программирования"
Телефон: 7(812)247-9545
E-mail: shalyto@mail.ifmo.ru

А.А. Шалыто в Wikipedia
А.А. Шалыто в Answers.com

Родился в 28.05.1948 г. в городе Ленинграде.
В 1965 г. поступил и в 1971 г. с отличием окончил Ленинградский электротехнический институт имени В.И.Ульянова (Ленина) по специальности "Автоматика и телемеханика".

С 1971 г. работает в научно-производственном объединении «Аврора» (Санкт-Петербург), специализируясь в области проектирования систем логического управления. В 1985 г. присвоено ученое звание «Старший научный сотрудник» по специальности «Элементы и устройства вычислительной техники и систем управления». С 1999 г. — ученый секретарь предприятия.

В 1977 г. без отрыва от производства закончил аспирантуру и защитил кандидатскую диссертацию по указанной специальности. Кандидат технических наук (1977 г.). В 1999 г. защитил докторскую диссертацию по той же специальности. Доктор технических наук (2000 г.).

С 1974 г. по 1991 г. преподавал в институте повышения квалификации руководящих работников и специалистов судостроительной промышленности (Ленинград). В 1991 г. присвоено ученое звание "Доцент" по кафедре "Управляющие вычислительные системы".

С 1998 г. преподает на кафедре "Компьютерные технологии" Санкт-Петербургского института точной механики и оптики (технического университета). С 2000 г. профессор этой кафедры. В 2001 г. присвоено ученое звание профессор по кафедре "Компьютерные технологии". С 2001 года заведующий кафедрой "Информационные системы". 25.05.2004 г. избран заведующим кафедрой "Технологии программирования" Санкт-Петербургского государственного университета информационных технологий, механики и оптики.

В 1991 г. предложил Switch-технологию — технологию программирования на основе применения конечных автоматов.

В 2002 г. выдвинул новую инициативу в программировании — движение за открытую проектную документацию.

Автор более 70 изобретений.

Неоднократно выступал на всесоюзных и международных конференциях с докладами по различным вопросам логического управления и автоматного программирования (например, LinuxSummit (Финляндия, 2004), Software Engineering Conference in Russia (Москва, 2005), 4-th International Conference in Central Europe on .NET Technologies (Чехия, 2006)).

В 2003 и 2005 гг. руководил секцией "Теоретические аспекты построения мультиагентных систем" на международной конференции "Интеграция знаний по интенсивным мультиагентным системам. Моделирование. Исследования. Инженерия." (KIMAS'03, KIMAS'2005). США. IEEE, DARPA.

В 2005 и 2006 гг. член программного комитета международной конференции "Вычислительный интеллект в измерительных системах и применениях". (CIMSA 2005, CIMSA 2006). Италия, Испания. IEEE.

Автор большого числа научных трудов, опубликованных в том числе и в таких журналах Академии наук СССР и России, как "Автоматика и телемеханика", "Автоматика и вычислительная техника", "Известия Академии наук. Техническая кибернетика", "Известия Академии наук. Теория и системы управления", "Проблемы передачи информации", "Автометрия", "Программирование".

В 1981 г. в соавторстве выпустил книгу "Настраиваемые модули для управляющих логических устройств" (Л.: Энергоиздат, 1981. 163 с.).

В 1996 г. выиграл конкурс издательских проектов Российского фонда фундаментальных исследований и опубликовал книгу "SWITCH-технология. Алгоритмизация и программирование задач логического управления" (СПб.: Наука. 1998. 628 с.).

В 2000 г. при финансовой поддержке Администрации Санкт-Петербурга опубликовал книгу "Логическое управление. Методы аппаратной и программной реализации алгоритмов" (СПб.: Наука. 2000. 780 с.).

В 2000-2006 гг. руководил на научно-исследовательской работой по теме "Разработка технологии создания программного обеспечения систем управления на основе автоматного подхода", выполняемой в рамках программы фундаментальных исследований Министерства образования Российской Федерации.

В 2002-2003 гг. руководил работами по гранту Российского фонда фундаментальных исследований для проведения исследования по теме «Разработка технологии автоматного программирования» (грант N 02-07-90114), а в 2005-2006 гг. — по теме «Разработка технологии объектно-ориентированного программирования с явным выделением состояний» (грант N 05-07-90011).

В 2003 г. был признан одним из победителей конкурса исследовательских проектов в области проектирования интегральных схем, проводимого в СНГ компанией Intel и Московским физико-техническим институтом.

В 2003 и 2005 гг. сопредседатель секции «Теоретические основы построения мультиагентных систем» на международной конференции «Integration of Knowledge Intensive Multi-Agent Systems» (KIMAS). USA. IEEE. DARPA.

В 2005 и 2006 гг. член программного комитета конференции «IEEE International Conference on Computational Intelligence for Measuarement Systems and Applications» (CIMSA 2005, 2006).

В 2005-2006 гг. руководил работами по государственному контракту «Автоматное программирование: применение и инструментальные средства», который победил на конкурсе проектов, проводимом Федеральным агенством по науке и инновациям в рамках Федеральной целевой научно-технической программы «Исследования и разработки по приоритетным направлениям развития науки и техники» на 2002-2006 годы по приоритетному направлению «Информационно- телекоммуникационные системы и электроника». Этот проект был отобран в числе 15 наиболее инновационно-перспективных и социально-значимых проектов, выполняемых по указанной программе.

В 2007-2008 гг. руководит работами по государственным контрактам «Технология генетического программирования для генерации автоматов управления системами со сложным поведением» и «Разработка технологии верификации управляющих программ со сложным поведением, построенных на основе автоматного подхода», которые победили на конкурсе проектов, проводимом Федеральным агенством по науке и инновациям в рамках Федеральной целевой программы «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2007-2012 годы» по приоритетному направлению «Информационно-телекоммуникационные системы и электроника».

На основании указа Президента РФ назначена стипендия за заслуги в области техники на 2006-2008 гг.

Второй руководитель научно-педагогической школы "Информационные и компрьютерные технологии" - одного из победителей конкурса научно-педагогических школ Санкт-Петербурга 2006 года.

Член редакционных коллегий журналов «Известия Уральского государственного университета. Серия «Компьютерные науки и информационные технологии», «Информационно-управляющие системы», «Морская радиоэлектроника».

В 2003-2006 гг. опубликовал в компьютерной прессе (в основном в еженедельниках «PC Week/RE» и «Компьютерра») цикл публицистических статей по проблемам образования и науки в области информационных технологий.

Член диссертационных, научно-технических и экспертных советов.

Автор сайта по автоматному программированию http://is.ifmo.ru

ПЕРЕЧЕНЬ ОСНОВНЫХ ПУБЛИКАЦИЙ

Полный список публикаций А. А. Шалыто

1. МОНОГРАФИИ
  1. Артюхов В.Л., Копейкин Г.А., Шалыто А.А. Настраиваемые модули для управляющих логических устройств. Л.: Энергоиздат, 1981. 165 с.
  2. Шалыто А.А. SWITCH-технология. Алгоритмизация и программирование задач логического управления. СПб.: Наука, 1998. 628 с. Опиание размещено на сайте http://is.ifmo.ru
  3. Шалыто А.А. Логическое управление. Методы аппаратной и программной реализации алгоритмов. СПб.: Наука, 2000. 780 с. Опиcание размещено на сайте http://is.ifmo.ru
2. РЕЦЕНЗИИ НА КНИГИ А.А.ШАЛЫТО
  1. Герр Р. Новый поворот //PC Magazin/RE. 1998. №10, C.88-90. Реценизия размещена на сайте http://is.ifmo.ru
  2. Лашматкин А. Возрождение автоматов //Компьютер дома и на работе. 2001. №23, Реценизия размещена на сайте http://is.ifmo.ru
  3. Богатырев Р. Об автоматном и асинхронном программировании //Открытые системы. 2001. №3, с.68-69. Реценизия размещена на сайте http://is.ifmo.ru
  4. Рузайкин Г.И. Взгляд на алгоритмы //Мир компьютерной автоматизации 2001. №3, с.48. Реценизия размещена на сайте http://is.ifmo.ru
  5. Д. Гориловский. Рецензия на книгу Шалыто А. А. "Логическое управление. Методы аппаратной и программной реализации алгоритмов" //Компьютерра, 2002, №14, с.59. Реценизия размещена на сайте http://is.ifmo.ru
3. О А.А.ШАЛЫТО
  1. Приборостроители России. М.- СПб.: Гуманистика, 2001.
  2. От регуляторов до корабельных комплексов управления и обработки информации (Краткий исторический очерк о развитии работ НПО «Аврора») //Наука Санкт-Петербурга и морская мощь России. Т.2. СПб.: Наука, 2002.
  3. Войтецкий  В.В., Панков  Е.В. Федеральный научно- производственный центр «НПО «Аврора» на рубеже третьего тысячелетия. СПб: Наука, 2003.
  4. Одинцов  И. Профессионпльное программирование. Системный подход. 2-е издание. СПб.: БХВ-Петербург. 2004, с. 106, 597.
  5. Непейвода  Н.Н. Стили и методы программирования. М.: Интернет- Университет Информационных Технологий, 2005, с.145, 284.
  6. Выдающиеся выпускники и деятели Санкт-Петербургского государственного электротехнического университета «ЛЭТИ» имени В.И. Ульянова (Ленина). 1886-2006. СПбГЭТУ, 2006, с.299.
  7. Университет ИТМО. Годы и люди. СПбГУИТМО, 2006, с.48,70,115.
  8. Who's Who in Scince and Engineering". Ninth Edition. 2006-2007. Marquis Who's Who Publications Board.
  9. Газета "Университет ИТМО". 2007, №86, с.2,3.
  10. Who's Who in Scince and Engineering". 10th Edition. 2008-2009. NJ: Marquis Who's Who.
  11. Who's Who in the Woald". 25th Edition. 2008. NJ: Marquis Who's Who.
4. НОВАЯ ИНИЦИАТИВА В ПРОГРАММИРОВАНИИ. ДВИЖЕНИЕ ЗА ОТКРЫТУЮ ПРОЕКТНУЮ ДОКУМЕНТАЦИЮ
  1. Шалыто А.А. Новая инициатива в программировании. Движение за открытую проектную документацию //Мир ПК - ДИСК. 2003. №8; Мир ПК. 2003. №9, с.52-56; PC WEEK/RE. 2003. №40, c.38,39,42; еженедельная методическая газета для учителей информатики "Информатика". 2003. №44, с.22,23,31; Газета "IT news". 2003. №1(1), с.26,27; №1(2), c.26; Информационно-управляющие системы. 2003. №4, с.52-56; Открытое образование. 2003. №6, c.69-76; Виртуальный компьютерный музей www.computer-museum.ru; Расширенный вариант статьи размещен на сайте http://is.ifmo.ru.
  2. Shalyto  A., Naumov  L. New Initiative in Programming. Foundation for Open Project Documentation //Proceedings of East-West Design & Test Workshop (EWDTW-2004), Yalta, Ukraine, 2004, pp.64-69.
  3. Шалыто А.А. Еще раз об открытой проектной документации //PC WEEK/RE. 2005. №11, c.33,34, Мир ПК-Диск. 2005. №5, 6 с.
5. АВТОМАТНОЕ ПРОГРАММИРОВАНИЕ
  1. Шалыто  А.А. Программная реализация управляющих автоматов //Судостроительная промышленность. Сер.«Автоматика и телемеханика». 1991. Вып.13, с.41,42.
  2. Шалыто А.А. Технология программной реализации алгоритмов управления как средство повышения живучести /Тезисы докладов научно-технической конференции "Проблемы обеспечения живучести кораблей и судов". СПб.: Судостроение. 1992, с.32,33.
  3. Шалыто А.А. Использование граф-схем и графов переходов при программной реализации алгоритмов логического управления. I //Автоматика и телемеханика. 1996. №6, C.148-158. Статья размещена на сайте http://is.ifmo.ru/. Shalyto A.A. Algorithmic Graph Schemes and Transition Graphs: Their Use in Software Realization of Logical Control Algorithms. I. //Automation and Remote Control. 1996. Vol.57. №6, p.890-897.
  4. Шалыто А.А. Использование граф-схем и графов переходов при программной реализации алгоритмов логического управления. II //Автоматика и телемеханика. 1996. №7, с.144-169. Статья размещена на сайте http://is.ifmo.ru/. Shalyto A.A. Algorithmic Graph Schemes and Transition Graphs: Their Use in Software Realization of Logical Control Algorithms. II. //Automation and Remote Control. 1996. Vol.57. №7, p.1027- 1045. Information about magazine "Automation and Remote Control" on http://www.maik.ru/.
  5. Шалыто  А.А. SWITCH-технология. Алгоритмизация и программирование задач логического управления //Промышленные АСУ и контроллеры. 1999. №9, c.33-37.
  6. Шалыто А.А., Туккель Н.И. Автоматный подход к созданию программного обеспечения для систем логического управления и "реактивных" систем //Системы управления и обработки информации. 2000. Вып.2, 165-173.
  7. Шалыто А.А. Автоматное проектирование программ. Алгоритмизация и программирование задач логического управления //Известия РАН. Теория и системы управления. 2000. №6, с.63-81. Статья размещена на сайте http://is.ifmo.ru/. Shalyto A.A. Software Automation Design: Algorithmization and Programming of Problems of Logical Control //Journal of Computer and Systems Sciences International. 2000. Vol.39. №6, p.899-916. Information about magazine "Journal of Computer and Systems Sciences International" on http://www.maik.ru/.
  8. Шалыто  А.А., Туккель  Н.И. SWITCH-технология — автоматный подход к созданию программного обеспечения «реактивных» систем //Промышленные АСУ и контроллеры. 2000. №10, c.44-48.
  9. Шалыто А.А. Алгоритмизация и программирование для систем логического управления и "реактивных" систем //Автоматика и телемеханика. 2001. №1, с.3-39. Статья размещена на сайте Статья размещена на сайте http://is.ifmo.ru/. Shalyto A.A. Logic Control and "Reactive" Systems: Algorithmization and Programming //Automation and Remote Control. 2001. Vol.62. №1, p.1-29. Text on http://www.maik.ru/, http://is.ifmo.ru/.
  10. Шалыто А.А., Туккель Н.И. SWITCH-технология - автоматный подход к созданию программного обеспечения "реактивных" систем //Программирование. 2001. №5, с.45-62. Статья размещена на сайте http://is.ifmo.ru/. Shalyto A.A., Tukkel N.I. SWITCH-Technology: An Automated Approach to Developing Software for Reactive Systems //Programming and Computer Software. 2001, vol. 27, No. 5, pp. 260-276. Information about magazine "Programming and Computer Software" on http://www.maik.ru/.
  11. Шалыто  А.А., Туккель  Н.И. Программирование с явным выделением состояний //Мир ПК. 2001. №8, c.116-121, №9, c.132-138. Статья размещена на сайте is.ifmo.ru.
  12. Шалыто  А.А., Туккель  Н.И. SWITCH-технология — автоматный подход к созданию программного обеспечения «реактивных» систем //Известия высших учебных заведений. Приборостроение. 2001. №9, c.28-35.
  13. Шалыто  А.А., Туккель  Н.И. От тьюрингова программирования к автоматному //Мир ПК. 2002. №2, c.144-149. Статья размещена на сайте is.ifmo.ru.
  14. Шалыто  А.А., Туккель  Н.И. Реализация автоматов при программировании событийных систем //Программист. 2002. №4, c.74-80. Статья размещена на сайте is.ifmo.ru.
  15. Шалыто  А.А., Туккель  Н.И. Алгоритмизация и программирование логических и событийных систем на основе конечных автоматов //Раздел 3.4 в книге «Управление в условиях неопределенности». СПб.: СПбГТУ, 2002, с.141-186.
  16. Шалыто  А.А. Технология автоматного программирования //Мир ПК. 2003. №10, с.74-78; Современные технологии. СПбГУ ИТМО. 2003, с.18-26. Статья размещена на сайте http://is.ifmo.ru.
  17. Шопырин  Д.Г., Шалыто  А.А. Объектно-ориентированный подход к автоматному программированию //Информационно-управляющие системы. 2003. №5, с.29-39. Статья размещена на сайте http://is.ifmo.ru.
  18. Наумов  Л.А., Шалыто  А.А. Реализация автоматов в объектно- ориентированных программах //Мир ПК — Диск. 2004. №4, 3 с. Статья размещена на сайте http://is.ifmo.ru.
  19. Шалыто  А.А. Автоматно-ориентированное программирование //Материалы IX Всероссийской конференции по проблемам науки и высшей школы «Фундаментальные исследования в технических университетах». СПб.: изд-во Политехнического университета. 2005, с.44-52. Статья размещена на сайте http://is.ifmo.ru.
  20. Шалыто  А.А. Автоматное программирование //Известия Уральского государственного университета. 2006. №43, (Компьютерные науки и информационные технологии. Вып.1), с.181-190.
  21. Шалыто А.А. Технология автоматного программирования /Материалы XI Всероссийской конференции по проблемам науки и высшей школы "Фундаментальные исследования и инновации в технических университетах". СПбГПУ. 2007, с.202-205.
  22. Korneev G.A., Shalyto A.A. State-Driven Programming /Материалы Евразийского научного симпозиума. Корея. Сеул. Политехнический университет. 2007, с.185-195. www.eurasia.re.kr
  23. Шалыто А.А. Автоматно-ориентироваванное программирование //XIV Всероссийсккая научно-методическая конференция "Телематика-2007". СПб.: СПбГУ ИТМО, 2007. Т1, с.198-200.
  24. Шалыто А.А. Автоматное программирование /Тезисы докладов Международной научной конференции памяти профессора А.М. Богомолова. "Компьютерные науки и информационные технологии". Саратов: СГУ. 2007, с.143-145.
  25. Шалыто А.А. Парадигма автоматного программирования /Материалы международной научно-техническонференции "Многопроцессорные и управляющие системы". (МВУС`2007). Таганрог: НИИМВС. Т.1, с.191-194.
  26. Шопырин Д.Г., Шалыто А.А. Графическая нотация наследования автоматных классов //Программирование. 2007. №5, с.62-74.
6. ОБ АВТОМАТНОМ ПРОГРАММИРОВАНИИ
  1. О проекте «Технология автоматного программирования: применение и инструментальные средства» //Информационные технологии. 2006. №2, с.79. Статья размещена на сайте http://is.ifmo.ru.
  2. О проекте «Технология автоматного программирования: применение и инструментальные средства» //Коммерсантъ. 16.11. 2005. №215, Busness guide, с.36.
7. UniMod - ИНСТРУМЕНТАЛЬНОЕ СРЕДСТВО ДЛЯ ПОДДЕРЖКИ АВТОМАТНОГО ПРОГРАММИРОВАНИЯ
  1. Гуров  В.С., Нарвский  А.С., Шалыто  А.А. ICQ и автоматы //Технология «Клиент-Сервер». 2004. № 3, с.3-11. Статья размещена на сайте http://is.ifmo.ru.
  2. Гуров  В.С., Мазин  М.А., Нарвский  А.С., Шалыто  А.А. UML. SWITCH-технология. ECLIPSE //Информационно-управляющие системы. 2004. N6, с.12-17; Мир ПК-Диск. № 6, 8 с. Статья размещена на сайте http://is.ifmo.ru.
  3. 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». SPb ETU «LETI». 2005, pp.106-110. Статья размещена на сайте http://is.ifmo.ru.
  4. Гуров  В.С., Мазин  М.А., Шалыто  А.А. Операционная семантика UML-диаграмм состояний в программном пакете UNIMOD /Труды XII Всероссийской научно-методической конференции «Телематика-2005». СПб.: СПбГУ ИТМО. Т.1, с.74-76. http://tm.ifmo.ru
  5. Гуров  В.С., Нарвский  А.С., Шалыто  А.А. Исполняемый UML из России //PC Week/RE. 2005. № 26, c.18,19. Мир ПК-Диск. 2006. N3. 5 с. Статья размещена на сайте http://is.ifmo.ru.
  6. Гуров  В.С., Мазин  М.А., Нарвский  А.С., Шалыто  А.А. Проект UniMod: исполняемый UML //Software Engineering Conference in Russia — SEC(R)2005. Abctracts, c.12,13. Электронный диск с тем же названием.
  7. Гуров  В.С., Мазин  М.А., Нарвский  А.С., Шалыто  А.А. UniMod: Метод и средство разработки реактивных объектно- ориентированных программ с явным выделением состояний /Труды Второй Всероссийской научной конференции «Методы и средства обработки информации». М.: МГУ. 2005, с.361-366.
  8. Гуров  В.С., Мазин  М.А., Нарвский  А.С., Шалыто  А.А. UniMod 01.02.012 //Мир ПК-Диск. 2005. № 6.
  9. Гуров  В.С., Мазин  М.А., Нарвский  В.С., Парфенов  В.Г., Шалыто  А.А. UniMod — инструментальное средство для поддержки автоматного программирования /Материалы X Всероссийской конференции по проблемам науки и высшей школы «Фундаментальные исследования в технических университетах». СПбГПУ. 2006, с.481-488.
  10. Гуров  В.С., Мазин  М.А., Нарвский  В.С., Шалыто  А.А. Инструментальное средство для поддержки автоматного программирования /Рабочий семинар «Наукоемкое программное обеспечение» на шестой международной конференции «Перспективы систем информатики». Новосибирск: Институт проблем информатики имени А.П. Ершова СО РАН. 2006, с.52-54.
  11. Гуров  В.С., Мазин  М.А., Нарвский  В.С., Шалыто  А.А. UniMod - инструментальное средство для автоматного программирования /Материалы Третьей Международной конференции по проблемам управления. М.: Институт проблем управления. 2006, с.114-118 1. 0
  12. Гуров В.С., Мазин М.А., Зубок Д.А., Парфенов В.Г., Шалыто А.А. Два подхода к созданию программ с испозованием инструменльного средства UniMod /XIV Всероссийская научно-методическая конференция "Телематика-2007". СПб.: СПбГУ ИТМО. 2007. Т.2, с.428.
  13. Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. Инструментальное средство для поддержки автоматного программирования //Программирование. 2007. N6, с.57-68.
8. ПРИМЕНЕНИЕ АВТОМАТОВ ПРИ ПРОГРАММИРОВАНИИ УПРАВЛЯЮЩИХ УСТРОЙСТВ И СИСТЕМ
  1. Шалыто  А.А. Реализация алгоритмов логического управления программами на языке функциональных блоков //Промышленные АСУ и контроллеры. 2000. №4, c.45-50. Статья размещена на сайте is.ifmo.ru.
  2. Шалыто  А.А., Туккель  Н.И. Танки и автоматы //BYTE/Россия. 2003. №2, c.69-73. Статья размещена на сайте is.ifmo.ru.
  3. Шалыто  А.А., Туккель  Н.И. Проектирование программного обеспечения системы управления дизель-генераторами на основе автоматного подхода //Системы управления и обработки информации. 2003. Вып.5, c.62-82. СПб.: ФГУП «НПО «Аврора».
  4. Наумов  Л.А., Шалыто  А.А. Искусство программирования лифта. Объектно-ориентированное программирование с явным выделением состояний //Информационно-управляющие системы. 2003. №6, с.38-49; Мир ПК — Диск. 2004. №2, 18 с. Статья размещена на сайте http://is.ifmo.ru.
  5. Альтерман  И.З., Шалыто  А.А. Формальные методы программирования логических контроллеров // Промышленные АСУ и контроллеры. 2005. №10, c.49-52.
  6. Вавилов  К.В., Шалыто  А.А. LabVIEW и SWITCH-технология /Сб. трудов конф.«Образовательные, научные и инженерные приложения в среде LabVIEW и технологии National Instrument». М.: Российский ун-т дружбы народов. 2005, с.377.
  7. Вавилов  К.В., Шалыто  А.А. LabVIEW и SWITCH-технология //Промышленные АСУ и контроллеры. 2006. №6, с.43-45. Статья размещена на сайте http://is.ifmo.ru.
9. АВТОМАТЫ, ЯЗЫКИ, ПАТТЕРНЫ
  1. Корнеев  Г.А., Шамгунов  Н.Н., Шалыто  А.А. Паттерн State Machine для объектно-ориентированного проектирования автоматов //Информационно-управляющие системы. 2004. №5, с.13-25. Статья размещена на сайте http://is.ifmo.ru.
  2. Корнеев  Г.А., Шамгунов  Н.Н., Шалыто  А.А. State Machine - расширение языка JAVA для эффективной реализации автоматов //Информационно-управляющие системы. 2005. №1, с.16-24. Статья размещена на сайте http://is.ifmo.ru.
  3. 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. Статья размещена на сайте http://is.ifmo.ru.
10. ЗАДАЧИ И АВТОМАТЫ
  1. Шалыто  А.А., Туккель  Н.И., Шамгунов  Н.Н. Ханойские башни и автоматы //Программист. 2002. №8, c.82-90. Статья размещена на сайте is.ifmo.ru.
  2. Шалыто  А.А., Туккель  Н.И., Шамгунов  Н.Н. Задача о ходе коня //Мир ПК. 2003. №1, c.152-155. Статья размещена на сайте htpp://is.ifmo.ru.
  3. Корнеев  Г.А., Шамгунов  Н.Н., Шалыто  А.А. Обход деревьев на основе автоматного подхода //Компьютерные инструменты в образовании. 2004. №3, с.32-37. Статья размещена на сайте http://is.ifmo.ru.
  4. Мазин  М.А., Шалыто  А.А. Преступники и автоматы //Мир ПК. 2004. №9, с.82-84. Статья размещена на сайте http://is.ifmo.ru.
  5. Лобанов П., Шалыто  А. Подсчет длины строк в строке // Мир ПК. 2005. №7, с.66-70; Мир ПК-Диск. 2005. №6, 15 с. Статья размещена на сайте http://is.ifmo.ru.
  6. Оршанский С.А., Шалыто А.А. Применение динамического программирования при решении задач на конечных автоматах //Компьтерные инструменты в образовании. 2006. №4, c.26-35. Статья размещена на сайте http://is.ifmo.ru.
11. АВТОМАТЫ, АНИМАЦИЯ, ИГРЫ
  1. Мазин  М.А., Парфенов  В.Г., Шалыто  А.А. Анимация. FLASH- технология. Автоматы //Компьютерные инструменты в образовании. 2003. №4, с.39-47. Статья размещена на сайте http://is.ifmo.ru.
  2. Беляев  А.В., Суясов  Д.И., Шалыто  А.А. Компьютерная игра «Космонавт». Проектирование и реализация //Компьютерные инструменты в образовании. 2004. №4, с.75-84; Мир ПК-Диск. 2005. №4, 12;nbsp;с. Статья размещена на сайте http://is.ifmo.ru.
  3. Мазин  М.А., Шалыто  А.А. Анимация. Flash-технология. Автоматы //Информатика. 2006. № 11, с.36-47.
  4. Петрошенко  П.А., Корнеев  Г.А., Шалыто  А.А. Реализация игры «Морской бой» на основе автоматного подхода //Компьютерные инструменты в образовании. 2005. № 6, с.72-82. Статья размещена на сайте http://is.ifmo.ru.
12. АЛГОРИТМЫ, ПРОГРАММЫ И АВТОМАТЫ
  1. Шалыто  А.А., Туккель  Н.И. Реализация вычислительных алгоритмов на основе автоматного подхода //Телекоммуникации и информатизация образования. 2001. №6, c.35-53. Статья размещена на сайте http://is.ifmo.ru.
  2. Шалыто  А.А., Туккель  Н.И. Преобразование итеративных алгоритмов в автоматные //Программирование. 2002. №5, c.12-26. Статья размещена на сайте is.ifmo.ru. Shalyto  A.A., Tukkel  N.I. Translating Iterative Algorithms into Automation Ones //Programming and Computer Software. 2002. 28(5), рр. 250-260.
  3. Шалыто  А.А., Туккель  Н.И., Шамгунов  Н.Н. Реализация рекурсивных алгоритмов на основе автоматного подхода //Телекоммуникации и информатизация образования. 2002. №5, c.72-99. Статья размещена на сайте http://is.ifmo.ru.
  4. Корнеев  Г.А., Шалыто  А.А Преобразование программ в систему взаимодействующих конечных автоматов /Труды Второй Всероссийской научной конференции «Методы и средства обработки информации». М.: МГУ. 2005, с.385-387.
  5. Корнеев  Г.А., Шалыто  А.А. Построение системы конечных автоматов по программному коду //Software Engineering Conference in Russia — SEC(R)2005. Abctracts, c.12. Электронный диск с тем же названием.
13. ВИЗУАЛИЗАТОРЫ АЛГОРИТМОВ И АВТОМАТЫ
  1. Казаков  М.А., Корнеев  Г.А., Шалыто  А.А. Метод построения логики работы визуализаторов алгоритмов на основе конечных автоматов //Телекоммуникации и информатизация образования. 2003. №6, с.27-58. Статья размещена на сайте http://is.ifmo.ru.
  2. Казаков  М.А., Шалыто  А.А. Иcпользование автоматного программирования для реализации визуализаторов //Компьютерные инструменты в образовании. 2004. №2, c.19-33. Статья размещена на сайте http://is.ifmo.ru.
  3. Казаков  М.А., Шалыто  А.А. Технология построения визуализаторов алгоритмов на основе автоматного подхода /Труды XII Всероссийской научно-методической конференции «Телематика-2005». СПб.: СПбГУ ИТМО. Т.2, с.507-508. http://tm.ifmo.ru
  4. Казаков  М.А., Шалыто  А.А. Реализация анимации при построении визуализаторов алгоритмов на основе автоматного подхода //Информационно-управляющие системы. 2005. №4, с.51-60. Статья размещена на сайте http://is.ifmo.ru.
  5. Казаков  М.А., Шалыто  А.А. Автоматный подход к реализации анимации в визуализаторах алгоритмов //Компьютерные инструменты в образовании. 2005. №3, c.62-76. Статья размещена на сайте http://is.ifmo.ru.
  6. Казаков  М.А., Шалыто  А.А. Методы построения логики визуализаторов алгоритмов //Открытое образование. 2005. №4, с.53-58. Статья размещена на сайте http://is.ifmo.ru.
  7. Корнеев  Г.А., Шалыто  А.А. Построение визуализаторов алгоритмов дискретной математики //Научно-технический вестник СПбГУ ИТМО. Высокие технологии в оптических и информационных системах. СПбГУ ИТМО. 2005. Вып.23, с.118-129.
  8. Корнеев  Г.А., Шалыто  А.А. VIZI- язык описания визуализаторов алгоритмов //Научно-технический вестник СПбГУ ИТМО. Высокие технологии в оптических и информационных системах. СПбГУ ИТМО. 2005. Вып.23, с.130-137.
14. МУЛЬТИАГЕНТНЫЕ СИСТЕМЫ И АВТОМАТЫ
  1. Naumov  L., Shalyto  A. Automata Theory for Multi-Agent Systems Implementation // International Conference on«Integration of Knowledge Intensive Multi-Agent Systems: Modeling, Exploration and Engineering». KIMAS-03. Boston: IEEE Boston Section. 2003, pp.65-70. Статья размещена на сайте http://is.ifmo.ru.
  2. Шалыто  А.А., Наумов  Л.А. Методы объектно-ориентированной реализации реактивных агентов на основе конечных автоматов /Искусственный интеллект. Интеллектуальные и многопроцессорные системы. Материалы Международной научно-технической конференции. Т.1. Таганрог-Донецк, 2004, с.279-284.
  3. Шалыто  А.А., Наумов  Л.А. Методы объектно-ориентированной реализации реактивных агентов на основе конечных автоматов //Искусственный интеллект. 2004. N 4, с.756-762. Статья размещена на сайте http://is.ifmo.ru.
  4. Naumov  L., Korneev  G., Shalyto  A. Methods of Object-Oriented Reactive Agents Implementation on the Basis of Finite Automata //2005International Conference on «Integration of Knowledge Intensive Multi-Agent Systems: Modeling, Exploration and Engineering». KIMAS-05. Boston: IEEE Boston Section. 2005, pp.460-465. Статья размещена на сайте http://is.ifmo.ru.
  5. 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. Статья размещена на сайте http://is.ifmo.ru.
  6. Ярцев  Б.М., Шалыто  А.А. Автоматный подход к разработке управляющих программ для реактивных мультиагентных систем /Материалы международной научно-технической конференции «Интеллектуальные и многопроцессорные системы — 2005». Таганрог — Донецк — Минск,ТРТУ. 2005. Т.2, с. 13-17.
15. НЕЙРОННЫЕ СЕТИ И АВТОМАТЫ
  1. Кретинин  А.В., Солдатов  Д.В., Шалыто  А.А., Шостак  А.В. Использование нейросетевых конечных автоматов для моделирования функционирования агрегатов жидкостного ракетного двигателя //Информационные технологии. 2005. №8, с.47-53. Статья размещена на сайте http://is.ifmo.ru.
  2. Кретинин  А.В., Солдатов  Д.В., Шалыто  А.А., Шостак  А.В. Ракеты. Автоматы. Нейронные сети //Нейрокомпьютеры: разработка и применение. 2005. №5, с.50-59. Статья размещена на сайте http://is.ifmo.ru.
16. СИНХРОННОЕ ПРОГРАММИРОВАНИЕ
  1. Шалыто  А.А., Туккель  Н.И. Автоматное и синхронное программирование //Искусственный интеллект. 2003. №4, с.18-26.
  2. Шопырин  Д.Г., Шалыто  А.А. Синхронное программирование //Информационно-управляющие системы. 2004. №3, с.35-42. Статья размещена на сайте http://is.ifmo.ru.
17. ПРАКТИЧЕСКОЕ ПРИМЕНЕНИЕ АВТОМАТНОГО ПРОГРАММИРОВАНИЯ. ПРОЕКТЫ
(Документация размещена на сайте http://is.ifmo.ru/)
  1. Туккель  Н.И., Шалыто  А.А., Верба  М.Т. Пример проектной документации на подсистему управления печатью, разработанной на основе SWITCH-технологии. СПб., 2001. 50 с.
  2. Туккель  Н.И., Шалыто  А.А., Ваганов  С.А. Использование SWITCH- технологии при разработке программ в среде «FLORA/C++». Модель технологического процесса в цехе холодной прокатки. Проектная документация. СПб., 2001. 16 с.
  3. Туккель  Н.И., Шалыто  А.А. Система управления дизель-генератором (фрагмент). Программирование с явным выделением состояний. Проектная документация. СПб., 2002. 51 с.
  4. Туккель  Н.И., Шалыто  А.А. Система управления танком для игры «Robocode». Вариант 1. Объектно-ориентированное программирование с явным выделением состояний. Проектная документация. СПб., 2002. 52 с.
  5. Наумов  А.С., Шалыто  А.А. Система управления лифтом. 51 c. Объектно-ориентированное программирование с явным выделением состояний. Проектная документация. СПб.: СПбГИТМО (ТУ), 2003.
  6. Корниенко  А.А., Курочкин  Ю.В., Шалыто  А.А. Эмуляция пользовательского оконного интерфейса. Объектно-ориентированное программирование с явным выделением состояний. Проектная документация. СПб.: СПбГИТМО (ТУ), 2003. 23 с.
  7. Штучкин  А.А., Шалыто  А.А. Совместное использование теории построения компиляторов и SWITCH-технологии (на примере построения калькулятора). Проектная документация. СПб.: СПбГИТМО (ТУ), 2003. 33 с.; Мир ПК — Диск. 2004. №6, 29 с.
  8. Степанов  О.Г., Шалыто  А.А. Система эмуляции поведения «умной» мухи. Объектно-ориентированное программирование с явным выделением состояний. Проектная документация. СПб.: СПбГИТМО (ТУ), 2003. 29 с.; Мир ПК — Диск. 2004. №3, 26 с.
  9. Агафонов  К.А., Порох  Д.С., Шалыто  А.А. Реализация протокола «SMTP» на основе SWITCH-технологии. Проектная документация. СПб.: СПбГИТМО (ТУ), 2003. 23 с.
  10. Гуисов  М.И., Кузнецов  А.Б., Шалыто  А.А. Задача Д. Майхилла «Синхронизация цепи стрелков». Вариант 2. Проектная документация. СПб.: СПбГИТМО (ТУ), 2003. 18 с.
  11. Дистель  А.А., Кобак  Д.А., Шалыто  А.А. Система управления дорожным светофором. Проектная документация. СПб.: СПбГИТМО (ТУ), 2003. 16 с.
  12. Бондаренко  К.А., Шалыто  А.А. Разработка XML-формата для описания внешнего вида видеопроигрывателя с использованием конечных автоматов. Проектная документация. СПб.: СПбГИТМО (ТУ), 2003. 20 с.; Мир ПК — Диск. 2004. №4, 17 с.
  13. Подтопельный  М.А., Чеботарева  А.А., Шалыто  А.А. Робот, ищущий выход из лабиринта. Проектная документация. СПб.: СПбГИТМО (ТУ), 2003. 22 с.
  14. Марков  С.М., Шалыто  А.А. Система управления травоядным существом для игры «Terrarium». Проектная документация. СПб.: СПбГУ ИТМО, 2003. 25 с.
  15. Василенко  Д.В., Закиров  Р.З., Шалыто  А.А. Система безопасности банковского комплекса. Проектная документация. СПб.: СПбГУ ИТМО, 2003. 56 с.
  16. Пенев  В.П., Степаненков  В.В., Сучкоусов  Е.А., Шалыто  А.А. Компьютерная игра «Automatic Bomber». Проектная документация. СПб.: СПбГУ ИТМО, 2003. 46 с. //Мир ПК-ДИСК. _2003. №8. 35 с.
  17. Добрицкий  И.О., Куликов  А.А., Шалыто  А.А. Игра «Lines». Проектная документация. СПб.: СПбГУ ИТМО, 2003. 30 с. //Мир ПК-ДИСК. №8,
  18. Кузнецов  Д.В., Шалыто  А.А. Система управления танком для игры «Robocode». Вариант 2. Проектная документация. СПб.: СПбГУ ИТМО, 2003. 86 с.
  19. Заякин  Е.А., Шалыто  А.А. Метод устранения повторных фрагментов кода при реализации конечных автоматов. Проектная документация. СПб.: СПбГУ ИТМО, 2003. 21 с. //Мир ПК-Диск. 2005. №8, 22 с.
  20. Мазин  М.А., Парфенов  В.Г., Шалыто  А.А. Разработка интерактивных приложений Macromedia Flash на базе автоматной технологии. Проектная документация. СПб.: СПбГУ ИТМО, 2003. 18 с.; Мир ПК — Диск. 2004. №2, 9 с.
  21. Бабаев  А.А., Чижова  Г.А., Шалыто  А.А. Создание скелетной анимации на основе автоматного программирования. Проектная документация. СПб.: СПбГУ ИТМО, 2003. 63 с.; Мир ПК — Диск. 2004. №10, 18 c.
  22. Хокканен  А.В., Шалыто  А.А. Имитатор игрового автомата класса «Однорукий бандит». Проектная документация. СПб.: СПбГУ ИТМО, 2003. 44 с.
  23. Первушин  Е.В., Шалыто  А.А. Моделирование банкомата. Проектная документация. СПб.: СПбГУ ИТМО, 2003. 39 с.
  24. Билык  В.С., Писарьков  В.С., Шалыто  А.А. Автоматная реализация иерархического меню. Проектная документация. СПб.: СПбГУ ИТМО, 2003. 58 с.
  25. Пестов  А.А., Шалыто  А.А. Преобразование недетерминированного конечного автомата в детерминированный. СПб.: СПбГУ ИТМО, 2003. 51 с.
  26. Альшевский  Ю.А., Раер  М.Г. Механизм обмена сообщениями для параллельно работающих автоматов (на примере системы управления турникетом). Проектная документация. СПб.: СПбГУ ИТМО, 2003. 48 с.
  27. Гуисов  М.И., Кузнецов  А.Б., Шалыто  А.А. Интеграция механизма обмена сообщениями в Switch-технологию. СПб.: СПбГУ ИТМО, 2003. 17 с.
  28. Гуисов  М.И., Шалыто  А.А. Задача Д. Майхилла «Синхронизация цепи стрелков». Вариант 1. Проектная документация. СПб.: СПбГУ ИТМО, 2003. 14 с.
  29. Пак  С.В., Шалыто  А.А. Задача об обедающих философах. Проектная документация. СПб.: СПбГУ ИТМО, 2003. 30 с.
  30. Астафуров  А.А., Шалыто  А.А. Разработка и применение паттерна «Automata». Проектная документация. СПб.: СПбГУ ИТМО, 2003. 33 с.
  31. Шопырин  Д.Г., Шалыто  А.А. Объектно-ориентированный подход к автоматному программированию. СПб.: СПбГУ ИТМО, 2003. 21 с.
  32. Наумов  Л.А., Шалыто  А.А. Автоматное решение задачи Д. Кнута о лифте. Проектная документация. СПб.: СПбГУ ИТМО, 2003. 48 с. Мир ПК-Диск. 2004. №2, 18 с.
  33. Зарубин  А., Краюхин  Д., Шалыто  А.А. Система сбора данных на метеорологической станции (пример из книги Г. Буча). Проектная документация. СПб.: СПбГУ ИТМО, 2005. 51 с. //Мир ПК-Диск. 2005. №3, 27 с.
  34. Богданов  М., Шалыто  А.А. Компьютерная игра «Lode Runner». Проектная документация. СПб.: СПбГУ ИТМО, 2005. 25 с. Мир ПК-Диск. 2005. №3, 15 с.
  35. Фельдман  П., Шалыто  А.А. Разработка средств для отладки автоматных программ //Мир ПК-Диск. 2005. №4, 53 с.
  36. Ярцев  Б., Шалыто  А.А. Разработка ПО роботов Lego Mindstroms на основе автоматного подхода //Мир ПК-Диск. 2005. №4, 73 с.
  37. Лобанов П.Г., Шалыто А.А. Подсчет длин слов в строке. Проектная документация. СПб.: СПбГУ ИТМО, 2005. //Мир ПК-Диск. 2005. №6, 24 с.
  38. Канжелев С.Ю., Шалыто А.А. Преобразование графов переходов, представленных в формате Microsoft Visio, в исходные коды программ для различных языков программирования (инструментальное средство MetaAuto) //Мир ПК-Диск. 2006. №1, 77 с.
  39. Вишняков  С., Кочелаев  Д., Шалыто  А. «Устройство» для карточной игры «Покер»//Мир ПК-Диск. 2006. №5, 20 с.
  40. Джанмухамедов  В., Хвастунов  А., Шалыто  А. Визуализация сборки «Кубика Рубика» //Мир ПК-Диск. 2006. №5, 71 с.
  41. Колыхматов  И., Рыбак  О., Шалыто  А. Моделирование устройства для продажи газированной воды на инструментальном средстве UniMod //Мир ПК-Диск. 2006. №6, 50 с.
  42. Паращенко  Д., Царев  Ф., Шалыто  А. Технология моделирования одного класса мультиагентных систем на основе автоматного программирования на примере игры «Соревнование летающих тарелок» //Мир ПК-Диск. 2006. №9. 62 с.
18. КЛЕТОЧНЫЕ АВТОМАТЫ
  1. Наумов  Л.А. Шалыто А.А. Клеточные автоматы — реализация и эксперименты //Мир ПК. 2003. №9, с.64-71. Статья размещена на сайте http://is.ifmo.ru.
  2. Наумов  Л.А. Шалыто А.А. «Цветные» клеточные автоматы, или клонирование Моны Лизы //Мир ПК. 2004. №5, с.64-71. Статья размещена на сайте http://is.ifmo.ru.
  3. Пестов  О.А., Шалыто  А.А. Сапер. Мины. Автоматы //Компьютерные инструменты в;nbsp;образовании. 2005. №2, с.76-81. Статья размещена на сайте http://is.ifmo.ru.
  4. Столбов  С.А., Шалыто  А.А. Метод реализации с использованием клеточных автоматов игр, в которых преобладают локальные взаимодействия /Материалы международной научно-технической конференции «Интеллектуальные и многопроцессорные системы — 2005». Таганрог — Донецк — Минск,ТРТУ. 2005. Т.1, с. 138-141.
  5. Наумов  Л.А., Шалыто  А.А. Классификация структур, порождаемых одномерными двоичными клеточными автоматами из точечного зародыша //Известия РАН. Теория и системы управления. 2005. №5, с.137-145. Статья размещена на сайте http://is.ifmo.ru. Naumov  L.A., Shalyto  A.A. Classification of Structures Generated by One-Dimensioal Binary Cellular Automata from a Roint Embro //Journal of Computer and Systems Sciences International. 2005. Vol.44. №5, pp. 800-807.
19. ИССЛЕДОВАНИЕ ПЕРЕХОДНЫХ ПРОЦЕССОВ В ОДНОКОНТУРНЫХ ЛОГИЧЕСКИХ СХЕМАХ
  1. Киселев В.В., Шалыто А.А. Исследование переходных процессов в одноконтурных логических схемах //Известия РАН. Теория и системы управления. 1999. №5, с.22-27. Kiselev V.V., Shalyto A.A. Study of Transidents in One-Contour Logical Circuits //Journal of Computer and Systems Sciences International. 1999. Vol.38. №5, pp. 693-697.
20. РЕАЛИЗАЦИЯ БУЛЕВЫХ ФОРМУЛ ЛИНЕЙНЫМИ БИНАРНЫМИ ГРАФАМИ
  1. Кузнецов Б.П., Шалыто А.А. Реализация булевых формул линейными бинарными графами. I. Синтез и анализ //Известия РАН. Техническая кибернетика. 1994. №5, с.132-142. Kuznetsov B.P., Shalyto A.A. Realization of Boolean Formulas by Linear Binary Grafs. I. Synthesize and Analysis //Journal of Computer and Systems Sciences International. 1994. Vol.33. №5,
  2. Кузнецов Б.П., Шалыто А.А. Реализация булевых формул линейными бинарными графами. II. Оценки числа и суммарной длины путей //Известия РАН. Теория и системы управления. 1995. №3, с.144-153. Kuznetsov B.P., Shalyto A.A. Realization of Boolean Formulas by Linear Binary Grafs. II. Estimations of Number and Total Length of Paths //Journal of Computer and Systems Sciences International. 1995. Vol.34. №3,
  3. Кузнецов Б.П., Шалыто А.А. Реализация булевых формул линейными бинарными графами. III. Оптимизация числа и суммарной длины путей //Известия РАН. Теория и системы управления. 1995. №5, с.214-223. Kuznetsov B.P., Shalyto A.A. Realization of Boolean Formulas by Linear Binary Grafs. III. Optimization of Number and Total Length of Paths //Journal of Computer and Systems Sciences International. 1995. Vol.34. №5,
21. РЕАЛИЗАЦИЯ БУЛЕВЫХ ФУНКЦИЙ БИНАРНЫМИ ГРАФАМИ
  1. Артюхов В.Л., Кузнецов Б.П., Шалыто А.А. Настраиваемые бинарные программы //Автоматика и телемеханика. 1984. №11, с.112-119. Artyukhov V.L., Kuznetsov B.P., Shalyto A.A. Tunable Binary Procedures and Programs with Loops //Automation and Remote Control. 1984. Vol.45. №11, p.1481-1488.
  2. Кузнецов Б.П., Шалыто А.А. Структурный подход к программной реализации булевых формул //Автоматика и вычислительная техника. 1985. №5, с.84-88. Kuznetsov B.P., Shalyto A.A. Structural Approach to Software Implementation of Boolean Functions //Automatic Control and Computer Sciences. 1985. Vol.26. №5, p.80-83. Information about magazine "Automatic Control and Computer Sciences" on http://www.edi.lv/.
  3. Кузнецов Б.П., Шалыто А.А. Система преобразований некоторых форм представления булевых функций //Автоматика и телемеханика. 1985. №11, с.120-127. Kuznetsov B.P., Shalyto A.A. System of Transformations of Certain Representations of Boolean Functions //Automation and Remote Control. 1985. Vol.46. №11, p.1450-1457.
  4. Рубинов В.И., Шалыто А.А. Метод построения граф-схем простых бинарных программ для систем булевых функций //Автоматика и вычислительная техника. 1986. №4, с.87-92. Rubinov V.I., Shalyto A.A. Method of Constructing Flowcharts of Simple Binary Programs for Systems of Boolean Functions //Automatic Control and Computer Sciences. 1986. Vol.27. №4, p.82-87.
  5. Сагалович Ю.Л., Шалыто А.А. Бинарные программы и их реализация асинхронными автоматами //Проблемы передачи информации. 1987. Вып.1. с.89-96. Sagalovich Yu., Shalyto A.A. Binary Programs and Ther Realization by Asynchronous Automata //Problems of Information Transmission, 1987. №1, p.74-80. Information about magazine "Problems of Information Transmission" on http://www.maik.ru/.
  6. Рубинов В.И., Шалыто А.А. Построение граф-схем бинарных программ для систем булевых функций, заданных таблицами истинности //Автоматика и вычислительная техника. 1988. №1, с.87-92. Rubinov V.I., Shalyto A.A. Design of Flowcharts of Binary Programs for Systems of Boolean Functions Specified by Truth Tables //Automatic Control and Computer Sciences. 1988. Vol.29, №1, p.79-83.
  7. Кузнецов Б.П., Шалыто А.А. Метод независимых фрагментов для построения линеаризованных структурированных граф-схем алгоритмов, реализующих системы булевых формул //Автоматика и телемеханика. 1998. №9, с.142-154. Kuznetsov B.P., Shalyto A.A. The Method of Independent Fragments for Constraction of Linearized Structured Graf-Charts of Algorithms that Implement Systems of Boolean Formulas //Automation and Remote Control. 1998. Vol.59. №9,
22. РЕАЛИЗАЦИЯ СИСТЕМ БУЛЕВЫХ ФУНКЦИЙ АРИФМЕТИЧЕСКИМИ ПОЛИНОМАМИ
  1. Артюхов В.Л., Кондратьев В.Н., Шалыто А.А. Реализация булевых функций арифметическими полиномами //Автоматика и телемеханика. 1988. №4, с.138-147. Artyukhov V.L., Kondrat`ev V.N., Shalyto A.A. Generating Boolean Functions Via Arithmetic Polinomials //Automation and Remote Control. 1988. Vol.49. №4, p.508-515.
  2. Кондратьев В.Н., Шалыто А.А. Реализация систем булевых функций с использованием линейных арифметических полиномов //Автоматика и телемеханика. 1993. №3, с.135-151. Kondrat`ev V.N., Shalyto A.A. Realization of Systems of Boolean Functions by Liner Arithmetic Polinomials //Automation and Remote Control. 1993. Vol.54. №3, p.472-488.
  3. Кондратьев В.Н., Шалыто А.А. Реализация булевых функций одним линейным арифметическим полиномом с маскированием //Автоматика и телемеханика. 1996. №1, с.158-170. Kondrat`ev V.N., Shalyto A.A. Realization of Boolean Functions by One Liner Arithmetic Polinomial with Masking //Automation and Remote Control. 1996. Vol.57. №1, p.127-137.
  4. Кондратьев В.Н., Шалыто А.А. Реализация систем булевых функций линейными арифметическими полиномами //Автоматика и телемеханика. 1997. №3, с.200-215. Kondrat`ev V.N., Shalyto A.A. Implementation of Systems of Boolean Functions by Linear Arithmetic Polinomials with Masking //Automation and Remote Control. 1997. Vol.58. №3,
23. МНОГОФУНКЦИОНАЛЬНЫЕ ЛОГИЧЕСКИЕ МОДУЛИ
  1. Артюхов В.Л., Копейкин Г.А., Шалыто А.А. Вопросы применения многофункциональных логических модулей /Материалы международного симпозиума "Дискретные системы" (Symposium of International Federation of Automatic Control - IFAC). Рига: Зинатне, 1974, т.1. с.57-67.
  2. Артюхов В.Л., Копейкин Г.А., Шалыто А.А. Синтез комбинационных схем из многофункциональных логических модулей //Построение управляющих устройств и систем. М.: Наука, 1974. с.77-83.
  3. Артюхов В.Л., Копейкин Г.А., Шалыто А.А. Оценка логической эффективности интегральных микросхем //Автоматика и вычислительная техника. 1981. №1, с.38-40. Artyukhov V.L., Kopeikin G.A., Shalyto A.A. Estimation of the Logical Efficiency of Integrated Microcircuitry //Automatic Control and Computer Sciences. 1981. Vol.22. №1, p.32-34.
  4. Артюхов В.Л., Копейкин Г.А., Шалыто А.А. Об оценках сложности реализации булевых формул древовидными схемами из настраиваемых модулей //Автоматика и телемеханика. 1981. №11, с.124-130. Artyukhov V.L., Kopeikin G.A., Shalyto A.A. Bounds on the Realization Complexity of Boolean Formulas by Tree Circuits of Tunable Modules //Automation and Remote Control. 1982. Vol.42. №11, p.1532-1537.
  5. Шалыто А.А. Модули, универсальные в классе всех булевых функций, с парафазными входными переменными //Известия РАН. Теория и системы управления. 1997. №5, с.150-157. Shalyto A.A. Modules with Paraphase the Input Variables That are Universal in Class of All Boolean Functions //Journal of Computer and Systems Sciences International. 1997. Vol.36. №5, p.794-801.
  6. Шалыто А.А. Модули, универсальные в классе самодвойственных функций и в "близких" к ним классах //Известия РАН. Теория и системы управления. 2001. №5, с.110-120. Shalyto A.A. Modules which Are Universal in the Class of Self-Dual Functions and in Close Classes //Journal of Computer and Systems Sciences International. 2001. Vol.40. №5, p.782-792.
  7. Шалыто  А.А. Методы построения многофункциональных логических модулей //Известия РАН. Теория и системы управления. 2004. №6, c.100-112. Shalyto  A.A. Methods for Constructing Multifunctional Logic Modules //Journal of Computer and Systems Sciences International. 2004. Vol.43. №6, p.923-935.
24. МНОГОФУНКЦИОНАЛЬНЫЕ ЛОГИЧЕСКИЕ МОДУЛИ ИЗ ЭЛЕМЕНТОВ С ДВУСТОРОННЕЙ ПРОВОДИМОСТЬЮ
  1. Артюхов В.Л., Копейкин Г.А., Шалыто А.А. Многофункциональные логические модули из элементов с двусторонней проводимостью //Известия высших учебных заведений. Приборостроение. 1981. №4, с.38-41.
  2. Шалыто  А.А. Многофункциональные логические модули из элементов с двусторонней проводимостью //Известия РАН. Теория и системы управления. 2006. №1, с.78-81.
    Shalyto  A.A. Multifunctional Logic Modules Consisting of Elements with Bilateral Conducductance //Journal of Computer and Systems Sciences International. 2006. Vol.45. №1, pp.73-76.
25. ФУНКЦИОНАЛЬНЫЕ ВОЗМОЖНОСТИ МИКРОЭЛЕКТРОННЫХ РЕЗИСТИВНЫХ НАБОРОВ
  1. Артюхов В.Л., Копейкин Г.А., Шалыто А.А. Функциональные возможности микроэлектронных резистивных наборов //Автометрия. 1979. №3, с.120-122.
26. ОДНОРОДНЫЕ СТРУКТУРЫ
  1. Артюхов В.Л., Розенблюм Л.Я., Шалыто А.А. Логические возможности некоторых типов каскадных структур //Сети связи и дискретные устройства управления. М.: Наука, 1976. с.138-144.
  2. Артюхов В.Л., Шалыто А.А. Реализация булевых формул однородными мультиплексорными и мажоритарными каскадами //Известия РАН. Теория и системы управления. 1996. №5, с.133-146. Artyukhov V.L., Shalyto A.A. Realization of Boolean Formulas by Uniform Multiplexor and Majority Cascades //Journal of Computer and Systems Sciences International. 1996. Vol.35. №5, p.805-815.
  3. Шалыто А.А. Реализация булевых формул и булевых функций однородными структурами //Известия РАН. Теория и системы управления. 2002. №2, c.104-112. Shalyto A.A.Realization of Boolean Formulas and Boolean Functions by Homogeneous Structures //Journal of Computer and Systems Sciences International. 2002. Vol.41. №2, p.264-273.
27. ОЦЕНКА ФУНКЦИОНАЛЬНЫХ ВОЗМОЖНОСТЕЙ ПРОГРАММИРУЕМЫХ ЛОГИЧЕСКИХ МАТРИЦ
  1. Артюхов В.Л., Кузнецова О.С., Шалыто А.А. Оценка функциональных возможностей программируемых логических матриц //Автоматика и вычислительная техника. 1985. №2, с.58-64. Artyukhov V.L., Shalyto A.A., Kuznetsova O.S. Evaluation of the Functional Capabilities of Programmable Logical Arrays //Automatic Control and Computer Sciences. 1985. Vol.26. №2, p.69-73.
28. РЕАЛИЗАЦИЯ ПРОИЗВОЛЬНЫХ БУЛЕВЫХ ФУНКЦИЙ СХЕМАМИ ИЗ ПРОИЗВОЛЬНЫХ ЛОГИЧЕСКИХ ЭЛЕМЕНТОВ
  1. Шалыто А.А. Мультиплексорный метод реализации булевых функций схемами из произвольных логических элементов //Раздел 3.5 в книге "Управление в условиях неопределенности". СПб.: СПбГТУ, 2002, с.186-194.
  2. Шалыто А.А. Мультиплексорный метод реализации булевых функций схемами из произвольных логических элементов //Известия РАН. Теория и системы управления. 2003. №1, c.105-109. Статья размещена на сайте is.ifmo.ru.
29. РАЗЛОЖЕНИЕ БУЛЕВЫХ ФУНКЦИЙ
  1. Шалыто А.А. Разложение булевых функций по крайним правым входным переменным таблиц истинности //Известия РАН. Теория и системы управления. 2003. №4, c.62-68. Shalyto A.A. Decomposition of Boolean Functions with Respect to the Right-Most Input Variables of Truth Tables //Journal of Computer and Systems Sciences International. 2003. Vol.42. №4, p.555-561.
30. ПРИМЕНЕНИЕ ГЕНЕТИЧЕСКОГО ПРОГРАММИРОВАНИЯ ДЛЯ ГЕНЕРАЦИИ АВТОМАТНЫХ ПРОГРАММ
  1. Лобанов П.Г., Шалыто А.А. Использование генетических алгоритмов для автоматического построения конечного автомата в задаче о "флибах" /1-я Российская мультиконференция по проблемам управления. Сборник докладов четвертой научной конференции "Управление и информационные технологии". СПбГУ ЭТУ "ЛЭТИ". 2006, с.144-149.
  2. Лобанов П.Г., Шалыто А.А. Использование генетических алгоритмов для решения задачи об "умном муравье" /XIV Всероссийская научно- методическая конференция "Телематика-2007". СПб.: СПбГУ ИТМО, 2007. Т.2, с.426,427.
  3. Мандриков Е.А., Кулев В.А., Шалыто А.А. Построения автоматов с помощью генетических алгоритмов для решения задачи о "флибах" /Сборник X международной конференции по мягким вычислениям и измерениям. СПбГУ ЭТУ "ЛЭТИ". Т.1. 2007, с.293-296.
  4. Царев Ф.Н., Шалыто А.А. Применение генетического программирования для генерации автоматов в задаче об "умном муравье" /Сборник научных трудов. IV-я Международная научно- практическая конференция "Интегрированные модели и мягкие вычисления в искусственном интеллекте. Коломна: 2007, с.590-597.
  5. Царев Ф.Н., Шалыто А.А. О построении автоматов с минимальным числом состояний для задачи об "умном муравье" /Сборник докладов X международной конференции по мягким вычислениям и измерениям. СПбГУ ЭТУ "ЛЭТИ". Т.2. 2007, с.88-91.
  6. Поликарпова Н.И., Точилин В.Н., Шалыто А.А. Применение генетического программирования для реализации систем со сложным поведением //Сборник научных трудов. IV-я Международная научно- практическая конференция "Интегрированные модели и мягкие вычисления в искусственном интеллекте. Коломна: 2007, с.598-604.
  7. Поликарпова Н.И., Точилин В.Н., Шалыто А.А. Разработка библиотеки для генерации для генерации автоматов методом генетического программирования /Сборник докладов X международной конференции по мягким вычислениям и измерениям. СПбГУ ЭТУ "ЛЭТИ". Т.2. 2007, с.84-87.
  8. Гунич И.С., Иринев А.В., Шалыто А.А. Автоматный подход к моделированию микроорганизмов с использованием генетических алгоритмов /Международная научно-техническая мультиконференция "Проблемы информационно-компьютерных технологий и мехатроники". Материалы международной научно-технической конференции "Много- процессорные вычислительные и управляющие системы" (МВУС`2007). Т. 2, с.51-56.
  9. Царев Ф.Н., Шалыто А.А. Применение генетического программирования для построения мультиагентной системы одного класса /Международная научно-техническая мультиконференция "Проблемы информационно-компьютерных технологий и мехатроники". Материалы международной научно-технической конференции "Многопроцессорные вычислительные и управляющие системы" (МВУС`2007). Т.2, с.46-51.
  10. Лобанов П.Г., Шалыто А.А. Использование генетических алгоритмов для автоматического построения конечных автоматов в задаче о флибах //Известия РАН. Теория и системы управления. 2007. №5.
31. ВЕРИФИКАЦИЯ АВТОМАТНЫХ ПРОГРАММ
  1. Вельдер С.Э., Шалыто А.А. О верификации простых автоматных программ на основе метода "Model Checking" //Информационно- управляющие системы. 2007. N3, с.27-38.
  2. Корнев Г.А., Парфенов В.Г., Шалыто А.А. Верификация автоматных программ /Тезисы докладов Международной научной конференции, посвященной памяти профессора А.М. Богомолова "Компьютерные науки и технологии". Саратов: СГУ. 2007, с.66-69.
  3. Корнеев Г.А., Шалыто А.А. Верификация управляющих программ со сложным поведением, построенных на основе автоматного подхода /Международная научно-техническая мультиконференция "Проблемы информационно-компьютерных технологий и мехатроники". Материалы международной научно-технической конференции "Многопроцессорные вычислительные и управляющие системы" (МВУС`2007). Т.1, с.194-198.
  4. Гуров В.С., Шалыто А.А., Яминов Б.Р. Технология верификации автоматных моделей программ без их трансляции во входной язык верификатора /Международная научно-техническая мульти- конференция "Проблемы информационно-компьютерных технологий и мехатроники". Материалы международной научно-технической конференции "Многопроцессорные вычислительные и управляющие системы" (МВУС`2007). Т.1, с.198-203.
32. ТЕКСТОВЫЕ ЯЗЫКИ АВТОМАТНОГО ПРОГРАММИРОВАНИЯ
  1. Гуров В.С., Мазин М.А., Шалыто А.А. Текстовый язык автоматного программирования // XIV Всероссийская научно-методическая конференция "Телематика-2007". СПб.: СПбГУ ИТМО. Т.2, с.424, 425. http://tm.ifmo.ru/tm2007/db/doc/get_thes.php?id=39
  2. Гуров В.С., Мазин М.А., Шалыто А.А. Текстовый язык автоматного программирования // Тезисы докладов Международной научной конференции, посвященной памяти профессора А.М. Богомолова "Компьютерные науки и технологии". Саратов: СГУ. 2007, с.66-69. http://knit2007.sgu.ru/docs/113.doc
  3. Степанов О.Г., Шалыто А.А., Шопырин Д.Г. Предметно-ориентиро- ванный язык автоматного программирования на базе динамического языка RUBY //Информационно-управляющие системы. 2007. N4, с.22-27.
33. PC WEEK/RE
  1. Шалыто  А.А. Новая инициатива в программировании. Движение за открытую проектную документацию //PC WEEK/RE. 2003. №40, c.38,39,42. Статья размещена на сайте http://is.ifmo.ru.
  2. Шалыто  А.А. Об автоматизации «стиральных машин» //PC Week/RE. 2003. №48, c.52. Промышленные АСУ и контроллеры. 2004. №8, с.38. Статья размещена на сайте http://is.ifmo.ru.
  3. Шалыто  А.А. А ларчик просто открывался //PC Week/RE. 2004. №35, c.56,59. Статья размещена на сайте http://is.ifmo.ru.
  4. Шалыто  А.А. Еще раз об асинхронных процессорах. Памяти Виктора Ильича Варшавского //PC Week/RE. 2005. №7, с.37-39; Мир ПК-Диск. 2005. №4, 7 с. Статья размещена на сайте http://is.ifmo.ru.
  5. Шалыто  А.А. Кому нужны IT-таланты? //PC Week/RE. 2005. №16, с.42,45; Мир ПК-Диск. 2005. №6, 6 c. Статья размещена на сайте http://is.ifmo.ru.
  6. Шалыто  А.А. Еще раз об открытой проектной документации //PC Week/RE. 2005. №11, c.33,34. Статья размещена на сайте http://is.ifmo.ru.
  7. Гуров  В.С., Нарвский  А.С., Шалыто  А.А. Исполняемый UML из России //PC Week/RE. 2005. №26, c.18,19. Мир ПК-Диск. 2006. №3, 5 с. Статья размещена на сайте http://is.ifmo.ru.
  8. Шалыто  А.А. Будут ли в России ИТ-ученые в XXI-веке? //PC Week/RE. 2005. №44, c.44,47. Мир ПК-Диск. 2006. №1, 4 с. Статья размещена на сайте http://is.ifmo.ru.
  9. Шалыто  А.А. Как это было, или Почему раньше хорошо учили вычислительной технике //PC Week/RE. 2005. №46, c.55,56. Мир ПК-Диск. 2006. №1, 6 с. Статья размещена на сайте http://is.ifmo.ru.
  10. Шалыто  А.А. ИТ-образование: острых проблем еще очень много //PC WEEK/RE. 2006. №14, с.52,53. Статья размещена на сайте http://is.ifmo.ru.
  11. Шалыто А.А. Как правильно? //PC WEEK/RE. 2006. N37, с.52. Статья размещена на сайте http://is.ifmo.ru.
  12. Шалыто А.А. Кому нужны ИТ-таланты //PC WEEK/RE. 2006. N39, с.59. Статья размещена на сайте http://is.ifmo.ru.
34. КОМПЬЮТЕРРА
  1. Шалыто  А.А. Прикольно, гламурно, пафосно //Компьютерра. 2006. №11(631), с.38; Мир ПК-Диск. 2006. №5, 2 c. Статья размещена на сайте http://is.ifmo.ru.
  2. Шалыто  А.А. Информация или дух //Компьютерра. 2006. №12(632), с.94,95. Статья размещена на сайте http://is.ifmo.ru.
  3. Об автоматном программировании. Врезка в статью «Cубъектное программирование» //Компьютерра. 2006. №13(633), с.47.
  4. Шалыто  А.А. Дает ли современный российский университет современные знания //Компьютерра. 2006. №15(635), с.64,65. Статья размещена на сайте http://is.ifmo.ru.
  5. Шалыто  А.А. Термин в клетке //Компьютерра. 2006. №16(636), с.60,61. Статья размещена на сайте http://is.ifmo.ru.
  6. Шалыто  А.А. Почему холопы плохо работают? //Компьютерра. 2006. №19(639), с.66,67. Статья размещена на сайте http://is.ifmo.ru.
  7. Шалыто  А.А. Почему у нас трудности с инновациями //Компьютерра. 2006. №20(640), с.26,27. Статья размещена на сайте http://is.ifmo.ru.
  8. Шалыто  А.А. Должен ли народ знать своих героев? //Компьютерра: Северо-Запад. 2006. №20(640), с.1,2. Статья размещена на сайте http://is.ifmo.ru.
  9. Шалыто  А.А. Об оценке профессионалами //Компьютерра. 2006. №27-28 (№647-648), с. 56,57. Мир ПК-Диск. 2006. №8, 2 с.
35. РАЗНОЕ
  1. Шалыто  А.А. У нас была Великая эпоха! //Информационно- управляющие системы. 2003. №1, с.52-56 //www.computer-museum.ru/ histsoft/epoch.php; www.softcraft.ru; is.ifmo.ru.
  2. Шалыто  А.А. Корпорация «Borland» в Санкт-Петербурге: образоание, наука, бизнес //It manager. 2005, №3, с.88-91.
  3. Шалыто  А.А. Триединая задача одного педагогического эксперимента в области IT-образования //IT news. 2005. №15, с.14. Открытое образование. 2006. №1, с.82-85. Статья размещена на сайте http://is.ifmo.ru.
  4. Шалыто  А.А. Никлаус Вирт — почетный доктор Санкт-Петербургского государственного университета информационных технологий, механики и оптики //Информационно-управляющие системы. 2005. №5, с.56-58. Компьютерные инструменты в образовании. 2005. №5, с.3-7. Статья размещена на сайте http://is.ifmo.ru.
  5. Шалыто  А.А. Занимательные вопросы //Компьютерные инструменты в образовании. 2005. №5, с.85-88. Материал размещен на сайте http://is.ifmo.ru.
  6. Шалыто  А.А. Образование и наука — фундамент университета //Университет ИТМО. 2006. №72, с.3.
  7. Шалыто  А.А. Бертран Мейер — почетный доктор СПбГУ ИТМО //Компьютер-информ. 2006. № 15, с.6. Статья размещена сайтах www.ci.ru, http://is.ifmo.ru.
  8. Шалыто А.А. Сохраним в университетах лучших! //Сайт еженедельника "PCWEEK/RE". 10.04.2008; Еженедельник "PCWEEK/RE". 2008. N14, с.
  9. Маврин П.Ю., Шалыто А.А. Триумф российской школы программирования //Сайт еженеделька "PCWEEK/RE". 14.04.2008; Еженедельник "PCWEEK/RE". 2008. N14, с.
  10. Шалыто А.А. Зачем нам чемпионы по программированию? //Компьютерра. 2008. N14(730), c.22-24.
  11. Маврин П.Ю., Шалыто А.А. Зачем нам чемпионы по программированию //ITnews. 2008. N8, с.11.



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