Asignatura: 68903050 SIMULACIN DE SISTEMAS

SEGUNDA PRUEBA DE EVALUACIN CONTINUA

Enero de 2017. DURACIN: 2 horas
No se permite ningn material, excepto calculadora no programable.
El examen consta de 2 partes: Una 1 parte con 14 cuestiones tipo test (7 puntos) y
una 2 parte con dos temas cortos a desarrollar (3 puntos). Para que se corrija la 2
parte es necesario obtener 2,5 puntos en el test (cinco contestaciones correctas sin
ningn fallo). Las respuestas de test errneas descuentan media respuesta correcta
(0,25 puntos).

1 Parte. Tipo test

1- Entre las caractersticas de la simulacin cualitativa podemos decir:
a. Genera predicciones de comportamiento nicas.
b. Las dependencias de las variables se manipulan como
restricciones a los posibles valores de las variables.
c. El tiempo se representa por medio de un conjunto continuo e
infinito de instantes temporales.
d. Utiliza conjuntos infinitos para los valores posibles de las
variables.
2- Algunas de las caractersticas de los computadores analgicos son:
a. Baja velocidad, baja precisin, poca flexibilidad.
b. Gran velocidad, alta precisin, poca flexibilidad.
c. Gran velocidad, baja precisin, poca flexibilidad.
d. Gran velocidad, baja precisin, buena flexibilidad.
3- Indique cul de las siguientes caractersticas para un lenguaje de
simulacin corresponde al estndar CSSL67:
a. Presenta dependencias con otros lenguajes de propsito
general.
b. Define una estructura con tres regiones asociadas.
c. Define una estructura con dos regiones asociadas al modelo y
al experimento.
d. Presentan una estructura combinada para la descripcin del
modelo y el experimento asociado.
4- Se entiende por entidad:
a. es un modelo que refleja el comportamiento del sistema por
lotes.
b. es el conjunto de modelos y sus relaciones en un sistema por
lotes.
c. es el conjunto de estados del proceso a lo largo del tiempo de
un sistema por lotes.
d. es un elemento u objeto que forma parte del proceso por lotes.
5- Cul de las siguientes afirmaciones es falsa: La inestabilidad de los
sistemas de integracin numrica en la simulacin analgica pueden
ser debidos a:
a. A la representacin binaria de los sistemas digitales.
b. No puede haber inestabilidad si se elige el mtodo y el paso
de integracin adecuados.
c. A la eleccin de un paso de integracin demasiado largo.
d. A la inadecuacin del mtodo de resolucin elegido.
6- Entre las caractersticas de los sistemas de simulacin simblica,
cual es falsa:

a. Se utiliza un sistema de tiempos similar a los sistemas

muestreados.
b. La determinacin de los valores de las variables se hace por
propagacin de restricciones.
c. El tiempo se representa mediante instantes temporales de os
que slo se conoce una relacin de orden.
d. Se distinguen en general dos etapas: resolucin y prognosis.
7- En la simulacin de sistemas por lotes, los mtodos ms utilizados
para verificar que la distribucin de datos de entrada se ajusta
realmente a ellos, son:
a. La prueba t de Student y el anlisis de regresin.
b. El Test de Kolmogorov-Smirnov y el anlisis de regresin.
c. La prueba 2 de Pearson y el anlisis de regresin.
d. La prueba 2 de Pearson y el Test de Kolmogorov-Smirnov.
8- En la simulacin de sistemas continuos, cul de las siguientes
afirmaciones es falsa:
a. Los simuladores analgicos resuelven simultneamente todas
las ecuaciones.
b. La velocidad de ejecucin de una simulacin digital es mayor
que una analgica.
c. La diferencia fundamental entre simulacin analgica y digital
es la forma de resolucin de las ecuaciones.
d. Los programas de simulacin de sistemas continuos permiten,
en su mayora, la simulacin de sistemas discretos y
muestreados.
9- Cul de las caractersticas de los sistemas de simulacin analgica
es falsa:
a. Presentan gran velocidad de clculo.
b. Tiene una complejidad limitado.
c. Tienen alta precisin.
d. Presenta poco flexibilidad.
10- Para la validacin formal de un modelo de simulacin, la prueba de
Turing es:
a. Una prueba terica de estructura directa.
b. Una prueba de comportamiento orientada a estructura.
c. Una prueba emprica de estructura directa.
d. Una prueba de patrn de comportamiento.
11- Cul de las siguientes afirmaciones es falsa: Los lenguajes de
simulacin de sistemas continuos presenta las siguientes
dificultades
a. Falta de robustez o garanta de validez de los resultados.
b. Incompatibilidad con otros elementos de software empleados
en plantas industriales.
c. Falta de versatilidad de los paquetes de simulacin.
d. Falta de entornos grficos de modelado que permitan construir
el modelo de forma rpida y clara.
12- En los sistemas de simulacin basada en reglas.
a. Las variables se representan habitualmente por medio de
duplas Atributo-Valor.
b. Este mecanismo para modelar relaciones se adecua mejor a
los sistemas continuos.
c. Las variables se representan habitualmente por medio de
ternas Objeto-Atributo-Valor.

