Texto base de la asignatura - UNED

More documents

Recommendations

Info

MODELADO DE SISTEMAS MEDIANTE DEVS 1.6.3. Nivel 2 - Función E/S Supongamos ahora que somos capaces de predecir cuál será la evolución del humo producido en respuesta a la caída de un rayo. Por ejemplo, sabemos que si la vegetación está húmeda, el fuego se extinguirá rápidamente. Si está seca, se propagará. El conocimiento acerca de este factor determinante de la respuesta (vegetación seca o húmeda), que es el estado inicial en que se encuentra el sistema, supone un conocimiento en el “Nivel 2 - Función E/S”. En el Nivel 2 se dispone del conocimiento de los niveles inferiores y además se conoce la influencia del estado inicial en la respuesta del sistema. Conocido el estado en que se encuentra inicialmente el sistema, se conoce la relación funcional entre las trayectorias de entrada y de salida. En otras palabras, el estado inicial permite determinar de manera unívoca cuál es la trayectoria de salida para una determinada trayectoria de entrada (véase la Figura 1.3). 1.6.4. Nivel 3 - Transición de estado En el Nivel 3 de la especificación del sistema, no sólo se aporta información sobre cómo afecta el estado inicial a la trayectoria de salida, sino también cómo evoluciona el estado en respuesta a la trayectoria de entrada. Los dos ejemplos mostrados en la Figura 1.4 tratan de ilustrar este concepto. En la parte superior de la figura se presenta la situación en la cual el bosque está en el estado {vegetación seca, sin quemar} cuando en el instante t0 cae un rayo. El estado en el que se encuentra el bosque cuando cae el segundo rayo es {vegetación seca, quemado}. Este estado refleja el hecho de que el fuego ha estado ardiendo en el intervalo de tiempo que va desde t0 hasta t1. Dado que el bosque se encuentra en un estado diferente, el efecto del segundo rayo es diferente al efecto del primero: puesto que cuando cae el segundo rayo queda poco por quemar, el efecto del segundo rayo es despreciable. Por el contrario, en la parte inferior de la Figura 1.4 se muestra la situación en la cual el bosque está en el estado {vegetación húmeda, sin quemar} cuando cae el primer rayo. El rayo no produce un incendio importante, pero seca la vegetación, de modo que el estado cuando cae el segundo rayo es {vegetación seca, sin quemar}. Por este motivo, la caída del segundo rayo produce un incendio importante, análogamente a lo que sucedía con el primer rayo en la situación mostrada en la parte 24
ayos t0 rayos t0 INTRODUCCIÓN AL MODELADO Y LA SIMULACIÓN humo t0 Estado inicial = vegetación seca humo Estado inicial = vegetación húmeda Figura 1.3: La especificación de Nivel 2 toma en consideración el estado inicial. rayos t0 rayos t0 t1 t0 t0 humo Estado inicial = vegetación seca, quemada Estado inicial = vegetación seca, sin quemar t1 humo t0 Estado inicial = vegetación seca, sin quemar Estado inicial = vegetación húmeda, sin quemar Figura 1.4: La especificación de Nivel 3 describe además la evolución el estado. rayos lluvia viento celda t1 t1 humo Figura 1.5: Especificación de Nivel 4 - Estructura del bosque. 25
Page 1: MODELADO DE SISTEMAS MEDIANTE DEVS
Page 4 and 5: MODELADO DE SISTEMAS MEDIANTE DEVS
Page 11: OBJETIVOS DOCENTES Una vez estudiad
Page 51: OBJETIVOS DOCENTES Una vez estudiad
Page 76 and 77:
MODELADO DE SISTEMAS MEDIANTE DEVS
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:
Page 206 and 207:
Page 208 and 209:
Page 210 and 211:
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?