Zakrevsky, Arkadi Dmitrievich

Arkady Dmitrievich Zakrevskiy ( en bielorruso: Arkadz Dzmіtryevich Zakreўskі ; 22 de mayo de 1928 , Leningrado  - 24 de febrero de 2014 , Minsk ) fue un cibernético soviético y bielorruso , especialista en matemáticas discretas, diseño algorítmico y lógico. Se graduó de su vida como investigador principal en el Instituto Conjunto para Problemas Informáticos . Fue miembro correspondiente de la Academia Nacional de Ciencias de Bielorrusia , académico de la Academia Internacional de Información, Procesos y Tecnologías de la Información, Doctor en Ciencias Técnicas, Profesor. Arkady Dmitrievich, quien estuvo en los orígenes del nacimiento de la cibernética en la Unión Soviética, fue el fundador de una de las escuelas de diseño lógico más famosas de la Unión Soviética y del mundo.

Biografía

Nacido en una familia de empleados. Habiendo recibido la profesión de operador de radio en la escuela vocacional de comunicaciones de Krasnoyarsk, de 1943 a 1951 trabajó como operador de radio de Zheldorproekt en expediciones en Siberia (Taimyr, Igarka, Norilsk, el río Turukhan, luego Transbaikalia, Chita, Mongolia) . En 1949, en Ulaanbaatar (Mongolia), aprobó los exámenes de la escuela secundaria externamente y recibió un certificado de matriculación.

En 1951 se convirtió en estudiante de la Facultad de Física de la Universidad Estatal de Tomsk, dos años más tarde se transfirió a la recién organizada Facultad de Radiofísica y se graduó con honores en Física y Radioelectrónica. En 1956 ingresó a la escuela de posgrado con el prof. V. D. Kessenikha, realiza trabajos de enseñanza en la universidad, selecciona un grupo de estudiantes entusiastas y, junto con ellos, comienza a participar en una nueva ciencia (no solo dentro de los muros de la universidad, sino también en la URSS): la cibernética.

Habiendo aprendido que la producción en serie de la computadora URAL-1 comenzó en Penza, A. D. Zakrevsky en 1957 participó activamente en su recepción, instalación y puesta en servicio en la Universidad de Tomsk, y luego evaluó críticamente este último logro de la tecnología informática en la URSS, propone un ordenador original del proyecto con las mismas prestaciones que el URAL-1 (requiriendo un espacio de 100 m² para su colocación), pero solo sobre 18 flip-flops. Más de una generación de estudiantes de cibernética estudió más tarde bajo este proyecto, y no solo en TSU, sino también en el Instituto de Fabricación de Instrumentos de Sebastopol.

Habiendo estimado a partir de su propia experiencia la complejidad de resolver problemas lógicos-combinatorios, Arkady Dmitrievich, en busca de formas de resolverlos, propone una máquina L, una extensión lógica de la computadora Ural-1, que aumenta su productividad en varios órdenes de magnitud a la hora de resolver tales problemas. Hacer un diseño de la máquina L sirvió como tema de tesis de graduación para estudiantes de cibernética de la primera graduación en la Universidad Estatal de Tomsk.

En 1960 defendió su disertación para el grado de Candidato en Ciencias Físicas y Matemáticas sobre el tema "Método matricial para sintetizar circuitos de relés". La calidad de la disertación se evidencia elocuentemente por el hecho de que su primer oponente, el Dr. norte. A. B. Sapozhnikov, después de leer su reseña, sugirió que al solicitante se le otorgue el título no de candidato, sino inmediatamente de doctor en ciencias. La complejidad de programar problemas de síntesis lógica en códigos de máquina lleva a A. D. Zakrevskii a la conclusión de que es necesario crear un lenguaje de programación, y en 1962 desarrolla el Lenguaje lógico para representar algoritmos para la síntesis de dispositivos de relé - LYAPAS - el primer lenguaje de programación para problemas lógicos implementados en una computadora.

El resultado de la fructífera actividad científica de A. D. Zakrevskii fue su primera monografía "El lenguaje algorítmico de LYAPAS y la automatización de la síntesis de autómatas discretos" (1966), según la cual en 1967 defendió su disertación en el Instituto de Automatización y Telemecánica de la Academia de Ciencias de la URSS (Moscú) para el grado de doctor en ciencias técnicas. El interés en el lenguaje LYAPAS en el extranjero fue estimulado por la aparición de una traducción al inglés de una colección de artículos científicos que describen el lenguaje LYAPAS y los algoritmos para la síntesis de autómatas discretos presentados en este lenguaje: "LYaPAS, un lenguaje de programación para algoritmos lógicos y de codificación". " (Ed. por M. Gavrilov y A. Zakrevskij), ACM Monograph Series, Nueva York, Londres, 1969.

