SIMULADOR MODULAR SECUENCIAL EN ESTADO ESTACIONARIO

Modular Secuencial: Caractersticas

Biblioteca de mdulos (equipos) Flowsheet: Equivale a un grafo orientado o

digrafo Orden de resolucin fijo (iteraciones) Tres niveles de iteracin (se incorpora otro si se desea optimizar) 1. Clculos fisicoqumicos. 2. Mdulos en s (ej. flash, columna, etc). 3. Variables de iteracin (reciclos). 4. Optimizacin

Modular Secuencial: Caractersticas

Modelos individuales resueltos eficientemente. Fcilmente comprendido por ingenieros "no especialistas
en simulacin". Mtodos de convergencia robustos (Sustitucin Directa, Wegstein, etc). La informacin ingresada por el usuario (relacionable con equipos o corrientes) resulta fcilmente chequeable e interpretable. Los problemas de diseo (seleccin de parmetros) son ms difciles de resolver. Se incrementa la dificultad cuando se plantea un problema de optimizacin (funcionan como cajas negras). Poco verstiles, pero muy confiables y bastante robustos.

ESTRUCTURA del simulador

modular secuencial
1. La lgica central o lgica general del
simulador. 2. Seccin de Estimacin de las propiedades fisicoqumicas. 3. La biblioteca de mdulos de equipos, (es decir, los mdulos que representan el comportamiento de vlvulas, sistema de destilacin, intercambiadores, sumadores, divisores, flash, compresores, etc.)

Arquitectura bsica de un simulador modular secuencial

LOGICA CENTRAL O GENERAL (o de Administracin)

La seccin de entrada La seccin de salida de resultados La lgica general de administracin

(administra los distintos procesos a ejecutar para lograr la simulacin de un proceso dado)

Lgica general de administracin (propiamente dicha)

Verdadero CEREBRO del simulador; administra los distintos procesos a ejecutar: procesar el diagrama de flujos (algoritmos de sesgado o rasgado, particionado, ordenamiento, tambin llamado pre-procesamiento de la informacin) Convergencia del proceso iterativo (almacenamiento de resultados o mensajes de error) Sistemas de almacenamiento de informacin Interaccin con otros utilitarios (reas informticas aplicadas: CAM, CAD).

Lgica general de administracin

1) SISTEMA DE ENTRADA / SALIDA de DATOS Es una parte fundamental CARACTERISTICAS DESEABLES: Flexible Amigable al usuario (facilitado por men de sistema windows y sistemas grficos) Sistema de ingreso de datos sencillo Sistema de validacin de datos ingresados Presentacin de resultados clara y completa Acceso fcil a informacin especfica necesaria

Informacin a ingresar al simulador

MATRIZ DE EQUIPOS * Nmero de equipo * Cdigo que lo identifica con un equipo de procesos determinado * Parmetros de funcionamiento del equipo, como rea de intercambio en un intercambiador de calor o n de platos en una torre, etc. MATRIZ DE CORRIENTES Nmero de la corriente Bandera que determina la fase Caudal Concentracin de todas las especies qumicas involucradas Temperatura Presin Entalpa, etc.

Informacin a ingresar al simulador

VECTOR DE CORRIENTES DE CORTE Contiene los nmeros de las corrientes de corte e informacin sobre ellas. Puede introducirse a travs de una matriz especial, como auxiliar en el clculo
VECTOR DE SECUENCIA DE EQUIPOS Ordenamiento lgico de resolucin de equipos que optimiza el tiempo de computacin. Este orden se obtiene del programa de rasgado del diagrama de flujo.

2) SISTEMA DE ESTIMACIN DE PROPIEDADES FISICOQUMICAS

Debe tener Banco de datos de parmetros de

sustancias puras e interaccin entre pares binarios Debe manejar distintos tipos de mezcla (ideales, no ideales, flujo de distintas fases, Ki, reacciones qumicas, sist. de varias fases, etc.) Necesita banco de modelos para estimar propiedades fisicoqumicas Opcin que permite al usuario incorporar su correlacin (ante ausencia mtodo adecuado para determinada propiedad; muy importantes mtodos para Ki y entalpa mezclas no ideales)

3) BIBLIOTECA DE MDULOS DE EQUIPOS

Resuelven los balances de masa, energa y

