Cover Image

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...

Full description

Bibliographic Details
Main Authors: Pashchenko, Dmitry V, Martyshkin, Alexey I, Trokoz, Dmitry A, Pashchenko, Tatyana Yu, Babich, Mikhail Yu, Butaev, Mikhail M
Format: Article
Published: Universidad Nacional de Ingeniería 2021
Subjects:
005 Programación de computadores, programas, datos
Online Access:http://ribuni.uni.edu.ni/4762/1/ricardo%2C%2B1.%2Besf.docx.pdf
id 4762
recordtype eprints
spelling 47622022-12-19T15:03:46Z 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 005 Programación de computadores, programas, datos 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 2021-03 Article PeerReviewed text http://ribuni.uni.edu.ni/4762/1/ricardo%2C%2B1.%2Besf.docx.pdf http://revistas.uni.edu.ni/index.php/Nexo Pashchenko, Dmitry V and Martyshkin, Alexey I and Trokoz, Dmitry A and Pashchenko, Tatyana Yu and Babich, Mikhail Yu and Butaev, Mikhail M (2021) Descomposición paralela de algoritmos de control para procesos Computacionales basados en el uso de lógica autómata no determinista. Nexo Revista Científica, 34 (1). pp. 1-12. ISSN 1995-9516 http://ribuni.uni.edu.ni/4762/
institution Universidad Nacional de Ingenieria
collection Repositorio Institucional-RIBUNI
topic 005 Programación de computadores, programas, datos
spellingShingle 005 Programación de computadores, programas, datos
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
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.
format Article
author Pashchenko, Dmitry V
Martyshkin, Alexey I
Trokoz, Dmitry A
Pashchenko, Tatyana Yu
Babich, Mikhail Yu
Butaev, Mikhail M
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
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
publisher Universidad Nacional de Ingeniería
publishDate 2021
url http://ribuni.uni.edu.ni/4762/1/ricardo%2C%2B1.%2Besf.docx.pdf
_version_ 1809198680726568960
score 11.129828

Similar Items