En 1959-1971. A. D. Zakrevskii — Asistente, Investigador Principal, Jefe del Laboratorio de Dispositivos de Cálculo del Instituto Siberiano de Física y Tecnología , Profesor, Jefe del Departamento de Lógica Matemática y Programación de la Universidad Estatal de Tomsk. En 1971, publicó la monografía fundamental "Algoritmos para la síntesis de autómatas discretos", ampliamente conocida en la URSS. Bajo su liderazgo, se creó el primer sistema en la URSS para la síntesis automática de autómatas discretos, adoptado por la comisión de cibernética en el Presidium de la Academia de Ciencias de la URSS y operado en los años 1970-1980 en muchas empresas de los ministerios de electrónica. industria y radioelectrónica.

En 1971, con un grupo de empleados, se trasladó a Minsk y organizó el Laboratorio de Programación de Sistemas y Síntesis Lógica en el Instituto de Cibernética Técnica de la Academia de Ciencias de la BSSR , más tarde rebautizado como Laboratorio de Diseño Lógico. En 1972 fue elegido miembro correspondiente de la Academia de Ciencias de la BSSR.

Los resultados de la investigación científica de A. D. Zakrevsky se presentan en 540 publicaciones científicas, incluidas 26 monografías (6 de ellas en el extranjero). Mantuvo activamente contactos científicos internacionales, siendo miembro de los comités organizadores y de programa de varias conferencias, simposios y seminarios, e hizo presentaciones. Colaboró ​​con científicos de Rusia, Ucrania, los Estados Bálticos, Polonia, EE. UU., Alemania, Portugal. Por actividades científicas y organizativas, A.D. Zakrevsky recibió diplomas del Consejo Supremo de la BSSR. A. D. Zakrevskii combinó con éxito su actividad científica con la docencia. Impartió cursos de conferencias de su propio diseño sobre lógica matemática, matemáticas discretas, teoría de la probabilidad, teoría de autómatas, teoría de grafos, teoría de funciones booleanas, programación, métodos de diseño lógico, etc. en TSU (Tomsk), BSU y BSUIR (Minsk). Creó una escuela científica de diseño lógico, más de tres docenas de sus estudiantes graduados se convirtieron en candidatos (ocho de ellos, doctores en ciencias). Las sucursales de esta escuela están funcionando con éxito en Tomsk y Sebastopol.

Arkady Dmitrievich combinó con éxito su trabajo científico con el trabajo científico y organizativo: fue miembro de los consejos para la defensa de disertaciones en la UIPI NAS de Bielorrusia y BSU ; miembro de los consejos Académico y Científico ("Modelización de la actividad intelectual") de la UIPI; miembro de los consejos editoriales de las revistas "International Journal on Information Theories and Applications" (Sofia, Bulgaria), "Control Systems and Machines" (Kiev, Ucrania), "Applied Discrete Mathematics" (Tomsk, Russia), "Radioelectronics & Informatics " (Jarkov, Ucrania) ), "Informática" (OIPI NAS de Bielorrusia, Minsk), colección "Problemas de seguridad de la información" ( BSU , Minsk). Supervisó el seminario científico de UIPI NAS de Bielorrusia sobre diseño lógico.

Habiéndose sumergido de lleno en la ciencia, Arkady Dmitrievich no perdió su amor por la naturaleza. Durante las vacaciones, organizó caminatas en las montañas de Tien Shan, Altai, Sayan; los fines de semana: muchas horas de senderismo y esquí en las afueras de Tomsk y luego en Minsk. Estando en numerosos viajes de negocios, no desaprovechó la oportunidad y allí organizó viajes a las afueras de lugares desconocidos para él.

Intereses científicos

Un rasgo característico del trabajo científico de Arkady Dmitrievich fue la combinación de la amplitud de cobertura del problema en consideración (hasta la búsqueda de analogías en áreas vecinas) con el rigor y profundidad de su estudio (con propuestas de métodos prácticamente efectivos para resolverlo, a menudo llevado a la implementación algorítmica y, a veces, incluso de software).

