расположения вдоль технологических потоков с использованием рассчитанных значений параметров выходных потоков предшеству ющих элементов в качестве известных значений параметров входных потоков последующих элементов.
Если ХТС является замкнутой системой, то простой последова тельный расчет математических моделей элементов невозможен, так как параметры обратных технологических потоков поступают с вы хода последующего элемента на вход предыдущего и при расчете этого элемента они должны быть известны.
Один из методов расчета замкнутых многоконтурных систем ( м е т о д р а з р ы в а о б р а т н ы х т е х н о л о г и ч е с к и х с в я з е й ) заключается в следующем. Замкнутую систему преобра зовывают в эквивалентную разомкнутую систему путем разделения каждого вектора параметров обратных технологических потоков между элементами і и j системы Y ц на вектор параметров выходного потока г-го элемента (предыдущего по направлению обратного потока) V* и вектор параметров входного потока j-то элемента(по следующего по направлению обратного потока) U*j таким образом, чтобы выполнялось соотношение
Это обусловлено также необходимостью проводить итерацион ные процедуры на основе предварительной оценки значений перемен ных векторов обратных технологических потоков, чтобы свести рас чет замкнутой многоконтурной системы к расчету эквивалентной разомкнутой системы, для которой справедливо соотношение (Ѵ,76).
Математически метод разрыва обратных технологических связей сводится к определению вектора Uік на основе решения системы нелинейных уравнений
U i K = F i K ( u i ( e i ) , . . |
UfSi («i), • • •, |
(V,77) |
где i = 1, tK— число параметров входных потоков к-го элемента; к — еъ ет —
число элементов ХТС, по отношению к которым разрываемый обратный техно логический поток является выходным.
Порядок системы нелинейных уравнений (Ѵ,77) равен:
п= 2 tK = tet "I- * * *"t"**m |
. |
(V,78) |
К = в і
Систему уравнений (Ѵ,77) решают либо методом простой итера ции, либо более эффективными методами, обеспечивающими быструю сходимость результатов расчета. Трудоемкость вычислительных процедур по решению системы нелинейных уравнений (Ѵ,77) для замкнутых многоконтурных систем зависит от порядка п данной системы уравнений. При этом селективное влияние переменных разрываемых обратных технологических потоков на вид нелинейных уравнений указанной системы, что, в общем случае* может вызвать
появление дополнительных трудностей в реализации вычислитель ных процедур, не учитывают.
Преобразование замкнутой мпогоконтурной ХТС в эквивалент ную разомкнутую систему может быть проведено не только путем разрыва одной обратной технологической связи в каждой взаимо связанной простой замкнутой подсистеме. Поэтодіу необходимо найти такие о с о б ы е технологические потоки ХТС, чтобы зна чение п было минимальным и замкнутая система при их разрыве превращалась в эквивалентную разомкнутую систему. Отметим, что особыми потоками могут являться только потоки, которые одновре менно входят более чем в одну простую замкнутую подсистему.
Алгоритм анализа многоконтурной ХТС, содержащей т простых замкнутых или контурных подсистем, которые образованы Ъ одина
ково параметрическими потоками |
qx, q2, . . ., qb, будем называть |
о п т и м а л ь н ы м . Указанный |
алгоритм устанавливает такую |
последовательность расчета математических моделей аппаратов дан ной ХТС, при которой существует некоторое множество особых технологических потоков Q = (q1, g2, . . ., qb) с мощностью | Q | = = п, разрывающих все простые контурные подсистемы, и не суще ствует другого множества Q1 cz Q, обладающего тем же свойством преобразования замкнутой ХТС в эквивалентную разомкнутую систедіу.
Следовательно, оптимальнодіу алгоритму анализа ХТС с одина ковой параметричностыо всех технологических потоков соответ ствует условие:
Если параметричность потоков ХТС не одинакова, технологи ческие потоки не равноценны с точки зрения и выбора в качестве особых потоков. В этом случае задача разработки оптимального алгоритдіа анализа діногоконтурной ХТС состоит в отыскании такого множества особых технологических потоков Q = (дгх, q2, . . qn), чтобы общая парадіетричность технологических потоков множества Q была минимальной, т. е.
71 |
|
Яд= 2Я[ — min |
(Ѵ,80) |
1 |
|
где я і — параметричность технологического потока <ц; п — число особых тех нологических потоков; HQ — общая параметричность технологических потоков множества Q.
Необходимость применения діетода последовательного расчета математических моделей элементов разомкнутых систеді и діетода расчета дшогоконтурных систем путем их преобразования в эквива лентные разомкнутые обусловлена многомерностью матедіатических моделей современных ХТС, которые представляют собой совокуп ность уравнений. В результате этого приходится заменять одновредіенное решение математической дюдели ХТС в целоді последователыіыді
расчетом математических моделей каждого отдельного элемента, для которых число уравнений Ni < N.
Для разработки оптимального алгоритма анализа сложной ХТС с последовательными, параллельными, перекрестными и обратными технологическими связями между элементами требуется:
1. Осуществить декомпозицию ХТС на строго соподчиненные элементарные и замкнутые подсистемы, которые не связаны обрат ными технологическими потоками ( э л е м е н т а р н ы м и п о д с и с т е м а м и называют отдельные элементы системы). Для опре деления порядка расчета математических моделей строго соподчи ненных систем использовать алгоритм анализа разомкнутых ХТС.
2. Разработать оптимальный алгоритм анализа каждой замкну той строго соподчиненной подсистемы ХТС, т. е. найти такое мно жество особых технологических потоков, для которого выполняется условие (Ѵ,76) или условие (Ѵ,80) в зависимости от того, имеют все технологические потоки системы одинаковую или разную параметричность.
Приведем доказательства некоторых теорем, отображающих то пологические характеристики параметрических потоковых графов и применяемых для разработки оптимальных алгоритмов анализа сложных ХТС.
|
|
|
|
Т е о р е м а 1. |
Если в матрице [Рх] = [рші/1 = [Н]х = |
[h^]x ее лементы |
имеют значения р(Х)і;- |
= 0, то в графе между вершинами і и / |
не существует пути |
длины к. Если Р(і)Ц = |
1, то такой путь имеется. Матрицу [Рх] называют м а |
т р и ц е й с в я з е й |
|
графа. При ее образовании используют обычные правила |
перемножения матриц, |
а каждый элемент р(Х)І;- находят с помощью основных |
соотношений булевой алгебры или алгебры логики.
Для операции логического сложения (V) справедливы соотношения:
о V0 = о
о V і = і V 0=1 1.Ѵ 1 = 1
Для операции логического умножения (Д) справедливы соотношения:
ОД 0 = 0
ОД 1 = 1Д 0= 0
1 Д 1 = 1
Теорему докажем методом индукции. При к = 1 справедливость теоремы очевидна, что следует из определения матрицы смежности [Н] графа.
Пусть теорема 'справедлива при к — к. В соответствии с правилом пере множения матриц и соотношениями булевой алгебры имеем:
Р(ХЛ1) і/ = V (Р(Х) іт Д hmj)
1, N
По предположению, элемент p(X)t-m характеризует наличие или отсутствие
. путей длины к между вершинами графа г и та. Следовательно, элемент (p(K)!mAÄm/) определяет наличие или отсутствие путей длины к + 1 из вершины г в вершину /,
проходящих через вершину та. Величина V |
(Ран'тЛ/іт/)> очевидно, характе- |
т - 1, N |
|
нескольких путей длины |
ризует наличие или отсутствие хотя бы одного или |
к + 1, проходящих из вершины і в вершину / |
графа. |
|
280 |
|
|
Теорема справедлива и при Я = |
0, если под матрицей [Р0] == |
[Н]° понимать |
единичную матрицу [Е]. |
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
1' |
Таким образом, элементы р^ні матрицы [Рх] показывают, имеется |
|
или отсутствует (рШ{/ = 0) |
в графе между вершинами і и / |
|
путь Іц, |
длина |
которого равна Я. Если элемент на главной диагонали матрицы связей |
р())і/ |
= |
= 1, то вершина і графа принадлежит элементарному контуру длины Я. |
|
|
Введем некоторую матрицу переходов: |
|
|
|
|
|
|
|
|
Элементы а(п)ц матрицы |
[А„] показывают, имеется |
(аш ц |
= 1) или отсут |
ствует (а(л)і/ = |
0) в графе путь, длина которого не превышает п. |
Из этого утвер |
ждения вытекает следующее |
свойство матриц [А„]: если |
п2 )> |
|
и й(Л1)г/ = |
1, |
т о а ( п г ) г / = |
! • |
2. |
Если для |
некоторого n' |
матрица |
[Ал,] |
= [А1(+1], |
то |
Т е о р е м а |
и для всех га )> |
п' матрица [А„] |
= |
[А„, ]. |
При |
этом элементы |
|
а(п. щ матрицы |
{А„,] определяют наличие в графе пути (какой-либо длины), |
ведущего от і к |
|
В самом деле, пусть |
[А„»+2] ф [А„,+1]. Это означает, что для некоторых г |
и / величина аіп,+2)іі = |
1, а а1п,+іуц = |
0. |
Рассмотрим путь |
///длины n' -f |
2. |
Пусть Іц = |
liK+ |
lKj, где liK имеет длину n' + 1, а Іц — путь единичной длины. |
Однако на |
основании равенства |
[А„] = |
|
[Ага,+1] |
имеется путь |
/(к длины п . |
Тогда путь Іц = |
liK~f- lKj имеет |
длину |
n' -f- 1, |
а значит, |
а{п.+ 1щ = |
1, что |
противоречит допущению. |
|
|
|
|
|
|
|
|
|
|
|
|
Тогда |
Докажем последнее утверждение теоремы. Пусть существует путь ///. |
для некоторого |
п величина а(л)// |
= |
1. |
Следовательно, |
а1ппц = 1. |
Если же |
не существует пути ///, то а(ппц = |
0. |
Теорема доказана. |
|
|
|
|
|
|
|
Матрицу [А„,] |
= |
[А* ] будем называть |
п р е д е л ь н о й |
м а т |
р и ц е й п е р е х о д о в |
графа. |
|
|
|
|
|
|
|
|
|
|
Рассмотрим теперь матрицу выделения строго соподчиненных |
контурных подсистем, получаемую по следующему правилу: |
|
|
|
|
|
|
|
|
[В] = [А*] П [А*]г |
|
|
|
|
|
|
|
|
Для общего элемента |
матрицы |
[В] справедливо |
соотношение: |
|
|
|
|
|
|
|
|
если |
0(*)і/ — а(*)/і= 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
если й(*) і / = 0 или й(*, / і |
= |
0 |
|
|
|
Легко видеть, что если Ъц = |
1, то имеется как путь l(j, так и путь |
І ц , а, значит, |
вершины і |
и / |
входят в некоторый элементарный кон |
тур. Если же Ь[] = 0, то в графе отсутствует либо путь 1и , либо путь Іц и, следовательно, вершины і и / не принадлежат ни одному элементарному контуру графа.
Матрица [В] позволяет выделить строго соподчиненные замкну тые контурные подграфы параметрического потокового графа, т. е.
|
|
|
|
|
|
|
|
|
|
строго |
соподчиненные |
контурные подсистемы сложной ХТС. |
Не |
трудно видеть, |
что эта матрица удовлетворяет следующим условиям. |
Т е о р е м а |
3. |
Для |
элементов матрицы |
[В] справедливы соотношения: |
если Ьц = |
1, то Ьц = |
1 (симметричность); |
|
|
|
если ЬіК = |
1 и Ък] = 1, то Ьі] = 1 (транзитивность). |
|
ХТС |
Оба |
условия |
естественным |
образом разбивают элементы сложной |
на ^-группы: К г, |
. . ., |
K q. |
Для вершин і и /, входящих в одну группу, |
Ьц- = 1 |
(имеются пути Іц |
и |
///), |
а для |
вершин і и / |
из разных групп &// = |
0 |
(один |
из путей Іц или Іц отсутствует). |
Группы А/, |
состоящие более чем из одного |
элемента, и группы, которые содержат единичный элемент, охваченный рециклом, являются строго соподчиненными контурными подсистемами.
Т е о р е м а 4. Если і |
£ K t, j £ К к (1 |
Ф |
к) и а ц = 1, то для всех i' £ Kt |
и i" £ К к величина a t , j , = |
1 и при этом а / ң , |
= |
0. |
В самом деле, для вершин і' и /' имеется путь
1(’І> — I] ч “Ь hj~\~
Последнее утверждение теоремы вытекает из принадлежности вершин V и различным строго соподчиненным подсистемам.
Теорема 4 позволяет ввести |
о т н о ш е н и е п о р я д к а |
ме |
жду |
строго |
соподчиненными |
контурными |
подсистемами: |
K t <іКк |
(подсистема |
K t предшествует |
подсистеме |
Кк), |
если |
при |
і £ K t и |
j £ Кк имеем atj = 1, что удовлетворяет обычным условиям, |
при |
нятым для отношения порядка: |
|
|
|
|
|
|
|
а) для любых I и в (I Ф к) |
справедливо не более чем одно из со |
отношений К[ < іКк или Кк < К р |
K t < J ? S; |
|
|
|
|
б) |
если K t < .Кк и Кк < . K S, |
то |
|
|
|
|
в) |
K t = |
Кр условие K t > |
K t невозможно. |
|
|
|
|
Введем в рассмотрение |
м а т р и ц у |
п о р я д к а |
строго соподчиненных |
контурных подсистем [С] = |
[С(/] |
размером Q X Q, |
общий |
элемент которой |
равен: |
|
|
|
|
|
|
|
|
|
|
|
|
|
сІГ- |
1, |
если К і < |
Kj |
|
|
|
|
|
|
|
0, |
если |
К і < |
К/ |
|
|
|
|
|
|
|
|
|
|
|
|
Отношение порядка между строго соподчиненными подсистемами показы вает, в какой последовательности должен производиться расчет строго соподчи ненных контурных подсистем: если Кі <; Kj, то подсистема К і должна быть рассчитана раньше подсистемы Kj. Если последовательность подсистем /£),, . . ., Kj^ такая, что при і <[ / величина сі.;{ = 0, то сложная ХТС может быть рас
считана в соответствии с данной последовательностью строго соподчиненных контурных подсистем.
Идентификация простых контурных подсистем замкнутых ХТС
Для разработки оптимальных алгоритмов анализа замкнутых ХТС каждая простая контурная подсистема должна быть идентифи цирована совокупностью элементов и технологических потоков, об разующих эту подсистему. Каждой простой контурной подсистеме ХТС соответствует простой или элементарный контур параметриче ского потокового графа данной системы, который должен быть иден тифицирован совокупностью вершин (узлов) и дуг графа.
Простые контуры определяют путем построения по матрице смеж ности [Н] параметрического потокового графа ХТС прадерева с кор нем. Порядок идентификации простых контуров поясним на примере анализа графа, представленного на рис. Ѵ-44, а.
В качестве корня прадерева (рис. Ѵ-44, б) выбирают любую произвольную вершину графа, например вершину 1 (см. рис. Ѵ-44, а). Наличие в матрице
|
1 |
10 |
7 |
8 |
9 |
2 |
3 |
4 |
5 |
6 |
0 “ |
|
1 ~ 0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
|
10 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
|
7 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
|
8 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
гтт1 |
9 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
|
2 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
|
3 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
|
4 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
|
5 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
6 _ 0 0 1 1 0 0 0 0 1 0 _ |
|
элементов h 12 = h23 = |
^310 ~=1 отражает существование в |
пара |
метрическом потоковом |
графе |
(см. рис. Ѵ-44, а) и прадереве |
пути |
проходящего через вершины 1, |
2, 3 и 10. |
|
Рис. Ѵ-44. Параметрический потоковый граф XTG двупоточной моноэтаноламиновой очистки синтез-газа от двуокиси углерода (а) и прадерево (б) с корнем для выделения элементарных контуров графа.
Для каждой вершины / (/ = 1,2, . . ., 10) графа (см. рис. Ѵ-44, а) выявляют все вершины-потомки, отыскивая в каждом і-ом столбце (і — 1, 2, . . ., 10) /-ой строки матрицы [Н] элементы h,t = 1. Затем аналогично для каждой вершины і графа (см. рис. Ѵ-44, б) отыскиваются ее вершины-потомки и т. д. Далее эти вершины-
потомки соединяют дугой в прадереве (см. рис. Ѵ-44, б) и таким образом определяют все пути в графе (см. рис. Ѵ-44, а).
Висячей вершиной прадерева становится та вершина, номер которой совпадает с номером одной из вершин, принадлежащей
Р и с . Ѵ-45. Алгоритм декомпозиции сложных ХТС систем на строго
соподчиненные элементарные и контурные подсистемы.
любому пути прадерева. Каждая висячая вершина прадерева при надлежит простому, или элементарному, контуру параметрического потокового графа. Следовательно, соответствующий этой вершино графа элемент ХТС принадлежит некоторой простой контурной под системе.
Общее число висячих вершин прадерева всегда больше числа про стых контуров графа, так как разные висячие вершины прадерева могут отвечать одному и тому же простому контуру.
Прадерево выявляет следующие простые контуры в параметри ческом потоковом графе ХТС:
Висячая вершина |
Вершины потокового |
Простой контур |
прадерева |
параметрического графа, |
|
входящие в простой контур |
|
I |
1—2—3—10—1 |
А |
I! |
5—6—5 |
В |
I ll |
6 - 7 - 6 |
С |
IV |
2 - 3 - 4 - 5 —6—8—9 - 2 |
D |
V |
3—4—5—3 |
Е |
VI |
6 - 7 - 6 |
С |
VII |
2—3—4—6—8—9—2 |
F |
VIII |
3—4—6—5—3 |
G |
IX |
6—5—6 |
В |
После определения по прадереву с корнем простых контуров со ставляют матрицу контуров параметрического потокового графа. При использовании ЦВМ для построения прадеревьев осуществля ются следующие операции:
1.Контролируется длина каждого пути прадерева Я, которая должна быть равна длине простого контура графа. Если из вершиныкорня прадерева начинается путь с числом вершин Я, то выявляется дуга, соединяющая последнюю висячую вершину этого пути с кор нем. Нахождение такой дуги фиксирует наличие контура размерно сти Я. В противном случае данная вершина прадерева не принадле жит простому контуру.
2.На каждом пути прадерева длиной меньше Я контролируется
совпадение вершин. Если вершины совпали, делается шаг назад в предыдущую вершину пути прадерева. Построение прадерева про должается по новой ветви, выходящей из этой вершины.
3.Контролируется переход к вершине, не принадлежащей дан ному многоконтурному подграфу. Если такой переход произошел, возвращаются в предыдущую вершину и продолжают построение прадерева в новом направлении.
4.Промежуточные вершины графа, имеющие одну входящую и одну выходящую ветви, в качестве корней прадерева не выбираются.
Алгоритм декомпозиции сложных ХТС на строго соподчиненные элементарные и контурные подсистемы представлен на рис. Ѵ-45.
Разработка оптимальной стратегии анализа замкнутых подсистем ХТС на основе применения параметрических потоковых графов
Алгоритм основан на рассмотрении р а с ш и р е н н о й м а т
р и ц ы |
к о н т у р о в [К*] параметрического потокового |
графа |
ХТС, |
которая представляет собой матрицу контуров графа |
[К], |
дополненную строкой контурных степеней дуг и столбцом рангов
простых контуров графа. |
|
|
|
|
|
|
|
|
|
|
|
|
Р а н г |
г простого |
контура параметрического потокового графа |
равен числу дуг, входящих в этот контур. К о н т у р н а я |
с т е |
п е н ь / |
дуги |
графа |
равна |
числу |
простых |
контуров, |
в |
которые |
данная дуга входит. Матрица [К] графа (см. рис. Ѵ-44, |
а), допол |
ненная столбцом г и строкой /, будет: |
|
|
|
|
|
|
|
А ~ 1 |
1 |
0 0 0 0 0 |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
|
0 |
4 ■ |
Б |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
|
0 |
2 |
С |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
|
0 |
2 |
D |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
|
1 |
7 |
Е |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
|
0 |
3 |
F |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
|
1 |
6 |
G |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
|
0 |
4 |
/ |
_ 1 |
2 |
4 |
2 2 2 1 |
1 |
2 |
2 |
1 |
1 |
2 |
|
2 2 |
0 _ |
|
Р і |
P t |
P i |
Ре |
P i |
P i |
Pli |
P 1 2 Pis |
P m |
P 15 |
Pie |
Pie |
V z o |
Р а з |
r |
Если /г дуги рі |
больше, чем /^-дуги pt параметрического потоко |
вого графа (или /(- |
= |
/;-), и если дуга pj входит лишь в контуры графа, |
которые включают дугу pt, |
то |
д у г а |
pj |
г е о м е т р и ч е с к и |
с о д е р ж и т с я |
в д у г е |
рг, или |
д у г а |
р{ |
г е о м е т р и ч е |
с к и с о д е р ж и т д у г у р;-.
Очевидно, что выбор в качестве дуги, соответствующей особому технологическому потоку ХТС, дуги pt приведет к разрыву большего числа простых контуров в потоковом графе и получению системы нелинейных уравнений вида (Ѵ,77) меньшего порядка при решении задачи анализа ХТС, чем выбор дуги pf. Если эта дуга геометрически содержится в дуге pt, то столбцы pj и pt матрицы контуров зависимы. Исключение из [К] столбца p f не влияет на определение минималь ного числа дуг графа, соответствующих особым технологическим потокам ХТС. Вычеркивая из расширенной матрицы контуров [К*]
столбцы рй, р1, |
р 1Х, р 12, |
р 20 |
и |
р 23, |
геометрически содержащиеся |
в столбцах р 4, |
ръ и р 12, |
находят упрощенную матрицу: |
|
|
|
P t |
P i |
P i |
P 12 Pis9 |
|
|
A |
”1 |
0 |
0 |
0 |
0 |
Г |
|
|
В |
0 |
0 |
1 |
0 |
1 |
2 |
|
|
C |
0 |
0 |
0 |
1 |
0 |
1 |
|
|
D |
1 |
1 |
1 |
0 |
0 |
3 |
|
|
E |
0 |
1 |
0 |
0 |
0 |
1 |
|
|
F |
1 |
1 |
0 |
0 |
0 |
3 |
|
|
G |
0 |
1 |
0 |
0 |
1 |
2 |
|
|
f |
„3 |
4 |
2 |
1 |
2 |
0_ |
Так как в этой матрице все столбцы независимы и имеются строки только с одним единичным элементом кп = к34 = къ2 = 1, то дуги
Р4>Рь и Р12 выбирают как дуги, отвечающие особым технологическим потокам ХТС. Преобразуя матрицу [KJ], получают упрощенную матрицу
Pt |
Pit Г |
~ '1 |
1 |
2' . |
.1 |
1 |
О |
и в качестве дуги, |
соответствующей особому технологическому по |
току ХТС, выбирают дугу р 13. У п о р я д о ч е н н ы й |
п о с л о я м |
в е р ш и н |
параметриче |
|
|
ский потоковый граф дан |
|
|
ной |
ХТС |
представлен на |
|
|
рис. Ѵ-46. |
|
|
|
|
|
Блок-схема оптималь |
|
|
ного |
алгоритма |
анализа |
|
|
замкнутых ХТС для слу |
|
|
чая |
одинаковой |
парамет- |
|
|
ричности |
всех |
техноло |
|
|
гических потоков показана |
|
|
на рис. Ѵ-47. |
Сущность |
|
|
оптимального |
алгоритма |
|
|
анализа замкнутых строго |
|
|
соподчиненных |
подсистем |
|
|
ХТС с неодинаковой па- |
Рис. Ѵ-46. Упорядоченный по |
слоям вершин |
раметричностью |
техноло |
параметрический потоковый граф ХТС. |
гических потоков поясним |
|
|
на примере рассмотрения параметрического потокового графа, изображенного на рис. Ѵ-48.
Расширенную матрицу контуров [К*] дополним строками пара-
метричностей л и статусов дуг (sg) |
и столбцом статусов простых кон |
туров (sK) параметрического |
потокового графа: |
|
|
|
|
р1 Р2 Pt |
Р4 |
Ръ Pt |
Pt |
Pt |
г |
s« |
АТ "0 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
2 |
Г |
А2 |
|
0 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
2 |
1 |
A3 |
|
1 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
3 |
1 |
[КО] = A4 |
0 0 0 |
1 1 1 1 0 4 1 |
/ |
1 |
2 |
1 |
|
2 |
1 |
1 |
2 |
1 |
0 |
0 |
л |
1 |
3 |
4 |
|
4 |
4 |
4 |
4 |
4 |
0 |
0 |
Ss _1 1 1 |
1 1 1 1 1 0 0_ |
Нетрудно видеть, что |
р г |
геометрически |
содержит р 3. Помимо |
этого, я 2 равно 3, тогда как я 3 равно 4. Таким образом, если в качестве исходного для итерации выбрать поток ps, то потребовалось бы отыс кать дополнительный поток, который разомкнет контур КЗ. Кроме того, намного возросло бы и общее число переменных, которыми необходимо задаться по сравнению со случаем выбора только потока