Mtodos de resolucin de ecuaciones no lineales II: Mtodos que no requieren derivadas y de primer orden

156
Estos mtodos se desarrollaron con el formato de punto fijo, x = g(x), donde x y g(x) son
vectores de variables de n corrientes.
Estos mtodos se utilizan a menudo en la convergencia de las corrientes de recirculacin,
siendo normalmente x una estimacin inicial de la corriente, y g(x) el valor calculado despus
de realizar los clculos de las unidades conectadas por el diagrama de flujo hasta volver a la
corriente de recirculacin (despus de un paso completo por el diagrama de flujo).


5. MTODOS DE SUSTITUCIN DIRECTA

El mtodo ms sencillo para el modo del punto fijo es el de sustitucin directa. En este caso se
define x
k+1
= g(x
k
), con un valor inicial estimado de x
0
. Se considera una expansin en serie
de Taylor de la funcin g (x):
( ) ( ) ( ) ...
1 1
1
- -

o
o
-
- -
-
k k
T
x
k k
x x
x
g
x g x g
k

Si se supone que o g /ox 0, por lo que ste es el trmino dominante cerca de la solucin x
*
.
Si se supone tambin que es prcticamente constante cerca de la solucin, entonces:
( ) ( ) ( )
1 1 1
1
- - -
-

o
o
- -
-
k k
T
x
k k k k
x x
x
g
x g x g x x
k

y en consecuencia para:
k k k k
x x x x IA A -
- - 1 1

T
x
g

o
o
I
se pueden escribir las expresiones de la norma:
k k
x x A I s A
-1

A partir de esta expresin se puede demostrar que la convergencia es lineal, pero la velocidad
de las iteraciones depende de I. Si se utiliza la norma eucldea, entonces I = /
max
, que es
el mayor valor propio de I, de tal modo que para las iteraciones se tendra:
( )
0
max
1
x x
k
k
A / s A
-

Una condicin necesaria y suficiente para que el mtodo converja es que /
max
<1. Esta
relacin se conoce como una contraccin mapping si /
max
<1. Es ms, la velocidad de
convergencia depende de la proximidad de /
max
a cero. El nmero de iteraciones (n
iter
) para
llegar a Ax < o (una tolerancia cercana a 0) se puede estimar mediante la expresin:
[ ]
max
0
ln / / ln / A o x n
iter

Por ejemplo, si o = 10
-4
y A x
0
= 1, se tienen el siguiente nmero de iteraciones:
/
max
= 0.1, n = 4
Mtodos de resolucin de ecuaciones no lineales II: Mtodos que no requieren derivadas y de primer orden

157
/
max
= 0.5, n = 14
/
max
= 0.99, n = 916
Este mtodo asegura una convergencia lenta pero segura. Es un mtodo til en el caso de que
otros mtodos aplicados sean inestables. Se utiliza sobre todo en la convergencia de
recirculaciones. En las Figs. 3a y 3b se muestra la diferencia entre una convergencia rpida y
otra ms lenta

Fig. 3a. Convergencia rpida Fig. 3b. Convergencia lenta


6. MTODOS DE RELAJACIN

Para problemas donde /
max
es prximo a 1, la sustitucin directa como se ha visto, tiene una
convergencia muy lenta. Para evitar este fenmeno se modifica el punto o valor de la funcin
g(x) de modo que se reduce /
max
. El objetivo de este mtodo es modificar la funcin de
manera que:
( ) ( ) ( )
k k k k
x x g x h x c - - c =
-
1
1

donde c se adapta dependiendo de los cambios en x y g(x).
Los dos mtodos ms utilizados para la convergencia de las recirculaciones son el mtodo del
valor propio dominante (DEM) y el mtodo iterativo de Wegstein.
6.1. Mtodo del valor propio dominante (DEM)
Para este mtodo se estima el valor de /
max
mediante la relacin:
1
max
-
A
A
= /
k
k
x
x

