Anatoli Shalyto

Científico informático ruso (nacido en 1948)

Anatoly Abramovich Shalyto ( en ruso : Анато́лий Абра́мович Шалы́то ; nació el 28 de mayo de 1948 en Leningrado , Unión Soviética ) es un científico, doctor en ciencias y profesor ruso. Fue premiado por el Gobierno del Estado ruso en 2008 por sus logros en educación y por su desarrollo de la tecnología para la programación basada en autómatas llamada "Tecnología Switch". También es un iniciador de la Iniciativa de Documentación de Proyectos Abiertos.

Principales logros

• Introdujo una tecnología de conmutación para la programación basada en autómatas . También es coautor de una herramienta UniMod que admite la programación basada en autómatas .
• Iniciador de la Fundación para la Documentación Abierta de Proyectos.
• Autor de una serie de artículos dedicados a problemas relacionados con la informática y la educación en Rusia.
• Proporcionó resultados científicos en funciones booleanas y control lógico .
• Mantuvo su membresía en el IEEE y en la IEEE Industrial Electronics Society. También fue presidente del Comité Técnico de Informática Industrial del IEEE (2015).
• Se presentó como organizador del taller en el 1.er taller internacional IEEE sobre sistemas de automatización inteligente distribuidos, celebrado en conjunto con IEEE ISPA en 2015 en Helsinki. También fue miembro del taller Reed-Muller en 2017.

Papeles

• Artyukhov VL, Kopeikin GA, Shalyto AA Estimación de la eficiencia lógica de microcircuitos integrados // Control automático y ciencias de la computación. 1981. Vol. 22. No 1, págs. 32–34.
• Artyukhov VL, Kopeikin GA, Shalyto AA Límites en la complejidad de realización de fórmulas booleanas mediante circuitos de árbol de módulos ajustables // Automatización y control remoto. 1981. Vol. 42. No 11. Parte 2, págs. 1532–1537.
• Artyukhov VL, Shalyto AA, Kuznetsova OS Evaluación de las capacidades funcionales de matrices lógicas programables // Control automático y ciencias de la computación. 1985. Vol. 26. No 2, págs. 69–73.
• Sagalovich Yu. L., Shalyto AA Programas binarios y su realización por autómatas asincrónicos // Problemas de transmisión de información. 1987. Vol. 23, No 1, págs. 89–96.
• Artyukhov V., Kondrat`ev V., Shalyto A. Generación de funciones booleanas mediante polinomios aritméticos //Automatización y control remoto. 1988. Vol. 49. No 4, págs. 508–515.
• Kondrat`ev VN, Shalyto AA Realización de sistemas de funciones booleanas mediante polinomios aritméticos lineales //Automatización y control remoto. 1993. Vol. 54. No. 3, págs. 472–488.
• Kondrat`ev VN, Shalyto AA Realización de funciones booleanas mediante un polinomio aritmético lineal con enmascaramiento //Automatización y control remoto. 1996. Vol. 57, No.1, pp. 127–137.
• Kondrat`ev VN, Shalyto AA Realizaciones de un sistema de funciones booleanas mediante polinomios aritméticos lineales //Automatización y control remoto. 1997. Vol. 58. No. 3, págs. 492–503.
• Kuznetsov B., Shalyto A. Realización de fórmulas booleanas mediante grafos binarios lineales. I. Síntesis y análisis // Revista internacional de ciencias de la computación y sistemas. 1994. Vol. 33. No. 5.
• Kuznetsov B., Shalyto A. Realización de fórmulas booleanas mediante grafos binarios lineales. II. Estimaciones del número y longitud total de caminos // Journal of Computer and Systems Sciences International. 1995. Vol. 34, No. 3.
• Kuznetsov B., Shalyto A. Realización de fórmulas booleanas mediante grafos binarios lineales. III. Optimización del número y longitud total de caminos // Journal of Computer and Systems Sciences International. 1995. Vol. 34. No. 5.
• Shalyto A. Esquemas de grafos algorítmicos y grafos de transición: su uso en la realización de software de algoritmos de control lógico. I // Automatización y control remoto. 1996. Vol. 57. No. 6, págs. 890–897.
• Shalyto A. Esquemas de grafos algorítmicos y grafos de transición: su uso en la realización de software de algoritmos de control lógico. II // Automatización y control remoto, 1996, vol. 57, núm. 7, págs. 1027–1045.
• Artyukhov VL, Shalyto AA Realización de fórmulas booleanas mediante multiplexor uniforme y cascadas mayoritarias // Journal of Computer and Systems Sciences International. 1996. Vol. 35. No 5, págs. 805–815.
• Módulos AA de Shalyto con parafase de variables de entrada que son universales en la clase de todas las funciones booleanas // Journal of Computer and Systems Sciences International. 1997. Vol. 36. No 5, pp. 794–801.
• Kuznetsov B., Shalyto A. El método de fragmentos independientes para la construcción de diagramas de Graf estructurados linealizados de algoritmos que implementan sistemas de fórmulas booleanas // Automatización y control remoto. 1998. Vol. 59. No 9, págs. 1317–1326.
• Shalyto AA SWITCH-technology. Algorithmic and Programming Methods in Solution of Logic Control Problems. San Petersburgo: Nauka (Science), 1998. – 628 p. En ruso. http://is.ifmo.ru/books/switch/1
• Kiselev V., Shalyto A. Estudio de transitorios en circuitos lógicos de un contorno // Journal of Computer and Systems Sciences International. 1999. Vol. 38. No. 5, págs. 693–697.
• Shalyto A., Diseño de automatización de software: algoritmización y programación de problemas de control lógico //Revista internacional de ciencias de la computación y sistemas. 2000. Vol. 39. Núm. 6, págs. 899–916.
• Shalyto AA Logic Control. Implementación de algoritmos de hardware y software. San Petersburgo: Nauka (Science), 2000. – 780 p. En ruso. http://is.ifmo.ru/books/log_upr/1
• Shalyto A. Control lógico y sistemas "reactivos": algoritmización y programación // Automatización y control remoto. 2001. Vol. 62. No. 1, pp. 1–29. versión en línea.
• Shalyto A., Tukkel N. Tecnología SWITCH: un enfoque automatizado para el desarrollo de software para sistemas reactivos // Programación y software informático. 2001. Vol. 27. Núm. 5, págs. 260–276.
• Módulos AA de Shalyto que son universales en la clase de funciones autoduales y en clases cercanas // Journal of Computer and Systems Sciences International. 2001. Vol. 40. No 5, pp. 782–792.
• Shalyto A., Tukkel N. Traducción de algoritmos iterativos en algoritmos de automatización // Programación y software informático. 2002.

