Texto base de la asignatura - UNED

More documents

Recommendations

Info

MODELADO DE SISTEMAS MEDIANTE DEVS instante de tiempo actual, t. Se verifica: x = (p, v). El código de la cláusula when es el siguiente: when ( recibe mensaje-x (x,t) en el instante t ) { if not ( tl
DEVS CL ÁSICO un algoritmo Devs-coordinator a cada modelo acoplado. Con cada algoritmo Devscoordinator se comunican, desde un nivel jerárquico inmediatamente inferior, sus simuladores hijos: uno por cada componente del modelo acoplado. Estos simuladores son algoritmos Devs-simulator o Devs-coordinator, dependiendo de si el componente es atómico o compuesto, respectivamente. Cada simulador Devs-coordinator es responsable de la correcta sincronización de sus simuladores hijos, ya sean simuladores Devs-simulator u otros simuladores Devscoordinator. Para ello, el simulador Devs-coordinator intercambia mensajes con sus hijos y con su padre, y gestiona una lista ordenada de eventos, en la que va almacenando el instante en el que está planificado el próximo evento interno en cada uno de sus simuladores hijo. Esta lista de eventos está ordenada en función de los valores de tn. Cuando hay varios valores de tn iguales, los eventos se ordenan empleando la función select del componente acoplado al que está asociado el simulador Devscoordinator. El primer evento de la lista de eventos es aquel cuyo instante de disparo está más cercano en el tiempo. Si se llama D al conjunto de hijos del algoritmo, el primer evento de la lista puede calcularse de la expresión siguiente: tn = mín { tnd | d ∈ D } (3.30) Asimismo, el algoritmo Devs-coordinator calcula el instante de tiempo en que se produjo el último evento. Este cálculo se realiza a partir de los instantes de tiempo en que se produjo el último evento en cada uno de sus simuladores hijo: tl = máx { tld | d ∈ D } (3.31) Adicionalmente, el algoritmo Devs-coordinator debe gestionar los eventos de entrada que llegan a la interfaz del modelo DEVS acoplado que simula. El algoritmo del simulador abstracto Devs-coordinator es el siguiente: Devs-coordinator variables: parent // Simulador coordinador padre tl // Instante de tiempo del último evento ejecutado tn // Instante de tiempo del próximo evento planificado event-list // Lista de eventos, (d,tn_d), ordenada por tn_d y select d* // Hijo con evento interno planificado más próximo when ( recibe mensaje-i (i,t) en el instante t ) { envía mensaje-i (i,t) a cada uno de los simuladores hijo d 161
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:
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: MODELADO DE SISTEMAS MEDIANTE DEVS
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: when ( recibe mensaje-* (*,t) en el
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 212 and 213:
Page 214 and 215:
Page 216 and 217:
Page 218 and 219:
Page 220 and 221:
Page 222 and 223:
Page 224 and 225:
Page 226 and 227:
Page 228 and 229:
Page 231:
Page 234 and 235:
Page 236 and 237:
Page 238 and 239:
Page 240 and 241:
Page 242 and 243:
Page 244 and 245:
Page 246 and 247:
Page 248 and 249:
Page 250 and 251:
Page 252 and 253:
Page 254 and 255:
Page 256 and 257:
Page 258 and 259:
Page 260 and 261:
Page 262 and 263:
Page 264 and 265:
Page 266 and 267:
Page 268 and 269:
Page 271:
Page 274 and 275:
Page 276 and 277:
Page 278 and 279:
Page 280 and 281:
Page 282 and 283:
Page 284 and 285:
Page 286 and 287:
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?