Например, Бобцов

ОПРЕДЕЛЕНИЕ ДОПУСКОВ НА ЭЛЕМЕНТЫ САУ ПРИ ТЕХНИЧЕСКОЙ РЕАЛИЗАЦИИ ЗАКОНОВ УПРАВЛЕНИЯ

ПРИБОРЫ И СИСТЕМЫ АВТОМАТИЧЕСКОГО УПРАВЛЕНИЯ
УДК 519.71
А. С. КОНДРАШОВ
ОПРЕДЕЛЕНИЕ ДОПУСКОВ НА ЭЛЕМЕНТЫ САУ ПРИ ТЕХНИЧЕСКОЙ РЕАЛИЗАЦИИ ЗАКОНОВ УПРАВЛЕНИЯ
Рассматривается программная реализация задачи определения допусков на элементы САУ при технической реализации законов управления. Задача состоит в вычислении нижней и верхней границ коэффициентов интервального полинома, сопровождающего заданный гурвицев характеристический многочлен, описывающий замкнутую регулятором систему управления. Задача решена с применением математического аппарата полиномов Эрмита — Билера и альтернативных форм записи формул Виета. Ключевые слова: закон управления, динамическая система, треугольная матрица.
Одной из основных характеристик системы автоматического управления (САУ) является надежность. Надежность — как внутренне свойство объекта — проявляется в его взаимодействии с другими объектами внутри системы, а также с внешней средой. Это свойство определяет эффективность функционирования системы. Возникает естественный вопрос: сохраняется ли это свойство при вариациях параметров математической модели САУ в некоторых пределах? Постановка такого вопроса вполне правомерна, поскольку любая математическая модель является приближенной. Варьировать параметры модели необходимо при реализации закона управления, полученного расчетным путем, и для учета изменения параметров САУ. Поскольку количество параметров, влияющих на надежную работу САУ, может быть достаточно велико, расчет возможного диапазона их изменения является процессом трудоемким.
Объектом исследований в настоящей статье является программная реализация алгоритма Подчукаева синтеза гурвицева интервального полинома, т.е. нахождение диапазона возможных вариаций коэффициентов интервального полинома
n
∑D(s) = sn + [αi , αi ]sn−i , i=1
сопровождающего заданный гурвицев характеристический многочлен (см., например, [1]), описывающий замкнутую регулятором систему управления:
n
∑d (s) = sn + αisn−i = 0 , i=1
ИЗВ. ВУЗОВ. ПРИБОРОСТРОЕНИЕ. 2009. Т. 52, № 12

18 А. С. Кондрашов

где αi , i = 1, n , — заданные коэффициенты исходного гурвицева характеристического много-

члена; αi , αi , i = 1, n , αi < α < αi , — неподдающиеся улучшению, согласно Подчукаеву, границы возможных вариаций этих коэффициентов, при которых сохраняется гурвицевость ис-

комого интервального полинома.

Предложенный Подчукаевым алгоритм решения сформулированной задачи базируется

на математическом аппарате полиномов Эрмита — Билера, с помощью которого исходный

гурвицев характеристический многочлен представляется в виде суммы двух полиномов Эр-

мита — Билера (четной степени)

d(s)=G( αn , αn−2 , αn−4 , …)+sH( αn−1 , αn−3 , αn−5 , …),

для которых гурвицевость исходного полинома d(s) (при условии α1 > 0) адекватна условию, что корни приведенных полиномов G и H Эрмита — Билера отрицательны, вещественны и

перемежаются, т.е. удовлетворяют неравенству

0> µ1 > η1 > µ2 > η2 >…> µi > ηi …

(1)

Согласно Подчукаеву в соответствии с критерием Эрмита — Билера можно записать

условие гурвицевости полинома D(s) в виде условия гурвицевости следующих четырех

полиномов Харитонова:

( ) ( )d1(s) = G1

αn , αn−2 , αn−4 , ...

+ sH1

αn−1, αn−3 , αn−5 , ...

;⎫ ⎪

( ) ( )d2 (s) = G1 αn , αn−2 , αn−4 , ... + sH2 αn−1, αn−3, αn−5 , ... ;⎪⎪


( ) ( )d3 (s) = G2 αn , αn−2 , αn−4 , ... + sH2 αn−1, αn−3 , αn−5 , ... ,⎪ ⎪
( ) ( )d4 (s) = G2 αn , αn−2 , αn−4 , ... + sH1 αn−1, αn−3, αn−5 , ... .⎭⎪

(2)

