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...
| 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: | |
| Online Access: | http://ribuni.uni.edu.ni/4762/1/ricardo%2C%2B1.%2Besf.docx.pdf |
Similar Items
-
Investigación de un modelo de sistema no determinista multiproceso
by: Pashchenko, Dmitry V, et al.
Published: (2021) -
Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales
by: Pashchenko, Dmitry V, et al.
Published: (2021) -
Simulación del sistema de estabilización de altitud de vuelo en quadcopter
by: Yu. Babich, Mikhail, et al.
Published: (2020) -
Red neuronal para el reconocimiento de escritura a mano
by: M. Butaev, Mikhail, et al.
Published: (2020) -
Algoritmo de planificación de movimiento para un robot móvil con un sistema de visión artificial inteligente
by: I. Martyshkin, Alexey
Published: (2020)