Кіріспе
Ресейлік компьютерлік ғалым (туған 1948)
Анатолий Абрамович Шалыто (Анато́лий Абра́мович Шалы́то, 28 мамыр 1948 жылы Ленинградта, КСРО) – ресейлік ғалым, ғылым докторы және профессор. Ол 2008 жылы білім берудегі жетістіктері және "Switch technology" деп аталатын автоматтарға негізделген бағдарламалау технологиясын әзірлегені үшін Ресей мемлекеттік үкіметімен марапатталды. Сонымен қатар, ол Ашық жобалық құжаттама бастамасын ұсынған.
Негізгі жетістіктер
Автоматты бағдарламалау үшін "Switch" технологиясын енгізді. Ол сондай-ақ автоматтарға негізделген бағдарламалауды қолдайтын UniMod құралының бірлескен авторы. Ашық жобалық құжаттама қорын құрушы. Ресейдегі компьютерлік ғылым және білім беру мәселелеріне арналған бірнеше мақаланың авторы. Бульдік функциялар және логикалық басқару саласында ғылыми нәтижелер ұсынды. IEEE және IEEE Өнеркәсіптік Электроника Қоғамының мүшесі болды. 2015 жылы IEEE Өнеркәсіптік Информатика Техникалық Комитетінің төрағасы қызметін атқарды. 2015 жылы Хельсинкиде IEEE ISPA-мен бірге өткізілген таратылған интеллектуалды автоматтандыру жүйелері жөніндегі 1-ші IEEE Халықаралық семинарын ұйымдастырушы ретінде таныстырылды. Сондай-ақ 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-сан. Шалыто А. Алгоритмдік граф схемалары және ауысу графтары: логикалық басқару алгоритмдерін бағдарламалық қамтамасыз етуде қолдану. I // Автоматтандыру және қашықтан басқару. 1996. 57-том. 6-сан, 890–897 бб. Шалыто А. Алгоритмдік граф схемалары және ауысу графтары: логикалық басқару алгоритмдерін бағдарламалық қамтамасыз етуде қолдану. II // Автоматтандыру және қашықтан басқару, 1996, 57-том, 7-сан, 1027–1045 бб. Артыухов В. Л., Шалыто А. А. Буль формулаларын бірыңғай мультиплексор және көпшілік каскадтары арқылы іске асыру // Компьютерлік және жүйелік ғылымдардың халықаралық журналы. 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 Киселев В., Шалыто А. Бір контурлы логикалық тізбектердегі транзиенттерді зерттеу // Компьютерлік және жүйелік ғылымдардың халықаралық журналы. 1999. 38-том. 5-сан, 693–697 бб. Шалыто А., Бағдарламалық автоматтандыру дизайны: Логикалық басқару мәселелерін алгоритмдеу және бағдарламалау // Компьютерлік және жүйелік ғылымдардың халықаралық журналы. 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 бб. Шалыто А. А. Өздігінен дуалды функциялар класында және жақын кластарда әмбебап модульдер // Компьютерлік және жүйелік ғылымдардың халықаралық журналы. 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. Наумов Л. А., Шалыто А. А. Бір өлшемді бинарлық жасушалық автоматтармен туындаған құрылымдардың жіктелуі // Компьютерлік және жүйелік ғылымдардың халықаралық журналы. 2005. 44-том. 5-сан, 800–807 бб. Ярцев Б., Корнеев Г., Котов В., Шалыто А. Автоматтарға негізделген реактивті көп агенттік басқару жүйелерін бағдарламалау / 2005 жылғы Халықаралық конференция «Білімді көп агенттік жүйелерді интеграциялау: модельдеу, зерттеу және инженерия». KIMAS 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 технологиялары 2006. Қысқаша мақалалар. Батыс Богемия университеті, 51–58 бб. Гуров В. С., Мазин М. А., Нарвский А. С., Шалыто А. А. Автоматтарға негізделген бағдарламалауды қолдау құралдары // Бағдарламалау және компьютерлік бағдарламалық жасақтама. 2007. 33-том. 6-сан, 343–355 бб. Лобанов П. Г., Шалыто А. А. Флибтер мәселесінде автоматты күй автоматтарын құру үшін генетикалық алгоритмдерді қолдану // Компьютерлік және жүйелік ғылымдардың халықаралық журналы. 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 Поликарпова Н., Точилин В., Шалыто А. Жоғары кіріс айнымалылары бар автоматтарды жасау үшін генетикалық бағдарламалау әдісі // Компьютерлік және жүйелік ғылымдар журналы...
Kiselev V., Shalyto 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., Software Automation Design: Algorithmization and Programming of Problems of Logical Control //Journal of Computer and Systems Sciences International. 2000. Vol. 39. No. 6, pp. 899–916. Shalyto A. A. Logic Control. Hardware and Software Algorithm Implementation. St. Petersburg: Nauka (Science), 2000. – 780 p. In Russian. http://is. ifmo. ru/books/log upr/1
Shalyto A. Logic Control and "Reactive" Systems: Algorithmization and Programming // Automation and Remote Control. 2001. Vol. 62. No. 1, pp. 1–29. online version. Shalyto A., Tukkel N. SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems // Programming and Computer Software. 2001. Vol. 27. No. 5, pp. 260–276. 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. Shalyto A., Tukkel N. Translating Iterative Algorithms into Automation Ones // Programming and Computer Software. 2002. Vol. 28. No. 5, pp. 250–260. 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. Shalyto A. A. Methods for Constructing Multifunctional Logic Modules // Journal of Computer and Systems Sciences International. 2004. Vol. 43. No 6, pp. 923–935. Shalyto A. Technology of Automata Based Programming, 2004. Shalyto A. Foundation for Open Project Documentation, 2004. 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. 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. Gurov V., Mazin M., Narvsky A., Shalyto A. UniMod: Method and Tool for Development of Reactive Object Oriented Programs with Explicit States Emphasis / Proceedings of St. Petersburg IEEE Chapters. 2005. International Conference “110 Anniversary of Radio Invention”, SPb ETU “LETI”, 2005, vol. 2, pp. 106–110. 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. 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). 2006, pp. 35–41. Shalyto A., Shamgunov N., Korneev G. State Machine Design Pattern / NET Technologies 2006. Short papers. University of West Bohemia, pp. 51–58. Gurov V. S., Mazin M. A., Narvsky A. S., Shalyto A. A. Tools for Support of Automata Based Programming // Programming and Computer Software. 2007. Vol. 33. No. 6, pp. 343–355. 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. Bulletin of St Petersburg State University of Information Technologies, Mechanics and Optics. 2008. Volume 53. Automata based programming. In Russian. 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
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. Velder S., Lukin M., Shalyto A., Yaminov B. Verification of automaton programs. St. Petersburg: Nauka (Science), 2011. 242 p. In Russian. http://is. ifmo. ru/verification/velder verification posobie nauka. 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. Chivilikhin D., Ulyantsev V., Shalyto A. Solving Five Instances of the Artificial Ant Problem with Ant Colony Optimization / Proceedings of the 2013 IFAC Conference on Manufacturing Modelling, Management and Control (MIM'13). SPb., Russia, 2013. Vol. 7. Part 1, pp. 1043–1048. 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. Pang C., Patil S., Yang C., Vyatkin V., Shalyto A. A Portability Study of IEC 61499: Semantiac and Tools / Proceedings of the 12th IEEE International Conference on Industrial Informatics (INDIN'14). 2014, pp. 440–445. Chivilikhin D., Ulyantsev V., Shalyto A. Combining Exact and Metaheuristic Techniques for Learning Extended Finite State Machines from Test Scenarios and Temporal Properties / Proceedings of the 13th International Conference on Machine Learning and Applications (ICMLA'14). 2014, pp. 350–355. 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. 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., 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. 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. 2015, pp. 1185–1188. 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. Ulyantsev V., Zakirzyanov I., Shalyto A. Symmery Breaking Predicates for SAT based DFA Identification. Cornell University Library. 2016. https://arxiv. org/abs/1602.05028
Ulyantsev V., Buzhinsky I., Shalyto A. Exact Finite State Machine Identification from Scenarios and Temporal Properties. Cornell University Library. 2016. https://arxiv. org/abs/1601.06945
Chivilikhin D., Ulyantsev V., Shalyto A. Modified Ant Colony Algorithm for Constructing Finite State Machines from Execution Scenarios and Temporal Formulas // Automation and Remote Control. Vol. 77. 2016. No. 3, pp. 473–484. 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. https://code. google. com/p/visio2python/