Для каждого из этих полиномов выполняется неравенство (1). При этом пары полиномов

[ФG1, ФG2], [ФH1, ФH2], сопровождающие приведенные полиномы G и H Эрмита — Билера, названы парами Лобачевского, отличительной особенностью которых является перемежаемость

границ соответствующих коэффициентов полиномов, иллюстрируемая равенствами (2).

Программная реализация описанного выше алгоритма состоит в формировании пар Ло-

бачевского с использованием альтернативных соотношений, полученных Подчукаевым, для

записи формул Виета [1]. Это позволяет после умножения правой или левой соответствую-

щих верхнетреугольных матриц на вектор границ корней положительных пар полиномов ФGi и ФHi, i = 1, 2, получить вектор чередующихся верхних и нижних границ коэффициентов со-

ответствующей пары Лобачевского.

После формирования пар Лобачевского окончательное вычисление границ коэффициен-

тов искомого гурвицева интервального полинома осуществляется по следующим формулам:

― при нечетном n

G1 ( z ) H1 ( z )

= =

α1Φ G1 ( z Φ H 1 ( z ),

), G2 (z H2 (z)

) = α1ΦG2 ( = ΦH 2 (z);

z);⎪⎫ ⎬ ⎭⎪

(3)

― при четном n

G1(z) = ΦG1(z), G2 (z) = ΦG2 (z);

⎪⎫

H1(z) = α1ΦH1(z), H2 (z) = α1ΦH 2 (z).⎬⎭⎪

(4)

В выражениях (3) и (4) учтены верхняя и нижняя границы коэффициента α1 , вычислен-

ные по приведенным в работе [1] формулам.

Если исходный характеристический многочлен имеет нечетную степень, то полиномы

G и H Эрмита — Билера будут одинаковой степени [n/2], а подлежащие выбору границы ко-

ИЗВ. ВУЗОВ. ПРИБОРОСТРОЕНИЕ. 2009. Т. 52, № 12

Определение допусков на элементы САУ при технической реализации законов управления 19
эффициента α1 ( α1 и α1 ) будут относиться к полиному G. Если же исходный характеристический многочлен имеет четную степень, порядок полинома H будет на единицу меньше порядка полинома G (равного n/2), а искомые границы коэффициента α1 будут относиться к полиному H.
Программная реализация описанного выше алгоритма осуществлена на языке PHP, поскольку динамическое выделение памяти под рабочие массивы при использовании этого языка осуществляется обращением к встроенной функции unset(). Результатом применения этой функции является удаление рабочих массивов после последнего обращения к ним в теле программы.
Особенностью программной реализации рассмотренного алгоритма является формирование шести матриц, из которых — три левые верхнетреугольные для полинома G и три правые верхнетреугольные для полинома H. Отсюда следует, что часть кода, реализующая алгоритм формирования этих матриц, должна быть продублирована трижды для полинома G и шесть раз для полинома H (трижды в ветви “if” и трижды в ветви “else”). Тем самым код программы (без решения задачи его минимизации) будет длинным и неудобочитаемым, т.е. разобраться в нем и, тем более, внести какие-либо изменения будет проблематично.
Для того чтобы избежать дублирования похожих фрагментов кода программы, разработана система функций, позволяющих получить искомый результат с применением системы флагов, в зависимости от значений которых инициализируются параметры введенных в рассмотрение функций (граничные значения счетчиков циклов; порядки рабочих массивов, порядки правых и левых верхнетреугольных матриц и т.д.).
Научную новизну программной реализации задачи синтеза гурвицева интервального полинома, сопровождающего заданный гурвицев характеристический многочлен, составляет применение следующих функций.
1. Вычисление левой и правой верхнетреугольных матриц реализовано посредством одной функции, ее входными параметрами являются одномерный массив и служебный флаг, значение которого указывает на тип вычисляемой матрицы. В качестве массива выступает либо вектор корней соответствующего полинома (ФGi или ФHi), либо вектор границ корней положительной пары полиномов [ФGi, ФHi]. Порядок вектора определяется при его инициализации на основе порядка исходного гурвицева характеристического многочлена. Порядок вычисляемой матрицы равен порядку соответствующего вектора.
2. Согласно постановке задачи полиномы ФGi и ФHi Эрмита — Билера должны образовывать пару Лобачевского. Для того чтобы это условие выполнялось, необходимо уточнить
определение первого ( µ1 , µ1 ) и/или последнего ( ηn , ηn ) элементов вектора границ корней положительных пар полиномов ФGi и ФHi, т.е. определить их исходя из системы неравенств, полученной в ходе умножения матрицы на вектор. Поэтому для программной реализации данной операции определена функция умножения матрицы на вектор, аргументами которой являются сами множители и результирующий вектор-произведение. Данному вектору присваиваются значения, полученные в ходе выполнения кода функции.
3. После этого необходимо инициализировать вектор из элементов правых частей сис-
темы неравенств при условии, что коэффициент при µ1 , µ1 , ηn , ηn должен быть равен единице. Для этой цели определена функция, параметрами которой являются результирующий массив корней соответствующего полинома Эрмита — Билера, массив границ корней этого полинома (уточняется его первый или последний элемент) и соответствующая верхнетреугольная матрица.
4. Результатом решения системы неравенств является интервал, для оценки нижней и верхней границ которого определена функция, где используется вычисленный ранее вектор
ИЗВ. ВУЗОВ. ПРИБОРОСТРОЕНИЕ. 2009. Т. 52, № 12

