Para los que le interese.
--
Dr. Horacio Castellini, Dpto de F'isica, Facultad de Ingenier'ia,
Ciencias Exactas y Agrimensura, Pellegrini 250, 2000 Rosario
Argentina, Usuario Linux Registrado #53602
Correo-e:[EMAIL PROTECTED] ICQ: 52244442
El Departamento de Electronica organiza e invita al seminario sobre
DEVS, cuya informacion detallada sigue abajo.
==============*****************===================*******************==========
Ing. Sergio Junco
Director
Departamento de Electronica - FCEIyA - UNR
Riobamba 245 bis - 2000 Rosario - Argentina
Tel.: +54 341 4808543 Fax : +54 341 4802654
E-mail: [EMAIL PROTECTED]
==============*****************===================*******************==========
SEMINARIO:
Formalismo DEVS: Teor�a y Aplicaciones.
A CARGO DE: Ernesto Kofman, becario del CONICET y aux. docente de la
c�tedra de Din�mica de los Sistemas F�sicos.
ORIENTADO A: Docentes y estudiantes avanzados de Ingenier�a Electr�nica y
Licenciatura en Ciencias de la Computaci�n (y a todo interesado).
OBJETIVOS: Si bien no esta restringido al siguiente objetivo, la intenci�n
de la c�tedra al ofrecer este seminario es organizar un grupo, en lo
posible multidisciplinario, para trabajar en DEVS (Discrete Event System
Specification). Modelado y simulaci�n de sistemas de eventos discretos,
puede ser de interes INTRINSECO a gente de ingenier�a electr�nica y de la
licenciatura en informatica. Por otra parte, los campos de aplicacion
pueden motivar a gente de otras ingenierias.
INTRODUCCION:
El formalismo DEVS, propuesto por Bernard Zeigler en 1976, constituye la
representaci�n m�s general de Sistemas de Eventos Discretos. A diferencia
de otras representaciones tales como Event Graphs, Statecharts, Redes de
Petri y las respectivas generalizaciones, DEVS no presenta limitaciones
relacionadas con la dimensi�n del estado o de las entradas ni con
restricciones temporales. Los modelos DEVS pueden tambi�n ser acoplados de
manera jer�rquica, lo que constituye una simplificaci�n notable de la
tarea de modelizaci�n.
A todas estas ventajas, se suma el hecho que la especificaci�n DEVS es
�ltamente orientada a la simulaci�n, por lo cual la programaci�n de
simuladores para estos modelos es muy sencilla. Las aplicaciones del
formalismo DEVS son muy amplias; cabe mencionar entre las principales la
modelizaci�n y simulaci�n de sistemas de producci�n, de sistemas de
procesamiento de datos, de circuitos digitales, de sistemas de tr�fico, y
entre las m�s recientes aplicaciones, la simulaci�n de sistemas continuos.
PROGRAMA SINTETICO
1 - Bases del Formalismo DEVS: Introducci�n al formalismo DEVS.
Trayectorias de eventos y trayectorias seccionalmente constantes.
Especificaci�n DEVS para modelos at�micos. Conflictos de simultaneidad.
Sistema Din�mico definido por un modelo DEVS at�mico. Legitimidad.
Ejemplos.
2 - Modelos DEVS de acoplamiento: Especificaci�n de acoplamiento no
modular (MultiDEVS). Ejemplos. Especificaci�n de acoplamiento modular.
Ejemplos de aplicaci�n. Clausura del acoplamiento. Acoplamiento modular
mediante puertos. Modularizaci�n.
3 - Simulaci�n en el formalismo DEVS: Introducci�n a la simulaci�n de
DEVS. Simulador abstracto para modelos DEVS at�micos. Simulador para
MultiDEVS. Simulador abstracto para modelos DEVS acoplados.
Consideraciones de performance.
4 -DEVS en la simulaci�n de sistemas continuos: Problemas de los m�todos
cl�sicos de simulaci�n de EDO's. Sistemas de Estados Cuantificados (QSS).
Modelo DEVS de un QSS. Propiedades de estabilidad y convergencia de los
QSS. Ejemplos y performance del m�todo. Quantized Bond Graphs (QBG).
Modelo DEVS de un QBG. Singularidades estructurales en los QBG. Ejemplos.
Problemas abiertos y trabajo futuro en esta linea.
COMIENZO Y DURACION: El seminario comenzar� el Martes 3/10 a las 17hs.
Consistir� en una clase semanal de 2 horas de duraci�n. Fecha prevista de
finalizaci�n: 14/11.
LUGAR: A confirmar.
INFORMACION: escribir a [EMAIL PROTECTED]