d. El uso para modelar sistemas por lotes es adecuado pero

ofrece poca flexibilidad.
13- Elementos que aparecen en la simulacin combinada:
a. Entidades-relaciones, reloj sncrono, monitor de eventos
discretos, monitor de incrementos temporales, integradores,
distribuciones y estadsticas.
b. Entidades-relaciones, reloj sncrono, monitor de eventos
discretos, monitor de incrementos temporales, integradores,
distribuciones, estadsticas y demonios.
c. Elementos temporales y elementos de estado.
d. Eventos temporales y eventos de estado.
14- En las tcnicas de anlisis de sensibilidad de los sistemas de
simulacin.
a. Los diagramas de dispersin proporcionan una forma
cualitativa de estudiar las dependencias de las salidas
respecto de las entradas.
b. El anlisis de regresin proporciona un modelo cualitativo para
el estudio de las dependencias de las salidas respecto de las
entradas.
c. La construccin de superficies de respuesta proporciona un
modelo cualitativo para el estudio de la sensibilidad.
d. Los diagramas de dispersin permiten realizar un estudio
cuantitativo de la senilidad del sistema.
2 Parte. Preguntas de desarrollo
1. Algoritmo de simulacin QSIM para la simulacin simblica.
Este algoritmo realiza de forma repetida el proceso de generacin de los
sucesores de un estado, para ello toma de forma repetida un estado activo,
genera todos los posibles estados sucesivos y elimina aquellos para los que
detecta inconsistencias.
Dado que a menudo no se puede reducir el nmero de sucesores a uno, lo
que se genera es un rbol en el que los caminos desde el estado inicial
hasta cualquiera de los estados finales es un posible comportamiento del
sistema.

Figura 1: rboldecomportamientos
El proceso es el siguiente:

Se inicia la lista de ACTIVOS con el estado inicial, y se repiten los siguientes

pasos hasta que la lista queda vaca o se termina algn recurso:

Seleccionar un estado de activos.

Determinar las posibles transiciones desde este estado.
Generar la lista de tuplas de transiciones para cada restriccin (pares o
tros), realizando un filtrado para consistencia.
Realizar un filtrado de consistencia entre pares de tuplas, de forma que
estn de acuerdo en las transiciones de los parmetros compartidos.
Generar todas las posibles interpretaciones globales ( estados
cualitativos del sistema)
Aplicar reglas de filtrado global a los nuevos estados cualitativos,
poniendo los que queden en la lista de activos.

2. Determinacin del nmero de ejecuciones a

experimento de simulacin y las reglas de parada.

realizar

de

un

La determinacin del nmero de ejecuciones a realizar antes de detener un

experimento es una de las decisiones que ms afecta a la eficiencia de la
simulacin. El nmero de ejecuciones, o el tamao de la muestra, se
determina por el nivel de confianza requerido en la salida. Para obtener el
nivel de confianza deseado se ha de tener un conocimiento del
comportamiento de la salida al menos superficial.
Para juzgar el comportamiento de la salida antes de establecer el nivel de
confianza, un mtodo adecuado puede ser analizar los resultados de unas
pocas ejecuciones.
Si los valores de la salida se pueden considerar independientes y
normalmente distribuidos, el intervalo de confianza aproximado se puede
emplear para determinar el tamao de muestra requerido, el cual ser
necesario para calcular el valor medio final del nivel de confianza. As, si se
desea calcular el valor medio de la salida x, que se mantenga dentro de un
intervalo de d unidades con un nivel de confianza a, se tiene que:

Prob [|x |< d ] =a

La probabilidad de que la diferencia entre el valor medio y la media est en el
intervalo es a, donde:

d=t

a
1 , N 1
2

N=t 2

(1 a2 , N1)

2
d2

Como en la estimacin de la varianza 2 el valor de la t de Student vara con

N, la ltima relacin slo puede dar una estimacin del tamao de la muestra
N. De todas formas, si el valor de se calcula al final de cada ejecucin, este
valor se puede usar como una regla de parada de la simulacin. En algunos
casos es ms prctico estimar valores de N en algn punto de las distintas
ejecuciones, y testear el valor de d slo cuando se alcance el valor estimado
para N.
En la siguiente figura se muestra un diagrama de flujo general para la
implementacin de la regla de parada, estimando el nmero de ejecuciones
requeridas de forma iterativa. El parmetro N0 representa un valor
seleccionado para proporcionar una primera estimacin razonable de 2, y d
representa el valor calculado del intervalo de confianza.

Figura 2: Diagramadeflujodelaregladeparada