En una breve nota, es difícil resumir las actividades científicas y organizativas de Arkady Dmitrievich y evaluar su contribución a la ciencia. Es difícil enumerar incluso las áreas de la ciencia en las que dirigió su inquisitivo interés científico. Por lo tanto, nos limitamos a una breve lista de las principales áreas de la cibernética, donde dejó la huella más profunda.

1. Teoría lógica de dispositivos discretos (aplicación del código de Hamming inmune al ruido a la síntesis de circuitos lógicos confiables; aparato de ecuaciones lógicas matriciales para resolver problemas de análisis, síntesis y diagnóstico de matrices lógicas programables; métodos efectivos para la descomposición de funciones booleanas y autómatas discretos, codificación de estados internos de autómatas síncronos y asíncronos). Propuso un aparato matricial para análisis lógico, síntesis y diagnóstico de dispositivos discretos basado en matrices lógicas programables, los resultados de estos estudios fueron presentados en su monografía "Síntesis lógica de circuitos en cascada" (M.: Fizmatlit, 1980).

2. Automatización de la programación de tareas lógicas (el sistema y lenguaje de programación LYAPAS, efectivo para tareas lógico-combinatorias y ampliamente utilizado en muchas organizaciones en el país y en el extranjero: en Polonia, RDA, Checoslovaquia, Yugoslavia, RFA, EE. UU. ).

