Professional Documents
Culture Documents
INTRODUCCIN
2009
FLOW SHEET
Diagrama de flujo o de
proceso
E1
E2
E3
F
Q
Diagrama de flujo de
informacin
Definiciones
Nodo:
Predecesores (antecesores): El nodo 3 es
antecesor del 2
Sucesores: El nodo 1 es sucesor del 2
Ciclo:
E2
E1
E3
Se supone conocida L
Aspectos
estructurales
Topologa del sistema
de ecuaciones
Preprocesamiento
Mtodo de resolucin
eficiente.
Para sistemas
de alta
dimensin
Particionado en subsistemas
independientes.
Al ser resueltos cada uno de ellos en un orden
particular se obtiene la solucin global del
sistema de ecuaciones dado
ANLISIS ESTRUCTURAL
DE SISTEMAS DE
ELEVADA DIMENSIN
corriente(s)
Especificaciones de Variables y
Grados de Libertad de un Sistema de
Ecuaciones
Sea el siguiente sistema de ecuaciones:
f1(x1, x2, x3, x4) = 0
f2(x3, x4, x5) = 0
f3(x5, x6, x1) = 0
f2
x1
x2
ff
Funciones
xx
Variables
x3
f3
x4
x5
x6
Orden de resolucin
x4
x5
f3
f2
f2
f1
f1
x5
x1
x3
x3
x2
x6
f3
x1
x2
x4
f2
f3
x5
x1
x2
f3
x5
f2
x4
f1
x3
Aqu resulta en una secuencia cclica de resolucin, esto es:
x4
x3
f1
f2
x5
x6
f3
x1
x3
f1
x2
x4
Conclusin
La eleccin de un conjunto de variables a ser especificadas
no es neutra, sino que segn como se la realice, el sistema
resultante podr o no ser resuelto secuencialmente,
Existe un grado de dificultad inherente que depende
estrictamente del modo en que se han realizado las
asignaciones.
En sistemas de elevada dimensin es muy difcil deducir
cmo especificar dicho conjunto, de manera tal de
minimizar el esfuerzo para resolver luego el sistema, por lo
que se han propuesto numerosos algoritmos para realizar
dicha tarea.
f 1 ( v1 , v 2 , v 3 , v 4 ) = 0
Ejemplo 1
f 2 ( v 3 , v6 ) = 0
Dado el sistema de
ecuaciones:
f 3 ( v 5 , v6 ) = 0
f 4 ( v 2 , v4 , v5 ) = 0
f1
v1
f2
v2
f4
f3
v3
v4
v5
(v1) = 1
v6
Existe:
(vj) = 1 ?
Existe:
(fi) = 1 ?
No
No hay funciones y
variables a eliminar.
(vj) = 1 ?
Si
v1, entonces
f1 v1
f1
v1
f2
v2
v4
v5
v6
Existe:
f4
f3
v3
v4
f4
f3
v3
f2
v2
v2, entonces
f4 v2
Si
v5
v6
(vj) = 1 ?
Si
v3, entonces
f2 v3
(vj) = 1 ?
Si
v5, entonces
f3 v5
Algunas consideraciones:
(vj) = 1 ?
No
(vj) = 0 ?
Si
(v4 , v5)
Quedan fi ?
No
SISTEMA
ACICLICO
Ejemplo 2
Hiptesis:
F2, T2, P2
F4, T4, P4
F3, T3, P3
Ejemplo 2
F1, T1, P1
P1 P 2 P 3 P 4 = P
Las ecuaciones anteriores pueden expresarse segn el
siguiente sistema:
f 1 ( F 1 , F 2 , F 3 , F 4 )= 0
Ejemplo 2
Ejemplo 2
Balance de materia: f 1 = F 1 + F 2 + F 3 - F 4 = 0
Ecuaciones constitutivas:
Ecuaciones:
f 3 = H 1 ( T 1 , P1 )= 0
Balance de energa:
f 2 = F1 H 1+ F 2 H 2 + F3 H 3 - F4 H 4 = 0
f 2 ( F 1 , H 1 , F2 , H 2 , F 3 , H 3 , F 4 , H 4 ) = 0
f 4 ( H 2 , T 2 , P) = 0
f 6 = H 4 ( T 4 , P4 )= 0
13 incgnitas
f 3 ( H 1 , T 1 , P) = 0
f 4 = H 2 ( T 2 , P 2 )= 0
f 5 = H 3 ( T 3 , P3 )= 0
6 ecuaciones
7 grados de
libertad
f 5 ( H 3 , T 3 , P) = 0
f 6 ( H 4 , T 4 , P) = 0
Grafo bipartito
f1
f2
f3
f4
f5
f6
f1
f2
f3
f4
f5
Ejemplo 2
Ejemplo 2
f6
v1
v2
(fi) = 1 ?
(vj) = 1 ?
(vj) = 1 ?
v1
v2
v3
v4
v5
v6
v7
v8
v9
v10
v11
v12
v13
(vj) = 1 ?
(vj) = 1 ?
v3
v4
v5
Ejemplo 2
Secuencia de resolucin
f1
v8
v12
v13
f2
v6
f4
v10
v13
f5
v11
v7
v3
f3
v8
v9
v10
v11
v12
v13
(vj) = 1 ?
Si v7 f5
Si v9 f3
Si v5 f2
(vj) = 1 ?
Si v8 f6
(vj) = 1 ?
No
Si v1 f1
Si v6 f4
(vj) = 0 ?
Si
v2, v3, v4, v10, v11, v12, v13
No
SISTEMA
ACICLICO
v1
f6
v7
No
Quedan fi ?
v2
v3
v4
v13
v6
v1
Sistemas Cclicos
Grafo
Las variables (v1 ,v2, v3, v9, v10, v11, v13) han sido especificadas
v1
v2
v3
f2
v4
f3
v5
v6
f4
v7
v8
f5
v9
f6
v10
v11
v12
v13
(fi) = 1 ?
Si f1 v4
(fi) = 1 ?
Si F2 v8
(fi) = 1 ?
Si f4 v6
(fi) = 1 ?
Si F6 v12
(fi) = 1 ?
Si f3 v5
(fi) = 1 ?
No
(fi) = 1 ?
Si f5 v7
(vj) = 0 ?
Si
SISTEMA ACICLICO
Grafo
Ejemplo 3
f1
f2
f3
f4
f5
f 1 ( x1 , x 2 , x3 ) = 0
f 2 ( x1 , x 2 , x4 , x6 ) = 0
f 3 ( x3 , x4 , x5 , x6 ) = 0
f 4 ( x 3 , x 4 , x 5 , x 6 , x7 , x 8 ) = 0
f 5 ( x 6 , x7 , x 8 ) = 0
Ejemplo 3
Ejemplo 2
f1
v1
v2
(fi) = 1 ?
(vj) = 1 ?
v3
v4
No
No
Mnimo (vj) = 2
C min = 2 - 1 = 1
v5
v6
v7
v8
Se asigna f1 v1
(corriente iteradora )
v2
v3
f3
v4
f4
v5
Secuencia de resolucin
f5
v6
v7
(fi) = 1 ?
No
(vj) = 1 ?
Si v4 f4
(vj) = 1 ?
Si v2 f2
(vj) = 1 ?
Si v6 f5
(vj) = 1 ?
No
Mnimo (vj) = 2
Se asigna f3 v3
(corriente iteradora )
(vj) = 1 ?
(vj) = 0 ?
Quedan fi ?
No
Si (v5, v7, v8)
No
SISTEMAS COMPATIBLES
DE N x N
Algoritmo de Steward para la
Determinacin del Conjunto de Salida
Ejemplo 3
Ejemplo 3
f2
f1
v6
v2
v3
v8
v7
v1
f2
f3
v4
f5
v5
v6
v3
v4
v7
f4
v8
v6
10
Ejemplo 4
f 1 ( x1 )= 0
f 3 ( x1 , x2 , x3 )= 0
f 4 ( x1 , x2 , x3 , x4 )= 0
Ejemplo 4
f 2 ( x1 , x2 )= 0
x1
x2
x3
x4
f1
f2
f3
f4
f5
x5
f 5 ( x1 , x2 , x3 , x4 , x5 )= 0
11
Ejemplo 4
f3
f4
f5
x4
f5
x2
x3
x4
x5
1
1
1
1
1
1
1
1
1
x2
1
1
1
1
x3
x4
x5
1
1
1
1
1
x3 f3
x2
Orden de resolucin
x5
x5
1
f1
f2
f3
f4
f5
x5
1
1
x4
1
1
f4
f5
x1
1
1
1
1
1
f2
f3
f4
f5
x4 f4
Ejemplo 4
x3
1
1
1
Ejemplo 4
f1
x1
f2
x2
f3
x1
x3
x2
f4
x4
f5
x5
x3
x1
x1
12
Ejemplo 5
1
( x1 , x2 , x3 , x4 , x5 )
( x3 , x2 , x5 )
( x2 , x3 , x4 )
( x1 , x4 , x5 )
x1
x2
x3
x4
x5
f2
f3
f1
Ejemplo 5
Matriz de ocurrencia
f4
1
1
f5
( x2 , x3 , x4 , x5 )
f1
f2
f3
f5
f1
f3
f5
x2
1
1
1
1
x2
1
1
1
x3
1
1
1
1
x3
1
1
1
x4
1
1
1
x4
1
1
1
x5
1
1
1
x4
x3
x2
Ejemplo 5
Ejemplo 5
Orden de resolucin
f3
x4
f4
x1
x5
x5
f2
x3
x3
f1 x4
x2
f5
x2
x5
13
ARQUITECTURA MODULAR
SECUENCIAL
ALGORITMOS DE PARTICIONADO, RASGADO
Y ORDENAMIENTO.
xe
xe = variables de entrada
F(xe)
xs
xs = variables de salida
14
E3
x3 x5, x4
E4
x 4 x7 , x 6
E1
x1 x 2
E2
x 6 , x 2 x *3
x*3 - x 3 < 10 -8
El orden de resolucin se llama orden de
procedencia o de resolucin. Las secuencias no
necesariamente son nicas. A las corrientes
iteradoras se las llama tambin corrientes de
corte (en este caso x3 ).
Al proceso de identificar los ciclos se lo llama
particionado.
x1
E1
x2
E2
x3
x6
E3
x5
x4
E4
x7
Ei = equipos
xi = variables de entrada o salida
o corriente
Corriente o grupo de
variable de iteracin
15
RASGADO DEL
DIAGRAMA DE FLUJOS
O GRAFO
11
2
3
3
7
6
9
7
10
16
ALGORITMO DE
BARKELEY Y MOTARD
(1972)
17
2
3
4
11
5
8
Grafo S
2
3
7
1
9
11
7
10
Nodo dominado.
Se dice que un nodo cualquiera ni en S es dominado
por otro nj si nj es el nico antecesor inmediato de ni.
Los autores proponen un proceso de reduccin de S
mediante el procedimiento de englobar (engullir o
fundir) los nodos dominados por sus dominantes sin
perder la informacin en el grafo S.
Por ejemplo,
el nodo 1 es dominado por el 11,
el 4 lo es por el 3 y
el 7 por el 6.
9
10
Reduccin del
grafo S
3
67
1
11
8 6
9
10
18
19
Resumiendo
1
2
3
4
5
6
7
8
9
10
Nodos con un
slo antecesor
inmediato
7
4
11
Algoritmo de procesamiento
10
Antece
sor
11
1, 4
2, 8
3
2, 8
5
6
7
7
9
Nodo
Grafo S
Se eliminan de
la lista esos
nodos y se los
reemplaza por
sus
dominantes
Nodo
Antecesor
2
3
5
11, 3
2, 5
2, 5
Nodo
Antecesor
Al eliminar 2
(autociclo), queda la
lista vaca
existen en la lista de
nodos un autociclo?
En la tabla figuran a la izquierda y
derecha en la misma fila
Se selecciona el nodo
como corriente de corte y
luego se lo elimina de la
tabla. (nodo 5)
20
ETAPA DE
ORDENAMIENTO
Matriz de
adyacencia
11
1
2
3
7
1 2 3 4 5 6 7 8
NODOS
Para completar la
1
1
matriz en la posicin
2
1
aij:
3
1
1, si existe un arco 4
1
que conecte ambos
5 1 1
nodos
6
1
1
0, en caso contrario 7
8
1
Algoritmo de
6
9
7
10
particionado de
Keham y Shacham
21
I=
I r1 =
1
2
3
4
5
5
6
6
8
4
3
6
5
1
2
5
7
4
1
2
3
4
5
5
6
4
3
6
5
1
2
5
I r2 =
1
2
3
4
45
5
56
6
6
5
6
5
1
2
4
3
2
1
Ir2 contienen la
informacin de
todos los
caminos de
longitud dos
Se debe
queagregar
se
una fila paraen
encuentran
repetir
4 en la
el el
grafo
columna
de la
(por ejemplo,
izquierda
1 4 5).
22
1*
2
5
1
2
4*
5*
6
3
4
Ir,22
2
3
1
6
Ir,23
6
1
3
2
IIr,2r ==
2
3
1
6
2
3
1
6
14
2
3
3
6
41
15
15
15
1
2
15
Los nodos 1, 4 y 5 se
reemplazan por el
pseudonodo 1
Grficamente
Ir,24
1
2
6
3
2*
3*
1*
6*
1,
4, 5
6
3
7
23
En sntesis, el procedimiento
aplicado por el algoritmo es:
Eliminar los nodos de entrada y salida (obtener Ir).
Calcular las sucesivas potencias de Ir. Para ello se
recurre al expediente de reemplazar los sucesores de
los nodos en la matriz a elevar por los sucesores de los
mismos (en el grafo, o en Ir), colocndolos en la matriz
resultado. Si hubiese ms de un sucesor, se debe
proceder para cada uno de ellos.
24