eventualmente, cantidad de movimiento de cada equipo. Con los mdulos representativos de los equipos y su fisicoqumica asociada, se tiende a reproducir la operacin real de la planta, generando las transformaciones necesarias para obtener el producto deseado. ALGUNOS TIPOS SON:

 Reactores qumicos. Los mas simples operan con los

grados de avance de reaccin y los mas complejos con dependencia de condiciones de operacin a travs de ecuaciones cinticas y tiempos de residencia. Torres de intercambio gas-lquido (rellenas o de platos, etc.) Intercambiadores de calor (de distinto nivel de complejidad). Algunos pueden calcular solo la cantidad de calor transferida y otros los coeficientes de transferencia de calor. Bombas y compresores. En el caso mas simple sirven para restituir los niveles de presin o simplemente cambiarlos a valores preestablecidos. Sumadores o divisores de corrientes Subrutinas de control o controladas, etc.

Para desarrollar un mdulo de simulacin hay que tener en cuenta: Esquema de funcionamiento de un mdulo generalizado (tipos de datos, filosofa de clculo, relacin con el sistema general) Interrelacin mdulo de equipo-base de datos (esquema de relacin del mdulo con bases de datos) Seleccin de parmetros de equipos (grados de libertad, parmetros a fijar) Niveles de clculo (grado de rigurosidad) Interrelacin mdulo de equipo-fisicoqumica (esquema de relacin entre mdulos y programas de estimacin de propiedades)

Esquema de clculo de cada mdulo del simulador

La mayora de los simuladores comerciales existentes poseen cierto grado de seleccin automtico para algunas variables (por ej.: sistema experto recomienda mtodos de clculo de prop. fisicoqcas. para mezcla dada) PERO: la responsabilidad por hiptesis adoptadas, niveles de clculo elegidos e interpretacin de resultados ES EXCLUSIVA DEL INGENIERO DE PROCESOS

CALCULO DE BALANCES EN DIAGRAMAS DE FLUJO

Pre-procesamiento En primer lugar, se confecciona el diagrama de flujo de informacin, tal como se dijo anteriormente. Este se muestra en la figura de la sig.diapositiva. En este diagrama se pueden identificar: Corrientes de entrada (que proveen informacin): 1, 4, 11, 23, 29, 15 Corrientes de salida (resultados esperados): 3, 12, 16, 22, 24, 26, 30 El resto de las corrientes son intermedias, cuyas propiedades tambin se obtendrn como resultado de la computacin. Se provee adems los parmetros bsicos de los equipos. Puesto que los balances de los equipos pueden resolverse conociendo las corrientes de entrada y los parmetros de los equipos, se puede confeccionar la siguiente tabla:

Diagrama de flujo de informacin del proceso de produccin de MCD

Corrientes iteradoras: 9, 10, 17, 21, 28 Secuencia de resolucin de quipos : 1, 2, 3, 4, 6, 7, 5, 8, 9, 11, 12, 10, 13

 Existencia de reciclos: el mecanismo de reciclar corrientes para

recuperar calor o reactivos, etc. es muy usado en ingeniera. Esto ocasiona problemas en el clculo de los balances ya que impide la resolucin de equipos en secuencia sin necesidad de introducir informacin adicional y trae problemas en la convergencia de los clculos y de estabilidad numrica de los mismos.

Secuencia de resolucin: La secuencia completada una vez, no

proporciona necesariamente la informacin deseada. Al completar una secuencia de resolucin se debe comprobar si los valores supuestos para las corrientes iteradoras son los satisfactorios, si no es as se debe suponer un nuevos valores.

Informacin provista por las corrientes

* Nmero de corriente de acuerdo al diagrama de flujo de informacin * Concentracin (fraccin molar) de todos los componentes, xi = 1 * Caudal volumtrico: m3 /s * Temperatura, K * Entalpa, J/mol o J/kg * Presin, Pa * Bandera de fase

Balances en equipos
Cualquier subrutina de equipo debe ser capaz de proporcionar informacin
total sobre las corrientes de salida, a partir de las de entrada y ciertos parmetros de equipos. Para efectuar los balances en una unidad de proceso, debe cumplirse: N=M M: nmero de variables independientes; N: n de ecuaciones
Si N > M

el sistema est sobredeterminado y solo tiene solucin cuando las ecuaciones son perfectamente consistentes
Si M > N

el sistema tiene un nmero infinito de soluciones que dependen de elecciones arbitrarias del ingeniero de diseo Para llevar a cabo un balance en forma completa debe cumplirse necesariamente que N = M