despus de, por ejemplo, 5 iteraciones.
A partir de la transformacin de la ecuacin del punto fijo se tiene:
( ) ( ) ( ) ( )
1 1 1 1 1 - - - - -
- d -
o
o
= - - A
k k k k k k k k k
x x x x
x
h
x h x h x x x
Mtodos de resolucin de ecuaciones no lineales II: Mtodos que no requieren derivadas y de primer orden
158
siendo d = oh/ox = cI+(1-c)I. Se estima el factor de relajacin c de tal modo que se
minimiza /
max
para d. Si c = 1 se tiene el mtodo de sustitucin directa, para valores de
comprendidos entre 0 y1 se tiene una interpolacin, y para c>1 se tiene una extrapolacin.
Para elegir un valor ptimo de c se considera el mayor valor propio para d, dado por:
( ) 0 0 - d I
sustituyendo el valor de d, se llega a:
( ) ( ) [ ] 0 / 1 c 0 - - c - I c I
A partir de esta expresin se deduce que (c-1+0)/c corresponde al valor propio de I y
entonces 0 = 1 +c(/-1). Para encontrar 0
max
es preciso calcular el mayor y el menor de los
valores propios de I, as como el factor de relajacin. De hecho, representando 0
max
frente a
c se puede demostrar que el ptimo c* tiene lugar cuando:
( ) ( ) ( ) ( )
2
max
2
min
1 1 1 1 - / c - - / c - ( )
min max
2 / 2 * / - / - c
/
max
se puede calcular a partir de los cambios en x, aunque /
min
no es tan fcil de determinar,
y para el mtodo del valor propio dominante(DEM) se ha de hacer una suposicin muy
importante que implica que /
max
, /
min
>0 y que /
max
= /
min
. En definitiva, se llega a que
c
*
=1/(1-/
max
).
Es importante destacar que si se modifica esta suposicin, y que los valores propios mximo y
mnimo de d son muy diferentes, el mtodo no converge. Esta aproximacin se ha hecho
extensiva al mtodo generalizado del valor propio dominante (GDEM) en el que se estiman
varios valores propios para la determinacin del siguiente paso de iteracin.

6.2. Mtodo de Wegstein
Por otro lado, el mtodo de Wegstein calcula el factor de relajacin aplicando un mtodo de la
secante independientemente para cada componente de x:
( )
( ) ( )
1
1
1
-
-
-
-
-
-
k
i
k
i
k
i
k
i k
i
k
i
k
i
x f x f
x x
x f x x
Si se definen
f
i
(x
k
) = x
k
g
i
(x
k
) y
( ) ( )
1
1

-
-
-
-

k
i
k
i
k
i
k
i
i
x x
x g x g
s
se tiene:
( )
( ) ( )
1
1
1
-
-
-
-
-
-
k
i
k
i
k
i
k
i k
i
k
i
k
i
x f x f
x x
x f x x
( ) [ ]
( ) ( )
1 1
1
- -
-
- - -
-
- -
k
i
k
i
k
i
k
i
k
i
k
i k
i
k
i
k
i
x g x x g x
x x
x g x x
( ) [ ]
( ) ( )
k
i
k
i
k
i
k
i
k
i
k
i k
i
k
i
k
i
x g x g x x
x x
x g x x
- - -
-
- -
- -
-
1 1
1

Mtodos de resolucin de ecuaciones no lineales II: Mtodos que no requieren derivadas y de primer orden

159
( ) [ ]
i
k
i
k
i
k
i
s
x g x x
-
- -
1
1

( ) ( )
k
i i i
k
i
x x g c - - c 1
donde c
i
= 1/[1 s
i
].
Esta aproximacin funciona adecuadamente en diagramas de flujo en los que los componentes
no interaccionan excesivamente (por ejemplo, reactores sin recirculacin). Las interacciones
debidas a bucles de recirculacin pueden generar dificultades a este mtodo.
Para garantizar un funcionamiento estable, los factores de relajacin de ambos mtodos, DEM
y Wegstein, se acotan y se evitan extrapolaciones excesivamente grandes.
Los algoritmos mencionados en este apartado 6 se pueden resumir en los siguientes pasos:
1. Comenzar con una estimacin de x
0
y g(x)
2. Realizar un nmero finito de iteraciones (normalmente entre 2 y 5) y comprobar la
convergencia en cada iteracin
3. Mtodo del valor propio dominante: Aplicar la aceleracin c
*
=1/(1-/
max
) con un valor
acotado de c para encontrar el siguiente punto y volver al paso 2.
Mtodo de Wegstein: Aplicar la aceleracin: c
i
= 1/[1 s
i
]. Para un valor acotado de c
i

para encontrar el siguiente punto. Iterar hasta convergencia.
Se muestra a continuacin un ejemplo para ilustrar la aplicacin de los mtodos de primer
orden, en el que se destaca el funcionamiento del mtodo y la velocidad de convergencia.


Ejemplo: Resolver el sistema:
( ) ( )
1
2 1
x 1 7 . 0 exp 5 . 0 1 x
-
- -
( ) ( )
2 1 2
x x 5 . 0 exp 3 . 0 2 x - -
Utilizando el mtodo de sustitucin directa, comenzando por x
1
= 0.8 y x
2
= 0.8, se estima el valor
propio mximo mediante una secuencia de iteraciones
La sustitucin directa implica: x
k+1
= g(x
k
), obtenindose las siguientes iteraciones:

