Modelos celulares de eventos discretos con demoras explícitas

• Autores: Wainer, Gabriel A.
• Año de publicación: 1998
• Idioma: español castellano
• Tipo de recurso: tesis doctoral
• Colaborador/a o director/a de tesis: Giambiasi, Norbert
• Materia: 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
• Institución: Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales

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.