10.05.2013 Views

Texto base de la asignatura - UNED

Texto base de la asignatura - UNED

Texto base de la asignatura - UNED

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

S = {“pasivo”,“activo”} × R +<br />

DEVS CL ÁSICO<br />

(3.7)<br />

en consecuencia, el estado <strong>de</strong>l sistema queda <strong>de</strong>finido mediante el valor <strong>de</strong> <strong>la</strong>s dos<br />

variables siguientes: (fase, σ).<br />

El comportamiento <strong>de</strong>l sistema es el siguiente. El generador permanece en <strong>la</strong><br />

fase “activo” durante el intervalo <strong>de</strong> tiempo periodo, transcurrido el cual <strong>la</strong> función<br />

<strong>de</strong> salida genera un evento <strong>de</strong> valor uno y <strong>la</strong> función <strong>de</strong> transición interna resetea<br />

fase al valor “activo” y asigna a σ el valor periodo. Estrictamente hab<strong>la</strong>ndo, no<br />

sería necesario volver a asignar valor a estas variables, ya que este sistema no<br />

posee entradas y, por ello, los valores <strong>de</strong> esas variables no pue<strong>de</strong>n ser cambiados<br />

externamente.<br />

Ejemplo 3.2.4. En <strong>la</strong> Figura 3.5 se muestra un ejemplo <strong>de</strong>l comportamiento dinámico<br />

<strong>de</strong>l DEVS generador.<br />

don<strong>de</strong>:<br />

<br />

σ<br />

¦§¨© ¢£¤¥<br />

Figura 3.5: Comportamiento <strong>de</strong>l DEVS generador.<br />

¡ ¡ ¡ ¡<br />

La <strong>de</strong>finición formal <strong>de</strong>l comportamiento <strong>de</strong>l DEVS generador es <strong>la</strong> siguiente:<br />

DEVSperiodo = 〈X, S, Y, δint, δext, λ, ta〉 (3.8)<br />

137

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!