k x
1
k
x
2
k

0 0.8 0.8
1 0.9248 1.3323
2 1.10378 1.0726
3 1.02478 1.10933
4 1.0368 1.12796
5 1.04284 1.11447
6 1.038503 1.11778

Este mtodo converge hacia x
1
= 1.03957 y x
2
= 1.11756 en 7 iteraciones con Ax
k
< 10
-3
.
A partir de estas iteraciones se puede estimar el mximo valor propio mediante:
Mtodos de resolucin de ecuaciones no lineales II: Mtodos que no requieren derivadas y de primer orden
160
/
max
= x
5
x
4
/ x
4
x
3
= 0.6666
Tambin a partir de Ax
5
= 0.01478 y o = 10
-3
se puede estimar el nmero de iteraciones necesarias
para del mtodo de sustitucin directa:
n
iter
= ln(o/Ax
5
) / ln /
max
= 7

El mtodo de Wegstein es el ms rpido y fiable para la convergencia de recirculaciones. Es
aplicable a cualquier nmero de corrientes y presenta la posibilidad de ajuste de parmetros
tales como cota superior e inferior y la aceleracin del paso de iteracin. En la Fig. 4. se
muestra grficamente la aproximacin del mtodo de Wegstein, en la Fig. 5 se muestra una
ventana de HYSYS donde se pueden introducir los parmetros de este mtodo


Fig. 4. Convergencia del mtodo de Wegstein


Fig. 5. Ventana de dialogo de HYSYS para el ajuste de parmetros del mtodo de Wegstein





Mtodos de resolucin de ecuaciones no lineales II: Mtodos que no requieren derivadas y de primer orden

161
7. BIBLIOGRAFA

- AspenTech, ASPEN Plus 11.1 User guide (2002).
- Biegler, L.T., Grossmann, I.E., Westerberg, A.W., Systematic Methods of Chemical
Process Design, Prentice Hall, Nueva Jersey (1997).
- Hyprotech, HYSYS users guide.
- Seider, W.D., Seader, J.D., Lewin, D.R., Process Design Principles, John Wiley & Sons,
Nueva York (1999)


II. Simulacin de procesos en la industria
qumica y de procesos: HYSYS


Recirculaciones: particin y
seccionado de corrientes
Susana Luque Rodrguez

Departamento de Ingeniera Qumica
y Tecnologa del Medio Ambiente
Universidad de Oviedo


Recirculaciones: particin y seccionado de corrientes
165
NDICE

1. INTRODUCCIN.................................................................................................... 165
2. PARTICIONADO (PARTITIONING)..................................................................... 166
3. SECCIONADO (TEARING).................................................................................... 168
4. EFECTO DE LAS ESTRATEGIAS DE SECCIONADO SOBRE LOS
MTODOS TIPO NEWTON.................................................................................. 175
5. DESCOMPOSICIN PARA SIMULACIN ORIENTADA A ECUACIONES 177
6. BIBLIOGRAFA...................................................................................................... 178


1. INTRODUCCIN

En este tema se van a abordar tres aspectos relacionados con la topologa de los diagramas de
flujo y las recirculaciones: particionado (partitioning), establecimiento de orden para
resolucin (precedence ordering) y seccionado de corrientes (tearing). Para definir estos
conceptos usaremos un diagrama de flujo ejemplo de la bibliografa (Biegler et al., 1997, p.
272), mostrado en la figura 1, el cual queremos resolver de la forma ms eficaz posible.


Figura 1. Diagrama de flujo ejemplo para el particionado y establecimiento de orden (Biegler
et al., 1997).
Recirculaciones: particin y seccionado de corrientes
166
2. PARTICIONADO (PARTITIONING)