Vol. 28. Núm. 5, págs. 250–260.

• Shalyto AA Realización de fórmulas booleanas y funciones booleanas mediante estructuras homogéneas // Journal of Computer and Systems Sciences International. 2002. Vol. 41. No 2, p. 264-273.
• Método multiplexor AA de Shalyto para la realización de funciones booleanas mediante circuitos compuestos de elementos lógicos arbitrarios // Journal of Computer and Systems Sciences International. 2003. Vol. 42. No 1, pp. 101–105.
• Descomposición AA de Shalyto de funciones booleanas con respecto a las variables de entrada más a la derecha de las tablas de verdad // Journal of Computer and Systems Sciences International. 2003. Vol. 42. Núm. 4, págs. 555–561.
• Métodos Shalyto AA para construir módulos lógicos multifuncionales // Revista de Ciencias de la Computación y Sistemas Internacional. 2004. Vol. 43. No 6, págs. 923–935.
• Shalyto A. Tecnología de programación basada en autómatas, 2004.
• Shalyto A. Fundación para la Documentación Abierta de Proyectos, 2004.
• Naumov LA, Shalyto AA Clasificación de estructuras generadas por autómatas celulares binarios unidimensionales a partir de un embrión puntual // Journal of Computer and Systems Sciences International. 2005. Vol. 44. No. 5, págs. 800–807.
• Yartsev B., Korneev G., Kotov V., Shalyto A. Programación basada en autómatas de sistemas de control multiagente reactivos / Conferencia internacional de 2005 sobre “Integración de sistemas multiagente intensivos en conocimiento: modelado, exploración e ingeniería”. KIMAS-05. Boston: Sección IEEE Boston. 2005, págs. 449–453.
• Gurov V., Mazin M., Narvsky A., Shalyto A. UniMod: método y herramienta para el desarrollo de programas reactivos orientados a objetos con énfasis en estados explícitos / Actas de los capítulos IEEE de San Petersburgo. 2005. Conferencia internacional “110 aniversario de la invención de la radio”, SPb ETU “LETI”, 2005, vol. 2, págs. 106-110.
• Módulos lógicos multifuncionales Shalyto AA que consisten en elementos con conductancia bilateral // Journal of Computer and Systems Sciences International. 2006. Vol. 45. No 1, págs. 73–76.
• Paraschenko D., Shalyto A., Tsarev F. Tecnología de modelado para una clase de sistemas multiagente con programación basada en autómatas / IEEE International Conference on Computational Intelligence for Measurement Systems and Applications (CIMSA 2006). 2006, págs. 35–41.
• Shalyto A., Shamgunov N., Korneev G. Patrón de diseño de máquina de estados / .NET Technologies 2006. Artículos breves. Universidad de Bohemia Occidental, págs. 51–58.
• Gurov VS, Mazin MA, Narvsky AS, Shalyto AA Herramientas para el soporte de la programación basada en autómatas // Programación y software informático. 2007. Vol. 33. Núm. 6, págs. 343–355.
• Lobanov PG, Shalyto AA Aplicación de algoritmos genéticos para la construcción automática de autómatas de estados finitos en el problema de Flibs // Journal of Computer and Systems Sciences International. 2007. Vol. 46. No. 5, págs. 792–801.
• Boletín de la Universidad Estatal de Tecnologías de la Información, Mecánica y Óptica de San Petersburgo. 2008. Volumen 53. Programación basada en autómatas. En ruso. https://web.archive.org/web/20110812192228/http://books.ifmo.ru/ntv/ntv/53/ntv_53.pdf
• Polikarpova NI, Shalyto AA Programación basada en autómatas. San Petersburgo: Piter. 2009, 2010, 2011. En ruso. http://is.ifmo.ru/books/_book.pdf
• Polikarpova N., Tochilin V., Shalyto A. Método de tablas reducidas para la generación de autómatas con un gran número de variables de entrada basado en programación genética // Journal of Computer and Systems Sciences International. 2010. Vol. 49. No. 2, págs. 265–282.
• Zakonov A., Stepanov O., Shalyto A. Enfoque basado en GA y de diseño por contrato para la generación de pruebas para EFSM / Actas del Simposio de Diseño y Pruebas Este-Oeste del IEEE (EWDTS'10). San Petersburgo. 2010, págs. 152-155.
• Velder S., Lukin M., Shalyto A., Yaminov B. Verificación de programas de autómatas. San Petersburgo: Nauka (Science), 2011. 242 págs. En ruso. http://is.ifmo.ru/verification/velder_verification_posobie_nauka.pdf
• Zakonov A., Shalyto A. Extracción y verificación automática de modelos de estado para aplicaciones web // Apuntes de clase en ingeniería eléctrica. 2012. V.133. Parte 1, págs. 157–160.
• Chivilikhin D., Ulyantsev V., Shalyto A. Solución de cinco instancias del problema de la hormiga artificial con optimización de colonias de hormigas / Actas de la Conferencia IFAC de 2013 sobre modelado, gestión y control de fabricación (MIM'13). SPb., Rusia, 2013. Vol. 7. Parte 1, págs. 1043–1048.
• Aleksandrov A., Kazakov S., Sergushichev A., Tsarev F., Shalyto A. El uso de programación evolutiva basada en ejemplos de entrenamiento para la generación de máquinas de estados finitos para controlar objetos con comportamiento complejo // Journal of Computer and Systems Sciences International. 2013. Vol. 52. No. 3, págs. 410–425.
• Pang C., Patil S., Yang C., Vyatkin V., Shalyto A. Un estudio de portabilidad de IEC 61499: semántica y herramientas / Actas de la 12.ª Conferencia internacional IEEE sobre informática industrial (INDIN'14). 2014, págs. 440–445.
• Chivilikhin D., Ulyantsev V., Shalyto A. Combinación de técnicas exactas y metaheurísticas para el aprendizaje de máquinas de estados finitos extendidas a partir de escenarios de prueba y propiedades temporales / Actas de la 13.ª Conferencia internacional sobre aprendizaje automático y aplicaciones (ICMLA'14). 2014, págs. 350–355.
• Buzhinsky I., Ulyantsev V., Chivilikhin D., Shalyto A. Inducción de máquinas de estados finitos a partir de muestras de entrenamiento utilizando optimización de colonias de hormigas // Journal of Computer and Systems Sciences International, 2014. Vol. 53. No. 2, págs. 256–266.
• Chivilikhin D., Ulyantsev V., Shalyto A. Inferencia de máquina de estados finitos extendida con algoritmos basados ​​en colonias de hormigas paralelas / Actas del Taller internacional para estudiantes sobre métodos de optimización bioinspirados y sus aplicaciones (BIOMA'14). 2014, págs. 117-126.
• Buzhinsky I., Kazakov S., Ulyantsev V., Tsarev F., Shalyto A. Modificación del método de generación de máquinas de estados finitos de control con acciones continuas basadas en ejemplos de entrenamiento // Journal of Computer and Systems Sciences International. 2015. Vol. 54. No. 6, págs. 853–865.
• Chivilikhin D., Shalyto A., Vyatkin V. Inferencia de lógica de autómatas a partir de escenarios de control manual: implementación en bloques de funciones / Actas del 13.º Simposio internacional IEEE sobre procesamiento paralelo y distribuido con aplicaciones (ISPA'15). 2015, págs. 307–312.
• Chivilikhin D., Ivanov I., Shalyto A. Inferencia de propiedades temporales de modelos de máquinas de estados finitos con programación genética / Actas de la Conferencia sobre computación genética y evolutiva. 2015, págs. 1185–1188.
• Ulyantsev V., Zakirzyanov I., Shalyto A. Predicados de ruptura de simetría basados ​​en BFS para identificación de DFA / Actas de la 9.ª Conferencia internacional sobre teoría y aplicaciones del lenguaje y los autómatas (LATA-2015). 2015, págs. 611–622.
• Chivilikhin D., Shalyto A., Patil S., Vyatkin V. Reconstrucción de la lógica de bloques de funciones utilizando un algoritmo metaheurístico: exploraciones iniciales / Actas de la 13.ª Conferencia internacional IEEE sobre informática industrial (INDIN'15). 2015, págs. 1239–1242.
• Ulyantsev V., Zakirzyanov I., Shalyto A. Predicados de ruptura de simetría para la identificación de DFA basada en SAT. Biblioteca de la Universidad de Cornell. 2016. https://arxiv.org/abs/1602.05028
• Ulyantsev V., Buzhinsky I., Shalyto A. Identificación exacta de máquinas de estados finitos a partir de escenarios y propiedades temporales. Biblioteca de la Universidad de Cornell. 2016. https://arxiv.org/abs/1601.06945
• Chivilikhin D., Ulyantsev V., Shalyto A. Algoritmo de colonia de hormigas modificado para construir máquinas de estados finitos a partir de escenarios de ejecución y fórmulas temporales // Automatización y control remoto. Vol. 77. 2016. Núm. 3, págs. 473–484.
• Chivilikhin D., Ivanov I., Shalyto A., Vyatkin V. Reconstrucción de controladores de bloques de funciones basados ​​en escenarios de prueba y verificación / Actas de la 14.ª Conferencia Internacional IEEE sobre Informática Industrial (INDIN'16). 2016, págs. 646–651.
• https://code.google.com/p/visio2python/

Enlaces externos

• Sitio web del Departamento de Tecnologías Informáticas
• Sitio web de la Universidad Estatal de Tecnologías de la Información, Mecánica y Óptica de San Petersburgo
• Sitio web de la herramienta UniMod
• Nueva iniciativa en programación La Fundación para la Documentación Abierta de Proyectos
• Tecnología de programación basada en autómatas
• Iniciativa "¡Guardemos lo mejor para las universidades!"