CALCULO DE RECICLOS
El procedimiento de clculo consiste en generar los valores iniciales de las corrientes iteradoras y, como generalmente no se obtienen del primer ciclo de resolucin los resultados adecuados, se generan nuevos hasta verificar convergencia. Generacin de los valores iniciales de las corrientes iteradoras: No hay un mtodo infalible, solo la experiencia del ingeniero, un conocimiento previo de los rangos en que pueden oscilar los mismos y algunos clculos manuales, pueden ahorrar muchas horas de tiempo de computacin. Generacin de nuevos valores de las corrientes iteradoras: Luego de cada ciclo de resolucin, el valor de la corriente iteradora debe actualizarse. El mtodo ms simple es el de la sustitucin directa. (ITERP)n = (CORRP)n-1

VERIFICACIN DE CONVERGENCIA

Una computacin converge al efectuar el ciclo

n, cuando:
(ITERP)n = (CORRP)n Este criterio de convergencia es muy estricto. Por lo tanto: || (ITERP)n - (CORRP)n || absoluto < (ERROR) Vector (ERROR): niveles aceptables de error admitidos en la computacin. Pueden ser funcin de los valores absolutos de los elementos de informacin considerados (ERROR) = F [ (CORRP)n , parmetros ]

VARIABLES DE DISEO
Se ha dicho que partiendo de una determinada configuracin,
seleccionando los parmetros de los equipos y los valores de las corrientes de entrada y eligiendo los valores de las corrientes iteradoras, se pueden resolver los balances de materia y energa. Estos balances simulan el comportamiento de la alternativa tecnolgica considerada, en estado estacionario.

El ingeniero puede considerar que los resultados obtenidos no

responden a las condiciones pre-establecidas para su funcionamiento (temperatura, concentracin de producto, etc), o que necesite introducir modificaciones para optimizar la alternativa. Para ello, sin cambiar la configuracin elegida se pueden modificar los datos para obtener los resultados deseados. Estos datos que pueden ser modificados por el ingeniero son las denominadas variables de diseo (o de decisin). Son las variables que el Ingeniero tiene a su disposicin y que le permitirn obtener los resultados esperados a travs de su manipulacin.

UNIDAD II: Simulador Modular Secuencial (Continuacin)

SISTEMATIZACION DE DIAGRAMAS DE FLUJO. PREPROCESAMIENTO DE LA INFORMACION

RECORDANDO: SIMULACION DE UN PROCESO: Consiste en implementar un modelo del mismo (sist. de ecuaciones) en un algoritmo computacional y resolverlo. Se proponen valores a ciertas variables de entrada y se obtienen los valores de las variables de salida

Estrategia modular secuencial

Interpreta el complejo a simular como unin de subunidades o mdulos (equipos); desde punto de vista matemtico puede verse como un particionado del sist. de ecuaciones de la planta completa en subsistemas (mdulos) guiado por conveniencia fsica de disponer de datos . Al forzar la particin del sistema global, se pierde flexibilidad
xe
F(xe )

Xs

Representacin computacional del diagrama de flujos

El DFI es el conjunto de mdulos

(equipos) y corrientes que representan unvocamente la planta qumica a simular La representacin de la operacin de un equipo es:
x N-1 = vector de propiedades de todas las corrientes de entrada aN x N = vector de propiedades de todas las corrientes de salida a N N = mdulo, representacin de una unidad de operacin tal que:

DFI Ei: nodos que representan equipos vectores xi: variables de entrada o salida de los mdulos (equipos)

 En Simulacin de procesos, se suele llamar

CORRIENTE al vector de variables tanto de entrada como salida. A un Nodo puede entrar o salir ms de una corriente Analizando el DFI anterior, para poder resolver el proceso conociendo las variables de entrada, se deber determinar las corrientes iteradoras o de corte. El Preprocesamiento es la etapa previa a la resolucin de los mdulos. Segn eso se determinar el ORDEN DE PRECEDENCIA O DE RESOLUCION

Diagrama de Flujo de Informacin sin reciclos

Al no existir reciclos se establece muy fcilmente el orden en la resolucin. ( 1, 2, 5, 3, 4, 7, 6) o tambin: (1, 7, 2, 5, 3, 4, 6)

Diagramas de Flujo de Informacin con reciclos

Es necesario decidir qu corrientes son elegidas como iteradoras.

 Al pretender resolver el equipo 2, las propiedades de la

