Modelos celulares de eventos discretos con demoras explícitas
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.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | info:eu-repo/semantics/doctoralThesis biblioteca |
| Language: | spa |
| Published: |
Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
|
| Subjects: | 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, |
| Online Access: | https://hdl.handle.net/20.500.12110/tesis_n3092_Wainer http://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=aextesis&d=tesis_n3092_Wainer_oai |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | 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. |
|---|