Анатолий Шалыто
 | Эта статья включает список литературы , связанную литературу или внешние ссылки , но ее источники остаются неясными, поскольку в ней отсутствуют встроенные цитаты . ( Октябрь 2015 г. ) |
Анатолий Шалыто | |
|---|---|
 | |
| Рожденный | 28 мая 1948 г. |
| Альма-матер | СПб ЭТУ «ЛЭТИ» |
| Известный | Технология автоматного программирования под названием Switch-технология , Инициатива открытой проектной документации, «Сохраним лучшее в вузах России» |
| Награды | Премия Правительства РФ в области образования, 2008 г. |
| Научная карьера | |
| Поля | Информатика , разработка программного обеспечения |
| Учреждения | Университет ИТМО |
Анатолий Абрамович Шалы́то 28 . Ленинград ( мая 1948, , СССР ) — российский учёный, доктор наук, профессор Он был награжден Правительством РФ в 2008 году за достижения в образовании и разработку технологии автоматического программирования под названием « Switch-технология ». Он также является инициатором инициативы Open Project Documentation Initiative.
Основные достижения
[ редактировать ]- Представлена 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. Синтез и анализ // Международный журнал компьютерных и системных наук. 1994. Том. 33. № 5.
- Кузнецов Б., Шалыто А. Реализация булевых формул линейными двоичными графами. II.Оценки количества и общей длины путей // Международный журнал компьютерных и системных наук. 1995. Том. 34, № 3.
- Кузнецов Б., Шалыто А. Реализация булевых формул линейными двоичными графами. III.Оптимизация количества и общей длины путей // Международный журнал компьютерных и системных наук. 1995. Том. 34. № 5.
- Шалыто А. Алгоритмические графовые схемы и графы переходов: их использование в программной реализации алгоритмов логического управления. Я // Автоматизация и телемеханика. 1996. Том. 57. № 6, стр. 890–897.
- Шалыто А. Алгоритмические графовые схемы и графы переходов: их использование в программной реализации алгоритмов логического управления. II // Автоматизация и телемеханика, 1996, Том. 57, № 7, стр. 1027–1045.
- Артюхов В.Л., Шалыто А.А. Реализация булевых формул с помощью однородного мультиплексора и мажоритарных каскадов // Journal of Computer and Systems Sciences International. 1996. Том. 35. № 5, стр. 805–815.
- Шалыто А.А. Модули с парафазными входными переменными, универсальными в классе всех булевых функций // Международный журнал компьютерных и системных наук. 1997. Том. 36. № 5, стр. 794–801.
- Кузнецов Б., Шалыто А. Метод независимых фрагментов для построения линеаризованных структурированных граф-схем алгоритмов, реализующих системы булевых формул // Автоматизация и телемеханика. 1998. Том. 59. № 9, стр. 1317–1326.
- Шалыто А.А. SWITCH-технология. Алгоритмические и программные методы решения задач логического управления. СПб.: Наука, 1998. – 628 с. На русском языке. http://is.ifmo.ru/books/switch/1
- Киселев В., Шалыто А. Исследование переходных процессов в одноконтурных логических схемах // Journal of Computer and Systems Sciences International. 1999. Том. 38. № 5, стр. 693–697.
- Шалыто А., Проектирование автоматизации программного обеспечения: алгоритмизация и программирование задач логического управления // Journal of Computer and Systems Sciences International. 2000. Том. 39. № 6, стр. 899–916.
- Шалыто А.А. Логическое управление. Аппаратная и программная реализация алгоритма. СПб.: Наука, 2000. – 780 с. На русском языке. http://is.ifmo.ru/books/log_upr/1
- Шалыто А. Логическое управление и «реактивные» системы: алгоритмизация и программирование // Автоматизация и телемеханика. 2001. Том. 62. № 1, стр. 1–29. онлайн-версия .
- Шалыто А., Туккель Н. SWITCH-технология: автоматизированный подход к разработке программного обеспечения для реактивных систем // Программирование и компьютерное программное обеспечение. 2001. Том. 27. № 5, стр. 260–276.
- Шалыто А.А. Модули, универсальные в классе самодуальных функций и в близких классах // Международный журнал компьютерных и системных наук. 2001. Том. 40. № 5, стр. 782–792.
- Шалыто А., Туккель Н. Трансляция итеративных алгоритмов в автоматизирующие // Программирование и программное обеспечение. 2002.
Том. 28. № 5, стр. 250–260.
- Шалыто А.А. Реализация булевых формул и булевых функций однородными структурами // Международный журнал компьютерных и системных наук. 2002. Том. 41. № 2, с. 264-273.
- Шалыто А.А. Мультиплексорный метод реализации булевых функций схемами, состоящими из произвольных логических элементов // Международный журнал компьютерных и системных наук. 2003. Том. 42. № 1, стр. 101–105.
- Шалыто А.А. Разложение булевых функций по крайним правым входным переменным таблиц истинности // Международный журнал компьютерных и системных наук. 2003. Том 42. № 4, стр. 555–561.
- Шалыто А.А. Методы построения многофункциональных логических модулей // Международный журнал компьютерных и системных наук. 2004. Том. 43. № 6, стр. 923–935.
- Шалыто А. Технология автоматного программирования , 2004.
- Шалыто А. Фонд открытой проектной документации , 2004.
- Наумов Л.А., Шалыто А.А. Классификация структур, генерируемых одномерными бинарными клеточными автоматами из точечного эмбриона // Journal of Computer and Systems Sciences International. 2005. Том. 44. № 5, стр. 800–807.
- Ярцев Б., Корнеев Г., Котов В., Шалыто А. Автоматное программирование реактивных многоагентных систем управления /2005 Международная конференция «Интеграция наукоемких многоагентных систем: моделирование, исследования и инжиниринг». КИМАС-05. Бостон: Бостонская секция IEEE. 2005, стр. 449–453.
- Гуров В., Мазин М., Нарвский А., Шалыто А. UniMod: метод и инструмент разработки реактивных объектно-ориентированных программ с акцентом на явные состояния / Труды петербургских глав IEEE. 2005. Международная конференция «110-летие радиоизобретения», СПб ЛЭТИ, 2005, вып. 2, стр. 106–110.
- Шалыто А.А. Многофункциональные логические модули, состоящие из элементов с двусторонней проводимостью // Международный журнал компьютерных и системных наук. 2006. Том. 45. № 1, стр. 73–76.
- Паращенко Д., Шалыто А., Царев Ф. Технология моделирования одного класса многоагентных систем с помощью автоматного программирования / Международная конференция IEEE по вычислительному интеллекту для измерительных систем и приложений (CIMSA 2006). 2006, стр. 35–41.
- Шалыто А., Шамгунов Н., Корнеев Г. Паттерны проектирования конечных автоматов / .NET Technologies 2006. Краткие статьи. Университет Западной Богемии, стр. 51–58.
- Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. Средства поддержки автоматного программирования // Программирование и программное обеспечение. 2007. Том. 33. № 6, стр. 343–355.
- Лобанов П.Г., Шалыто А.А. Применение генетических алгоритмов для автоматического построения конечных автоматов в задаче флибов // Journal of Computer and Systems Sciences International. 2007. Том. 46. № 5, стр. 792–801.
- Вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2008. Том 53. Автоматное программирование. На русском языке. https://web.archive.org/web/20110812192228/http://books.ifmo.ru/ntv/ntv/53/ntv_53.pdf
- Polikarpova N. I., Shalyto A. A. Automata-based programming. SPb.: Piter. 2009, 2010, 2011. In Russian. http://is.ifmo.ru/books/_book.pdf
- Поликарпова Н., Точилин В., Шалыто А. Метод сокращенных таблиц для генерации автоматов с большим количеством входных переменных на основе генетического программирования // Journal of Computer and Systems Sciences International. 2010. Том. 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.
- Чивилихин Д., Ульянцев В., Шалыто А. Решение пяти примеров проблемы искусственных муравьев с помощью оптимизации муравьиной колонии / Материалы конференции IFAC 2013 по моделированию, управлению и контролю производства (MIM'13). СПб., Россия, 2013. Том. 7. Часть 1, стр. 1043–1048.
- Александров А., Казаков С., Сергушичев А., Царев Ф., Шалыто А. Использование эволюционного программирования на основе обучающих примеров для генерации конечных автоматов для управления объектами со сложным поведением // Journal of Computer and Systems Sciences International . 2013. Том. 52. № 3, стр. 410–425.
- Панг К., Патил С., Ян К., Вяткин В., Шалыто А. Исследование переносимости стандарта IEC 61499: семантика и инструменты / Материалы 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.
- Ulyantsev V., Zakirzyanov I., Shalyto A. Symmery Breaking Predicates for SAT-based DFA Identification. Cornell University Library. 2016. https://arxiv.org/abs/1602.05028
- Ульянцев В., Бужинский И., Шалыто А. Точная идентификация конечных автоматов по сценариям и временным свойствам. Библиотека Корнелльского университета. 2016. https://arxiv.org/abs/1601.06945 .
- Чивилихин Д., Ульянцев В., Шалыто А. Модифицированный алгоритм муравьиной колонии для построения конечных автоматов по сценариям выполнения и временным формулам // Автоматизация и телемеханика. Том. 77. 2016. № 3. С. 473–484.
- Чивилихин Д., Иванов И., Шалыто А., Вяткин В. Реконструкция функциональных блоков-контроллеров на основе сценариев тестирования и верификации / Материалы 14-й Международной конференции IEEE по промышленной информатике (INDIN'16). 2016, стр. 646–651.
- https://code.google.com/p/visio2python/
Внешние ссылки
[ редактировать ]- Сайт кафедры компьютерных технологий
- Сайт Санкт-Петербургского государственного университета информационных технологий, механики и оптики
- Веб-сайт инструментов UniMod
- Новая инициатива в программировании Фонд открытой проектной документации
- Технология автоматного программирования
- Инициатива «Сохраним лучшее для университетов!»
