Modelos celulares de eventos discretos con demoras explícitas

Mostrar todas las versiones(4)

En un plano conceptual, este trabajo se dedica a presentar diversas descripciones formales paramodelar y simular espacios de celdas. Los paradigmas propuestos constituyen extensiones a losformalismos DEVS y Autómatas Celulares, agregando la posibilidad de tener demoras de transporteo inerciales. Los...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Wainer, Gabriel A.
Otros Autores: Giambiasi, Norbert
Formato: Tesis doctoral publishedVersion
Lenguaje:Español
Publicado: Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 1998
Materias:
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
Acceso en línea:https://hdl.handle.net/20.500.12110/tesis_n3092_Wainer
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id tesis:tesis_n3092_Wainer
record_format dspace
spelling tesis:tesis_n3092_Wainer2023-10-02T19:44:39Z Modelos celulares de eventos discretos con demoras explícitas Discrete events cellular models with explicit Delays Wainer, Gabriel A. Giambiasi, Norbert 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 En un plano conceptual, este trabajo se dedica a presentar diversas descripciones formales paramodelar y simular espacios de celdas. Los paradigmas propuestos constituyen extensiones a losformalismos DEVS y Autómatas Celulares, agregando la posibilidad de tener demoras de transporteo inerciales. Los formalismos de especificación han sido definidos para espacios de celdas binarioso de tres estados, y se han extendido para otros dominios. Los conceptos de demoras pertenecen aldominio de los circuitos digitales, y han sido adaptados a los autómatas celulares, constituyendo unade las contribuciones principales del trabajo. Los formalismos permiten la definición automática delos espacios, y facilita la verificación de los modelos, permitiendo el desarrollo eficiente y efectivode simuladores. Desde un punto de vista práctico, se construyó un entorno de modelización ysimulación basado en los formalismos propuestos. Esta permitió verificar de forma empírica laeficiencia de las soluciones propuestas, con respecto a los tiempos de desarrollo y chequeo. Sepropuso 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 puederealizarse la construcción automática de un modelo a partir de su especificación, lo que simplifica elproblema de verificación del modelo y permite un desarrollo rápido de los simuladores, debido a lasmejoras obtenidas en las fases de chequeo y mantenimiento. This work is devoted to introduce several formal descriptions used to model and simulate cell-shapedspaces. The paradigms are based on the DEVS and Cellular Automata formalisms,combined with transport delays and inertial delays. The specification formalisms have been definedfor binary or three-states cell spaces, and have been extended to other domains. The delay conceptsbelong to the digital circuits domain, and have been adapted to the Cellular Automata paradigm,being one of the main contributions of the present work. The formalims allow the automaticdefinition for the cell spaces, easing the model verification, allowing the cost-effective developmentof simulators. A tool was built with the goal to implement the formalism, allowing to verifyempirically the performance of the proposed solutions. Development times were considered, withspecial attention to the testing and mantainance costs. An abstract simulation mechanism was alsoproposed, with the goal to improve the execution times of the cell spaces based on the flattening ofthe hierarahical models. This approach allowed to improve the execution times up to one order ofmagnitude. It must be noticed that a model can be built automatically using its specification, easingthe verification problems and allowing rapid development of the simulators. The use of a formalmechanism allowe to reduce the development times, due to the improvements obtained in thetesting and maintainance phases. The use of this formal mechanism also allows automaticverification of the model structure, permitting the programmer to focus only in the development ofthe models to be implemented. Fil: Wainer, Gabriel A.. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 1998 info:eu-repo/semantics/doctoralThesis info:ar-repo/semantics/tesis doctoral info:eu-repo/semantics/publishedVersion application/pdf spa info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-sa/2.5/ar https://hdl.handle.net/20.500.12110/tesis_n3092_Wainer
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
language Español
orig_language_str_mv spa
topic 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
spellingShingle 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
Wainer, Gabriel A.
Modelos celulares de eventos discretos con demoras explícitas
topic_facet 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
description En un plano conceptual, este trabajo se dedica a presentar diversas descripciones formales paramodelar y simular espacios de celdas. Los paradigmas propuestos constituyen extensiones a losformalismos DEVS y Autómatas Celulares, agregando la posibilidad de tener demoras de transporteo inerciales. Los formalismos de especificación han sido definidos para espacios de celdas binarioso de tres estados, y se han extendido para otros dominios. Los conceptos de demoras pertenecen aldominio de los circuitos digitales, y han sido adaptados a los autómatas celulares, constituyendo unade las contribuciones principales del trabajo. Los formalismos permiten la definición automática delos espacios, y facilita la verificación de los modelos, permitiendo el desarrollo eficiente y efectivode simuladores. Desde un punto de vista práctico, se construyó un entorno de modelización ysimulación basado en los formalismos propuestos. Esta permitió verificar de forma empírica laeficiencia de las soluciones propuestas, con respecto a los tiempos de desarrollo y chequeo. Sepropuso 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 puederealizarse la construcción automática de un modelo a partir de su especificación, lo que simplifica elproblema de verificación del modelo y permite un desarrollo rápido de los simuladores, debido a lasmejoras obtenidas en las fases de chequeo y mantenimiento.
author2 Giambiasi, Norbert
author_facet Giambiasi, Norbert
Wainer, Gabriel A.
format Tesis doctoral
Tesis doctoral
publishedVersion
author Wainer, Gabriel A.
author_sort Wainer, Gabriel A.
title Modelos celulares de eventos discretos con demoras explícitas
title_short Modelos celulares de eventos discretos con demoras explícitas
title_full Modelos celulares de eventos discretos con demoras explícitas
title_fullStr Modelos celulares de eventos discretos con demoras explícitas
title_full_unstemmed Modelos celulares de eventos discretos con demoras explícitas
title_sort modelos celulares de eventos discretos con demoras explícitas
publisher Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
publishDate 1998
url https://hdl.handle.net/20.500.12110/tesis_n3092_Wainer
work_keys_str_mv AT wainergabriela modeloscelularesdeeventosdiscretoscondemorasexplicitas
AT wainergabriela discreteeventscellularmodelswithexplicitdelays
_version_ 1782023305293725696

Ejemplares similares