Анатолий Шалыто - Anatoly Shalyto

Анатолий Шалыто
Шалыто 200px.jpg
Родившийся (1948-05-28) 28 мая 1948 г. (возраст 72)
Ленинград, СССР
Национальность русский
Альма-матерСПб ГЭТУ "ЛЭТИ"
ИзвестенТехнология Программирование на основе автоматов названный Switch-технология, Инициатива открытой проектной документации, «Сохраните лучшее в вузах России»
НаградыПремия Правительства РФ в области образования, 2008 г.
Научная карьера
ПоляИнформатика, Программная инженерия
УчрежденияУниверситет ИТМО

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

Главные достижения

Статьи

  • Артюхов В. Л., Копейкин Г. А., Шалыто А. А. Оценка логической эффективности интегральных микросхем // Автоматическое управление и компьютерные науки. 1981. Vol. 22. № 1, стр. 32–34.
  • Артюхов В. Л., Копейкин Г. А., Шалыто А. А. Границы сложности реализации булевых формул древовидными схемами перестраиваемых модулей // Автоматизация и телемеханика. 1981. Vol. 42. № 11. Часть 2, с. 1532–1537.
  • Артюхов В. Л., Шалыто А. А., Кузнецова О. С. Оценка функциональных возможностей программируемых логических массивов // Автоматическое управление и компьютерные науки. 1985. Vol. 26. № 2, с. 69–73.
  • Сагалович Ю. Л., Шалыто А. А. Бинарные программы и их реализация асинхронными автоматами // Проблемы передачи информации. 1987. Vol. 23, № 1, с. 89–96.
  • Артюхов В., Кондратьев В., Шалыто А. Генерация булевых функций с помощью арифметических полиномов // Автоматизация и телемеханика. 1988. Vol. 49. № 4, с. 508–515.
  • Кондратьев В. Н., Шалыто А. А. Реализация систем булевых функций линейными арифметическими полиномами // Автоматика и телемеханика. 1993. Vol. 54. № 3, с. 472–488.
  • Кондратьев В. Н., Шалыто А. А. Реализация булевых функций одним линейным арифметическим полиномом с маскированием // Автоматизация и телемеханика. 1996. Vol. 57, №1, с. 127–137.
  • Кондратьев В. Н., Шалыто А. А. Реализации системы булевых функций линейными арифметическими полиномами // Автоматизация и телемеханика. 1997. Vol. 58. № 3, с. 492–503.
  • Кузнецов Б., Шалыто А. Реализация булевых формул линейными двоичными графами. I. Синтез и анализ // Международный журнал компьютерных и системных наук, 1994. Vol. 33. №5.
  • Кузнецов Б., Шалыто А. Реализация булевых формул линейными двоичными графами. II. Оценки количества и общей длины путей // Международный журнал компьютерных и системных наук. 1995. Vol. 34, № 3.
  • Кузнецов Б., Шалыто А. Реализация булевых формул линейными двоичными графами. III.Оптимизация количества и общей длины путей // Journal of Computer and Systems Sciences International. 1995. Vol. 34. №5.
  • Шалыто А. А. Схемы алгоритмических графов и графы переходов: их использование в программной реализации алгоритмов логического управления. I // Автоматизация и телемеханика. 1996. Vol. 57. № 6, с. 890–897.
  • Шалыто А. А. Схемы алгоритмических графов и графы переходов: их использование в программной реализации алгоритмов логического управления. II // Автоматика и телемеханика, 1996, Т. 57, № 7, с. 1027–1045.
  • Артюхов В. Л., Шалыто А. А. Реализация булевых формул равномерным мультиплексором и мажоритарными каскадами // Journal of Computer and Systems Sciences International. 1996. Vol. 35. № 5, с. 805–815.
  • Шалыто А. А. Модули с парафазными входными переменными, универсальные в классе всех булевых функций // Journal of Computer and Systems Sciences International. 1997. Vol. 36. № 5, с. 794–801.
  • Кузнецов Б., Шалыто А. Метод независимых фрагментов для построения линеаризованных структурированных граф-схем алгоритмов, реализующих системы булевых формул // Автоматизация и телемеханика. 1998. Vol. 59. № 9, с. 1317–1326.
  • Шалыто А.А. SWITCH-технологии. Алгоритмические и программные методы решения задач логического управления. СПб: Наука, 1998. - 628 с. По-русски.http://is.ifmo.ru/books/switch/1
  • Киселев В., Шалыто А. Исследование переходных ситуаций в одноконтурных логических схемах // Journal of Computer and Systems Sciences International. 1999. Vol. 38. № 5, стр. 693–697.
  • Шалыто А. Проектирование программной автоматизации: алгоритмизация и программирование задач логического управления // Journal of Computer and Systems Sciences International. 2000. Vol. 39. № 6, с. 899–916.
  • Шалыто А. А. Логическое управление. Аппаратно-программная реализация алгоритмов. СПб: Наука, 2000. - 780 с. По-русски.http://is.ifmo.ru/books/log_upr/1
  • Шалыто А. Логическое управление и «реактивные» системы: алгоритмизация и программирование // Автоматизация и телемеханика. 2001. Vol. 62. № 1, с. 1–29. онлайн-версия.
  • Шалыто А., Туккель Н. SWITCH-технология: автоматизированный подход к разработке программного обеспечения для реактивных систем // Программирование и программное обеспечение. 2001. Vol. 27. № 5, с. 260–276.
  • Шалыто А. А. Модули, универсальные в классе самодуальных функций и в близких классах // Journal of Computer and Systems Sciences International. 2001. Vol. 40. № 5, с. 782–792.
  • Шалыто А., Туккель Н. Перевод итерационных алгоритмов в средства автоматизации // Программирование и софт. 2002 г.

