Texto base de la asignatura - UNED

MODELADO DE SISTEMAS MEDIANTE DEVS
λ (fase, σ) = (“Output”, {pulse})
δint (fase, σ) = (“refractario”, ∞)
ta (fase, σ) = σ
Si bien no se pide en el enunciado, podría realizarse la especificación DEVS
paralelo de la neurona. Además de los elementos anteriores, la especificación debería
contener:
– La función de transición confluyente, que especifica el cambio en el estado que
se produce cuando llega un evento externo en el mismo instante en que está
planificada una transición interna. En este caso:
δcon ((fase, σ), e, x) = δint (fase, σ)
– Contemplar la posibilidad de que lleguen simultáneamente varios eventos al
puerto de entrada. En este modelo el comportamiento no depende de que se
reciba un único evento o varios simultáneamente.
Solución al Ejercicio 6.2
El modelo compuesto engloba los cinco componentes: el generador y las cuatro
neuronas. La interfaz del modelo compuesto tiene únicamente un puerto de salida,
al cual está conectado el puerto de salida de la neurona #4. Llamaremos “pulseOut”
al puerto de salida del modelo compuesto. La descripción formal DEVS paralelo del
modelo compuesto es la siguiente.
donde:
N = 〈 X, Y, D, {Md | d ∈ D}, EIC, EOC, IC 〉 (6.1)
X = ∅ El modelo compuesto no tiene ningún
puerto de entrada.
Y = (“pulseOut”, {pulse}) Puerto de salida del modelo compuesto y
316
valor de los eventos.