20 А. С. Кондрашов
правых частей системы неравенств. В итоге уточненному значению вектора границ корней положительных пар полиномов Эрмита — Билера присваивается значение, равное середине полученного интервала. После этого определяется массив коэффициентов пары Лобачевского.
5. В предложенной Подчукаевым альтернативной записи формул Виета значения эле-
ментов верхнетреугольных матриц не зависят от граничных значений µ1 , µ1 и ηn , ηn . Эти значения при произведении матрицы на вектор умножаются только на элементы первого (последнего) столбца матрицы. Поэтому для окончательного определения массива коэффициентов пар Лобачевского реализованы две функции (для полиномов G и H соответственно), с помощью которых выполняется перемножение первого (последнего) столбца соответствующей верхнетреугольной матрицы на первый (последний) элемент вектора границ корней положительных пар полиномов ФGi и ФHi. Умножение производится в цикле “for”. К полученным произведениям в этом же цикле прибавляются соответствующие по индексу значения данного вектора, инициализированные ранее (указанный вектор объявлен в тексте программы глобально). Эти значения и будут являться результатами перемножения остальных элементов матрицы на вектор. Поэтому применение данных функций вместо функций обычного перемножения матрицы на вектор позволяет избежать ненужных операций умножения.
6. Для программной реализации операций, отвечающих за выбор нижних и верхних границ коэффициентов интервального полинома, определены следующие функции. Посредством первой функции вычисляется отношение коэффициентов исходного гурвицева многочлена к соответствующим элементам сформированного ранее массива коэффициентов пар Лобачевского, среди которых определяются максимальный и минимальный элементы этого массива,
и по соответствующим формулам вычисляются нижняя и верхняя границы коэффициента α1 .
Для определения границ остальных коэффициентов объявлена вторая функция, с помощью которой производятся вычисления на основе соотношений (3) и (4): в итоге на экран выводятся искомые коэффициенты интервального полинома.
Результатом проделанной работы является программная реализация алгоритма синтеза гурвицева интервального полинома, позволяющая автоматизировать задачу определения допусков на элементы САУ при технической реализации законов управления [2]. Описанная выше программная реализация одной из важнейших задач теории автоматического управления размещена в среде аналитических вычислений „АНАЛИТИК-С“ (Toolbox „III. Анализ — Анализ грубости свойства асимптотической устойчивости гурвицева полинома“): http://www.sgau.ru/analitik_c/ (вычислительный сервис класса WEB 2.0).

СПИСОК ЛИТЕРАТУРЫ

1. Подчукаев В. А. Теория автоматического управления (аналитические методы). М.: ФИЗМАТЛИТ, 2005. 392 с.

2. Подчукаев В. А., Кондрашов А. С., Мартынов П. В. Свид. о гос. регистрации программы для ЭВМ № 2008615000. Программная реализация задачи синтеза гурвицева интервального полинома, сопровождающего заданный гурвицев характеристический многочлен (зарегистрировано в Реестре программ для ЭВМ 17 окт. 2008 г.). М.: Федеральная служба по интеллектуальной собственности, патентам и товарным знакам, 2008.

Артем Сергеевич Кондрашов

Сведения об авторе — аспирант; Саратовский государственный технический университет,
кафедра технической кибернетики и информатики; E-mail: kondrashovas@gmail.com

Рекомендована кафедрой технической кибернетики и информатики

Поступила в редакцию 10.11.08 г.

ИЗВ. ВУЗОВ. ПРИБОРОСТРОЕНИЕ. 2009. Т. 52, № 12