Buscar
Mostrando ítems 21-30 de 2330
Modeling and specification of distributed timed systems.
(2014-03-14)
El aumento en la complejidad de los sistemas distribuidos y temporizados hace que ellos sean muy difícil de modelary especificar correctamente. Diferentes métodos formales son útiles para el proceso de modelado y especificación ...
Cellular automata-based spatial dynamic modeling for analyzing urban land use change
(2013-08-15)
This paper analyzes land use change in Rio Claro City and its surroundings, located in the southeastern state of Sao Paulo, in the period from 1988 to 1995, using air-borne digital imagery and a cellular automata model. ...
Localizador de reglas de evolución para autómatas celulares bidimensionales por medio de algoritmos genéticos
(2018-12-12)
RESUMEN:
Los autómatas celulares son sistemas dinámicos discretos que se han aplicado para modelar sistemas físicos, químicos y biológicos. Sin embargo, para poder modelar dichos sistemas, se debe conocer una regla de ...
Implementación y análisis de autómatas celulares cuánticos
(2020-03-11)
RESUMEN:
En el presente trabajo se implementaron y analizaron algunos modelos de autómatas celulares cuánticos, éstos son, autómatas celulares con reglas de la mecánica cuántica, que toman elementos tanto del área de los ...
On the synchronization of finite state automata
(2019-09-22)
Abstract: We study some problems related to the synchronization of finite state automata and the Cˇerny’s conjecture. We focus on the synchronization of small sets of states, and more specifically on the synchronization ...
Animales, personas, autómatas y espectros en América Latina
(Universidad Andrés Bello, 2018-12)
Este artículo aborda cuatro conceptos y figuras culturales y
sus relaciones posibles desde un marco biopolítico: animales,
personas, autómatas y espectros. Estas cuatro categorías se
encuentran en los umbrales de la ...