corriente 10 no son conocidas porque es salida del equipo 7, que requiere resolucin previa de 6, 5, 4, 3 y 2. Se ha identificado una zona con retroalimentacin. Si llamamos A al subconjunto del DFI formado por los equipos 2, 3, 4, 5, 6, 7 y sus corrientes asociadas, podemos obtener un DFI sin reciclos como el siguiente:
En este caso la secuencia de resolucin es: (1, A, 8, 9)

El preprocesamiento deber reducir entonces todo DFI con reciclos a uno sin ellos, o sea que se ha identificado la zona con reciclo y se ha transformado en un pseudonodo. El paso siguiente es determinar las corrientes de cada pseudonodo, que se definirn como iteradoras. Esto se aplica a cada uno de los pseudonodos constituidos. Finalmente, una vez eliminados los reciclos, se establece el orden definitivo de resolucin, que de este modo es sencillo.

La figura 5 muestra el diagrama de bloques que representa este tratamiento. Esta sistematizacin permite caracterizar las tres etapas que componen toda tarea de preprocesamiento:

A: PARTICIONADO: Deteccin de los tramos que contienen reciclos, tal que puedan ser reducidos a pseudonodos que eliminen los reciclos.
B: RASGADO: pseudonodo Definicin de las corrientes iteradoras de cada

C: ORDENAMIENTO: Determinacin del orden de precedencia de los mdulos (secuencia de resolucin), una vez elegidas las corrientes iteradoras.

PARTICIONADO
ES EL PROCESO DE IDENTIFICAR LOS CICLOS EN EL DIAGRAMA DE FLUJO DE INFORMACION
RECORDAR QUE:

a) Si un camino comienza en un nodo y termina en l, se le llama CICLO O CAMINO CCLICO b) Un ciclo es mximo si y slo si todos los dems ciclos del grafo, o tienen sus nodos contenidos en CM, o no tienen nodos en comn con l.

Particionado es la operacin de reduccin de un Grafo a otro, en el cual se reemplazan por nodos todos los subgrafos cclicos determinados por ciclos mximos.

METODO DE PARTICIONADO DE NORMAN

Define la MATRIZ DE ADYACENCIA Dispone en filas y columnas los nodos del grafo
(igual dimensin que el grafo) Existir un 1 (uno) en la posicin ij, si existe un arco entre i y j

Aparecen filas y columnas vacas. Una fila

vaca indica que el nodo correspondiente no es antecesor inmediato de ningn nodo. Una columna vaca significa que no es sucesor inmediato de ningn nodo

METODO DE PARTICIONADO DE NORMAN

Algoritmo de particionado de Norman

El algoritmo permite identificar los ciclos
mximos por medio de la potenciacin sucesiva de la matriz de adyacencia. Al multiplicar la matriz por s misma:

Si es distinto de cero, existe camino que vincula los nodos

Potenciacin matriz de adyacencia

Potenciaciones de la matriz de adyacencia

Potenciacin matriz de adyacencia

ALGORITMO DE PARTICIONADO DE KEHAM Y SHACHAM

Eliminan filas y columnas vacas de la matriz de
adyacencia Se introduce la matriz de ndices: tiene m filas (n de elementos no nulos en A) y 2 columnas Para una fila, la col. Izq. contiene los nodos que contengan sucesor inmediato; a la derecha se coloca ese sucesor. El algoritmo basado en la matriz de ndices ubica los ciclos de manera similar que en la matriz d adyacencia (menos memoria de mquina)

SE LOGRA UNA MATRIZ DE INDICES REDUCIDA ELIMINANDO LOS NODOS DE ENTRADA (no tienen antecesores inmediatos) Y LOS NODOS DE SALIDA (no tienen sucesores). LUEGO PUEDEN ENCONTRARSE LAS SUCESIVAS POTENCIAS DE Ir

Al tener el mismo nmero en las dos columnas, existe un camino que nace y termina en el mismo nodo

 Si en ambas columnas, mismo nmero:

camino empieza y termina en el nodo (ciclo) Luego se asignan los nodos a un pseudonodo (llammoslo 1) que los engloba, y se reemplaza en la Ir en la columna izq. Luego se comienza una nueva iteracin del mtodo, a partir de Ir,2 Se continan con las sucesivas iteraciones