En el diagrama de flujo de la figura 1, las unidades A, B, C, D y E se encuentran en un bucle
(con recirculacin) y, por lo tanto, tendrn que ser calculadas conjuntamente. Observando con
detalle, se puede concluir que las unidades F y G tambin se tienen que aadir al grupo
anterior, que se puede resolver en primer lugar, dado que no hay recirculaciones de otras
unidades del diagrama de flujo hacia ninguna de estas unidades.
Las unidades que se resuelven como un grupo se llaman particiones, y encontrarlas se
denomina particionado o partitioning mientras que el orden en que se deben resolver se
conoce como precedence ordering. El agrupamiento es nico, mientras que el orden puede
no serlo y depende del diagrama de flujo particular.
El ejemplo es sencillo y no va a haber muchos problemas en buscar las particiones y
evaluarlas. Sin embargo, algunos diagramas de flujo tienen cientos de unidades y estas tareas
son ms difciles. Para ello, existe un algoritmo que se va a aplicar en este ejemplo.
Se puede empezar por cualquier unidad, por ejemplo, la unidad I, y sta se pone en una lista,
llamada lista 1:
Lista 1: I
La lista se extiende siguiendo las corrientes de salida a partir de la ltima unidad de la lista y
continuando hasta que se encuentra una unidad repetida o bien no hay ms corrientes. En el
ejemplo, I tiene una corriente de salida que entra en J, la cual a su vez tiene una corriente de
salida que va a L y as sucesivamente, obtenindose la siguiente lista:
Lista 1: IJKLMNL
Sin embargo, la unidad L se repite en la secuencia, lo cual indica la existencia de un bucle que
va de L a M, de M a N y de N de nuevo a L. Por lo tanto estas unidades deben estar en un
grupo, por lo que se unen y consideran como una entrada nica en la lista 1.
Lista 1: IJK {LMN}
Se contina trazando el camino con corrientes de salida:
Lista 1: IJK {LMN} OPK
Y de nuevo se observa una unidad (K) que se repite, existiendo un bucle desde K al grupo
{LMN} a travs de O, P y K, agrupando todas estas unidades en un bucle, la lista 1 tiene el
aspecto siguiente:
Lista 1: IJ{KLMNOP}
y continuamos, para obtener:
Lista 1: IJ{KLMNOP}SQRJ
Donde nuevamente se repite la unidad J:
Lista 1: I{JKLMNOPSQR}
En este punto no hay unidades del ltimo grupo de las que salgan corrientes hacia otras
unidades del diagrama de flujo. Se elimina este grupo de la lista 1 y se pasa a una segunda
lista. (lista 2)
Lista 2: {JKLNOPSQR}
Recirculaciones: particin y seccionado de corrientes
167
y esas unidades se eliminan del diagrama de flujo, puesto que su anlisis ha concluido.
Volviendo a la lista 1, sta est constituida por la unidad I, que no ha sido enviada a la lista 2:
Lista 1: I
Y se buscan ms corrientes de salida que no vayan a unidades ya eliminadas, observndose
que no existe ninguna, por lo que la unidad I se elimina de la lista 1 y pasa a estar a la cabeza
de la lista 2, eliminndola tambin del diagrama de flujo:
Lista 2: I{JKLMNOPSQR}
Lista 1:
La lista 1 est vaca y para continuar se toma otra unidad cualquiera del diagrama de flujo
restante y se coloca en la lista, por ejemplo, la unidad F:
Lista 1: F
Y nuevamente se contina el trazado de corrientes de salida:
Lista 1: FH
y nuevamente se para, puesto que H no tiene ms salidas (excepto a unidades que ya han sido
eliminadas y puestas en la lista 2), por lo que se elimina de la lista 1 y se coloca a la cabeza de
la lista 2:
Lista 2: HI{JKLMOPSQR}
Lista 1: F
Comenzando meramente en la unidad F seguimos la lista 1:
Lista 1: FGCDEABC
Observndose que la unidad C se repite, por lo que se agrupa junto con las unidades que hay
entre las dos apariciones de c:
Lista 1: FG{CDEAB}
Continuamos el trazado obteniendo:
Lista 1: FG{CDEAB}F
y agrupando F y G con las otras unidades se tiene:
Lista 1: {FGCDDEAB}
En este punto se observa que no hay ms corrientes de salida, por que este grupo se elimina de
la lista 1 y se coloca a la cabeza de la lista 2, eliminando tambin las unidades
correspondientes del diagrama de flujo:
Lista 2: {FGCDEAB}HI{JKLMNOPSQR}
Lista 1:
La lista 1 est vaca y ya no quedan ms unidades en el proceso, con lo cual se ha acabado el
anlisis. La lista 2 es l lista de particiones con un orden de clculo. Se puede resolver primero
la particin {FGCDEAB}, luego la unidad H, a continuacin la unidad I y finalmente la
particin restante {JKLMNOPSQR}.
El algoritmo funciona independientemente de la unidad con la que se empiece en la lista 1.
Proporciona un conjunto de particiones (es decir, de unidades agrupadas) nico. Sin embargo,
Recirculaciones: particin y seccionado de corrientes
168
el orden entre particiones puede variar, aunque ello no sucede en este ejemplo sencillo que se
acaba de emplear.


