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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Анатолий Абрамович Шалыто
Shalyto 200px.jpg
Дата рождения:

28 мая 1948(1948-05-28) (68 лет)

Место рождения:

Ленинград

Страна:

Российская Федерация

Научная сфера:

Автоматное программирование

Место работы:

СПбНИУ ИТМО

Альма-матер:

Ленинградский электротехнический институт имени В. И. Ульянова (Ленина)

Известен как:

Автор технологии, названной «Switch-технология», и инициатив «За открытую проектную документацию» и «Сохраним в университетах лучших!»

Сайт:

Сайт кафедры «Технологии программирования»

Commons-logo.svg Анатолий Абрамович Шалыто на Викискладе

Анато́лий Абра́мович Шалы́то (род. 28 мая 1948, Ленинград) — учёный, преподаватель, лауреат премии Правительства РФ 2008 года в области образования, профессор, доктор технических наук, заведующий кафедрой "Технологии программирования" СПбГУ ИТМО, автор технологии, названной «Switch-технология», предложил инициативы «За открытую проектную документацию» и «Сохраним в университетах лучших!».

Биография[править | править вики-текст]

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

  • С 1971 г. работает в научно-производственном объединении «Аврора» (Санкт-Петербург), специализируясь в области проектирования систем логического управления и технологий программирования.
  • В 1977 г. без отрыва от производства закончил аспирантуру и защитил кандидатскую диссертацию по указанной специальности. Кандидат технических наук (1977 г.).
  • В 1985 г. присвоено учёное звание «Старший научный сотрудник» по специальности «Элементы и устройства вычислительной техники и систем управления».
  • С 1999 г. ученый секретарь предприятия.
  • В 1999 г. защитил докторскую диссертацию по той же специальности. Доктор технических наук (2000 г.).
  • С 1974 по 1991 гг. преподавал в Институте повышения квалификации руководящих работников и специалистов судостроительной промышленности (Ленинград).
  • В 1991 г. присвоено учёное звание «Доцент» по кафедре «Управляющие вычислительные системы».
  • С 1998 г. преподаёт на кафедре «Компьютерные технологии» СПбГУ ИТМО.
  • С 2000 г. профессор этой кафедры.
  • В 2001 г. присвоено учёное звание профессор по кафедре «Компьютерные технологии».
  • С 2001 г. заведующий кафедрой «Информационные системы» СПбГУ ИТМО.
  • 25.05.2004 г. избран заведующим кафедрой «Технологии программирования» СПбГУ ИТМО.
  • В 2008 г. получил премию Правительства РФ в области образования.

Основные достижения[править | править вики-текст]

В 1991 г. предложил технологию автоматного программирования, названную «Switch-технология». Соавтор разработки инструментального средства для поддержки автоматного программирования «UniMod».

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

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

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

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

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

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

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

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

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

Грант корпорации Borland (2005).

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

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

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

Распоряжением Президента РФ на 2006 — 2008 гг. назначена стипендия за выдающиеся заслуги в области техники.

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

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

В 2008 г. получил премию Правительства РФ в области образования.

В 2008 г. предложил инициативу «Сохраним в университетах лучших!», реализация которой позволила остаться работать на постоянной основе в СПбГУ ИТМО чемпионам и призерам чемпионатов мира по программированию.

В 2009 г. опубликовал книгу «Автоматное программирование». СПб.: Питер. 2009, 176 с. (в соавторстве с Н.И. Поликарповой).

