Преобразование полиномиальных моделей, построенных по экспериментальным данным
В.С. Солодов, А.В. Власов
Политехнический факультет МГТУ, кафедра автоматики и вычислительной техники
Аннотация. В работе рассматриваются проблемы, связанные с преобразованием полиномиальной модели объекта, полученной по экспериментальным данным. Продемонстрирована неэффективность преобразования решением квадратного уравнения. Показано применение итерационного метода для перестроения модели. Предложены программные средства для получения двух- и трехфакторных моделей, их анализа и преобразования.
Abstract. The paper considers the problems of transformation of the object polynomial models constructed with the help of experimental data. The inefficiency of transformation by a quadratic and the application of an iteration method have been shown. The software for two- and three-factor models, their analyses and transformation has been proposed.
1. Введение
Полиномиальные модели, полученные по экспериментальным данным, подлежат статистической обработке, заключающейся в сравнительном анализе результатов модельных расчетов и экспериментальных данных. Вопрос наличия или отсутствия того или иного коэффициента модели имеет случайный характер. Поэтому преобразование модели с целью нахождения управляющего параметра процесса путём решения квадратного уравнения часто становится некорректным. Выходом из этого положения может стать итерационный метод нахождения корней с помощью ЭВМ и построение преобразованной математической модели.
2. Постановка задачи
Характерной особенностью судового комплекса как объекта идентификации методами активного эксперимента, является наличие большого количества взаимосвязанных неуправляемых или плохо управляемых параметров, которые при натурных испытаниях рассматриваются как выходные параметры, и малого количества варьируемых параметров, отвечающих требованиям, предъявляемым к факторам и их совокупности (управляемость, некоррелированность, совместимость).
Например, для судового комплекса "судно - двигатель - движитель - траловая лебёдка - трал" наиболее полно всем этим требованиям отвечают следующие параметры:
- положение рукоятки управления шагом винта и главным двигателем, контролируемое датчиком выносного указателя шага винта (ВУШ);
- длина вытравленных ваеров L, контролируемая датчиком длины ваеров;
- курсовой угол ветра q, контролируемый датчиком курса.
Параметры комплекса, которые являются функциями других исследуемых параметров, установка и удержание которых на заданных уровнях затруднены, рассматриваются в процессе испытаний как выходные.
К ним относятся: скорость судна Vs, cуммарное тяговое усилие в ваерах 2Т, мощность на гребном валу Ыге, глубина хода трала h.
Традиционно глубина хода трала h расматривается как функция от скорости буксировки трала и длины ваеров. Строится зависимость избыточной тяги судна (т.е. тяги, используемой для буксировки трала) от скорости судна и мощности на гребном валу. Скорость буксировки трала и мощность на гребном валу не могут независимо друг от друга изменяться, устанавливаться и поддерживаться на заданном уровне, так как являются взаимосвязанными параметрами.
В то же время основной задачей промысловых натурных испытаний комплекса является построение математических моделей с целью управления им. Следовательно, полином, полученный в процессе эксперимента, должен быть преобразован в функцию от управляющего параметра.
Например, в процессе испытаний был получен полином h = ^Ь,ВУШ). Требуется найти зависимость длины ваеров L от глубины хода трала h при неизменном положении ВУШ, то есть L = /хОг,ВУШ).
Таким образом, варьируемый в процессе испытаний параметр является управляющим воздействием на судовой комплекс. Следовательно, необходимо, чтобы эти управляющие воздействия были выражены в явном виде в математических моделях комплекса. В этом смысле испытание и управление комплексом образуют дуальный процесс, в котором управляющие воздействия одновременно служат для изучения управляемого объекта и для приведения его к требуемому состоянию. Все эти особенности потребовали исследовать возможность преобразования полиномиальных моделей, полученных непосредственно в результате проведения испытаний, в полиномиальные модели, удобные для практического использования (Шишло, 1975).
3. Методы решения
Рассмотрим преобразование полиномов для случаев двух- и трехфакторных моделей. Пусть в результате проведения эксперимента был получен полный квадратичный полином вида
7 = Ъа +^£Ъях] +Х , (1)
7=1 7=1 ]
адекватно отражающий результаты проведения испытаний, где: хг - варьируемые в процессе эксперимента параметры в относительных (кодированных) величинах; 7 - один из выходных (регистрируемых в процессе испытаний) параметров.
Требуется найти зависимость одного из управляющих воздействий х7 от выходного параметра 7 и к-1 варьируемых параметров.
X = ] =1,2... к; 7 ф ]. (2)
Наличие эффектов взаимодействия (Ъ7] ф 0) и квадратичных эффектов (Ъгг ф 0) не позволяет разрешить уравнение (1) относительно какого-либо управляющего воздействия.
Предлагается для нахождения зависимости типа (2) варьировать величины 7 и х] на нескольких уровнях, предусмотренных планом эксперимента, и таким образом производить сечение факторного пространства плоскостями 7 = 0; 7 = ±1; х] = 0; х] = ±1.
Для этого в уравнении (1) в соответствии с планом эксперимента вместо х] подставляется 0 или ±1, приведением подобных членов вычисляются новые коэффициенты Ъи, и уравнение (1) приводится к виду:
ЪцхI + Ъ'их] + Ъ'ои - 7 = 0 и вычисляются корни квадратного уравнения по формуле
¡7 I \2 1]
(3)
х.=-^ ± 1 )г-ш 2Ъгг \Ъг7 I и
Ъ' -
Ы.
4Ъгг
для различных уровней 7, предусмотренных планом эксперимента.
В уравнении (3) х7и - кодированное значение искомого управляющего воздействия при и-том сочетании уровней х] и 7.
При к = 2
хг = А7]; ] = 1,2; 7 ф ];
Ъ'ои = Ъ0 + Ъ] ] + Ъ] х2]и ; (4)
Ъ 7и = Ъ7 + Ъ7] х]и.
При к = 3
= Л7,х],хт);] = 1,2,3; г ф] ф т;
Ъ'ои = Ъо + Ъ] ] + Ъ^]и + Ьт Хти + Ътт^ ти + Ъ]т]хти; (5)
Ъ 7и Ъ7 + Ъг]х]и + Ъгт хти.
Варьировать параметры х] , хт , 7 можно по одному из планов эксперимента. Например, при к = 2 наиболее удобен с точки зрения простоты вычислений коэффициентов полинома ортогональный центральный композиционный план (ОЦКП) второго порядка (Ивботенко и др., 1975). При к = 3 - план Бокса-Бенкина. Согласно этим планам, параметры варьируются на трёх равноотстоящих уровнях, матрица планирования целочисленная. Коэффициенты модели рассчитываются по известным формулам для ОЦКП, заменив хи на 7и.
При преобразовании полинома необходимо, чтобы корни уравнения (3) были вещественными. Следовательно, необходимо выполнение условий:
7и > Ъ'ои - (Ъ'ги )2/(4Ъгг ) при Ъй > 0;
7и < Ъ'ои - (Ъ',и )2/(4Ъгг ) при Ъц < 0.
Это обеспечивается выбором диапазона варьирования Y. Из двух вещественных корней уравнения (3) выбирается минимальный по абсолютной величине корень.
При преобразовании полиномиальных моделей наиболее характерны следующие частные случаи:
- в исходном полиноме (1) отсутствует квадратичный эффект фактора xi (Ьй = 0). В этом случае значение xi в u-том опыте определяется как xiu = (Yu - Ь ou )/ Ь iu ;
- в полиноме (1) квадратичный эффект на порядок меньше, чем коэффициент biu. Тогда небольшая ошибка в вычислении Ьй может привести к значительной ошибке определения корней xiu по формуле (4). В этом случае рекомендуется использовать итерационный метод вычисления корней по формуле:
Xiun (Yu Ь ou)/(b iu + biixiu И-1).
Итерация проводится следующим образом. Полагая в знаменателе xiu = 0, определяют первое приближение xiu1. Подставляя найденное значение xiu1 в знаменатель выражения (5), находят второе приближение для значения xiu2. Эта операция продолжается до тех пор, пока итерация не сойдётся, то есть | xiun - xiu n+1 | < e, где n - номер приближения, e - заданная ошибка приближения.
4. Программная реализация
Авторами были созданы программные продукты, предназначенные для обработки результатов двухфакторных и трехфакторных экспериментов. Все программы написаны в среде Borland Delphi 5.0 и предназначены для работы в ОС Windows 9x и Windows XP. Во всех программах предусмотрено сохранение результатов и вывод их на печать.
Первая из программ (BoxBenkin3F) предназначена для расчета коэффициентов и регрессионного анализа трехфакторной полиномиальной модели по методу планирования активного эксперимента, реализованного в соответствии с планом Бокса-Бенкина. Программа обеспечивает построение построение расчетной матрицы, расчет коэффициентов трехфакторной модели и проведение регрессионного анализа с проверкой адекватности модели (по критерию Фишера), а также вычисление невязки между данными эксперимента и полученными при использовании модели результатами.
Отличительной особенностью программы BoxBenkin3F является гибкий алгоритм удаления незначащих коэффициентов из модели, реализованный в виде развернутого диалога с необходимыми комментариями, помогающими пользователю принять решение о значимости коэффициента. Программа обеспечивает наглядное представление результатов расчетов на каждом из этапов вычислений. Объем программы - 32 килобайта исходного кода.
Следующие три программных продукта предназначены для работы с результатами двухфакторного эксперимента и ориентированы на совместное использование (что, впрочем, не исключает и раздельный вариант работы).
Программа OCCP2F ориентирована на расчет коэффициентов двухфакторной модели по результатам активного эксперимента, реализованного по ортогональному центральному композиционному плану (ОЦКП). Ее основными функциями являются: расчет коэффициентов модели; вычисление невязки между данными эксперимента и полученными при использовании модели результатами; сохранение данных в формате, совместимом с остальными двумя; вывод результатов на печать.
Так же, как и в BoxBenkin3F, в OCCP2F реализовано вычисление невязки между данными эксперимента и результатами расчетов модули по плану эксперимента. В программе имеются органы управления для переключения на программы построения графиков и пересчета модули, о которых пойдет речь ниже. Объем программы составляет 7,5 килобайт исходного кода.
Программа построения графиков по двухфакторной полиномиальной модели (Grapher2F) служит для построения кривых для модели вида Y = _/(Х1гХ2) итерационным методом с задаваемой пользователем точностью, что обеспечивает хорошую скорость сходимости. Максимальное количество кривых - 10.
Если программа построения графиков была запущена из OCCP2F, то рассчитанная модель будет автоматически подставлена в соответствующие позиции ввода в Grapher2F, что значительно ускоряет и упрощает работу пользователя с программными продуктами. Объем программного кода - 9,2 килобайт.
Последним продуктом является программа перестроения модели вида Y = /(Х1гХ2) в X1 = f(X2,Y) и X2 = f(X1,Y), получившая название MC2F. Перестроение модели основано на том же итерационном методе, что использовался в Grapher2F. Фактически, по ОЦКП вычисляются результаты "виртуального" эксперимента (виртуального потому, что результаты всех "опытов" рассчитываются итерационным методом в программе), дальше выполняется та же последовательность действий, что и в программе расчета коэффициентов двухфакторной модели - вплоть до вычисления невязки по результатам расчета моделей и данным "эксперимента". Объем программы - 14,5 килобайт.
5. Заключение
Полученная эмпирическим путём модель процесса является не абсолютно точным его описанием, а приближенным выражением неизвестного закона. Процесс преобразования полиномиальной модели требует использования итерационного метода нахождения корней квадратичного полинома, что является весьма трудоёмким процессом. Использование разработанных программ существенно облегчает труд исследователя и открывает новые возможности.
Литература
Ивоботенко Б.А., Ильинский Н.Ф., Копылов И.П. Планирование эксперимента в электромеханике. М., Энергия, 184 с., 1975.
Шишло Ю.В. Тактика пелагического тралового лова. Мурманск, Мурманское книжное издательство, 104 с., 1975.