3. SECCIONADO (TEARING)

El siguiente paso es cmo se van a resolver las particiones que contienen ms de una unidad.
En el ejemplo hay dos. La primera es sencilla, por lo que se va a ilustrar la metodologa de
seccionado aplicada a la segunda (ms grande), cuyo diagrama de flujo se muestra en la figura
2.
En esta parte del diagrama de flujo se ven que en algunas unidades hay una sola corriente que
entra y una sola que sale, por lo que stas unidades se pueden eliminar, ya que no aaden nada
a la topologa del diagrama base, quedando el diagrama como se muestra en la figura 3.

Figura 2. La segunda particin del diagrama
de flujo de la figura 1. Todas las
corrientes y unidades que no
pertenecen a esta particin se han
eliminado (Biegler et al., 1997).

Figura 3. Reduccin de la segunda particin
del diagrama de flujo mostrada en la
figura 2. La reduccin se consigue
eliminando las unidades que tiene
una sola entrada y una sola salida
(Biegler et al., 1997).

El diagrama se puede rescribir de forma esquemtica y numerando las corrientes como se
muestra en la figura 4.
Comparando las figuras 2 y 3, se observa que si se decide seccionar la corriente 8 (la unin
entre S y K) sera posible seleccionar para seccionar cualquier otra de las corrientes que hay
en el camino ente ambas unidades. Para problemas pequeos como ste, es posible encontrar
un buen sistema de seccionado mediante inspeccin directa, pero en diagramas ms complejos
se necesita un procedimiento sistemtico. La seleccin de la(s) corriente(s) a seccionar es muy
Recirculaciones: particin y seccionado de corrientes
169
importante, porque el funcionamiento de los algoritmos de punto fijo depende en gran medida
de dicha eleccin.



Figura 4. Topologa de la particin de la figura 3 (Biegler et al., 1997).

Con este objetivo se va a considerar inicialmente un mtodo genrico sencillo, que
posteriormente se utilizar para introducir otras metodologas habitualmente empleadas. El
mtodo trata el problema de eleccin de corrientes a seccionar como una optimizacin con
variables binarias (0-1) o como una programacin entera. Introducido en 1973, se conoce
como set covering problem y permite una flexibilidad considerable en la seleccin del
sistema deseado de corrientes seccionadas. Adems, la formulacin con variables enteras
permite interpretar una gran variedad de mtodos basados en la teora grfica de un modo
compacto. La seleccin se trata como un problema de minimizacin (del nmero de corrientes
o variables seccionadas) sujeto a la restriccin de que se deben romper todos los bucles al
menos una vez. El primer paso es la identificacin de bucles, lo cual se ilustrar con el
siguiente ejemplo.


Ejemplo: Bsqueda de bucles en la figura 4
Comenzamos con cualquier unidad en la particin; por ejemplo, la unidad K
K (1) L (2) M (3) L
Y observamos que L se repite, por lo que las dos corrientes 2 y 3 que conectan las dos apariciones de L
se sitan en una lista de bucles, denominada lista 3:
Lista 3: {2, 3}
Comenzamos de nuevo en la unidad justo antes del bucle y buscamos otros caminos alternativos:
K (1) L (2) M (3) L

(7) S (8) K
Ahora K se repite, por lo que se colocan las corrientes {1, 2, 7, 8} en la lista de bucles:
Lista 3: {2, 3}, {1, 2, 7, 8}
Recirculaciones: particin y seccionado de corrientes
170
Volvemos a S y buscamos un camino alternativo que salga de esta unidad, encontrando que no hay. En
M sucede lo mismo. Si volvemos a L encontramos otro camino alternativo:
K (1) L (2) M (3) L

(7) S (8) K

(4) O (5) K
repitindose nuevamente K, por lo que se aade {1, 4, 5} a la lista de bucles:
Lista 3: {2,3}, {1, 2, 7, 8}, {1, 4, 5}
Volviendo a la unidad O en la ltima rama, es posible identificar otro camino alternativo:

K (1) L (2) M (3) L

(7) S (8) K

(4) O (5) K

(6) S (8) K
en la nuevamente se repite K, por lo que se coloca {1, 4, 6, 8} en la lista de bucles:
Lista 3: {2,3}, {1, 2, 7, 8}, {1, 4, 5}, {1, 4, 6, 8}
Volviendo a S, O, L y finalmente a K, se encuentra que ninguna de estas unidades tienen caminos
alternativos saliendo de ellas. Dado que se ha regresado a la primera unidad de la lista, el anlisis est
completo y hay nicamente cuatro bucles en esta particin. Un listado de los mismos en una tabla de
incidencias se muestra a continuacin:

Tabla 1.Tabla de incidencias de bucles para la particin
Corriente
Bucle 1 2 3 4 5 6 7 8
1 X X
2 X X X X
3 X X X
4 X X X X


La tabla de incidencias es la base para una matriz, A, con elementos:
a
ij
= 1 si la corriente j est en el bucle i
0 en caso contrario
De este modo, la estructura de la matriz es idntica a la tabla de incidencias. Se define a
continuacin la seleccin de las corrientes a seccionar a travs de una variable entera y
j
para
cada corriente j. Los valores ptimos de estas variables determinan:
y
j
= 1 si la corriente j se secciona
0 en caso contrario
Para asegurar que cada bucle se rompe al menos una vez por seccionado de corriente, se
escriben las siguientes restricciones para cada bucle i:
Recirculaciones: particin y seccionado de corrientes
171

n
j
j ij
y a
1
1 i= 1, L
donde n es el nmero de corrientes y L el nmero de bucles. Una vez se dispone de las
ecuaciones de los bucles, se formula una funcin objetivo coste para la seccin de corrientes a
seccionar:

j
j j
y w
y asignamos un valor w
j
al coste de seccionar la corriente j. Este coste frecuentemente lo dicta
el tipo de problema de convergencia de recirculacin. Los mtodos ms populares para ello
son:
- w
j
= 1 (todas las corrientes iguales) lo cual permite minimizar el nmero de
corrientes seccionadas. Esta opcin origina que se obtengan muchos sistemas
de corrientes seccionadas posibles. Es el caso ms comn.
- w
j
= n
j
, donde n
j
es el nmero de variables en la corriente j.
- w
j
= a
ij
(suma de las restricciones del bucle) el coeficiente que se obtiene
indica el nmero de bucles que se rompen si se secciona la corriente j. Romper
un bucle ms de una vez origina un retraso en la iteracin de variables en el
algoritmo de punto fijo y un peor funcionamiento del mismo. Minimizando el
nmero de bucles que se rompen simultneamente se busca un sistema de
ecuaciones de seccionado no redundante para mejorar el funcionamiento del
algoritmo.
El set covering problem viene entonces dado por:

n
j
j j
y
y w
j
1
Min
donde

n
j
j ij
y a
1
1 i = 1 L
y
j
= {0, 1}
La solucin a este problema es combinatorial y una cota superior del nmero de alternativas
es 2
n
. Sin embargo, con sencillas reglas de reduccin se puede hacer este problema y el
subsiguiente esfuerzo para su resolucin mucho menor. Las reglas permiten aplicar el set
covering problem slo a las variables enteras que permanecen despus de su reduccin. Para
facilitar la solucin, la metodologa ms extendida es la de rama y acotamiento (Branch &
Bound), aunque hay algoritmos ms eficaces especializados para este tipo de problemas.
Se define r
i
como el vector fila i de la matriz A y c
j
como el vector columna de la matriz A.
Las siguientes propiedades permiten reducir el tamao del problema:
- Si r
i
tiene solo un elemento distinto de 0, (r
i
)
k
, hacer y
k
= 1 y elegir la corriente k
para seccionar. Se eliminan esta fila y columna, dado que es un bucle de una
corriente consigo misma.
- Si la fila k domina la fila l (todas las corrientes de l estn tambin en k), entonces
se borra r
k
(una corriente seccionada en r
l
automticamente satisface r
k
). Es un
bucle cubierto con otro bucle.
Recirculaciones: particin y seccionado de corrientes
172
- Si c
k
domina c
j
y w
k
s w
j
, o para algn grupo de columnas, S,
kS
c
k
domina c
j
y

kS
w
k
s w
j
, entonces se puede eliminar la columna j, dado que y
k
siempre
contendr la solucin ptima.
Estas reglas se aplican sistemticamente para reducir la matriz de bucles. Si no proporcionan
mejora es preciso iniciar una bsqueda combinatorial en las corrientes a seccionar restantes.
No obstante, las soluciones ptimas generadas por este procedimiento de reduccin y
bsqueda no son nicas si las desigualdades en w
j
no son estrictas. En estos casos, este
procedimiento encontrar un sistema ptimo de seccionadas, pero pueden existir otras
soluciones que funcionen con una eficacia anloga.
Para ilustrar la aplicacin de estas reglas, se continuar con el ejemplo anteriormente visto


