Texto base de la asignatura - UNED

More documents

Recommendations

Info

MODELADO DE SISTEMAS MEDIANTE DEVS d) Se asigna el valor cero al tiempo transcurrido: e = 0. 5.2.4. Modelos compuestos La especificación formal de un sistema DEV&DESS compuesto es análoga a la descrita en la Sección 3.4 para los modelos acoplados según el formalismo DEVS clásico. Por consiguiente, consiste en la tupla siguiente: N = (X, Y, D, {Md | d ∈ D}, EIC, EOC, IC, select) (5.2) 5.2.5. Proceso de llenado de barriles En esta sección se muestra un ejemplo de modelado, empleando el formalismo DEV&DESS, de un proceso de llenado de barriles. Descripción informal del funcionamiento del sistema El llenado con líquido de un barril es un proceso continuo, sin embargo, el control del proceso puede modelarse de manera discreta. El control incluye posicionar el barril bajo el grifo, abrir la válvula en el momento en que debe iniciarse el vertido del líquido y, finalmente, cerrar la válvula cuando el líquido dentro del barril alcanza un determinado nivel. En la Figura 5.3 se muestra la interfaz y las variables de estado del modelo. on/off flujoIn ¦¤©¡¡§¤¥ ¡¢£¤¥¢¦¤§§¤¨©¦¢ barril cout Figura 5.3: Modelo del proceso de llenado de barriles. El modelo tiene un puerto de entrada continuo (flujoIn) y un puerto de entrada discreto (on/off). Tiene un puerto de salida discreto (barril) y un puerto de salida continuo (cout). Asimismo, tiene dos variables de estado: 236
MODELADO HÍBRIDO EN DEVS – Una continua, llamada (contenido), que representa el volumen de líquido actual del barril. – Una discreta, llamada (valvula), que representa el estado de la válvula y puede tomar los dos valores siguientes: {“abierta”,“cerrada”}. La variable de entrada flujoIn representa el flujo volumétrico de líquido que se emplea para llenar el barril. La relación que hay entre la variable de entrada flujoIn y la variable de estado contenido es la siguiente: la derivada de la variable de estado contenido es igual a la variable de entrada flujoIn cuando la válvula está abierta (valvula = “abierta”), e igual a cero cuando la válvula está cerrada (valvula = “cerrada”). Es decir: dcontenido dt = flujoIn si valvula =“abierta” 0 si valvula =“cerrada” (5.3) La entrada discreta on/off, que sólo puede tomar los valores {“on”,“off”}, hace que el modelo conmute entre dos fases: válvula abierta (valvula = “abierta”) y válvula cerrada (valvula =“cerrada”). El modelo tiene las dos salidas siguientes: – La salida cout es una variable de tiempo continuo, cuyo valor coincide con el volumen actual de llenado del barril. – El modelo genera un evento de salida de valor “barrilDe10litros”, a través del puerto de salida barril, cada vez que se completa el llenado de un barril. El modelo genera un evento en el puerto de salida barril cada vez que un barril alcanza su nivel máximo de llenado, es decir, cuando la variable de estado de tiempo continuo contenido alcanza el valor 10 litros. Se trata, por tanto, de un evento en el estado. Cuando un barril se llena, se supone que es reemplazado por otro vacío. Consecuentemente, la variable contenido es puesta a cero. En la Figura 5.4 se muestra el comportamiento del sistema frente a una determinada trayectoria de entrada. Se observa que la entrada on/off condiciona el valor de la variable valvula, la cual, a su vez, determina el comportamiento de la variable contenido: – Mientras la válvula está abierta, el flujo de entrada llena los barriles (la derivada de contenido es igual a flujoIn). 237
Page 1:
MODELADO DE SISTEMAS MEDIANTE DEVS
Page 4 and 5:
Page 6 and 7:
Page 8 and 9:
Page 11:
OBJETIVOS DOCENTES Una vez estudiad
Page 14 and 15:
Page 16 and 17:
Page 18 and 19:
Page 20 and 21:
Page 22 and 23:
Page 24 and 25:
Page 26 and 27:
Page 28 and 29:
Page 30 and 31:
Page 32 and 33:
Page 34 and 35:
Page 36 and 37:
Page 38 and 39:
Page 40 and 41:
Page 42 and 43:
Page 44 and 45:
Page 46 and 47:
Page 48 and 49:
Page 51:
OBJETIVOS DOCENTES Una vez estudiad
Page 54 and 55:
Page 56 and 57:
Page 58 and 59:
Page 60 and 61:
Page 62 and 63:
Page 64 and 65:
Page 66 and 67:
Page 68 and 69:
Page 70 and 71:
Page 72 and 73:
Page 74 and 75:
Page 76 and 77:
Page 78 and 79:
Page 80 and 81:
Page 82 and 83:
Page 84 and 85:
Page 86 and 87:
Page 88 and 89:
Page 90 and 91:
Page 92 and 93:
Page 94 and 95:
Page 96 and 97:
Page 98 and 99:
Page 100 and 101:
Page 102 and 103:
Page 104 and 105:
Page 106 and 107:
Page 108 and 109:
Page 110 and 111:
Page 112 and 113:
Page 114 and 115:
Page 116 and 117:
Page 118 and 119:
Page 120 and 121:
Page 123:
3.1. Introducción 3.2. Modelos DEV
Page 127 and 128:
3.1. INTRODUCCI ÓN DEVS CL ÁSICO
Page 129 and 130:
ta : S → R + 0,∞ DEVS CL ÁSICO
Page 131 and 132:
¦ §¨ ( = δ ) ( ) ¤ ©
Page 133 and 134:
X = R Y = R S = {“pasivo”} δex
Page 135 and 136:
DEVS CL ÁSICO “responde”, el s
Page 137 and 138:
DEVS CL ÁSICO X = R Y = R S = {“
Page 139 and 140:
S = {“pasivo”,“activo”} ×
Page 141 and 142:
DEVS CL ÁSICO en consecuencia, el
Page 143 and 144:
donde: X = R Y = R S = {“pasivo
Page 145 and 146:
DEVS CL ÁSICO X = { (p, v) | p ∈
Page 147 and 148:
DEVS CL ÁSICO por el producto cart
Page 149 and 150:
DEVS CL ÁSICO como el modelo compu
Page 151 and 152:
3.4.1. Modelo de una secuencia de e
Page 153 and 154:
DEVS CL ÁSICO Las conexiones trans
Page 155 and 156:
DEVS CL ÁSICO D = {s0, p0, p1} Con
Page 157 and 158:
3.5.2. Intercambio de mensajes DEVS
Page 159 and 160:
DEVS CL ÁSICO Variables: parent //
Page 161 and 162:
when ( recibe mensaje-* (*,t) en el
Page 163 and 164:
DEVS CL ÁSICO un algoritmo Devs-co
Page 165 and 166:
- Un mensaje-i de inicialización,
Page 167 and 168:
ecibe tn_d* de d* actualiza la list
Page 169 and 170:
DEVS CL ÁSICO para la ejecución d
Page 171 and 172:
t // Reloj de la simulación hijo /
Page 173 and 174:
DEVS CL ÁSICO Qd = { (sd, ed) | sd
Page 175 and 176:
DEVS CL ÁSICO El conjunto de estad
Page 177 and 178:
DEVS CL ÁSICO El tiempo hasta la s
Page 179 and 180:
¥¦§¨ © A B δ ( ) = A
Page 181 and 182:
DEVS CL ÁSICO entrada X1. En la Fi
Page 183 and 184:
Ejercicio 3.7 DEVS CL ÁSICO Descri
Page 185 and 186:
3.8. SOLUCIONES A LOS EJERCICIOS So
Page 187 and 188: ©¤¤¦¡¢©¢ ¡¢£¤¥¦§¡
Page 189 and 190: donde: DEVS CL ÁSICO DEVS = 〈X,
Page 191 and 192: DEVS CL ÁSICO y que representa el
Page 193 and 194: DEVS CL ÁSICO Los eventos de entra
Page 195 and 196: donde: DEVS CL ÁSICO - La variable
Page 197: El comportamiento del sistema puede
Page 201: OBJETIVOS DOCENTES Una vez estudiad
Page 204 and 205: MODELADO DE SISTEMAS MEDIANTE DEVS
Page 288 and 289:
Page 290 and 291:
Page 292 and 293:
Page 294 and 295:
Page 296 and 297:
Page 298 and 299:
Page 300 and 301:
Page 302 and 303:
Page 304 and 305:
Page 306 and 307:
Page 308 and 309:
Page 310 and 311:
Page 312 and 313:
Page 314 and 315:
Page 316 and 317:
Page 318 and 319:
Page 320 and 321:
Page 322 and 323:
Page 324 and 325:
acoplamiento modular, 27 no modular
Page 326 and 327:
Page 328 and 329:
Page 330:
show all

Texto base de la asignatura - UNED

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?