Lee Rudd
Lee Rudd
Lee Rudd
estacionaria.
1.Introducción
1.1 Funcionalidades de los simuladores en estado estacionario.
Problemas de simulación
Dadas unas entradas y parámetros computar la salida
Estudios de sensibilidad
Como la simulación pero permite estudiar la influencia de ciertas variables,
variándolas sistemáticamente.
Problemas de diseño
Estudia diferentes conjuntos de especificaciones. Se puede “quitar” un parámetro y
añadir una nueva especificación. La ejecución dará un valor a ese parámetro.
Más difícil de resolver, y de mal especificar.
Problemas de optimización
Se plantea una función objetivo para mejorar el proceso. Se añaden desigualdades. Se
“quitan” especificaciones (grados de libertad para la optimización) y se resuelve el
problema.
Problemas de síntesis
Se conocen las entradas y las salidas y se quiere obtener el diagrama de flujo, así
como las condiciones de operación y los parámetros de los equipos.
Diseño de especificación
Optimización
Síntesis de procesos
8 Ejecutar el modelo
9 Examinar los resultados
· Muy empleados en la actualidad: ej. Aspen Plus · Arquitectura preferida en nuevos simuladores: ej.
(AspenTech), ChemCAD, PROII (SimSci), Hysim Aspen Custom Modeler (AspenTech), RTO-OPT
(Hyprotech), Hysys (Hyprotech, comprada (AspenTech), NOVA (Nova), gPROMS, ABACUSS.
recientemente por AspenTechnologies)
Incialización
2. Estrategia secuencial-modular
Grafos
5
4
1 3
2
5
4
1 3
2
5 1 1 Matriz
vértices
4 2 1 simétrica
1 3 3 1 1
Indica que vértices
2 4 1 1 1 1 están unidos
5 1 1
v. destino
1 2 3 4 5
1 1
d
v. origen
2 Son valores lógicos.
5
a 4 Booleanos.
3 1 1
1 b c e
3 4 1 1
5
2
arcos
a b c d e
1 -1 Matriz
2 +1 signos
vértices
3 -1 -1 Negativo: salida
4 +1 -1 +1 -1 Positivo: llegada
5 +1 +1
Identificación de bucles
Sobre la matriz de adyacencia
5
4
1 3
2
2 1 bucles
2 1 1
A= 3 1 1 A2= 3 1 1
4 1 4 1 1
5 1 5 1
1 2 3 4 5 1 2 3 4 5
1 1 1 1 1 1 1 1
2 1 1 2 1 1 1
A3= 3 1 1 1
A4= 3 1 1 1 1
bucles
4 1 1 4 1 1 1
5 1 1 5 1 1
conectados en tres pasos conectados en cuatro pasos
1 2 3 4
6 5
Diagrama de flujo
Particionado (y ordenación)
B C D
E F G
Empieza por C
C àDàFàG (sin salida) Lista: G
B C D
E F
B C D
Sigue con D (sin salida) Lista: D F G
B C
Sigue con CàE (sin salida) Lista: E D F G
A
Sigue con C (sin salida) Lista: C E D F G
B C
y ya igual A y B
B C D
E F
Empieza por C
C àDàFà (sin salida) Lista:F
B C D
CDAB
CDABàE (sin salida)
Lista: E F
IJKLMNL
IJK[LMN]
IJK[LMN]OPK
IJ[KLMNOP]
I [JKLMNOPSQR]
FH
FGCDEABC
FG[CDEAB]
FG[CDEAB]F
[FGCDEAB]
1 2 3 4 5 6 7 8 9 10 11 12
Especificar
parámetros Especificar
unidades entradas
Poner en
(unidad)k=0
Resolver
unidad k
SI
Es k>N? Solución
N=num unidades final
NO
Resultados
Poner en
k=k+1
corriente de rasgado
valor estimado valor calculado
1) Realizar el grafo dual. Las corrientes son nodos y los equipos que las unen
son arcos.
2) Se recorre el grafo. Si una corriente tiene sólo una entrada es eliminada
del grafo (y sustituida por la entrada).
3) Cuando se llega a un autobucle (autociclo) ésta es una corriente de corte.
Se elimina del grafo y se vuelve al punto 2) hasta eliminar el grafo.
NOTA: Si se llega a una situación donde el algoritmo no puede avanzar se
escoge una variable de corte y se procede.
S2 S6
Proceso
2 3 6 9
S3
S4 S5
6
S1 S2 S6 9
Grafo dual de
2
corrientes 2 6 6 9
3 6
S3 S4 S5
6
S2 9
2 2 6
6 9
3 6
S3 S5
S5 es un autociclo, se
elimina, junto con las S2
corrientes que entran y
salen de el.
S5 es la primera S3 S5
corriente de rasgado.
S3 S2
Se escoge según algún
criterio una de las dos como
corriente de corte. S2
Conjunto final:
S2 es la primera S2
corriente de rasgado. {S5,S2}
K 5 O 6
1 4
2 7
L M S
3
1 K 8
L S
M ¿Cuáles son las corrientes de corte?
2 7
K L L M S
3 Conjunto final:
L
{S1,S2}
5 4 6
O O
2) Escoger la familia de corrientes de rasgado que rompe los bucles una única vez.
a) Escoger un conjunto de corrientes que rasga todos los bucles una única vez
b) Seleccionar una unidad que tenga todas sus salidas en ese conjunto de corrientes
c) Reemplazar en ese conjunto de corrientes de rasgado las salidas de esa unidad por
sus entradas
d) Repetir hasta que no quedan conjuntos de rasgado nuevos por salir
e) Todos los conjuntos de rasgado que han aparecido son equivalentes. Como opción
definitiva escoger un conjunto con un menor número de corrientes.
2 3 6 9
S3
S4 S5
S3 S4 S5 S1
2 3 6 9 2 Bucle 1: {S3,S4,S5,S1}
S3 S4 S5 S1
2 3 6 9 2
S6 Bucle 2: {S5,S6}
6
S3 S4 S5 S1
2 3 6 9 2
Bucle 3: {S3,S4, S2}
S6
6
S2
2
Corriente S1 S2 S3 S4 S5 S6
Bucle
1 X X X X
2 X X
3 X X X
2) Escoger la familia de corrientes de rasgado que rompe los bucles una única vez.
2 9 6 3
{S3,S6} {S1,S2,S6} {S2,S5} {S6,S4} {S6,S3}
El objetivo es rasgar todos los bucles para poder integrar, la idea es que si se escoge un
conjunto que rasga más de una vez un bucle (ej: {S1,S2,S5}), esto implica que la
convergencia va a ser más lenta.
K 5 O 6
1 4
2 7
L M S
3
K 5 O 6
1 4
2 7
L M S
3
2 7 8 1
Bucle 1: {2,7,8,1}
L M S K L Bucle 2: {1,4,5}
3 4
5
Bucle 3: {8,1,4,6}
L O K
Bucle 4: {2,3}
6
S
Corriente 1 2 3 4 5 6 7 8
Bucle
1 X X X X
2 X X X
3 X X X X
3 X X
K S M O
{1,3} {5,8,3} {5,6,7,3} {5,6,2} {4,2}
S6
5 4
S1 S3
S5
S7 S2
S8 2 3
1 S4
Poner en
(unidad)k=0 ¿Qué ocurre si hay un diseño de especificación?
Dar estimaciones
iniciales al reciclo
Resultados
Poner en Poner Dar nuevas
k=k+1 k=0 estimaciones al reciclo
NO
SI Comprobar
Es k>N?
N=num unidades error<tolerancia
NO SI
Resolver Solución
unidad k final
Diseño de especificación
dado
¿x1? y1
Unidad 1 Unidad 2 Unidad 3
¿x2? Reciclo
x1
Unidad 1 Unidad 2 Unidad 3
¿Alguna relación?
CC
medido
¿x1? y1
Unidad 1 Unidad 2 Unidad 3
Iteración implícita
Reciclo
x2,guess
x2,calc
x1
Unidad 1 Unidad 2 Unidad 3
Iteración explícita
¿Pueden resolverse por el método de sustitución sucesiva?
CC
dado
¿x1? y1
Unidad 1 Unidad 2 Unidad 3
Iteración implícita
Hay que iterar sobre una corriente determinada
y1-ySP
h(x)=0; h(x)=
x2,guess- x2,calc
Reciclo
x2,guess
Conv
x2,calc
x1
Unidad 1 Unidad 2 Unidad 3
Iteración explícita
Se puede iterar sobre cualquier corriente
Sistema de ecuaciones
Matriz de incidencia
Grafo bipartito
Grafo en el que hay dos conjuntos de vértices y todos los arcos van
de un vértice del primer conjunto a un vértice del segundo
conjunto.
x1 ec1
x2 ec2
x3 ec3
Algoritmo de Christensen-Rudd
1) Se emparejan las variables que sólo aparecen en una ecuación o las ecuaciones que sólo
tienen una variable. Se eliminan los nodos (y sus arcos) del grafo.
2) Se procede así sucesivamente hasta que quedan nodos sin arcos, estos son los grados de
libertad.
3) Si se llega a una situación donde todos los nodos tienen 2 ó más arcos, es necesario
asignar (de forma arbitraria) una variable a una función y proceder a continuación
como en el punto uno.
NOTA: Este algoritmo proporciona una secuencia de resolución acíclica, excepto en el caso del
punto 3) que indica la presencia de bucles algebraicos. En ese caso las variables asignadas
arbitrariamente serían variables de rasgado que permitirían resolver el sistema de forma
acíclica. El uso de variables de rasgado en simulaciones orientados a ecuaciones está hoy
en desuso (NO en simulación secuencial-modular!)
Ejemplo
x1 f1
x2 f2
x3 f3
x4 f4
x5 f5
x4
x1 x2 x4
x6
Nótese que cuando hay varias posibilidades el
criterio ha sido arbitrario. Es mejor apoyarse en
el conocimiento heurístico del modelo.
x8
Descomposición de Dulmage-Mendelsohn.
Singularidad estructural
Cuando no se puede obtener un conjunto de salida la matriz es
estructuralmente singular.
Implica que hay un subconjunto de ecuaciones que tiene menos
variables que el número de ecuaciones del subconjunto.
ALGORITMO DE TARJAN
f1 f2 f3 f4 f5
f1 f2 f3 f4 f5 f6
f5
f4
f3
f1 f2 f3 f4 f5 f2
f1
f6
f3
[f1 f2 f3 f6] f4 f5
f1 f2 f3 f6 f2
f1
f6
f1 f2 f3 f6 f3
f2
f1
1 2 3 6 7
3 5
2 7
1 2 3 3
1 6
1 2 3 6 7 3 1 2 2
3 2 1
1 2 3 2 1
1 5 1 1
7
5
6
7 1 2 3 6 3
6 2
1 2 3 6 7 5
3
1 1 [2 3] 4 [6 7 5]
2
3
1
1 2 2
5
1
7
4
6
1 2 3 6 7 5 3
3
1 2 4 2
2
1
1
Matriz de incidencia
Pasos:
1. Asignar variables de entrada (alg. Christensen-Rudd)
2. Asignar conjunto de salida (alg. Duff)
3. Particionar y definir orden de resolución (alg. Tarjan)
k k
k
Q Q
Q
A
U
U
F1 F1
F1
f1 f1
F2 f1 F2
f2 F2 f2
F3 f2 F3
f3 F3 f3
F4 f3 F4
f4 F4 f4
f4
f5 T1 T1
T1
f6 T2 f6 T2
f6 T2
f7 T3 T3
f7 T3
T4 T4
T4
dT dT
dT
k
k k
Q
Q
F1
F1
F1
F3
f3 F3
F3
f3
f4
T1
T1
T1
T2
T2
T2
T3
T3
T3
T4
T4,f4 Q,f3
Q A U F2 F4 T4 d
T
f1 x
f2 x
f3 x
f4 x x
f5 x x x x
f6 x x
f7 x x x x
Q A U F2 F4 T4 d
T
f1 x
f2 x
f3 x
f4 x x
f5 x x x x
f6 x x
f7 x x x x
Q A U F2 F4 T4 d
T
f3 x
f5 x x x x
f7 x x x x
f1 x
f2 x
f4 x x
f6 x x
f3 x
f5 x x x x
f7 x x x x
f1 x
f2 x
f4 x x
f6 x x
f1 f2 f3 f4 f5 f6 f7
f3 f4 f6 f2 f1 f7 f5
Singularidad funcional
Singularidad funcional implica que el Jacobiano es singular para cualquier
valor de las variables, x. Ejemplo: