Descomposición paralela de algoritmos de control para procesos computacionales basados en el uso de lógica autómata no determinista

Descomposición paralela de algoritmos de control para procesos computacionales basados en el uso de lógica autómata no determinista

El trabajo aborda los problemas de descomposición de algoritmos de control para los procesos en sistemas de computación paralelos y el uso de modelos de autómatas. A la hora de diseñar sistemas de procesamiento paralelo, una tarea importante es la presentación formal de los algoritmos de control de...

Descripción completa

Detalles Bibliográficos
Autores principales: Pashchenko, Dmitry V., Martyshkin, Alexey I., Trokoz, Dmitry A., Pashchenko, Tatyana Yu., Babich, Mikhail Yu., Butaev, Mikhail M.
Formato: Online
Idioma:eng
Publicado: Universidad Nacional de Ingeniería (UNI) en Managua 2021
Acceso en línea:https://www.camjol.info/index.php/NEXO/article/view/11278
id NEXO11278
record_format ojs
institution Universidad Nacional de Ingeniería
collection Nexo Revista Científica
language eng
format Online
author Pashchenko, Dmitry V.
Martyshkin, Alexey I.
Trokoz, Dmitry A.
Pashchenko, Tatyana Yu.
Babich, Mikhail Yu.
Butaev, Mikhail M.
spellingShingle Pashchenko, Dmitry V.
Martyshkin, Alexey I.
Trokoz, Dmitry A.
Pashchenko, Tatyana Yu.
Babich, Mikhail Yu.
Butaev, Mikhail M.
Descomposición paralela de algoritmos de control para procesos computacionales basados en el uso de lógica autómata no determinista
author_facet Pashchenko, Dmitry V.
Martyshkin, Alexey I.
Trokoz, Dmitry A.
Pashchenko, Tatyana Yu.
Babich, Mikhail Yu.
Butaev, Mikhail M.
author_sort Pashchenko, Dmitry V.
description El trabajo aborda los problemas de descomposición de algoritmos de control para los procesos en sistemas de computación paralelos y el uso de modelos de autómatas. A la hora de diseñar sistemas de procesamiento paralelo, una tarea importante es la presentación formal de los algoritmos de control de procesos, ya que permiten lograr una solución empaquetada a los problemas de especificación, desarrollo, implementación, verificación y análisis de sistemas de control complejos, incluyendo el control de los procesos que interactúan y recursos en sistemas informáticos paralelos. Es especialmente necesario utilizar métodos formales para verificar sistemas de procesamiento de información complejos mediante pruebas de modelos. Uno de los métodos para la descripción formal de los algoritmos de control se basa en el uso para estos fines de la lógica del autómata no determinista (NDA), que es un método que permite presentar algoritmos de control para el procesamiento de la información en forma de sistemas de ecuaciones canónicas. describiendo todos los eventos particulares implementados en el algoritmo. La ventaja de tal lenguaje es que todas las transiciones en el sistema de control se describen no en términos de estados del sistema, sino en términos de eventos particulares, cuya existencia simultánea determina todos los estados y transiciones en el sistema; esto permite evitar una "explosión combinatoria" en el espacio de estados a las posibilidades de verificación de medios. Objeto del trabajo: investigación de algoritmos de control para los procesos de sistemas informáticos paralelos utilizando el aparato NDA. El objeto de investigación y desarrollo es el proceso de descomposición en paralelo de algoritmos de control para sistemas de cómputo en paralelo utilizando modelos automáticos.
title Descomposición paralela de algoritmos de control para procesos computacionales basados en el uso de lógica autómata no determinista
title_short Descomposición paralela de algoritmos de control para procesos computacionales basados en el uso de lógica autómata no determinista
title_full Descomposición paralela de algoritmos de control para procesos computacionales basados en el uso de lógica autómata no determinista
title_fullStr Descomposición paralela de algoritmos de control para procesos computacionales basados en el uso de lógica autómata no determinista
title_full_unstemmed Descomposición paralela de algoritmos de control para procesos computacionales basados en el uso de lógica autómata no determinista
title_sort descomposición paralela de algoritmos de control para procesos computacionales basados en el uso de lógica autómata no determinista
title_alt Parallel decomposition of control algorithms for computational processes based on the use of nondeterministic automaton logic
publisher Universidad Nacional de Ingeniería (UNI) en Managua
publishDate 2021
url https://www.camjol.info/index.php/NEXO/article/view/11278
work_keys_str_mv AT pashchenkodmitryv paralleldecompositionofcontrolalgorithmsforcomputationalprocessesbasedontheuseofnondeterministicautomatonlogic
AT martyshkinalexeyi paralleldecompositionofcontrolalgorithmsforcomputationalprocessesbasedontheuseofnondeterministicautomatonlogic
AT trokozdmitrya paralleldecompositionofcontrolalgorithmsforcomputationalprocessesbasedontheuseofnondeterministicautomatonlogic
AT pashchenkotatyanayu paralleldecompositionofcontrolalgorithmsforcomputationalprocessesbasedontheuseofnondeterministicautomatonlogic
AT babichmikhailyu paralleldecompositionofcontrolalgorithmsforcomputationalprocessesbasedontheuseofnondeterministicautomatonlogic
AT butaevmikhailm paralleldecompositionofcontrolalgorithmsforcomputationalprocessesbasedontheuseofnondeterministicautomatonlogic
AT pashchenkodmitryv descomposicionparaleladealgoritmosdecontrolparaprocesoscomputacionalesbasadosenelusodelogicaautomatanodeterminista
AT martyshkinalexeyi descomposicionparaleladealgoritmosdecontrolparaprocesoscomputacionalesbasadosenelusodelogicaautomatanodeterminista
AT trokozdmitrya descomposicionparaleladealgoritmosdecontrolparaprocesoscomputacionalesbasadosenelusodelogicaautomatanodeterminista
AT pashchenkotatyanayu descomposicionparaleladealgoritmosdecontrolparaprocesoscomputacionalesbasadosenelusodelogicaautomatanodeterminista
AT babichmikhailyu descomposicionparaleladealgoritmosdecontrolparaprocesoscomputacionalesbasadosenelusodelogicaautomatanodeterminista
AT butaevmikhailm descomposicionparaleladealgoritmosdecontrolparaprocesoscomputacionalesbasadosenelusodelogicaautomatanodeterminista
_version_ 1781395982665121792
spelling NEXO112782021-04-16T20:36:48Z Parallel decomposition of control algorithms for computational processes based on the use of nondeterministic automaton logic Descomposición paralela de algoritmos de control para procesos computacionales basados en el uso de lógica autómata no determinista Pashchenko, Dmitry V. Martyshkin, Alexey I. Trokoz, Dmitry A. Pashchenko, Tatyana Yu. Babich, Mikhail Yu. Butaev, Mikhail M. control algorithm verification finite automaton simulation parallel system formalization algoritmo de control verificación autómata finito simulación sistema paralelo formalización The paper deals with the issues of decomposition of control algorithms for the processes in parallel computing systems and the use of automaton models. When designing parallel processing systems, an important task is the formal presentation of process control algorithms since they allow achieving a packaged solution to the problems of specification, development, implementation, verification, and analysis of complex control systems, including the control of interacting processes and resources in parallel computing systems. It is especially necessary to use formal methods to verify complex information processing systems by model testing. One of the methods for the formal description of control algorithms is based on the use for these purposes of the nondeterministic automaton (NDA) logic, which is a method that allows one to present control algorithms for information processing in the form of systems of canonical equations describing all particular events implemented in the algorithm. The advantage of such a language is that all transitions in the control system are described not in terms of system states, but in terms of particular events, the simultaneous existence of which determines all states and transitions in the system; this allows avoiding a "combinatorial explosion" in the state space to the possibilities of means verification. Purpose of the paper: research of control algorithms for parallel computing systems using the NDA apparatus. The development and research object is parallel decomposition of control algorithms for parallel computing systems using automatic models. El trabajo aborda los problemas de descomposición de algoritmos de control para los procesos en sistemas de computación paralelos y el uso de modelos de autómatas. A la hora de diseñar sistemas de procesamiento paralelo, una tarea importante es la presentación formal de los algoritmos de control de procesos, ya que permiten lograr una solución empaquetada a los problemas de especificación, desarrollo, implementación, verificación y análisis de sistemas de control complejos, incluyendo el control de los procesos que interactúan y recursos en sistemas informáticos paralelos. Es especialmente necesario utilizar métodos formales para verificar sistemas de procesamiento de información complejos mediante pruebas de modelos. Uno de los métodos para la descripción formal de los algoritmos de control se basa en el uso para estos fines de la lógica del autómata no determinista (NDA), que es un método que permite presentar algoritmos de control para el procesamiento de la información en forma de sistemas de ecuaciones canónicas. describiendo todos los eventos particulares implementados en el algoritmo. La ventaja de tal lenguaje es que todas las transiciones en el sistema de control se describen no en términos de estados del sistema, sino en términos de eventos particulares, cuya existencia simultánea determina todos los estados y transiciones en el sistema; esto permite evitar una "explosión combinatoria" en el espacio de estados a las posibilidades de verificación de medios. Objeto del trabajo: investigación de algoritmos de control para los procesos de sistemas informáticos paralelos utilizando el aparato NDA. El objeto de investigación y desarrollo es el proceso de descomposición en paralelo de algoritmos de control para sistemas de cómputo en paralelo utilizando modelos automáticos. Universidad Nacional de Ingeniería (UNI) en Managua 2021-04-12 info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion Peer-Reviewed Article Artículo revisado por pares application/pdf https://www.camjol.info/index.php/NEXO/article/view/11278 10.5377/nexo.v34i01.11278 Nexo Scientific Journal; Vol. 34 No. 01 (2021); 01-12 Nexo Revista Científica; Vol. 34 Núm. 01 (2021); 01-12 1995-9516 1818-6742 eng https://www.camjol.info/index.php/NEXO/article/view/11278/13131 Derechos de autor 2021 Universidad Nacional de Ingeniería

Ejemplares similares