Ejemplo: Seccionado de corrientes
Consideramos ahora la particin del diagrama de flujo del ejemplo anterior. De la tabla 1 se puede
obtener la matriz de bucles directamente, como se muestra en la tabla 2:

Tabla 2.Matriz de incidencia de bucles, A, para la particin de la figura 4
Corriente
Bucle 1 2 3 4 5 6 7 8
1 1 1
2 1 1 1 1
3 1 1 1
4 1 1 1 1

Para resolver este problema, se van a considerar dos casos posibles:
1.Minimizacin del nmero de corrientes a seccionar
2.Minimizacin del nmero de veces que se rompen los bucles
y se van a emplear las propiedades de reduccin en la matriz A.

Caso 1. Minimizacin del nmero de corrientes a seccionar
En este caso, se especifican todos los valores w
j
de las corrientes como la unidad. Tras
inspeccionar la matriz A, se observa que no hay ninguna fila que domine, por lo que no es
posible eliminar ninguna por ahora.
Por otro lado, la columna 2 domina a la 3, la columna 4 domina a las columnas 5 y 6 y la columna 1
domina a las columnas 4, 7 y 8.Por lo tanto, eliminando las corrientes 3, 4, 5, 6, 7 y 8 se llega a la
siguiente tabla reducida:
Corriente
Bucle
1 2
1 1
2 1 1
3 1
4 1

Recirculaciones: particin y seccionado de corrientes
173
A continuacin, puesto que las filas 2 y 4 dominan a la fila 3, es posible eliminar dichas filas 2 y 4, y
obtener una representacin mnima del problema:
Corriente
Bucle
1 2
1 1
3 1

Ambas filas tienen slo un elemento y es preciso seleccionar las corrientes 1 y 2 para romper los
bucles. Este es el mnimo nmero de corrientes a seccionar. Sin embargo, el bucle 2, con corrientes {1,
2, 7, 8} se rompe dos veces. Siguiendo la informacin de la figura 4, el primer paso sera suponer
inicialmente los datos de la corriente 2 y luego calcular la unidad M, lo cual permite obtener la
corriente 3, que junto con una estimacin inicial de la corriente 1 permite calcular la unidad L.
Continuando con el diagrama de flujo, se tiene que el orden de clculo de las unidades es MLOSK,
como se muestra a continuacin:

Las consecuencias que esta seleccin tiene sobre la doble ruptura del bucle 2 (marcado con lneas
gruesas) son evidentes. Para la resolucin de esta particin, se han de estimar las corrientes 1 y 2 y se
calculan el resto en el orden mostrado. El nuevo valor que la unidad L calcula para la corriente 2
influye en el siguiente clculo de M, pero dicho clculo se basa en el valor anterior de 1. El nuevo
valor de 1 impactar en el siguiente clculo de L pero no de la unidad M. En realidad, impacta L y
todas las unidades siguientes cuando el clculo se realiza la segunda vez. Su nuevo valor no afectar M
hasta que calculemos esa unidad una tercera vez.. Esto retrasa la transmisin de informacin en este
bucle un poco y reduce la velocidad de convergencia para la sustitucin sucesiva.

Caso 2. Minimizacin del nmero de veces que se rompen los bucles
En este caso los valores de w
j
para la funcin objetivo vienen dados por w
j
=
i
a
ij
, que es la suma
para cada corriente de los valores de su columna correspondiente. Dado que los w
j
son distintos, las
reducciones de filas y columnas del caso anterior no son aplicables. En su lugar calculamos w
j
y
adicionamos el valor a la informacin de la matriz A.

Tabla 3.Matriz de incidencias, A, para la minimizacin del nmero de veces que se rompen los bucles
Corriente
Bucle 1
w
1
= 3
2
w
2
= 2
3
w
3
= 1
4
w
4
= 2
5
w
5
= 1
6
w
6
= 1
7
w
7
= 1
8
w
8
= 2
1 1 1
2 1 1 1 1
3 1 1 1
4 1 1 1 1

No hay lneas dominantes de nuevo, pero hay combinaciones de columnas que dominan otras:
- Las columnas 3 y 7 dominan a la columna 2 [(w
3
+ w
7
) s w
2
]
Recirculaciones: particin y seccionado de corrientes
174
- Las columnas 5 y 6 dominan a la columna 4
- Las columnas 5, 6 y 7 dominan a la columna 1
- Las columnas 6 y 7 dominan a la columna 8
Lo cual lleva a la siguiente matriz reducida:

Corriente
Bucle 3
w
3
= 1
5
w
5
= 1
6
w
6
= 1
7
w
7
= 1
1 1
2 1
3 1
4 1

