CC BY
57
Труды Карельского научного центра РАН № 5. 2011. С. 33-37
УДК 517.977
ИНВАРИАНТНЫЕ МНОЖЕСТВА СИСТЕМЫ УПРАВЛЕНИЯ ПРОЦЕССОМ БИОЛОГИЧЕСКОЙ ОЧИСТКИ
А. Н. Кириллов
Институт прикладных математических исследовании Карельского научного центра РАН
Рассмотрена многомерная нелинейная динамическая система, описывающая процесс биологической очистки. Построены инвариантные множества системы. Предложен метод стабилизации процесса, основанный на приведении траекторий в эти множества.
Ключевые слова: инвариантное множество, динамическая система, управление, биологическая очистка.
A. N. Kirillov. INVARIANT SETS OF A BIOLOGICAL TREATMENT PROCESS CONTROL SYSTEM
A multidimensional nonlinear dynamic system used to describe the biological treatment process is considered. Invariant sets of the system are built. A process stabilization method based on routing the trajectories into these sets is proposed.
Key words: invariant sets, dynamic system, control, biological treatment.
Введение
Задача стабилизации процесса биологической очистки сточных вод играет важную роль в проблеме охраны окружающей среды. От ее успешного решения зависит качество питьевой воды, количество которой в расчете на одного человека в период с 1970 по 2002 гг., по данным Центра экологической политики России, уменьшилось вдвое [Данилов-Данильян, 2009]. Сложность процесса биоочистки, ограниченная возможность проведения натурных экспериментов [Евилевич, Брагинский, 1979] приводят к необходимости активно использовать математическое моделирование для управления этим процессом. В 1987 г. была создана так называемая модель ASM1 очистки сточных вод с помощью активного ила [Henze et al., 1987], которая стимулировала использова-
ние математического моделирования в практике инженерных расчетов. Модель ASM1 представляет собой систему нелинейных обыкновенных дифференциальных уравнений, аналитическое и качественное исследование которой практически невозможно. Имеется достаточно большое количество работ, связанных с упрощением данной модели. При этом используют линеаризацию, декомпозицию, уменьшение размерности [Steffens et al., 1997; Chachuat et al., 2003; Smets et al., 2003]. Следует заметить, что несмотря на сложность, в модели ASM1 не учтена многовидовость состава микроорганизмов активного ила.
Процессы, происходящие в системе биоочистки, до сих пор мало изучены, поэтому построение адекватной модели, учитывающей различные стороны этого процесса, в
настоящее время невозможно. Видимо, следует сосредоточиться на разработке комплекса достаточно простых и приемлемых с инженерной точки зрения моделей, применение которых для повышения эффективности процесса биоочистки не вызывало бы больших затруднений.
В настоящей работе предлагается метод стабилизации процесса биоочистки, основанный на построении инвариантного множества в динамической системе управления. В качестве трофической функции используется функция Моно [Brune, 1985; Вавилин, 1986]. При этом учтен многовидовой состав сообщества микроорганизмов. Управляющим воздействием является скорость возвратного потока ила. Допустимые управления - кусочнопостоянны и принимают всего два значения, что упрощает практическую реализацию алгоритма стабилизации.
Модель и постановка задачи
Будем рассматривать процесс биологической очистки, выделив из его технологической схемы аэротенк и вторичный отстойник. Рассмотрим сообщество микроорганизмов, находящееся в аэротенке. Пусть происходит параллельное потребление субстратов [Вавилин, 1986], т. е. i-й микроорганизм потребляет i-й субстрат, i = 1,..., n. При этом используем трофическую функцию Моно. Таким образом, получаем динамическую систему, описывающую процесс биологической очистки
±г = паи + fi(xi, si) - (b + u)xi, Si = ba2i - difi(xi, Si) - (b + u)si, i = 1,..., n,
(1)
(2)
где
fi(Xi,Si) =
ßixisi ki + si
Хі,ві - концентрация г-х видов микроорганизма и субстрата, соответственно; ¿і = у-, Уі - коэффициент утилизации г-го вида субстрата в биомассу г-го вида микроорганизмов; кі,ц,і - константа полунасыщения и максимальная удельная скорость роста, соответственно, микроорганизмов г-го вида; и, ац -скорость и концентрация, соответственно, г-го вида микроорганизмов в возвратном потоке; Ь, а2і - скорость и концентрация, соответственно, г-го вида субстрата на входе. Параметры системы, если особо не оговорено, считаем постоянными. Будем полагать, что управлением является скорость возвратного потока и как
наиболее технически просто регулируемый параметр. При этом вводим ограничения
и £ [ui,и2],
где Ui,U2 - граничные значения скорости и, 0 ^ Ui < U2. Пусть допустимое управление является кусочно-постоянной функцией и — u(x, s), и — (и1, ..^ и„), S — (si, ..., S<n).
Задача стабилизации процесса биологической очистки сточных вод состоит в нахождении такого допустимого управления и, при котором, начиная с некоторого момента времени t*, выполняются условия
Xi(t) £ [0,Xim], Si(t) £ [0,Sim], (3)
t ^ t*, i — 1,..., n,
где xim, sim - предельно допустимые концентрации i-го вида микроорганизмов и субстратов.
Множество M является инвариантным для системы управления z — f (z, и), если найдется допустимое управление и такое, что соответствующая траектория x(t, и) принадлежит M при всех t ^ to, если она начинается в точке x(to,U) — x0 £ M. Таким образом, получаем задачу нахождения допустимого управления, при котором множество
M — {(x, s) * xi £ [0, xim], si £ [0, sim] ,i — 1, n}
будет инвариантным для системы (1), (2). При этом также возникает задача перевода начальных точек в M за конечное время. Дальнейшее изложение посвящено решению этих задач.
Замечание 1. Будем считать, что допустимое управление не только кусочно-постоянно, но принимает лишь граничные значения. Во-первых, такое управление технически проще реализовать, а во-вторых, добавление к граничным значениям точек из интервала (ui, U2) не расширит возможностей стабилизации системы, что будет видно из дальнейшего изложения. Таким образом, метод управления обладает свойством релейности, т. е. является управлением типа «bang-bang control».
Инвариантные множества
В работе [Кириллов, 1994] рассматривалась система типа (1), (2) для случая одного вида микроорганизма и субстрата и, в частности, решалась задача стабилизации положений равновесия. Следует отметить, что требование асимптотической устойчивости отдельных состояний сложной экологической системы излишне жестко и в реальности не осуществимо. Достаточно требовать устойчивость по Лагранжу концентраций субстратов и микроорганизмов. Для природных экологических
систем, это впервые отмечено в работе [Сви-режев, Логофет, 1978], где исследовалась динамика взаимодействия популяций. Таким образом, приходим к задаче построения инвариантных множеств системы (1), (2).
Следующая лемма 1 дает достаточное условие инвариантности множества М.
Лемма 1. Множество
М — {(x s) • xi £ [0, Xim], Si £ [0, Sim] }, где i — {1,...,n}, является инвариантным для системы (1), (2) при достаточно больших значений xim, sim.
Доказательство. Для доказательства достаточно рассмотреть значения знаков Xi,Si из системы (1), (2) для конкретного значения i на границах множества (3), откуда получаем утверждение для конкретного значения i. Осталось заметить, что М — Mi х ... х Mn. □
Пусть zi — dixi + si, Di — diaiiu + ba2^ z — z1 +... + zn, D — D1 + ... + Dn. Рассмотрим систему
Zi — Di - (b + u)zi, i — 1,...,n. (4)
Лемма 2. Множества
Miz — {(x,s) • Zi — b+u}, Vi £ {1,...,n},
Mz — {(x,s) • z — ■+}
являются инвариантными и асимптотически устойчивыми для системы (4).
Доказательство. Понятие асимптотической устойчивости инвариантных множеств рассматривалось в [Зубов, 1982]. Умножив уравнение (1) на di и прибавив его к уравнению (2), получим линейную систему (4), из вида которой следует утверждение леммы для множества Miz. Сложив уравнения системы (4), получим уравнение z — D — (b + u)z, откуда следует утверждение леммы для множества Mz. □
Пусть A(uj) — (z1(uj), ...,zn(uj)) - положение равновесия системы (1), (2), соответствующее управлению Uj, j — 1, 2. Рассмотрим параллелепипед
P — {z • zi £ [cii, C2i], i — 1, ..., n} £ Rn,
где cii, c2i - заданные постоянные, P0 —
{z • zi £ (c1i,c2i),i — 1,...,n} - соответствующий открытый параллелепипед. Пусть [A(u1), A(u2)] — {z • z — aA(u1) +
(1 — a)A(u2),a £ [0,1]} - отрезок в Rn,
с концами A(u1),A(u2), (A(u1), A(u2)) —
[A(u1), A(u2)] \ {A(u1,A(u2)} - внутренность
отрезка [А(и^, А(и2)]. Пусть Е+ - множество точек г £ Кп с неотрицательными координатами.
Теорема 1. Пусть
Р0 П [А(и1),А(и2)] = [В1,В2],
где В1 = В2, [Вь В2] £ (А(«1), А(«2))-
Тогда любую точку г0 £ с помощью допустимого управления можно за конечное время перевести вдоль траекторий системы (4) в параллелепипед Р, который является инвариантным множеством системы (4). При этом отрезок [В1, В2] будет инвариантным асимптотически устойчивым множеством.
Доказательство. Обозначим А(и1) = А1,
А(и2) = А2. Для любой начальной точки го положим и = и1 (или и = и2) до тех пор, пока траектория, начинающаяся в этой точке, не попадет в достаточно малую окрестность и (А) точки А1 (или А2). Последнее очевидно в силу глобальной асимптотической устойчивости положения равновесия А1 системы (4) [Кириллов, 1994]. Траектории системы (4) -прямые. Действительно, из (4) следует, что
г^) = -Шго ехр(—(Ь + и)(£ - ¿о)) + Ь“+и,
где ыц0 = г^(£0) — ь+и. Тогда любая траектория является прямой (лучом) г = -Ш0 + Вт, где ад0 = (wl0,...,wn0), В = (+-,..., ^^ т = ехр(—(Ь + и^)(£ — ¿0)). Очевидно, отрезок [А, А2] принадлежит траекториям, проходящим через точку А.1 при и = и2 и через точку А при и = и1, соответственно. Пусть I - прямая, которой принадлежит отрезок [А^А^]. Расстояние от точи г до прямой I обозначим через р(г, I) = шт||г — у||, где минимум нормы берется по всем точкам у £ I. Рассмотрим цилиндр С(е) = {г : р(г, I) ^ е} с осью I. Поскольку отрезок [А.1,А.2] пересекает внутренность Р0 параллелепипеда Р, то цилиндр С(е) при достаточно малом е также пересекает Р0. Пусть окрестность и(А1) настолько мала, что и(А) С С(е).
После попадания траектории в описанную окрестность и (А1), что возможно в силу асимптотической устойчивости положения равновесия А1 при и = и1, переключаем управление на значение и = и2. Тогда траектория, оставаясь в цилиндре С(е), также пересечет Р0. Пусть Р = С(е)ПР, В = Р\Р0. Траектория входит в параллелепипед Р, точнее в область Р, пересекая ее границу В. Переключим
■©
управление на значение и = и1 в момент выхода траектории из области Р через границу В. Далее вторично переключаем управление при попадании траектории на границу В. Получаем последовательность управлений и соответствующих отрезков траекторий [К, К^+1], где Кк £ В. При этом [К, Кк+1] ^ [В1,В2] в том смысле, что р([К, К&+1], [В1,В2]) ^ 0 при к ^ то, где р([К, Кк+1], [В1,В2]) = шт||г—у|| по всем г £ [К, Кк+1], у £ [В1,В2], к =
0,1, 2,...,. Действительно, если г(£, ¿0,г0,и) = г(£), ¿(¿,¿0,-г0, и) = ¿(¿), то
Р([К, Кк+1К [В1, В2])
^ ||г(^) — ¿(¿)|| = ||г(^) — ¿(¿0Й)||
х ехр(—(Ь + и)(£ — ¿0к),
где £ £ [¿0к, ¿0(к+1)], ¿0к - момент переключения управления, г(£, ¿0,г0, и) - траектория системы (4), соответствующая управлению Uj и удовлетворяющая начальному условию г(£0, ¿0, г0,и) = г0. Таким образом, отрезок [В1, В2] - инвариантное асимптотически устойчивое множество системы (4).
□
Замечание 2. Как следует из доказательства теоремы 1, конкретный вид функций /¿(Жг,5г) не влияет на метод стабилизации, поэтому можно сформулировать утверждение, аналогичное теореме 1, но без конкретизации этих функций.
Замечание 3. В силу линейности системы (4), несложно получить оценку времени попадания траектории из любой начальной точки в Р.
Замечание 4. Построенный алгоритм стабилизации очевидным образом применим в случае, когда концентрации субстратов а^ на входе в очистную систему точно неизвестны, но известны промежутки, которым они принадлежат а2г £ [а2тп,а2тах]. Для этого требуется соответствующим образом скорректировать построение цилиндра С(е). При этом при небольших изменениях полученный результат можно использовать и в случае кусочнопостоянных a2i.
Замечание 5. В теореме 1 доказана асимптотическая устойчивость множества [В1,В2]. Это означает, что при соответствующем управлении в системе (4), а вместе с тем и в системе (1), (2), возникает асимптотический периодический устойчивый режим. В работе [Матрос, 1987] исследовался вопрос о повышении эффективности химико-технологических
процессов в результате искусственного введения периодических режимов их функционирования. Предложенный метод управления позволяет исследовать этот вопрос для процессов биологической очистки.
Стабилизация
Вернемся к задаче стабилизации процесса биологической очистки, состоящей в приведении траектории системы (1), (2) за конечное время в область (3). Нижеледующее утверждение дает достаточные условия разрешимости этой задачи.
Теорема 2. Пусть для всех i — 1, ...,n, j —
1, 2
a1i — Yia2i — °
Di / x Di ^ s
/7 . \ 7 ^ xim, 7 , ^ sim.
(b + uj )di b + uj
Тогда для любого начального состояния (x0, s0) £ R+n через конечное время будут выполняться условия (3).
Доказательство. Рассмотрим какую-либо одну подсистему (1),(2) при конкретном значении i, (xi,si) £ R+. Если выполняется первое условие теоремы, то две прямые dixi + si — b+U-, соответствующие j — 1,2, не совпадают [Кириллов, 1994]. Второе и третье условия гарантируют, что отрезки обеих прямых, принадлежащие R+, принадлежат прямоугольнику {(xi,si) • xi £ [0,xim],si £ [0,sim]}. Отсюда с использованием теоремы 1 следует заключение теоремы 2. □
Замечание 6. Условие теоремы 2 слишком жесткое. Его можно заменить условием, вытекающим из того факта, что траектории системы (4) с течением времени локализуются в сколь угодно малой окрестности отрезка [B1,B2].
Заключение
Получен метод решения задачи стабилизации процесса биологической очистки сточных вод. В его основе лежит приведение траекторий системы в инвариантное множество с помощью кусочно-постоянного управления, принимающего только два граничных значения. При этом структура системы (1), (2) позволяет свести решение задачи стабилизации к ее решению для линейной относительно z £ R+ системы (4). Представляется перспективным применение предложенного метода для системы (1), (2) с переменной размерностью, что соответствует переменному видовому составу
0
сообщества микроорганизмов. Соответствующая математическая модель разработана в работе [Кириллов, 2010], где размерность системы зависит от значения управляющего воздействия. Ранее такая зависимость была использована для управления системой «хищник-жертва» [Kirillov, 1997].
Литература
Вавилин В. А. Время оборота биомассы и деструкция биомассы органического вещества в системах биологической очистки. М.: Наука, 1986. 144 с.
Данилов-Данильян В. И. Водные ресурсы мира и перспективы водохозяйственного комплекса России. М.: Институт устойчивого развития; Центр экологической политики России, 2009. 88 с.
Евилевич М. А., Брагинский Л. Н. Оптимизация биохимической очистки сточных вод. Л.: Стройиздат, 1979. 159 с.
Зубов В. И. Динамика управляемых систем. М.: Наука, 1982. 286 с.
Кириллов А. Н. Задача стабилизации экологических систем // Обозрение прикладной и промышленной математики. 1994. № 6. С. 883-892.
Кириллов А. Н. Метод динамической декомпозиции в моделировании процесса биологической
СВЕДЕНИЯ ОБ АВТОРЕ:
Кириллов Александр Николаевич
ведущий научный сотрудник, д. ф.-м. н.
Институт прикладных математических исследований КарНЦ РАН
ул. Пушкинская, 11, Петрозаводск, Республика
Карелия, Россия, 185910
эл. почта: [email protected]
тел.: (8142) 763370
очистки сточных вод // Обозрение прикладной и промышленной математики. 2010. №4. С. 496-505.
Матрос Ю. Ш. Каталитические процессы в нестационарных условиях. Новосибирск: Наука, 1987. 232 с.
Свирежев Ю. М., Логофет Д. О. Устойчивость биологических сообществ. М.: Наука, 1978. 352 с.
Brune D. Optimal control of the complete-mix activated sludge process // Environtmental Technology Letters. 1985. Vol. 6. P. 467-476.
Chachuat B., Roche N., Latifi M. A. Reduction of the asm1 model for optimal control of small-size activated sludge treatment plants // Journal of water science. 2003. Vol. 16. P. 5-26.
Henze M., Grady C, Gujer W. et al. A general model for single-sludge activated sludge wastewater treatment systems // Water research. 1987. Vol. 6. P. 505-515.
Kirillov A. N. The stabilization problem for certain class of ecological systems // International Journal of Software Engineering and Knowledge Engineering. 1997. Vol. 7. N. 2. P. 247-251.
Smets I. Y., Hagebart J. V., Carrette R., Van Impe J. F. Linearization of the activated sludge model ASM1 for fast and reliable predictions // Water research. 2003. Vol. 37. P. 1831-1851.
Steffens M. A., Lant P. A., Newell R. B. A systematic approach for reducing complex biological wastewater treatment model // Water science and technology. 1997. Vol. 31. P. 590-606.
Kirillov, Alexandr
Institute of Applied Mathematical Research, Karelian Research Centre, Russian Academy of Science 11 Pushkinskaya St., 185910 Petrozavodsk, Karelia, Russia
e-mail: [email protected] tel.: (8142) 763370