В 2010 г. опубликовал книгу «Заметки о мотивации», которая выдержала несколько изданий и постоянно дописывается (http://is.ifmo.ru/belletristic/).

В 2011 г. опубликовал книгу «Верификация автоматных программ». СПб.: Наука. 2011, 242 с.(в соавторстве с Вельдером С.Э., Лукиным М.А. и Яминовым Б.Р.).

C 2011 г. руководит работами по государственным контрактам «Разработка методов машинного обучения на основе алгоритмов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов» и «Разработка метода сборки геномных последовательностей на основе восстановления фрагментов по парным чтениям», выполняемым в рамках Федеральной целевой программы «Научные и научно-педагогические кадры инновационной России» на 2009 – 2013 годы», а также государственным контрактом «Разработка алгоритмов сборки геномных последовательностей для вычислительных систем экзафлопсного уровня производительности», выполняемым в рамках Федеральной целевой научно-технической программе «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2009 – 2013 годы».

В 2011 г. инициировал создание в НИУ ИТМО лаборатории «Алгоритмы сборки геномных последовательностей». http://genome.ifmo.ru/index.html.

Член программных комитетов ряда международных конференций (например, «IEEE International Conference on Computational Intelligence for Measurement Systems and Applications». CIMSA 2005, CIMSA 2006. Италия, Испания, «The Second AIS SIGSAND European Symposium on Systems Analysis and Design». Польша (2007), «TOOLS-EUROPE». ETH. Швейцария (2007, 2008).

2015 г. - член технического комитета "IEEE Industrial Informatics".

2015 г. - награда за организацию "1st IEEE International Workshop on Distributed Intelligent Automation Systems" в рамках конференции IEEE ISPA 2015 в Хельсинки.

2016 г. - IEEE Membership. IEEE Industrial Electronics Society Membership.

2016 г. - Эксперт РАН

Член редакционных коллегий журналов, например, «Информационно-управляющие системы», «Научно-технический вестник информационных технологий, механики и оптики», RSDN.

Член диссертационных советов.

Автор сайтов по автоматному программированию http://is.ifmo.ru и "Сохраним в университетах лучших!" http://www.savethebest.ru

О нем

2001 г. В книге "Приборостроители России". Изд-во "Гуманистика".М - СПб, с. 686, 687.

2006 г. В книге "Выдающиеся выпускники и деятели Санкт-Петербургского государственного электротехнического университета "ЛЭТИ" имени В.И. Ульянова (Ленина)". 1986-2006. Изд-во СПбГЭТУ "ЛЭТИ", с. 299.

2015 г. В книге "Известные выпускники Университета ИТМО". Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики, с. 330.

Ссылки[править | править вики-текст]

См. также[править | править вики-текст]

Библиография[править | править вики-текст]

  • Шалыто А.А. SWITCH-технология. Алгоритмизация и программирование задач логического управления. СПб.: Наука. 1998, 628 с. http://is.ifmo.ru/books/switch/1
  • Шалыто А.А. Логическое управление. Методы аппаратной и программной реализации. СПб.: Наука. 2000, 780 с. http://is.ifmo.ru/books/log_upr/1
  • 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. No 1, pp.32-34.
  • 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. 1981. Vol. 42, No 11. Part 2, pp. 1532-1537.  
  • 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, No 2, pp. 69-73.
  • Sagalovich Yu. L., Shalyto A. A. Binary programs and their realization by asynchronous automata // Problems of Information Transmission. 1987. Vol. 23, No 1, pp. 89-96.
  • Artyuhov V. L., Kondratiev V. H., Salyto A. A. Generating Boolean Functions via Arithmetic Polynomials // Automation and Remote Control. 1988. Vol. 49, No.  4. Part 2, pp. 508-515.
  • Kondrat`ev V. N., Shalyto  A. A. Realization of Systems of Boolean Functions by Liner Arithmetic Polinomials //Automation and Remote Control. 1993. Vol. 54. No. 3, pp. 472-488.
  • 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. No 5.
  • 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. No 3.
  • 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. No 5.
  • Kondrat`ev V. N., Shalyto  A. A. Realization of Boolean Functions by One Linear Arithmetic Polynomial with Masking  //Automation and Remote Control. 1996. Vol. 57, No.1, pp. 127-137.
  • 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. No 5, pp. 805-815.
  • Shalyto A. A. Algorithmic Graph Schemes and Transition Graphs: Their Application in Software Realization of Logical Control Algorithms. Part 1. // Automation and Remote Control. 1996. Vol. 57, No 6. pp. 891-897.
  • Shalyto A. A. Algorithmic Graph Schemes and Transition Graphs: Their Application in Software Realization of Logical Control Algorithms. Part 2. // Automation and Remote Control. 1996. Vol. 57, No 7, pp. 1027-1045.
  • Kondrat`ev V. N., Shalyto  A. A. Automation and Remote Control. 1996. Vol. 57, No.1, pp. 127-137.
  • Kondrat`ev V. N., Shalyto  A. A. Realizations of a system of Boolean functions by linear arithmetic polynomials //Automation and Remote Control. 1997. Vol. 58. No. 3, pp. 492-503.
  • 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. No 5, pp.794-801.
  • Kuznetsov B.  P., Shalyto A.  A. Linearized Graph Algorithms for Boolean Formulas: Independent-Fragment Design Method // Automation and Remote Control. 1998. Vol. 59. No 9, pp. 1317-1326.
  • Kiselev V. V., Shalyto  A. A. Study of Transidents in One-Contour Logical Circuits //Journal of Computer and Systems Sciences International. 1999. Vol. 38. No. 5, pp. 693-697.  
  • Shalyto A. A. Software Automation Design: Algorithmization and Programming of Problems of Logical Control // Journal of Computer and System Sciences International. 2000. Vol. 39, No. 6, pp. 899-916.
  • Шалыто А.А. Алгоритмизация и программирование для систем логического управления и "реактивных" систем //Автоматика и телемеханика, 2001, № 1, с.3−39. http://is.ifmo.ru/works/arew/1/
  • Туккель Н.И., Шалыто А.А. SWITCH-технология − автоматный подход к созданию программного обеспечения "реактивных" систем //Программирование. 2001. № 5, c.45–62. http://is.ifmo.ru/works/switch/1/
  • 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. No 5, pp.782-792.
  • Туккель Н.И., Шалыто А.А. Преобразование итеративных алгоритмов в автоматные //Программирование. 2002. № 5,с.12-26. http://is.ifmo.ru/works/iter/
  • Shalyto A. A. Realization of Boolean Formulas and Boolean Functions by Homogeneous Structures // Journal of Computer and Systems Sciences International. 2002. Vol. 41. No 2, p.264-273.
  • Shalyto A. A. Multiplexor Method for Realization of Boolean Functions by Circuits Composed of Arbitrary Logical Elements // Journal of Computer and Systems Sciences International. 2003. Vol. 42. No 1, pp.101-105.
  • 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. No 4, pp.555-561.
  • Шалыто А.А. Новая инициатива в программировании. Движение за открытую проектную документацию //PC Week/RE. 2003. № 40, с.38,39,42. http://is.ifmo.ru/works/open_doc/
  • Shalyto  A. A. Methods for Constructing Multifunctional Logic Modules // Journal of Computer and Systems Sciences International. 2004. Vol. 43. No 6, pp.923-935.
  • Шалыто А.А., Наумов Л.А. Методы объектно-ориентированной реализации реактивных агентов на основе конечных автоматов //Искусственный интеллект. 2004. № 4, с.756–762. http://is.ifmo.ru/works/_aut_oop.pdf
  • Shalyto A.A., Naumov L.A., Korneev G.A. Methods of Object-Oriented Reactive Agents Implementation on the Basis of Finite Automata /2005 International Conference on “Integration of Knowledge Intensive Multiagent Systems. KIMAS ’05: Modeling, Exploration, and Engineering”. USA, MA: IEEE, 2005, pp. 460–465. http://is.ifmo.ru/articles_en/_kimas05-1.pdf
  • Naumov L. A., Shalyto A. A. Classification of Structures Generated by One-Dimensional Binary Cellular Automata from a Point Embryo // Journal of Computer and Systems Sciences International. 2005. Vol. 44. No. 5, pp. 800-807.
  • Paraschenko D., Shalyto A., Tsarev F. Modeling Technology for One Class of Multi-Agent Systems with Automata Based Programming / IEEE International Conference on Computational Intelligence for Measurement Systems and Applications (CIMSA 2006). Spain, 2006, pp.35-41.
  • Shalyto A. A. Multifunctional Logic Modules Consisting of Elements with Bilateral Conductance    // Journal of Computer and Systems Sciences International, 2006, Vol. 45, No 1, pp. 73-76.
  • Shalyto A., Shamgunov N., Korneev G. State Machine Design Pattern / .NET Technologies 2006. Short papers. University of West Bohemia, pp. 51-58.
  • Шопырин Д.Г., Шалыто А.А. Графическая нотация наследования автоматных классов //Программирование. 2007. № 5, с.62-74. http://is.ifmo.ru/works/_12_12_2007_shopyrin.pdf
  • Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. Инструментальное средство для поддержки автоматного программирования //Программирование. 2007. № 6, с.65-80. http://is.ifmo.ru/works/_2008_01_27_gurov.pdf
  • Lobanov P.G., Shalyto A.A. Application of Genetic Algorithms for Automatic Construction of Finite-State Automata in the Problem of Flibs // Journal of Computer and Systems Sciences International. 2007. Vol. 46. No. 5, pp. 792-801.
  • Научно-технический вестник СПбГУ ИТМО. 2008. Вып. 53. Автоматное программирование. http://books.ifmo.ru/ntv/ntv/53/ntv_53.pdf.
  • Поликарпова Н.И., Шалыто А.А. Автоматное программирование. СПб.: Питер. 2009, 176 с. http://is.ifmo.ru/books/_book.pdf
  • Davydov A., Sokolov D., Tsarev F., Shalyto A. Application of Genetic Programming for Generation of Controllers represented by Automata / Preprints of the 13th IFAC Symposium on Information Control Problems in Manufacturing. Moscow. 2009, pp. 684-689.
  • Шалыто А.А. Заметки о мотивации. СПб.: Мозаика МК. 2010, 2011. - 48. 72, 112 с. http://is.ifmo.ru/belletristic/
  • Polikarpova N., Tochilin V., Shalyto A. Method of Reduced Tables for Generation of Automata with a Large Number of Input Variables Based on Genetic Programming // Journal of Computer and Systems Sciences International. 2010. Vol. 49. No. 2, pp. 265-282.
  • Zakonov A., Stepanov O., Shalyto A. GA-based and Design by Contract Approach to Test Generation for EFSMs / Proceedings of IEEE East-West Design & Test Symposium (EWDTS’10). St. Petersburg. 2010, pp.152-155.
  • Вельдер С.Э., Лукин М.А., Шалыто А.А., Яминов Б.Р. Верификация автоматных программ. СПб.: Наука. 2011, 242 с. http://is.ifmo.ru/verification/velder_verification_posobie_nauka.pdf
  • Научно-технический вестник СПбГУ ИТМО. 2011. № 2 (72). Технологии автоматного программирования и искусственного интеллекта. http://is.ifmo.ru/works/_sbornik2011.pdf
  • Zakonov A., Shalyto A. Automatic Extraction and Verification of State-Models for Web Applications // Lecture Notes in Electrical Engineering. 2012. V.133. Part 1, pp. 157-160.
  • Aleksandrov A., Kazakov S., Sergushichev A., Tsarev F., Shalyto A.  The Use of Evolutionary Programming Based on Training Examples for the Generation of Finite State Machines for Controlling Objects with Complex Behavior // Journal of Computer and Systems Sciences International. 2013. Vol. 52. No. 3, pp. 410-425.
  • Chivilikhin D., Ulyantsev V., Shalyto A. Solving Five Instances of the Artificial Ant Problem with Ant Colony Optimization / Proceedings of the 7th IFAC Conference on Manufacturing Modelling, Management and Control. Saint Petersburg. 2013, pp.1043-1048.
  • Chivilikhin D., Ulyantsev V., Shalyto A. Combining Exact and Metaheuristic Techniques for Learning Extended Finite-State Machines from Test Scenarios and Temporal Properties / In Proceedings of the 13th International Conference on Machine Learning and Applications (ICMLA'14). 2014, pp. 350-355. 
  • Chivilikhin D., Ulyantsev V., Shalyto A. Extended Finite-State Machine Inference With Parallel Ant Colony Based Algorithms / Proceedings of the International Student Workshop on Bioinspired Optimization Methods and their Applications (BIOMA'14). 2014, pp. 117-126.
  • Buzhinsky I., Ulyantsev V., Chivilikhin D., Shalyto A. Inducing Finite State Machines from Training Samples Using Ant Colony Optimization  // Journal of Computer and Systems Sciences International, 2014. Vol. 53. No. 2, pp. 256-266.
  • Pang C., Patil S., Yang C., Vyatkin V., Shalyto A. A Portability Study of IEC 61499: Semantiac and Tools / 12th IEEE International Conference on Industrial Informatics (INDIN'14). 2014, pp.440-445.
  • Chivilikhin D., Shalyto A., Vyatkin V. Inferring Automata Logic From Manual Control Scenarios: Implementation in Function Blocks / Proceedings of the 13th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA'15). 2015, pp. 307-312.
  • Chivilikhin D., Ivanov I., Shalyto A. Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming / Proceedings of Genetic and Evolutionary Computation Conference (Companion). 2015, pp.1185-1188.
  • Buzhinsky I., Kazakov S., Ulyantsev V., Tsarev F., Shalyto A. Modification of the Method of Generation of Control Finite State Machines with Continuous Actions Based on Training Examples // Journal of Computer and Systems Sciences International. 2015. Vol. 54. No. 6, pp. 853-865.
  • Ulyantsev V., Zakirzyanov I., Shalyto A. BFS-based Symmetry Breaking Predicates for DFA Identification / Proceedings of the 9th International Conference on Language and Automata Theory and Applications (LATA-2015). 2015, pp. 611–622.
  • Chivilikhin D., Shalyto A., Patil S., Vyatkin V. Reconstruction of Function Block Logic using Metaheuristic Algorithm: Initial Explorations / Proceedings of the 13th IEEE International Conference on Industrial Informatics (INDIN'15). 2015, pp. 1239-1242.
  • Chivilikhin D., Ivanov I., Shalyto A., Vyatkin V. Reconstruction of Function Block Controllers Based on Test Scenarios and Verification / Proceedings of the 14th IEEE International Conference on Industrial Informatics (INDIN'16). 2016, pp. 646-651.
  • Chivilikhin D., Ulyantsev V., Shalyto A. Modified Ant Colony Algorithm for Constructing Finite State Machines with Work Scenarios and Temporal Formulas // Automation and Remote Control. 2016. Vol. 77. No. 3, pp. 473-484.
  • https://code.google.com/p/visio2python/