Resumen del algoritmo de Kehat y Shacham Conceptos bsicos: a) A cada matriz potencia Ar se asocia una
representacin tabular (matriz de ndices) que mantiene la misma informacin que Ar a travs de los subndices de los elementos [aij] 0 b) El producto de matrices se reemplaza por el procedimiento de reemplazo de los nodos sucesores en Br , por sus respectivos sucesores inmediatos para obtener Br+1 c) La matriz de adyacencia A , a travs de su tabla asociada B, se simplifica en cada etapa del clculo por eliminacin de los nodos terminales del grafo.

RESUMIENDO: Objetivo del particionado: detectar los ciclos, de tal manera de transformar el grafo original en una secuencia lineal. Esta secuencia puede tener subgrafos cclicos. Luego, se deber resolver cada subproblema

Para resolver los subgrafos se usan

mtodos de rasgado

Mtodos de rasgado
OBJETIVO: detectar las corrientes de corte para poder
resolver cada subgrafo cclico, esto es, detectar las corrientes de corte para resolverlo en una secuencia lineal de resolucin iterativa, hasta convergencia de las propiedades de las corrientes de corte.

Asignar una corriente de corte es similar a definir una nueva

corriente de entrada a la planta, slo que con valores supuestos

Suponiendo que todas la corrientes tienen igual cantidad de

variables, es conveniente buscar el mnimo nmero de corrientes de corte para linealizar el ciclo

En general, este procedimiento implica dos pasos:

a) Eleccin de un criterio para seleccionar las corrientes de corte b) Eleccin de las corrientes de corte a partir de ese criterio.

Criterios de seleccin de corrientes de corte

Los criterios de seleccin de los conjuntos de las
corrientes de corte es el problema mas crtico y especfico del preprocesamiento del DFI . No hay criterio universal. Puede adoptarse que el mejor conjunto de corte es aquel que minimiza los tiempos de computacin, que establece un punto de partida. Un buen criterio inicial de seleccin de corrientes de corte, es elegir el menor nmero de variables en el conjunto de corrientes de corte. Se define como peso (w) de una corriente, a un valor numrico asociado a la misma que permite reflejar cuantitativamente alguna propiedad diferencial de la misma respecto de la convergencia en un sistema iterativo. Una de las formas de definir pesos es asignar a toda corriente un peso igual al nmero de variables independientes de la misma. El criterio que usaremos es el ms simple, y es buscar el mnimo n de corrientes de corte

Algoritmo de Lee y Rudd

Una de las caractersticas fundamentales del algoritmo es que
requiere el conocimiento de todos los ciclos simples que componen el subgrafo a estudiar. Esto exige un tipo especial de particionado, en el cul se computan todos y cada uno de los ciclos simples detectados al buscar ciclos mximos.

Desventajas del mtodo: Requerimineto de la matriz de ciclos que exige un tratamiento de

particionado con deteccin de todos y cada uno de los ciclos. El mantenimiento de esta informacin en memoria requiere reas de almacenamiento de datos grandes. El procesamiento del anlisis combinatorio requerido para completar el algoritmo cuando la reduccin no da resultados, es laborioso y puede elevar el tiempo de computacin a valores muy altos. Como contrapartida garantiza la obtencin del conjunto mnimo de corrientes de corte.
Los autores han propuesto variantes al mtodo como un acelerador del clculo asociado alanlisis combinatorio y la aplicacin de pesos arbitrario que no veremos.

ALGORITMO DE BARKELEY Y MOTARD

rasgado de los subgrafos cclicos para obtener un

conjunto de corte con el menor nmero de corrientes iteradoras. se basa en el concepto de grafo de corrientes (S) o grafo dual Los nodos ahora son las corrientes y los arcos se obtienen a travs del flujo de informacin en DFI Habr tantos nodos como corrientes y stos se vinculan segn el sentido de la informacin en el grafo original.

EJEMPLO

Nodo dominado
Un nodo cualquiera ni en S es dominado
por otro nj si nj es el nico antecesor inmediato de ni. Se propone un proceso de reduccin de S mediante el procedimiento de englobar o fundir los nodos dominados por sus dominantes Efectuando el proceso, se llega al grafo:

En el nodo 5 se da un Autociclo, ya que al

mismo tiempo, es antecesor y sucesor de s mismo simultneamente.
Corrientes de corte 2 y5

Resumen del algoritmo

Reduccin de los nodos del grafo hasta
detectar autociclos o ciclos de dos corrientes. Eleccin del conjunto de corrientes de corte, segn el criterio expuesto Resulta conveniente trabajar en forma de tabla