Vol. 28. № 5, с. 250–260.

  • Шалыто А. А. Реализация булевых формул и булевых функций однородными структурами // Journal of Computer and Systems Sciences International. 2002. Vol. 41. № 2, с. 264-273.
  • Шалыто А. А. Мультиплексорный метод реализации булевых функций схемами, составленными из произвольных логических элементов // Journal of Computer and Systems Sciences International. 2003. Vol. 42. № 1, с. 101–105.
  • Шалыто А. А. Разложение булевых функций по крайним правым входным переменным таблиц истинности // Journal of Computer and Systems Sciences International. 2003. Том 42. № 4, с. 555–561.
  • Шалыто А. А. Методы построения многофункциональных логических модулей // Journal of Computer and Systems Sciences International. 2004. Vol. 43. № 6, стр. 923–935.
  • Шалыто А. Технология автоматизированного программирования, 2004.
  • Шалыто А. Фонд открытой проектной документации, 2004.
  • Наумов Л. А., Шалыто А. А. Классификация структур, порождаемых одномерными двоичными клеточными автоматами из точечного зародыша // Journal of Computer and Systems Sciences International. 2005. Vol. 44. № 5, с. 800–807.
  • Ярцев Б., Корнеев Г., Котов В., Шалыто А. Автоматное программирование реактивных многоагентных систем управления / Международная конференция 2005 г. «Интеграция наукоемких многоагентных систем: моделирование, разведка и инжиниринг». КИМАС-05. Бостон: Бостонская секция IEEE. 2005, с. 449–453.
  • Гуров В., Мазин М., Нарвский А., Шалыто А. UniMod: метод и инструмент для разработки реактивных объектно-ориентированных программ с акцентом на явные состояния / Материалы Санкт-Петербургских глав IEEE. 2005. Международная конференция «110 лет радиоизобретению», СПбГЭТУ «ЛЭТИ», 2005, т. 2. С. 106–110.
  • Шалыто А. А. Многофункциональные логические модули, состоящие из элементов с двусторонней проводимостью // Journal of Computer and Systems Sciences International. 2006. Vol. 45. № 1, с. 73–76.
  • Паращенко Д., Шалыто А., Царев Ф. Технология моделирования для одного класса многоагентных систем с автоматным программированием / Международная конференция IEEE по вычислительному интеллекту для измерительных систем и приложений (CIMSA 2006). 2006, с. 35–41.
  • Шалыто А., Шамгунов Н., Корнеев Г. Шаблон проектирования конечных автоматов / .NET Technologies 2006. Краткие доклады. Университет Западной Богемии, стр. 51–58.
  • Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. Средства поддержки автоматного программирования // Программирование и софт. 2007. Vol. 33. № 6, с. 343–355.
  • Лобанов П.Г., Шалыто А.А. Применение генетических алгоритмов для автоматического построения конечных автоматов в задаче флибов // Journal of Computer and Systems Sciences International. 2007. Vol. 46. ​​№ 5, с. 792–801.
  • Вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2008. Том 53. Автоматное программирование. По-русски. https://web.archive.org/web/20110812192228/http://books.ifmo.ru/ntv/ntv/53/ntv_53.pdf
  • Поликарпова Н. И., Шалыто А. А. Автоматное программирование. СПб .: Питер. 2009, 2010, 2011. На русском языке. http://is.ifmo.ru/books/_book.pdf
  • Поликарпова Н., Точилин В., Шалыто А. Метод сокращенных таблиц для генерации автоматов с большим числом входных переменных на основе генетического программирования // Journal of Computer and Systems Sciences International. 2010. Vol. 49. № 2, с. 265–282.
  • Законов А., Степанов О., Шалыто А. Подход к генерации тестов для EFSM на основе GA и дизайн по контракту / Труды симпозиума IEEE East-West Design & Test Symposium (EWDTS’10). Санкт-Петербург. 2010. С. 152–155.
  • Вельдер С., Лукин М., Шалыто А., Яминов Б. Верификация автоматных программ. СПб: Наука, 2011. 242 с. По-русски.http://is.ifmo.ru/verification/velder_verification_posobie_nauka.pdf
  • Законов А., Шалыто А. Автоматическое извлечение и проверка моделей состояний для веб-приложений // Конспект лекций по электротехнике. 2012. Т.133. Часть 1. С. 157–160.
  • Чивилихин Д., Ульянцев В., Шалыто А. Решение пяти примеров искусственной проблемы муравьев с помощью оптимизации колоний муравьев / Материалы конференции МФБ 2013 г. по производственному моделированию, управлению и контролю (MIM'13). СПб., Россия, 2013. Т. 7. Часть 1. С. 1043–1048.
  • Александров А., Казаков С., Сергушичев А., Царев Ф., Шалыто А. Использование эволюционного программирования на основе обучающих примеров для генерации конечных автоматов для управления объектами со сложным поведением // Journal of Computer and Systems Sciences International . 2013. Т. 52. № 3, с. 410–425.
  • Панг К., Патил С., Ян К., Вяткин В., Шалыто А. Исследование переносимости стандарта IEC 61499: Semantiac и инструменты / Материалы 12-й Международной конференции IEEE по промышленной информатике (INDIN'14). 2014. С. 440–445.
  • Чивилихин Д., Ульянцев В., Шалыто А. Сочетание точных и метаэвристических методов для обучения расширенных конечных автоматов по тестовым сценариям и временным свойствам / Материалы 13-й Международной конференции по машинному обучению и приложениям (ICMLA'14). 2014. С. 350–355.
  • Бужинский И., Ульянцев В., Чивилихин Д., Шалыто А. Вызвание конечных автоматов из обучающих выборок с помощью оптимизации муравьиной колонии // Journal of Computer and Systems Sciences International, 2014. Vol. 53. № 2, с. 256–266.
  • Чивилихин Д., Ульянцев В., Шалыто А. Расширенный машинный логический вывод с параллельными алгоритмами на основе колоний муравьев / Материалы международного студенческого семинара по методам биоинспирированной оптимизации и их приложениям (BIOMA'14). 2014. С. 117–126.
  • Бужинский И., Казаков С., Ульянцев В., Царев Ф., Шалыто А. Модификация метода генерации управляющих конечных автоматов с непрерывными действиями на основе обучающих примеров // Journal of Computer and Systems Sciences International. 2015. Т. 54. № 6, с. 853–865.
  • Чивилихин Д., Шалыто А., Вяткин В. Вывод логики автоматов из сценариев ручного управления: реализация в функциональных блоках / Материалы 13-го международного симпозиума IEEE по параллельной и распределенной обработке с приложениями (ISPA'15). 2015. С. 307–312.
  • Чивилихин Д., Иванов И., Шалыто А. Вывод временных свойств моделей конечных автоматов с помощью генетического программирования / Труды конференции по генетическим и эволюционным вычислениям. 2015. С. 1185–1188.
  • Ульянцев В., Закирзянов И., Шалыто А. Предикаты нарушения симметрии на основе BFS для идентификации DFA / Труды 9-й Международной конференции по теории и приложениям языков и автоматов (LATA-2015). 2015. С. 611–622.
  • Чивилихин Д., Шалыто А., Патил С., Вяткин В. Реконструкция логики функциональных блоков с использованием метаэвристического алгоритма: начальные исследования / Материалы 13-й Международной конференции IEEE по промышленной информатике (INDIN'15). 2015. С. 1239–1242.
  • Ульянцев В., Закирзянов И., Шалыто А. Предикаты нарушения симметрии для идентификации DFA на основе SAT. Библиотека Корнельского университета. 2016 г. https://arxiv.org/abs/1602.05028
  • Ульянцев В., Бужинский И., Шалыто А. Точная идентификация конечных автоматов по сценариям и временным свойствам. Библиотека Корнельского университета. 2016 г. https://arxiv.org/abs/1601.06945
  • Чивилихин Д., Ульянцев В., Шалыто А. Модифицированный алгоритм муравьиной колонии для построения конечных автоматов на основе сценариев выполнения и временных формул // Автоматизация и дистанционное управление. Vol. 77. 2016. № 3. С. 473–484.
  • Чивилихин Д., Иванов И., Шалыто А., Вяткин В. Реконструкция контроллеров функциональных блоков на основе сценариев тестирования и верификации / Материалы 14-й Международной конференции IEEE по промышленной информатике (INDIN'16). 2016. С. 646–651.
  • https://code.google.com/p/visio2python/

внешняя ссылка