CC BY
35
УДК 519.622.2
В.А. Ляшев
УСТОЙЧИВОСТЬ МЕТОДА СОВМЕСТНЫХ РЕЛАКСАЦИЙ
Рассматривается метод совместных релаксаций, дана его математическая форму. , появления задержек обмена данными между разделенными частями.
Устойчивость; задержка; релаксация.
V.A. Lyashev
STABILITY OF CONCURRENT RELAXATION TECHNIQUES
In the article Concurrent Relaxation Technique is presented. We research the stability problem for this technique, which always obtains in partitioned systems after delayed feedback decomposition.
Stability, delay, relaxation.
Важнейшей проблемой современной энергетики является анализ и управление режимами и переходными процессами энергосистем различного назначения, в частности энергосистем подвижных объектов. Современные мощные энергообъ-, , -
гатов, рабочие процессы которых взаимно влияют друг на друга. В свою очередь, в
- , -щих на общую нагрузку энергосети. Очевидно, что протекающие в этих энергоблоках технологические процессы также взаимосвязаны между собой через нагрузку или общий первичный энергоисточник. Указанные взаимосвязи и взаимовлияния как между составными частями энергообъекта, так и между группами , -
гических процессов в этих энергообъектах. Иначе говоря, существенное влияние и взаимосвязь технологических процессов как в отдельных агрегатах, так и в группе , ,
как некоторой единой динамической системы со своими показателями и характе-
ристиками. Поэтому разрозненный анализ процессов в отдельных агрегатах энергообъекта может не только не дать общего эффекта, но даже привести к ухудшению показателей работы энергосистемы. Между тем, раздельное рассмотрение процессов в составных частях энергообъектов продолжает оставаться достаточно распространенным при их исследовании и проектировании, так как позволяет упростить сложность анализируемой задачи и снизить вычислительные затраты при численном анализе такой системы.
, , представляют собой сложные динамические системы, которые следует рассматривать как единое целое, чтобы учесть взаимовлияние отдельных частей друг на друга. В то же время, проблема анализа динамических систем большой размерности, к которым относятся и энергосистемы, остается открытой, так как требует существенных вычислительных затрат. Многомерность и многосвязность таких систем не позволяют использовать алгоритмы параллельных вычислений для реализации на кластерных вычислительных системах в явном виде. Альтернативой могут служить релаксационные алгоритмы, которые во многих случаях по-
.
, , взаимовлияние как смежных частей, так и связь всех частей через общую нагрузку или источник энергии.
Наиболее интересный и наименее известный метод - Concurrent Relaxation. , -конце 90-х годов XX в. [1] дали толчок к исследованиям в этой области. Основная идея метода заключается в том, что декомпозиция нарушает принцип одновремен-, . -явлению погрешности решения, но и, как правило, вызывает его неустойчивость. С физической точки зрения это обстоятельство можно объяснить тем, что при организации взаимодействия между частями системы неизбежно возникают задерж, . новый параметр - временную задержку>, которая позволит более адекватно описать разделенную систему [1]. Действительно, нет смысла анализировать разделенную систему как исходный объект и не учитывать новые свойства. Но здесь появляется новая проблема: насколько адекватно разделенная система с введенными задержками описывает исходный объект моделирования. Предполагается, что исходная и разделенная модели адекватны: практически, это означает адекватность решений (откликов) обоих вариантов систем при одних и тех же начальных условиях и . , использовать различие откликов систем.
,
быть идентичной исходной математической модели, даже если ошибка вычислений и дискретизации пренебрежимо мала. Такая модель есть результат специального вида декомпозиции, delayed feedback decomposition, которая приводит к особой форме релаксационного процесса [2, 3].
Если анализируемая цепь или любой другой объект можно представить в виде набора нескольких блоков (модулей), соединенных между собой (рис. 1,а), то модульный подход к моделированию такой системы подразумевает организацию взаимодействия этих блоков посредством некоторого интерфейса обмена ( . 1, ), . -никновения ошибок - это конечность разрядной сетки вычислителя и дискретизация непрерывных временных функций, т.е. аналогична погрешностям, характерным для численных методов, то задержки обмена между частями - это особенность модульного подхода. По мнению [4], временные задержки и есть первичная причина неустойчивости релаксационного процесса. Таким образом, имеет смысл аппроксимировать модульное представление модели объекта с учетом задержек обмена как показано на рис. 1,в.
Математически замена исходной модели некоторой системы (рис. 1,а) на аппроксимирующую модель (рис. 1,в) соответствует переходу от системы уравнений
F<x1,x2,- • -,xn) = 0 (i = 1,2,.. ,,n) (1)
к новой системе уравнений с задержками
Fi(x1(t-T,1),..., x,-1(t-T,i-1), x-(0, xl+1(t-Tt,l+1),..., xn(t-T,n)) = 0 (i = 1,2,.,n), (2) где F() - некоторые дифференциальные операторы.
1 —► ? —► 3
«— <—
-И*
-----1 Х23 |-fr
Рис. 1. Модульный подход: а - исходный объект; б - модульная структура моделирования; в - разделение с задержкой - совместные релаксации
б
а
в
Можно показать [1], что (2) может рассматриваться как релаксационный метод для решения (1). Действительно, (2) есть непрерывный вид хорошо известных дискретных итерационных методов релаксации таких, как временной анализ (TA), итерационный временной анализ (ITA), релаксация формы сигнала (WR) [2].
В [4] предложен термин Concurrent Relaxation (CR, метод совместных релаксаций, МСР) для обозначений метода моделирования энергосистемы (рис. 1,а) посредством аппроксимации с задержкой (рис. 3,в).
Если в качестве тестовой задачи рассматривать систему дифференциальных уравнений первого порядка:
CX + AX + B = 0, C, Aе RNxN, X,Bе RN, (3)
то МСР можно представить в следующем виде:
QсX(t) + SCX(t -т) + ACX(t) + ACX(t -T) + B(t) = 0, (4)
Qa,QA,Sa,SAe, X,Be RNxN , |Qc| * 0, X - производная вектора X по времени.
Введем новые матрицы:
а = QC'Sc, в = QCQA, Y = QcsA, S = QCB. (5)
(4)
X(t) + aX(t - т) + pX(t) + yX(t - т) + S = 0. (6)
Прежде всего определим устойчивость исходной системы, так как нет смысла пытаться получить устойчивое решение для неустойчивой системы (3).
Известно, что решение уравнения (3) устойчиво при условии, что корни характеристического уравнения имеют отрицательную вещественную часть (математическая интерпретация критерия устойчивости Ляпунова). Характеристическим уравнением для (3) является равенство
|-C-1A - All = 0.
-C-1A.
, (3), -
:
Re[e^g(-C-1A)\ < 0.
Известно, что Re[eig(-A)] = -Re[eig(A)], поэтому можно знак минус вынести и записать
Если задержка т= И (Н=сотР), то МСР (6) можно представить в виде метода временного анализа, из чего можно сделать вывод, что вторым требованием устойчивости является требование р(а)<1. Понятно, что двух предыдущих условий недостаточно и они ограничиваются случаем т= И. Таким образом, необходимо определить третье условие - требование к величине задержки, которая в общем случае может быть не равной И, но если при т< И мы берем т= И, то при т> И необходимо обозначить границы изменения задержки, при которых математическая модель (2) остается устойчивой. Таким образом, задача оценки допустимых временных задержек в разделенной системе сводится к оценке свойств оператора перехода "Щт) как параметрического функционала, который позволит сформулировать необходимые требования к величине временной задержки т, гарантирующие .
Пусть исходная (нераделенная) линейная система описывается уравнением (3) на интервале /е [0, Ттах], а разделение с задержкой приводит к выражению (4). В качестве начального условия возьмем Х0е Я^.
Разобьем интервал [0, Ттах] на отрезки длиной т. [0, Т, [Т 2т], ••• Обозначим у(Т) = Х[(М)т-7], Те[0, Т, i = 1,2,.... Для того чтобы начать вычисления в соответствии с (4), необходимо задать начальные приближения для у0(Т) и у0 (Т) .
Положим у0(Т) = Х0; у0(Т) = 0.
(4) -
вие сжимаемости отображения (yi - уи1) ^ (у- у-2) при любых начальных условиях и начальных приближениях.
Поинтервальный анализ процесса решения с учетом обозначений (5) приводит к выражению
Re[e/g(C-1A)\ > 0.
Если С и А записать через матрицы расщепления
^ = с-1 а = ( + бс )-1 х( + б, ) = д-1 (I+&БС ) х( + б,) = (і+)-1 х(дс‘д, + дс'Б, ) = (і + а)-1 х(р+у),
то условие устойчивости исходной системы примет форму
Re[e/g{(I+a)-1х(в+Y)}\ > 0.
(7)
0
0
Т т
0
Оценка разности между отрезками решений, получаемых на соседних интер-.
г (Т) = Уi (Т) - у.-1(Т) =
т (8)
= -агг -1(Т) + е-вагг -1(0) + е~вгг (0) + |ев(в—Т\fia-y) г—1(в)б1в.
0
Последнее является функциональным итерационным выражением. Из него необходимо получить условие сжимаемости отображения г(Т) ^ г^Т).
Заметим, что соотношение (8) справедливо для любых Те [0, Т. В частности, при Т=тс учетом г^Т) = г(0) оно преобразуется к виду
zi(Т) = (—а+е в")г—1(Т) + е в оа-2(Т) + }евв Т)(^а—у)г—_1(в)йв.
(9)
Сходимость функциональной последовательности (9) является необходимым
(6). , стационарной системы есть свойство инвариантное по отношению к временному . , (9)
(6).
Более «р^вернутое» выражение, имеющее большее число членов, не содержащих интегралы, можно получить, если оценку для г{.1(0) взять из (8) и подста-(9) . . -
ням в ряд Тейлора.
, -
жение для оператора перехода "( Т), такого, что = "( Т)г-Л. Вместе с тем можно найти несколько первых членов разложения "( Т) в ряд Тейлора по степеням Ти на их основе произвести необходимые оценки.
, т
Zi = к1 ( Т)Zi—1 + к2 (Т )Zi—2 + ... + кт ( Т)Zi—m , (10)
причем коэффициенты являются функциями Т. Далее используем известную методику [5]. Каждый из коэффициентов к(Т) раскладываем по степеням Т.
К(т) = Кю + КцТ + к[2Т2 +.. Как известно, свойства оператора перехода "(т) полностью определяются корнями Wj(т) (/' = 1,2,.,т) характеристического уравнения
т 7 т—1 . / т—2 . . 7
г = к1 г + к2г +... + кт . (11)
Необходимым условием устойчивости системы является выполнение условий |w/Т)\ < 1 для каждого из т кор ней, т.е. собственные значения оператора перехода Т) находятся внутри единичной окружности.
Корни будем также искать в виде разложения по степеням г
Wj(Т) = Wj0 + Wj1 Т + Wj2Т + .... Для нахождения коэффициентов Wj0 дня всех корней решаем характеристическое уравнение (11) при к = к(0) = кю. Далее для нахождения коэффициентов Wj1 в разложении каждого из корней вновь решаем характеристическое уравнение (11). На этот раз каждый из корней представляем в виде суммы Wj = Wj0 + Wj1 Т, где Wj0 уже известен, а в качестве коэффициентов в (11) используем два первых члена разложения к = к10 + кп Т. Подставляя эти выражения в (11), , ,
только коэффициенты при т Они образуют линейное уравнение относительно После того как все мд найдены, в разложении корней и коэффициентов в ряд берем на одно слагаемое больше. Подставляя соответствующие выражения в (11), аналогичным образом находим коэффициенты и т.д.
,
границах интервалов получаем разные оценки.
Все оценки критической задержки в табл. 1 не учитывают жесткость системы. Понятно, что жесткость системы связана с постоянными времени, т.е. она оказывает существенное влияние на оценку критической задержки тс. Часто в качестве оценки жесткости системы используют отношение наименьшего собственного числа к наибольшему собственному числу матрицы С-1А для уравнения в форме (3). Таким образом, можно учесть жесткость системы следующим образом:
Тс_<Ш = тс Дтт/Дmax,
где Дпш = тт[Яе^((1+а)Л(Р+У))]}, Дх = тах[Ке^((\+0)Л(в+Ш}.
1
Выражения для оценки критической задержки декомпозированной системы
Способ аппроксимации Оценка корней хар-го уравнения Критическая задержка
Простейшая явная схема ^ д - - + о * ° X * І І ^ X ^ X Тс = 1 -р(а) (I + аУ\ва-у) 1 а
Простейшая неявная схема w1( т) = I - (1+а)-1х х (в+у) т + 0( т2); w2( т) = -а+ (1+а)-1 х х (Ра-у)ат + 0( т2) тс =■■ 1 -Р(а) (I + а) 1(ва-у)а а
Для иллюстрации рассмотрим следующую задачу: пусть задана система линейных дифференциальных уравнений.
В качестве функций-воздействий возьмем обобщенную единичную функцию
- 0). Выполняется полная декомпозиция задачи методом совместных релаксаций по шаблону Якоби. В результате получаем четыре подсистемы уравнений, которые на каждой временной точке решаются независимо, а обновление смежных релаксированных компонент вектора неизвестных происходит с задержкой т Оценки критических задержек, вычисленных по формулам из табл. 1, следующие.
Таблица 2
Оценки критической задержки тс
Экспериментальная оценка тс Ранее предложенная оценка1 <^вная» аппроксимация производной «Неявная» аппроксимация производной
5,5 мс 0,038 мс 3,74 мс 3,46 мс
,
значительно ближе к реальной, но все же отличаются от определенной в результате вычислительных экспериментов (5,5 мс) почти в 2 раза. Скорей всего, более точную оценку получить не удастся в обобщенном виде, основываясь только на
, , .
способ расщепления и другие особенности конкретной задачи. На рис. 1 приводят-
1 Оценка, предложенная в [4].
ся решения системы уравнений методом исключений Гаусса (“Exact”) и методом
совместных релаксаций (“CR”) для различных задержек т: 3 мс, 4,5 мс, 5,5 мс, 6 мс.
,
:
1. Исходная система устойчива, т.е. все собственные значения системной матрицы находятся в левой полуплоскости.
2. Спектральный радиус оператора перехода меньше единицы.
3. , что гарантирует устойчивость метода совместных релаксаций.
4.
^ I iSYST
Т Cl Л-max .
Выполнение данных условий гарантирует устойчивость решения, полученного посредством МСР, а также его существенную близость к точному решению.
Однако вопрос погрешности метода остается открытым, но уже сейчас можно ска,
решении линейных дифференциальных уравнений.
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Dmitriev-Zdorov V., Klaassen B., Paap K.-L. Improvement of stability in cosimulation of tightly-coupled systems. - Proc. of 9th European Simulation Symposium (ESS’97), Oct. 19-23, 1997, Passau, Germany. - P. 639-643.
2. Dmitriev-Zdorov V.B., Lyashev V.A., Concurrent Relaxation and the Stability Problem in Mixed-Mode Cosimulation of Tightly-Coupled Systems, Proc. of Internat. Conf. “Modelling As a Tool of Solving Engineering and Humanitarian Problems” (M-2002). Part 2.- Taganrog: TSURE, 2002. - P. 18-22.
3. Dmitriev-Zdorov V.B., Lyashev V.A., Maksimov M.N., Modified Concurrent Relaxation Method and Improving the Stability of Numerical Analysis by Partitioning, Proc. of International conference “Information Technologies In Natural, Technical And Humanitarian Sciences” (IT-2002). Part 3. - Taganrog: TSURE, 2002. - P. 35-37.
4. Dmitriev-Zdorov, V.B., Dougal R.A., Merezhin N.I., Popov V.P. Stability of Real-Time Modular Simulation of Analog Systems. - Proc. of IEEE Workshop on Computers in Power Electronics, Blacksburg, VA, July 2000. P. 255-259.
5. . ., . . : . . - .: ,
1980. - 640 c.
Ляшев Владимир Александрович
Технологический институт Федерального государственного образовательного учреждения высшего профессионального образования «Южный федеральный университет» . .
E-mail: Lyashev@tti.sfedu.ru.
347928, г. Таганрог, пер. Некрасовский, 44.
.: 88634371632.
Lyashev Vladimir Alexandrovich
Taganrog Institute of Technology - Federal State-Owned Educational Establishment of
Higher Vocational Education “Southern Federal University”.
E-mail: Lyashev@tti.sfedu.ru.
44, Nekrasovskiy, Taganrog, 347928, Russia.
Phone: 88634371632.
