Catálogo de publicaciones - tesis
Título de Acceso Abierto
Modelos celulares de eventos discretos con demoras explícitas
Gabriel A. Wainer Norbert Giambiasi
publishedVersion.
Resumen/Descripción – provisto por el repositorio digital
En un plano conceptual, este trabajo se dedica a presentar diversas descripciones formales para modelar y simular espacios de celdas. Los paradigmas propuestos constituyen extensiones a los formalismos DEVS y Autómatas Celulares, agregando la posibilidad de tener demoras de transporte o inerciales. Los formalismos de especificación han sido definidos para espacios de celdas binarios o de tres estados, y se han extendido para otros dominios. Los conceptos de demoras pertenecen al dominio de los circuitos digitales, y han sido adaptados a los autómatas celulares, constituyendo una de las contribuciones principales del trabajo. Los formalismos permiten la definición automática de los espacios, y facilita la verificación de los modelos, permitiendo el desarrollo eficiente y efectivo de simuladores. Desde un punto de vista práctico, se construyó un entorno de modelización y simulación basado en los formalismos propuestos. Esta permitió verificar de forma empírica la eficiencia de las soluciones propuestas, con respecto a los tiempos de desarrollo y chequeo. Se propuso a su vez un mecanismo de simulación achatado de los espacios de celdas que permitió mejorar los tiempos de ejecución en hasta un orden de magnitud. Debe hacerse notar que puede realizarse la construcción automática de un modelo a partir de su especificación, lo que simplifica el problema de verificación del modelo y permite un desarrollo rápido de los simuladores, debido a las mejoras obtenidas en las fases de chequeo y mantenimiento.Palabras clave – provistas por el repositorio digital
SIMULACION DE EVENTOS DISCRETOS; AUTOMATAS CELULARES; DEMORAS DE TRANSPORTE; DEMORAS INERCIALES; METODOLOGIAS DE MODELIZACION; SIMULACION ORIENTADA A OBJETOS; DISCRETE EVENTS SIMULATION; CELLULAR AUTOMATA; TRANSPORT DELAYS; INTERTIAL DELAYS; MODELLING METHODOLOGIES; OBJECT-ORIENTED SIMULATION
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No requiere | 1998 | Biblioteca Digital (FCEN-UBA) (SNRD) |
|
Información
Tipo de recurso:
tesis
Idiomas de la publicación
- español castellano
País de edición
Argentina
Fecha de publicación
1998
Información sobre licencias CC