Введение

Российский учёный-компьютерщик (род. 1948)

Анатолий Абрамович Шалыто (Анато́лий Абра́мович Шалы́то, 28 мая 1948 года в Ленинграде, Советский Союз) — российский учёный, доктор наук и профессор. В 2008 году он был удостоен награды Правительства Российской Федерации за достижения в области образования и разработку технологии программирования на основе автоматов, названной "Switch technology". Он также является инициатором инициативы открытой проектной документации.

Основные достижения

Внедрил технологию Switch для программирования на основе автоматов. Он также является соавтором инструмента UniMod, поддерживающего программирование на основе автоматов. Инициатор создания Фонда открытой проектной документации. Автор серии статей, посвященных проблемам компьютерной науки и образования в России. Получил научные результаты в области булевых функций и логического управления. Поддерживал членство в IEEE и IEEE Industrial Electronics Society. Был председателем Технического комитета IEEE по промышленной информатике (2015). Выступил организатором семинара на 1-м Международном семинаре IEEE по распределенным интеллектуальным системам автоматизации, проводившемся совместно с IEEE ISPA в 2015 году в Хельсинки. Также был участником семинара Рида-Мюллера в 2017 году.

Бумаги

Артюхов В. Л., Копейкин Г. А., Шалыто А. А. Оценка логической эффективности интегрированных микросхем // Автоматическое управление и компьютерные науки. 1981. Т. 22. № 1, с. 32–34. Артюхов В. Л., Копейкин Г. А., Шалыто А. А. Границы сложности реализации булевых формул деревьями схем настраиваемых модулей // Автоматика и дистанционное управление. 1981. Т. 42. № 11. Ч. 2, с. 1532–1537. Артюхов В. Л., Шалыто А. А., Кузнецова О. С. Оценка функциональных возможностей программируемых логических матриц // Автоматическое управление и компьютерные науки. 1985. Т. 26. № 2, с. 69–73. Сагалович Ю. Л., Шалыто А. А. Бинарные программы и их реализация асинхронными автоматами // Проблемы передачи информации. 1987. Т. 23. № 1, с. 89–96. Артюхов В., Кондратьев В., Шалыто А. Генерация булевых функций с помощью арифметических полиномов // Автоматика и дистанционное управление. 1988. Т. 49. № 4, с. 508–515. Кондратьев В. Н., Шалыто А. А. Реализация систем булевых функций линейными арифметическими полиномами // Автоматика и дистанционное управление. 1993. Т. 54. № 3, с. 472–488. Кондратьев В. Н., Шалыто А. А. Реализация булевых функций одним линейным арифметическим полиномом с маскированием // Автоматика и дистанционное управление. 1996. Т. 57. № 1, с. 127–137. Кондратьев В. Н., Шалыто А. А. Реализация системы булевых функций линейными арифметическими полиномами // Автоматика и дистанционное управление. 1997. Т. 58. № 3, с. 492–503. Кузнецов Б., Шалыто А. Реализация булевых формул линейными бинарными графами. I. Синтез и анализ // Журнал компьютерных и системных наук International. 1994. Т. 33. № 5. Кузнецов Б., Шалыто А. Реализация булевых формул линейными бинарными графами. II. Оценки числа и общей длины путей // Журнал компьютерных и системных наук International. 1995. Т. 34. № 3. Кузнецов Б., Шалыто А. Реализация булевых формул линейными бинарными графами. III. Оптимизация числа и общей длины путей // Журнал компьютерных и системных наук International. 1995. Т. 34. № 5. Шалыто А. Алгоритмические схемы графов и графы переходов: их использование в программной реализации алгоритмов логического управления. I // Автоматика и дистанционное управление. 1996. Т. 57. № 6, с. 890–897. Шалыто А. Алгоритмические схемы графов и графы переходов: их использование в программной реализации алгоритмов логического управления. II // Автоматика и дистанционное управление. 1996. Т. 57. № 7, с. 1027–1045. Артюхов В. Л., Шалыто А. А. Реализация булевых формул унифицированными мультиплексорами и каскадами мажоритарных элементов // Журнал компьютерных и системных наук International. 1996. Т. 35. № 5, с. 805–815. Шалыто А. А. Модули с парафразированием входных переменных, универсальные в классе всех булевых функций // Журнал компьютерных и системных наук International. 1997. Т. 36. № 5, с. 794–801. Кузнецов Б., Шалыто А. Метод независимых фрагментов для построения линеаризованных структурированных графических схем алгоритмов, реализующих системы булевых формул // Автоматика и дистанционное управление. 1998. Т. 59. № 9, с. 1317–1326. Шалыто А. А. Технология SWITCH. Алгоритмические и программные методы решения задач логического управления. Санкт-Петербург: Наука, 1998. – 628 с. На русском языке. http://is.ifmo.ru/books/switch/1
Киселев В., Шалыто А. Исследование транзиентов в одноконтурных логических схемах // Журнал компьютерных и системных наук International. 1999. Т. 38. № 5, с. 693–697. Шалыто А. Программная автоматизация разработки: алгоритмизация и программирование задач логического управления // Журнал компьютерных и системных наук International. 2000. Т. 39. № 6, с. 899–916. Шалыто А. А. Логическое управление. Аппаратно-программная реализация алгоритмов. Санкт-Петербург: Наука, 2000. – 780 с. На русском языке. http://is.ifmo.ru/books/logupr/1
Шалыто А. Логическое управление и "реактивные" системы: алгоритмизация и программирование // Автоматика и дистанционное управление. 2001. Т. 62. № 1, с. 1–29. Онлайн-версия. Шалыто А., Туккель Н. Технология SWITCH: автоматизированный подход к разработке программного обеспечения для реактивных систем // Программирование и компьютерное программное обеспечение. 2001. Т. 27. № 5, с. 260–276. Шалыто А. А. Модули, универсальные в классе самодвойственных функций и в близких классах // Журнал компьютерных и системных наук International. 2001. Т. 40. № 5, с. 782–792. Шалыто А., Туккель Н. Трансляция итеративных алгоритмов в алгоритмы автоматов // Программирование и компьютерное программное обеспечение. 2002. Т. 28. № 5, с. 250–260. Шалыто А. А. Реализация булевых формул и булевых функций однородными структурами // Журнал компьютерных и системных наук International. 2002. Т. 41. № 2, с. 264–273. Шалыто А. А. Метод мультиплексоров для реализации булевых функций схемами, составленными из произвольных логических элементов // Журнал компьютерных и системных наук International. 2003. Т. 42. № 1, с. 101–105. Шалыто А. А. Декомпозиция булевых функций по наиболее правым входным переменным таблиц истинности // Журнал компьютерных и системных наук International. 2003. Т. 42. № 4, с. 555–561. Шалыто А. А. Методы построения многофункциональных логических модулей // Журнал компьютерных и системных наук International. 2004. Т. 43. № 6, с. 923–935. Шалыто А. Технология программирования на основе автоматов, 2004. Шалыто А. Основы открытой проектной документации, 2004. Наумов Л. А., Шалыто А. А. Классификация структур, генерируемых одномерными бинарными клеточными автоматами из точечного зародыша // Журнал компьютерных и системных наук International. 2005. Т. 44. № 5, с. 800–807. Ярцев Б., Корнеев Г., Котов В., Шалыто А. Программирование на основе автоматов реактивных мультиагентных систем управления / 2005 International Conference on “Integration of Knowledge Intensive Multi Agent Systems: Modeling, Exploration and Engineering”. KIMAS 05. Boston: IEEE Boston Section. 2005, с. 449–453. Гуров В., Мазин М., Нарвский А., Шалыто А. UniMod: метод и инструмент для разработки реактивных объектно-ориентированных программ с акцентом на явные состояния / Proceedings of St. Petersburg IEEE Chapters. 2005. International Conference “110 Anniversary of Radio Invention”, SPb ETU “LETI”, 2005, т. 2, с. 106–110. Шалыто А. А. Многофункциональные логические модули, состоящие из элементов с двусторонней проводимостью // Журнал компьютерных и системных наук International. 2006. Т. 45. № 1, с. 73–76. Паращенко Д., Шалыто А., Царев Ф. Технология моделирования для одного класса мультиагентных систем с программированием на основе автоматов / IEEE International Conference on Computational Intelligence for Measurement Systems and Applications (CIMSA 2006). 2006, с. 35–41. Шалыто А., Шамгунов Н., Корнеев Г. Шаблон проектирования "конечный автомат" / NET Technologies 2006. Краткие сообщения. University of West Bohemia, с. 51–58. Гуров В. С., Мазин М. А., Нарвский А. С., Шалыто А. А. Инструменты поддержки программирования на основе автоматов // Программирование и компьютерное программное обеспечение. 2007. Т. 33. № 6, с. 343–355. Лобанов П. Г., Шалыто А. А. Применение генетических алгоритмов для автоматического построения конечных автоматов в задаче флибов // Журнал компьютерных и системных наук International. 2007. Т. 46. № 5, с. 792–801. Вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2008. Том 53. Программирование на основе автоматов. На русском языке. https://web.archive.org/web/20110812192228/http://books.ifmo.ru/ntv/ntv/53/ntv53.pdf
Поликарпова Н. И., Шалыто А. А. Программирование на основе автоматов. СПб.: Питер. 2009, 2010, 2011. На русском языке. http://is.ifmo.ru/books/book.pdf
Поликарпова Н., Точилин В., Шалыто А. Метод сокращенных таблиц для генерации автоматов с большим числом входных переменных на основе генетического программирования // Журнал компьютерных и системных наук...