Staff View: Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales

Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales

El artículo aborda el tema de la investigación y desarrollo de métodos que permitan dar cuenta de ejemplos de comportamiento al sintetizar modelos de autómatas mediante fórmulas temporales. Se dan definiciones de los términos y conceptos utilizados en el trabajo; se formula el problema de sintetizar...

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/4766/1/ricardo%2C%2B5.%2Besf%2B33.pdf

id	4766
recordtype	eprints
spelling	47662022-12-16T17:13:17Z Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales 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 artículo aborda el tema de la investigación y desarrollo de métodos que permitan dar cuenta de ejemplos de comportamiento al sintetizar modelos de autómatas mediante fórmulas temporales. Se dan definiciones de los términos y conceptos utilizados en el trabajo; se formula el problema de sintetizar sistemas de autómatas según la especificación en forma de fórmulas temporales y ejemplos de comportamiento; se describe un algoritmo prometedor para reducir el problema de sintetizar sistemas de autómatas al problema de satisfacibilidad de la fórmula booleana; Se realiza un análisis del dominio y otros enfoques. Se proponen nuevos métodos para tener en cuenta ejemplos de comportamiento en la síntesis de sistemas de autómatas según una especificación dada en forma de fórmulas temporales. Se describen algoritmos para construir gráficos de scripts y métodos para dividir gráficos en grupos; están diseñados para aumentar la eficiencia de la representación de ejemplos de comportamiento utilizados para codificar los ejemplos de comportamiento en forma de fórmulas booleanas. Se lleva a cabo un estudio experimental de los métodos propuestos para dar cuenta de ejemplos de comportamiento y enfoques básicos para la presentación de ejemplos de comportamiento. Los resultados experimentales mostraron la superioridad de los métodos recientemente desarrollados con respecto a la presentación de guiones en forma de fórmulas temporales. En resumen, se presentan las principales conclusiones del trabajo realizado Universidad Nacional de Ingeniería 2021-03 Article PeerReviewed text http://ribuni.uni.edu.ni/4766/1/ricardo%2C%2B5.%2Besf%2B33.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) Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales. Nexo Revista Científica, 34 (1). pp. 61-73. ISSN 1995-9516 http://ribuni.uni.edu.ni/4766/
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 Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales
description	El artículo aborda el tema de la investigación y desarrollo de métodos que permitan dar cuenta de ejemplos de comportamiento al sintetizar modelos de autómatas mediante fórmulas temporales. Se dan definiciones de los términos y conceptos utilizados en el trabajo; se formula el problema de sintetizar sistemas de autómatas según la especificación en forma de fórmulas temporales y ejemplos de comportamiento; se describe un algoritmo prometedor para reducir el problema de sintetizar sistemas de autómatas al problema de satisfacibilidad de la fórmula booleana; Se realiza un análisis del dominio y otros enfoques. Se proponen nuevos métodos para tener en cuenta ejemplos de comportamiento en la síntesis de sistemas de autómatas según una especificación dada en forma de fórmulas temporales. Se describen algoritmos para construir gráficos de scripts y métodos para dividir gráficos en grupos; están diseñados para aumentar la eficiencia de la representación de ejemplos de comportamiento utilizados para codificar los ejemplos de comportamiento en forma de fórmulas booleanas. Se lleva a cabo un estudio experimental de los métodos propuestos para dar cuenta de ejemplos de comportamiento y enfoques básicos para la presentación de ejemplos de comportamiento. Los resultados experimentales mostraron la superioridad de los métodos recientemente desarrollados con respecto a la presentación de guiones en forma de fórmulas temporales. En resumen, se presentan las principales conclusiones del trabajo realizado
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	Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales
title_short	Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales
title_full	Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales
title_fullStr	Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales
title_full_unstemmed	Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales
title_sort	ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales
publisher	Universidad Nacional de Ingeniería
publishDate	2021
url	http://ribuni.uni.edu.ni/4766/1/ricardo%2C%2B5.%2Besf%2B33.pdf
_version_	1809198681992200192
score	11.129828

Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales

Similar Items