3. Automatización del diseño lógico (métodos efectivos para minimizar e implementar funciones booleanas de muchas variables total y débilmente definidas; minimizar sistemas de funciones booleanas en la clase de polinomios de Zhegalkin y Reed-Muller; métodos para implementar sistemas de funciones parciales multivaluadas por Reed Muller polinomios polarizados, diagnóstico de fallas constantes en esquemas EXOR, así como una serie de sistemas de diseño lógico asistidos por computadora introducidos en producción (TsKB ALMAZ (Moscú), Instituto de Investigación de Computadores, NPO Integral, etc.).

4. Fundamentos lógicos de los sistemas inteligentes (métodos para resolver grandes sistemas de ecuaciones lógicas, lineales y no lineales; generalización de los métodos de la teoría de funciones booleanas a predicados finitos; métodos de inferencia inductiva y deductiva aplicados al reconocimiento de patrones en el espacio de rasgos binarios y multivaluados, identificación de patrones implicativos en estos espacios, sistemas expertos de reconocimiento de patrones lógicos).

5. Automatización del diseño de sistemas de control lógico (lenguaje PRALU para describir algoritmos de control lógico paralelo, métodos para verificar, modelar e implementar algoritmos paralelos, los conceptos de autómatas paralelos y secuenciales y métodos para sintetizar dispositivos de control lógico basados ​​en ellos, métodos para componiendo y descomponiendo autómatas paralelos descritos en el lenguaje PRAU).

6. Problemas combinatorios de matemáticas discretas (técnica de cálculos en el espacio booleano, base combinatoria del diseño lógico: un conjunto de métodos y programas efectivos para resolver problemas combinatorios en matrices lógicas y gráficos que tienen muchas interpretaciones prácticas útiles; técnica de cálculos en el espacio de predicados finitos, métodos para su minimización y descomposición; métodos altamente eficientes para resolver sistemas de ecuaciones lógicas).

Los resultados de su investigación teórica formaron la base de una serie de sistemas de software para automatizar la solución de problemas lógicos-combinatorios: diseño lógico de dispositivos de control discretos sobre la base de VLSI; Implementación software y hardware de algoritmos de control paralelo y un sistema experto de reconocimiento lógico.

Publicaciones

Los resultados de la investigación científica de AD Zakrevsky se presentan en más de 540 publicaciones científicas, incluidas 26 monografías.

Lista de monografías de Arkady Dmitrievich Zakrevskii.

1. Lenguaje algorítmico LYAPAS y automatización de la síntesis de autómatas discretos. Tomsk, 1966;

2. LYaPAS: Un lenguaje de programación para algoritmos lógicos y de codificación. Academic Press, N.-Y., L., 1969 (con MA Gavrilov);

3. Algoritmos para la síntesis de autómatas discretos. M.: Nauka, 1971, 512 p.;

4. Ecuaciones lógicas. Minsk: Ciencia y tecnología, 1975, 96 p.;

5. Síntesis de autómatas asíncronos en un ordenador. Minsk: Ciencia y tecnología, 1975, 184 p. (coautor);

6. Sistema de programación LYAPAS-M. Minsk: Ciencia y tecnología, 1978, 220 p. (con N. R. Toropov);

7. Síntesis lógica de circuitos en cascada. M.: Nauka, 1981, 416 p.;

8. Boolesche Gleichungen: Theorie, Anwendung, Algorithmen. VEB Verlag Technik, Berlín, 1984, 304 s. (con Dieter Bochmann y Christian Posthoff);

9. Lógica de reconocimiento. Minsk: Ciencia y tecnología, 1988, 118 p.;

10. Algoritmos de control lógico paralelo. Mn.: Instituto de Cibernética Técnica de la Academia de Ciencias de Bielorrusia, 1999, 202 p.;

11. Implementación polinomial de funciones y sistemas booleanos parciales. Minsk: Instituto de Cibernética Técnica de la Academia Nacional de Ciencias de Bielorrusia, 2001, 200 p. (con N. R. Toropov);

12. Lógica de reconocimiento. Segunda edición, ampliada. M., URSS, 2003, 140 p.;

13. Algoritmos de control lógico paralelo. Segunda edición, estereotipada. M.: URSS, 2003, 200 p.;

14. Implementación polinomial de funciones y sistemas booleanos parciales. Segunda edición, estereotipada. M.: URSS, 2003, 200 p. (con N. R. Toropov);

15. A. D. Zakrevskii, Ecuaciones lógicas. Segunda edición, estereotipada. M.: URSS, 2003, 95 p.

16. Fundamentos del diseño lógico. Libro 1. Algoritmos combinatorios para matemáticas discretas. Minsk: OIPI NAS de Bielorrusia, 2004, 226 p. (con Yu. V. Pottosin y L. D. Cheremisinova);

17. Fundamentos del diseño lógico. Libro 2. Optimización en espacio booleano. Mn: OIPI NAS de Bielorrusia, 2004, 240 p. (con Yu. V. Pottosin y L. D. Cheremisinova);

18. Fundamentos del diseño lógico. Libro 3. Diseño de dispositivos lógicos de control. Minsk: OIPI NAS de Bielorrusia, 2006, 254 p. (con Yu. V. Pottosin y L. D. Cheremisinova);

19. Fundamentos lógicos para el diseño de dispositivos discretos. M.: Fizmatlit, 2007, 589 p. (con Yu. V. Pottosin y L. D. Cheremisinova);

20. Algoritmos combinatorios de matemáticas discretas. Tallin: TUT Press, 2008, 192 p. (con Yu. Pottosin, L. Cheremisinova);

21. Optimización en espacio booleano. Tallin: TUT Press, 2009, 241 p. (con Yu. Pottosin, L. Cheremisinova);

22. Resolución de grandes sistemas de ecuaciones lógicas. Minsk: OIPI NAS de Bielorrusia, 2009, 96 p.;

23. Diseño de dispositivos de control lógico. Tallin: TUT Press, 2009, 304 p. (con Yu. Pottosin, L. Cheremisinova);

24. Cálculos en espacio booleano multidimensional. Minsk: OIPI NAS de Bielorrusia, 2011, 106 p.;

25. Cálculos combinatorios en espacio booleano multidimensional. Tallin: TUT Press, 2012, 121 p.;

26 Resolución de ecuaciones lógicas de grandes sistemas. Tallin: TUT Press, 2013, 114 p.

Literatura

• Arkady Dmitrievich Zakrevskii (con motivo de su 70 cumpleaños) // Izv. Academia Nacional de Ciencias de Bielorrusia. Ser. física y tecnología Ciencias. 1998, nº 1.
• Zakrevsky, Arkady Dmitrievich // Tomsk de la A a la Z: Breve enciclopedia de la ciudad. / Ed. N. M. Dmitrienko . - 1ª ed. - Tomsk: Editorial NTL, 2004. - S. 120. - 440 p. - 3000 copias.  — ISBN 5-89503-211-7 .

Enlaces

Miembro correspondiente ZAKREVSKY Arkady Dmitrievich (enlace inaccesible) . Academia Nacional de Ciencias de Bielorrusia. Fecha de acceso: 30 de marzo de 2010. Archivado desde el original el 25 de enero de 2012.  (Ruso)  Perfil en el sitio web del Instituto Conjunto de Problemas Informáticos de la Academia Nacional de Ciencias de Bielorrusia

• Zakrevskiy Arkady Dmitrievich en la base de datos "Historia de la ciencia bielorrusa en personas" de la Biblioteca Científica Central Ya. Kolas de la Academia Nacional de Ciencias de Bielorrusia