En la lista, los nodos con un slo antecesor inmediato, se eliminan

de la misma, reemplazndolos por sus dominantes. En este proceso conviene no considerar las corrientes de

entrada.

El nodo 5 cumple con la condicin de autociclo (est a la izquierda y derecha en la misma fila). Se selecciona el nodo 5 como corriente de corte ya que aparece en ambos y se lo elimina de la tabla.

Al eliminar 2 (autociclo), queda la lista vaca y las dos corrientes de corte; coincidiendo con los resultados ya obtenidos anteriormente.

ETAPA DE ORDENAMIENTO
El particionado redujo el grafo del DFI a una secuencia
lineal dsubgrafos cclicos identificados como pseudonodos mximos. El rasgado defini el conjunto de corrientes iteradoras para poder linearizar cada subgrafo mediante la resolucin iterativa de las propiedades de dicho conjunto. En este momento se requiere establecer la forma final en que el procesamiento entregar al programa de simulacin la lista ordenada de los equipos a resolver y las corrientes iteradoras que debern ser inicializadas y posteriormente aceleradas en su convergencia. El Ordenamiento comprende dos problemas: 1) El ordenamiento de la secuencia de resolucin de cada subgrafo 2) La secuencia de resolucin final del DFI completo

 Ejemplo

CONCLUSIONES:

Se puede afirmar que la alternativa de

resolucin secuencial, no simultnea, de los distintos subgrafos cclicos, es la ms recomendable para la simulacin.

Es importante recalcar, que el pre-procesador

deber entregar su informacin de salida, de acuerdo a la estructura del programa ejecutivo. Para ste no es lo mismo operar de una u otra forma y a programa de simulacin dado, ser necesario adecuar el procesador a sus necesidades

Diagrama de flujo de las fases de un simulador

Comienzo Lectura de datos Fase de Entrada Consistencia de datos

Es posible simular?

Generar la matriz de propiedades fsicas

Fase de Preprocesamiento Determinacin de las secuencias de clculo del proceso No Hay secuencia de clculo especificada?

No Toma un elemento de la secuencia del clculo del proceso

Diagrama de flujo de las fases de un simulador (cont.)

Fase de Preprocesamiento Determinacin de las secuencias de clculo del proceso No Hay secuencia de clculo especificada? No Toma un elemento de la secuencia del clculo del proceso Preparacin y ejecucin de la unidad computacional Nodo aislado Qu elemento es? Grafo Cclico Determinacin de las corrientes de corte y ordenamiento de los clculos en el reciclo

Almacenamiento de resultados No

Toma un elemento de la secuencia de clculo del reciclo

Preparacin y ejecucin de la unidad computacional Es el ltimo elemento de la secuencia de clculo?

Almacenamiento de sus resultados

Si

Si

Es la ltima unidad del reciclo?

Clculos adicionales e impresin parcial y/o total de resultados

Fase de Clculo

Si

Fin Fase de Salida

Convergen todas las corrientes de corte?

Acelerar la convergencia

Sistemas de ecuaciones de gran dimensin

el modelo de una planta completa contiene miles
de ecuaciones e incgnitas. en diseo hay un nmero mayor de incgnitas que de ecuaciones; la diferencia son los grados de libertad (a especificar para definir el sistema) Necesidad de herramientas numricas para resolver sistemas de ecuaciones no lineales de gran dimensin, en forma eficiente

ANLISIS ESTRUCTURAL DE SISTEMAS DE ELEVADA DIMENSIN

representacin del sistema por la MATRIZ DE

OCURRENCIA O INCIDENCIA, donde cada fila representa una ecuacin y cada columna una incgnita o variable. Cada elemento en la matriz puede tomar los valores 0 o 1. Si existe una vinculacin entre la funcin i y la variable j , el aij = 1 VARIABLE DE SALIDA de una ecuacin: se supone puede calcularse a partir de conocer el valor de las dems variables de dicha ecuacin. De una ecuacin puede haber slo una variable de salida y cada variable puede ser salida slo de una ecuacin

Algoritmo de Steward para Determinar el Conjunto de Salida

Se construye la matriz de incidencia

reordenada (por eliminacin de filas y columnas) En general, cuando la estructura de la matriz reordenada es diagonal o triangular, existir una secuencia de resolucin acclica (sin necesidad de variables de iteracin o iteradoras). Se obtiene orden de precedencia para la resolucin