Como hay solo un elemento en cada fila, se ha alcanzado una solucin ptima ( 4
j
j
j
y w ) con las
corrientes 3, 5, 6 y 7 que rompen cada bucle una sola vez.
Sin embargo, hay varias soluciones ptimas en este caso. Por ejemplo, se pueden seccionar las
corrientes 1 y 3, que por inspeccin tambin se ve que es una solucin ptima. En realidad, tenemos
una familia de soluciones ptimas: {1, 3}, {3, 5, 8}, {3, 5, 6, 7}, {2, 5, 6}, {2, 4}, {3, 4, 7}, siendo todas
ellas no redundantes.
Si elegimos la solucin {1, 3}, se puede entonces calcular la unidad L, que proporciona las corrientes 2
y 4. A continuacin, se pueden calcular las unidades O y M en cualquier orden, dando las corrientes 5,
6 y 7, lo cual permite calcular la unidad S y finalmente la unidad K.

El orden no es necesariamente nico, puede ser LOMSK o bien LMOSK.
Si decidimos resolver el diagrama de flujo por sustituciones sucesivas, se elige un grupo de corrientes
a seccionar y se estiman inicialmente sus valores. Supngase que se elige {1, 3}. En este caso se
pueden calcular las unidades en el orden LOMSK, lo cual permite obtener nuevos valores de las
corrientes 1 y 3. A continuacin se usan stos valores calculados comenzando de nuevo el clculo
LMOSK y repitiendo hasta lograr la convergencia.
Estas familias de grupos de corrientes a seccionar (por ejemplo, {1, 3} y {3, 5, 6, 7}) proporcionan los
mismos valores de las variables de las corrientes si se emplea un algoritmo de sustitucin directa.
Tambin hay algoritmos basados en teora grfica para identificar las familias de grupos de variables a
seccionar no redundantes, y -por lo tanto- para generar corrientes a seccionar que presentan una
convergencia ms rpida.


Recirculaciones: particin y seccionado de corrientes
175
4. EFECTO DE LAS ESTRATEGIAS DE SECCIONADO SOBRE
LOS MTODOS TIPO NEWTON

En ltimo lugar, se va considerar el empleo un algoritmo de Newton o quasiNewton en la
convergencia de un diagrama de flujo en modo modular. Para ello se forma (o aproxima) la
matriz jacobiana por las ecuaciones de las corrientes seccionadas. Se rescriben las ecuaciones:
x = g(x) f(x) = x g(x) = 0
donde x son valores de las corrientes seccionadas y g(x) es el valor calculado tras dar un paso
por las unidades del bucle. Estas ecuaciones se resuelven mediante las iteraciones de Newton
Raphson o Broyden aplicadas a f (x) = 0.
Un caso extremo para resolver las ecuaciones es seccionar todas las corrientes en los bucles.
Aplicado al ejemplo que se ha analizado, por ejemplo, para la unidad K:
S1 = G(S5, S8) o bien F(S1, S5, S8) = S1 G(S5, S8) = 0
En este caso, se define el vector SJ como los valores de la corriente J y G(*,*) representa
funciones implcitas que relacionan las corrientes de salida de una unidad con las de entrada.
Escribiendo ecuaciones anlogas para todas las unidades se llega a obtener un sistema de
ecuaciones de las corrientes. La linealizacin de dicho sistema leva a las ecuaciones que
definen el paso de Newton, como se ha visto en los temas anteriores y se ilustra en la figura 5.
En la matriz de las ecuaciones se observa que la diagonal es la matriz identidad mientras que
los elementos que no estn en la diagonal son los jacobianos SI G o o con respecto a las
corrientes de entrada, SI.
Para apreciar el efecto de la seleccin de corrientes a seccionar, una corriente que no ha
convergido corresponde a FJ 0. Por otro lado, si una corriente se calcula directamente
como salida de una unidad, el trmino de la derecha correspondiente es nulo. Por lo tanto, si
se seccionan todas las variables, todos los elementos del trmino de la derecha en la figura 5
la derecha seran vectores no nulos. Si slo se seccionasen 1 y 3, solo F1 y F3 seran no nulos,
como se muestra en la figura 6.


Figura 5. Ecuaciones linealizadas para la particin del diagrama de flujo (Biegler et al., 1997).

En el caso de que todas las unidades sean lineales, las estrategias de sustitucin directa de
primer orden siguen estando afectadas por la seleccin del sistema de corrientes seccionadas y
por el acondicionamiento (y los valores propios) de las matrices unidad. Por otro lado, en un