Научная статья на тему 'Аппроксимационное построение математических моделей по точечным экспериментальным данным методом cut-glue'

Аппроксимационное построение математических моделей по точечным экспериментальным данным методом cut-glue Текст научной статьи по специальности «Математика»

CC BY
823
239
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
ЭКСПЕРИМЕНТАЛЬНАЯ ЗАВИСИМОСТЬ / EXPERIMENTAL DEPENDENCE / КУСОЧНАЯ ФУНКЦИЯ / PIECEWISE FUNCTION / АППРОКСИМАЦИЯ / APPROXIMATION / МУЛЬТИПЛИКАТИВНОСТЬ / MULTIPLICATIVITY / АДДИТИВНОСТЬ / ADDITIVITY / ДИФФЕРЕНЦИРУЕМОСТЬ / DIFFERENTIABILITY / АНАЛИТИЧЕСКАЯ ФУНКЦИЯ / ANALYTIC FUNCTION / ПАРАМЕТРИЧЕСКОЕ ПРИБЛИЖЕНИЕ / PARAMETRIC APPROACH

Аннотация научной статьи по математике, автор научной работы — Нейдорф Рудольф Анатольевич

Рассматривается решение проблемы описания экспериментально полученных зависимостей. Предложенный автором метод основывается на получении локальных приближений фрагментов данных зависимостей и аддитивном сведении их в единое аналитическое выражение. Такой эффект определяется применением специальных «выделяющих» функций, ограничивающих область ненулевого определения каждой из аппроксимирующих функций. По применяемым принципам аппроксимации метод назван «cut-glue». Наиболее близкий его аналог сплайн-аппроксимация. Однако метод cut-glue значительно гибче, т. к. не связан ни количеством аппроксимируемых сплайном точек, ни порядком функций, аппроксимирующих участки. Порядок аппроксимирующего полинома или другой аппроксимирующей функции, а также её структура для каждого участка могут быть произвольными. Ещё одно выгодное отличие cut-glue аппроксимации состоит в единой аналитической записи всей кусочной функции вместо задания векторной сплайн-функции громоздкой системой уравнений. Такого эффекта удалось добиться применением аналитической функции, аппроксимирующей и параметрически сколь угодно приближающейся к единичной функции Хевисайда. Приведены результаты аналитического и численного исследования свойств и итогов применения предложенного метода. Они проиллюстрированы практическими примерами приложения метода к практическим задачам, табличными и графическими данными.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

APPROXIMATING MATHEMATICAL MODEL DEVELOPMENT ACCORDING TO POINT EXPERIMENTAL DATA THROUGH “CUT-GLUE” METHOD

A solution to the problem on describing experimentally obtained dependences is considered. The author’s method is based upon getting some local approximations of fragments of these relations, and their additive reduction to a single analytical expression. This effect is determined using special “allocating” functions limiting the domain of non-zero definition for each of the approximation functions. The method is called “cut-glue” according to the applied principles. The closest analogue of the proposed method is spline approximation. However, the “cut-glue” method is much more adaptable, as it is bonded to neither the number of spline-approximable points, nor the function order approximating the areas. The order of the polynomial approximant, or another approximating function, as well as its structure for each site, can be arbitrary. Another advantageous difference of “cut-glue” approximation consists in a single analytic notation of the whole piecewise function instead of defining a vector spline-function through a cumbersome system of equations. This effect has been achieved using an analytical function approximating and parametrically arbitrarily approaching the Heaviside step function. The analytical and numerical studies of the properties and the effects of applying the proposed method are resulted. The obtained results are illustrated with the specific technical sample applications of the method to practical problems, tabular and graphical data.

Текст научной работы на тему «Аппроксимационное построение математических моделей по точечным экспериментальным данным методом cut-glue»

УДК 517.518.843 DOI: 10.12737/3503

Аппроксимационное построение математических моделей по точечным экспериментальным данным методом cut-glue*

Р. А. Нейдорф

Рассматривается решение проблемы описания экспериментально полученных зависимостей. Предложенный автором метод основывается на получении локальных приближений фрагментов данных зависимостей и аддитивном сведении их в единое аналитическое выражение. Такой эффект определяется применением специальных «выделяющих» функций, ограничивающих область ненулевого определения каждой из аппроксимирующих функций. По применяемым принципам аппроксимации метод назван «cut-glue»». Наиболее близкий его аналог — сплайн-аппроксимация. Однако метод cut-glue значительно гибче, т. к. не связан ни количеством аппроксимируемых сплайном точек, ни порядком функций, аппроксимирующих участки. Порядок аппроксимирующего полинома или другой аппроксимирующей функции, а также её структура для каждого участка могут быть произвольными. Ещё одно выгодное отличие cut-glue аппроксимации состоит в единой аналитической записи всей кусочной функции вместо задания векторной сплайн-функции громоздкой системой уравнений. Такого эффекта удалось добиться применением аналитической функции, аппроксимирующей и параметрически сколь угодно приближающейся к единичной функции Хевисайда. Приведены результаты аналитического и численного исследования свойств и итогов применения предложенного метода. Они проиллюстрированы практическими примерами приложения метода к практическим задачам, табличными и графическими данными.

Ключевые слова: экспериментальная зависимость, кусочная функция, аппроксимация, мультипликативность, аддитивность, дифференцируемость, аналитическая функция, параметрическое приближение.

Введение. Одним из важных практических приложений математических методов является решение задачи аппроксимации различного рода экспериментальных зависимостей. К аппроксимации приходится прибегать при построении математических моделей различных природных, технических, экономических, социальных и иных явлений и объектов на основе результатов экспериментальных исследований [1, 2]. Наиболее распространённым и математически проработанным подходом к решению таких задач является регрессионный анализ, опирающийся на метод наименьших квадратов (МНК) [1, 3].

Метод регрессионного полиномиального описания экспериментальных точечных данных в заданном диапазоне исследования является стандартным. Он поддерживается всеми универсальными и несколькими специализированными программными средствами (MATLAB [4, 5], MathCAD [6, 7], Statistica [8, 9] и др.). Возможны и другие, не полиномиальные формы регрессионной аппроксимации, когда эмпирически подбирается совокупность подходящих для описания функций [7, 9]. Но этот подход нерегулярный и не поддержан таким мощным, хорошо разработанным математическим аппаратом, как классический регрессионный анализ. Однако и у последнего есть существенный недостаток — он плохо подходит для аппроксимации многоэкстремальных зависимостей, особенно кусочного характера с явными изломами, т. е. с фактически существующими разрывами по производной. В этом случае применение при обработке данных критерия МНК может дать два различных результата. Первый, при малом порядке аппроксимирующего полинома — очень грубое приближение к экспериментально снятым точкам. Второй, при высоком порядке — достаточно близкое воспроизведение зависимости в окрестности этих точек. При этом не обеспечивается гладкость описания межточечных интервалов. Так, на рис. 1 приведены примеры

* Работа выполнена по темплану Минобрнауки России № 2.3.13 «Метод сбалансированной дискретизации для задач имитационного моделирования динамических процессов в распределённых объектов». + Резать-клеить (англ.).

результатов регрессионного описания экспериментальном точечной зависимости от угла наклона а аэродинамического коэффициента подъёмной силы (рис. 1) одной из конструкций аэростатов [10-12]. Сила возникает либо при воздействии бокового ветрового потока (а — угол крена), либо при движении аппарата (а — угол атаки). Зависимость необходимо оценить по 13 экспериментально полученным точкам. В связи с этим максимально возможная степень оптимального по МНК аппроксимирующего полинома равна 12. Регрессия этого порядка построена на рис. 1, а. Хорошо видно, что график полинома 12 порядка абсолютно точно воспроизводит экспериментальные точки, но практически произвольно ведёт себя на межточечных интервалах.

1

0.8 0.6 0.4 0.2 1 0 -0.2 -0.4 -0.6 -0.8 -1

-100 -80 -60 -40 -20 0 20 а, град

А

/-

■ \ - V \

/ *

V

40 60 80 100

в)

Рис. 1. Примеры аппроксимации точечной экспериментальной зависимости от порядка аппроксимирующего её полинома,

оптимального по МНК: а — п = 12; б— п = 9; в — п= 6

Это полностью согласуется с известным свойством результатов классического регрессионного описания — с повышением порядка оптимальный по МНК полином теряет фильтрующие свойства [1]. На нижних графиках рис. 1, б, в показаны результаты регрессионного описания исследуемого диапазона полиномами девятого и шестого порядков. Видно, что аппроксимация межточечных интервалов последовательно улучшается, но воспроизведение экспериментальных значений аэродинамического коэффициента (АДК) резко ухудшается. Таким образом, полноинтервальная полиномиальная аппроксимация моделируемой зависимости, имеющей очевидный кусочный характер, в общем случае неэффективна.

Для подобных зависимостей более продуктивен другой подход, основанный на математическом описании отдельных интервалов кривой и записи зависимости в виде системы функций со смежными областями определения каждой из них (кусочная аппроксимация [13, 14]). Такая функция записывается в виде логически обусловленной по областям определения системы функций. Это делает результат описания громоздким и не очень удобным для компьютерного моделирования. Кроме того, при использовании функции дробной структуры дополнительные проверки логических условий по значению аргумента и обращение к новым расчётным формулам создают тормозящий эффект при онлайн-моделировании быстро протекающих процессов. Дополнительные трудности, вызванные кусочностью, возникают также при необходимости использования производных от моделируемой зависимости.

Более совершенным является метод сплайнирования, или сплайн-функций. Его отличительная особенность — совмещение кусочной аппроксимации с краевым согласованием значений производных. Последнее делает функцию дифференцируемой, несмотря на кусочность [14, 15]. Особенно распространены кубическая сплайн-аппроксимация и интерполяция, обладающие высокой регулярностью решения и хорошими точностными характеристиками [16]. Однако высокая степень дискретизации, жёсткая привязка к количеству сплайнируемых точек и громоздкость системы условно логического описания делают этот подход неудобным для использования при необходимости построен

ия компактной математической модели для аналитических преобразований и имитационного моделирования. Кроме того, основное достоинство сплайн-подхода — согласование аппроксимирующих функций по производным не всегда физически оправдано для некоторых объектов.

Таким образом, очевидна актуальность поиска и исследования новых подходов, методов и алгоритмов экспериментально-аналитического описания зависимостей, имеющих очевидный кусочный характер, указывающих на явное наличие разрывов первого рода по производной на границах участков.

Постановка задачи. Ставится задача построения метода аппроксимации, позволяющего создавать математические модели зависимостей, представленных экспериментально полученными точечными данными, в виде единой аналитической, хотя бы один раз дифференцируемой функции. Перечисленные свойства позволят строить аппроксимационные математические модели любых зависимостей, включая кусочные.

Общий подход к решению задачи. Пусть исследуемая зависимость F (у, х) задана множеством N точек (хе, у1-) в пространстве Л2, где ] = 1, N, а верхний индекс е отмечает экспериментальный способ получения величины. Пусть это множество может быть разбито на п непересекающихся подмножеств Fi (у, х). То есть V/, к е [1, Fi (у,х) П Fk (у,х) = 0 . При этом

п

должно выполняться условие у F (у, х) = F (у, х).

/=1

Рассмотрим основополагающую идею решения поставленной задачи. В качестве первой её составляющей сформулирован подход, основывающийся на возможности аналитического описания с заданной точностью любого выделенного / -го участка аппроксимируемой точечной зависимости в выбранной локальной области определения х е[х/_1, х/ ] некоторой функцией Ф, (х). Данная функция обладает следующими свойствами:

у< = Ф, (х;): Vx; е [х,_1, х, ] ^ \у] _ у-1 < &Г , (1)

где — допустимая погрешность аппроксимации на / -м участке; верхний индекс с означает вычислительный способ получения величины.

47

Метод и качество аппроксимации представляют собой отдельную задачу и в данном исследовании не рассматриваются. В общем случае эта задача решается для каждого участка минимизацией некоторого функционала Q/ [F/ (y,x), ф(. (x)], формализующего оценку точности аппроксимации каждого участка [14]. Подобный подход значительно повышает точность аппроксимации каждого участка и, как следствие, общую точность аппроксимации всей моделируемой зависимости. Один из возможных и эффективных теоретических инструментов реализации такого подхода — регрессионный анализ, а наиболее распространённым и эффективным критерием минимизации ошибки моделирования Q/ [•] является квадратичный критерий*.

Вторая составляющая предлагаемого метода решения — предположение, что можно сконструировать некоторую функцию f/ (x) так, чтобы во всем остальном диапазоне оси x, кроме

описываемого участка [x/_1, x/ ], она имела практически нулевое значение. То есть

Vx е [x/_i, x/ ] ^ f/ (x)» ф/ (x). (2, а)

В остальной области определения должно выполняться неравенство

Vx : x/_1 _ Ax/_1 > x > x/ + Ax, ^ f/ (x) « 0. (2, б)

Например, можно задаться условием

Vx i [x/_i _ Ax,_!, x, + Ax, ] ^ f/ (x) < 5fep, где Ax/ , 5fep > 0 выбираются достаточно малыми в соответствии с точностными требованиями решаемой задачи.

Функция со свойствами 2, а, б названа в этой работе «интервально выделенной» (ИВФ). Она как бы реализует операцию cut — вырезания из всей точечной зависимости хорошо аппроксимируемого участка.

Располагая ИВФ для каждого обособленного по конфигурации интервала аппроксимируемой точечной зависимости, можно построить обобщённую аппроксимирующую функцию

f (x) = tf (x). (3)

/_1

Она будет описывать моделируемую кусочную зависимость c точностью

5m = max {5/| / е[1, л]} ,

где б/ = 5*pp + 5fep, 5/ — совокупная ошибка аппроксимации функцией (1) каждого / интервала, полученная при построении кусочной функции f/ (x); 5m — наибольшая ошибка, возникающая при построении кусочной функции f (x).

Выражение (3) представляет операцию glue — как бы склеивания всей точечной зависимости из совокупности ИВФ. В результате f (x) (3) будет единой аналитической функцией независимо от количества порознь аппроксимируемых интервалов и их размеров. Эта функция аппроксимирует весь описываемый точечной (в том числе кусочной) зависимостью диапазон и реализует таким образом заявленный в постановке задачи метод cut-glue.

Как явствует из приведённых выше положений, cut-glue аппроксимация реализуется в три этапа. На первом экспериментально полученная точечная зависимость разбивается на обособленные интервалы и осуществляется математическое описание каждого участка какими-либо аналитическими функциями ф/ (x) со свойствами (1)+, хорошо их аппроксимирующими. На вто-

* Соответствующий метод решения регрессионных задач известен как метод наименьших квадратов (МНК). + Этот этап удовлетворительно решается известными методами [1, 3, 13, 14, 17], в частности, регрессионного анализа, но такая задача в данной работе не рассматривается.

ром этапе для каждого участка формируется интервально выделенная функция f (х), обладающая свойствами (2). Это позволяет на третьем этапе получить результирующую обобщённую аппроксимирующую функцию (3) в аддитивной форме.

Мультипликативная реализация интервально выделенной функции. Суть предлагаемого метода состоит в том, что для формирования ИВФ используется специально сконструированная «мультипликативно выделяющая интервал» функция (МВФ) — Л (х, S). Её задача — сужение фактической области определения выбранной для аппроксимации точечного подмножества i -го интервала аналитической функции ф, (х), которой обычно является вся числовая ось. Такое сужение достигается путём перемножения ИВФ и МВФ:

fi (х) = Ф, (х). Л (х, Si) (4)

что и определило использование термина «мультипликативная».

Сужение необходимо произвести до подобласти, соответствующей моделируемому интервалу [х;-1, хi ]. Поэтому в диапазоне значений аргумента [х(-1, хi ] функция Л (х, Si) должна

принимать единичное значение. При всех других значениях аргумента МВФ (ввиду мультипликативности её применения) должна принимать значения, сколь угодно близкие к нулю*. Тогда fi (х) в (4) принципиально может отвечать свойствам (2, а, б). Для достижения этого результата

в МВФ введён второй аргумент Si функции Л (х, Si). Он подразумевает множество математических «настроечных» параметров sqi е Si, которые обеспечивают функции, необходимые для решения задачи свойства. Имеется в виду, что варьирование sqi в МВФ должно обеспечивать достижение свойств (2, а, б).

Для решения поставленной задачи в данной статье предлагается вариант МВФ, обеспечивающей указанные свойства и делающей возможной cut-glue аппроксимацию. Решение задачи рассматривается применительно к обработке одной функции ф (х), аппроксимирующей точки

произвольно выбранного интервала [х|, хг ]+, но не совпадающей со всей кусочной зависимостью. Пусть искомая функция Л (х, Sr) задана следующим выражением*:

Л (х, х1, хг, £) =

х - *i " xi )2 + £2 • *r " х W(*r - х)

хг - х + Л/(х„ - х)2 + £2

4 .^(х - х1 )2 + £2 • (хг - х)2 + £

(5)

В функцию (5) включено минимально необходимое множество параметрических настроек МВИ-функции:

Sr ={х1, хг ,£}.

Здесь х1, хг — левый и правый края аппроксимируемого диапазона; £ — показатель погрешности аппроксимации. Координатные настойки х1 и хг обеспечивают формирование области [х1, хг ], а £ — выполнение условий (2, а, б).

Исследование функции (5) как многопараметрической зависимости показывает, что она обладает шестью чрезвычайно важными для решаемой задачи свойствами.

* Степень близости определяет точность аппроксимации.

+ Применительно к рассматриваемому произвольно ориентированному на х интервалу I = / _ 1 — левый край его диапазона, г = / — правый.

+ Функция построена на основе принципов, разработанных автором для решения задач квазиоптимизации быстродействия законов управления [18] и обнаруживших при исследовании более широкий диапазон возможных применений [2].

1. Функция (5) симметрична относительно средины диапазона \_х1, хг ].

Действительно, подстановка в (5) симметричных относительно центра диапазона

X + XI) (хг + XI) (хг + XI) х = -—г—- аргументов, например х = --- + о и х = --- - о, дает одно и то же вы-

2

ражение

0,25 •

Xхr - x/)

2

- б

+ £

(xr - х/ )

2

2

2

-0,5

(Xr - Х/ )

2

Л

(Xr - Х/ )

- б2

зависящее от констант функции Л (о) — х1, хг ,£ и смещения б.

2. Функция (5) имеет единственный максимум в точке хт = средине диапазона _х|, хг ]

(Xr + х/)

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

, соответствующей

Л (xm, х/, xr, £) = max Л (х,...) = Am = 0,25

0,5

0,25

V

1 +

4 • £2

1+

4 • £2

(6)

(Xr - X/ )2 (xr - Х/ )

и два нулевых инфимума, соответствующих пределам x — -да и x — да. Иными словами

lim Л (x, x/, xr, £) = 0;1

x —>-да ' (

lim Л (x, x,, xr, £) = 0.(

x—да v ' ' f J

Действительно, вычисление частной производной по x от (5) для нахождения необходимых условий экстремума даёт выражение

(7)

5Л (о) dx

£2 • \ 2 • x3 - 3 • (x/ + xr) • x2 +J (x - x/ )2 + £2

(xr - x)2 + £2

22 + £2

4 WL(x -

■ + [3 • (x/2 + xr2) + 2 • £2 ]• x-[x3 + x^ +(x/ + x r )• £2 ]j

(xr - x)2 + £2

(8)

Полином в числителе этой функции обращается в ноль в точке хт =

(xr + x/)

2

и асимптотически

стремится к нулю при x — +да.

В точке xm знаменатель дроби (8) не нулевой. Его значение определяется полиномом от

настроечных параметров функции (5) (4 • £2 +(xr - x/ )2 )> 0 и при любых x/, xr ,£ положительно. Значения знаменателя (8) при асимптотическом стремлении x — +да стремятся к +да .

3. Функция (5) в диапазоне [x/, xr ] может принимать значение, сколь угодно близкое к

единице. Причем как близость к единице, так и степень охвата диапазона эффективно настраиваются параметром £.

Действительно, из анализа выражения (5) следует вполне ожидаемый результат, показывающий что

lim Л (xm, x,, xr, £) = 1

£—0 ' r '

при любых x/, xr.

2

2

2

2

2

2

+

3

3

+

3

3

Кроме того, можно показать, что

Ух, xl, xr : xl < xr, x e ]х,, xrlimA(x, xl, xr, £) = 1. (9)

Таким образом, значения функции A (х, х,, xr , £) могут быть приближены к единице с любой требуемой для задачи точностью во всех точках интервала, исключая краевые.

4. Функция (5) в диапазонах [-да, х, ] и [хг, да] может принимать значение, сколь угодно

близкое к нулю. Причём и близость к нулю, и близость к краевым точкам значения функции также эффективно настраиваются параметром £ .

Действительно, анализ выражения (5) показывает, что эта функция асимптотически приближается к нулю по мере удаления аргумента от выделяемого диапазона, т. е.

lim A (х, х,, х ,£) = 0

х^да

при любых х,, хг, £ .

Кроме того, можно показать, что

Ух, х,, хг : х, < хг, х г [х,, хг ] ^ lim A (х, х,, хг ,£) = 0. (10)

Таким образом, значения функции A (х, х,, хг ,£) могут быть приближены к нулю с любой требуемой для задачи точностью во всех точках вне границ интервала, исключая краевые.

5. Функция (5) в краевых точках принимает значения

Ух,,хг :х, <хг ^ A(х,,х,,хг,£) = A(хг,х,,хг,£) = 0,5 (11)

при любых £ .

Это легко проверяется прямой подстановкой.

6. Функция (5) бесконечное число раз непрерывно дифференцируема, как и любая функция с дробным показателем степени. Это свойство чрезвычайно важно для использования ап-проксимационной математической модели в задачах аналитического исследования. Графическая иллюстрация свойств функции мультипликативного выделения интервала. На рис. 2 приведён пример, иллюстрирующий вид МВИ-функции для настроечных параметров х, =-4, хг = 4, £ = 0,3. Величина £ завышена, чтобы показать аналитичность поведения функции вблизи границ выделяемого интервала.

А,(х,х„х„0,3), /4(х,х„хо0,ЗХ ^(х,х„х„0:01)

1 \

1 {

■Ч —^ х

X

6 -4 -2 0 2 4 6

Рис. 2. Графическая иллюстрация поведения МВФ при различных £

51

Здесь же показан вид этой функции, приближённый к прямоугольному импульсу при £ = 0,01. При меньших £ плавные переходы на изломе графика не различимы. Таким образом, параметр £ является эффективным инструментом настройки точности аппроксимации.

На рис. 2 представлен также график производной МВФ. При уменьшении £ импульсы по краям интервала приближаются к б-функциям.

Выявленные шесть свойств МВФ показывают возможность реализации интервально выделенной функции на основе мультипликативной модели вида (4), которая качественно отвечает требованиям к функции fi (х), сформулированным в виде условий (1-3) в общем подходе к решению задачи.

Однако наряду с качественной возможностью реализовать «вырезание» участка функции в виде fi (х) из полной зависимости ф. (х) необходимо обеспечить количественную сторону

условий (1-3), т. е. необходимую близость этих функций внутри интервала \_х1, хг ] и близость

(х) к нулю за его границами. Аналитическое исследование и решение такой задачи является

предметом достаточно серьёзных и громоздких математических преобразований. Оно выходит за рамки данной работы.

Поэтому в статье приводится частная количественная оценка влияния £ на точность интервального «вырезания», реализуемого функцией (5). Для иллюстрации этого эффекта на рис. 3 построены графики зависимости значения функции Л (х1 - Л, х1, хг ,£) от £ для ряда различных

Л = 0,005; 0,01; 0,02; 0,04; 0,1.

Рис. 3. Иллюстрация зависимости погрешности «вырезания» МВИ-функцией заданного интервала [х;, хг] от £ при различных Л . Сверху вниз кривым соответствуют значения Л: 0,005; 0,01; 0,02; 0,04; 0,1

Видно, что с увеличением £, откладываемого по оси абсцисс, и с уменьшением Л, определяющего близость исследуемой точки к границе интервала (кривые, располагающиеся выше по оси ординат), точность реализации нулевого значения уменьшается. Асимптотическим пределом этой ошибки является значение МВФ на границе, т. е. 0,5.

Характеристики точности реализации нулевого значения Л (хг + Л, х;, хг ,£) справа от

правой границы хг зеркально аналогичны приведённым на рис. 3 в силу свойства 1 симметрич-

ности функции (5). Такую же оценку точности реализации единичного значения можно получить для точек Л (xl + Л, xl, xr , £) и Л (xr - Л, xl, xr , £), находящихся внутри интервала, т. к. относительно точек пересечения абсцисс xl и xr левая и правая ветви МВИ-функции при бесконечно большом интервале симметричны. На конечном интервале встречные ветви составляющих внут-риинтервального значения функции несколько снижают точность реализации единичного значения при конкретном £, но ошибка может быть сколь угодно уменьшена снижением величины этого параметра.

В поле основного графика дан наиболее полезный для оценки и выбора нужной величины £ фрагмент начального поведения кривых. При этом параметр Л выбирают из допустимой величины «размытия» выделяемого интервала, а £ — из допустимой точности реализации как единичного значения внутри интервала, так и нулевого значения за его пределами. Пример реализации интервально выделенных функций и cut-glue аппроксимации ими кусочной точечной зависимости. В качестве примера эффективного применения разработанного метода рассматривается задача математического описания зависимости одного из параметров т. н. «стандартной атмосферы»* — температуры Т — от высоты h. Точечные данные из таблицы, приведённой в [19], построены на рис. 4. Физические условия формирования земной атмосферы определили очевидный кусочный характер зависимости T (h). Общеизвестно, что в тропосфере температура линейно падает с высотой на ~ -6,5 К/км вплоть до границы стратосферы (~11 км). Далее до ~20 км она практически не меняется и держится на уровне ~216,65 К (-56,5 °С) до ~20 км. Далее следует практически линейный рост до ~30 км и затем рост до ~50 км по криволинейной зависимости.

Табличная форма задания параметров позволяет представлять данные с любой требуемой точностью, но не всегда удобна. При использовании таких данных в компьютерных расчётах (например, для планирования траекторий движения стратосферных летательных аппаратов и управления ими) удобнее иметь зависимости атмосферных параметров от высоты и других факторов в виде аналитических функций. Это избавляет вычислитель от необходимости работы с громоздкими массивами и решения задач интерполяции.

В связи с этим может быть поставлена задача построения математической модели стандартной атмосферной температурной зависимости от высоты по точечным табличным данным, проиллюстрированным на рис. 4. При реализации первого этапа метода cut-glue выделены четыре участка ломаной кривой: 0-11; 11-20; 20-30 и 30-45 км. Для каждого участка методами регрессионного анализа найдены аппроксимирующие их функции

T (h) = 288,13 - 6,4887 • h;

T2 (h) = 216,65;

2W \ (12) T3 (h) = 196,751 + 0,992 • h;|

T4 (h) = 492,914 - 21,748 • h + 0,6165 • h2 -5,1413 • h3.

Графики этих функций построены на рис. 4. Хорошо видно, что они практически совпадают с экспериментальными точками на своих участках. Поэтому из них могут быть построены ИВФ с помощью МВФ, координатные параметры которых определены границами интервалов: h0 = 0; h1 = 11; h2 = 20; h3 = 30; h4 = 45 . Точностный параметр £ = 0,001 подобран экспериментально.

Гипотетическое вертикальное распределение температуры, давления и плотности воздуха в атмосфере Земли, которое по международному соглашению представляет среднегодовое и среднеширотное состояние [19].

В результате из функций Т (х) мультипликативно по формуле (4) строятся ИВФ, а из них по формуле (3) — итоговая «склеенная» функция:

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Тс (Л) = Т (Л) • Л (Л, Л0, Л,, £) + Т2 (Л) • Л (Л, Л,, Л2, £) + Т3 (Л) • Л (Л, Л2, Л3, £) + Т4 (Л) • Л (Л, Л3, Л4, £). (13)

гЛ"

чные МСА --..

■А**

anrtj 1 Графики фу юксимации ■IKUUli ~ ~ участков ' 2

2S0

260

240

220

200

О 5x10 1x10 1.5x10 2x10 2.5x10 3x10 3.5x10 4x10

Рис. 4. Международный температурный стандарт атмосферы (МСА) и функции ф(. (х) аппроксимации его четырёх участков

График этой непрерывно-кусочной функции построен на рис. 5 и визуально полностью совпадает с точками табличных значений температуры. Численная проверка погрешности аппроксимации всех табличных данных международного стандарта атмосферы показала, что погрешность полученного математического описания не превышает 0,03 К. Этот показатель значительно превышает точность оценки, необходимую для инженерно-технических и даже научных расчётов с использованием предоставляемого стандартом параметра. Можно построить математические модели и других стандартизированных параметров атмосферы, что сделает возможным введение в стандарт аналитических их представлений наряду с табличными. При необходимости точность описания табличных данных можно повысить, уточнив границы участков.

Т°К

280

260

240

/

^Edmtai, аппроксим1 ¡рующая фун КИПЯ

;гохохсо-

220

200

п4

„4

„4

5x10 1x10 1.5x10 2x10 2.5x10 3x10 3.5x10 4x10

Рис. 5. Результат cut-glue аппроксимации температурного стандарта атмосферы

h. .и

Выводы. Изложен вполне регулярный метод cut-glue аппроксимации, отличающийся существенной новизной решения задачи. Известные методы аппроксимации строятся лишь на приближении некоторой функции к описываемой точечной совокупности или её участку. Такой подход имеет слабые стороны. При использовании для всей совокупности единого выражения теряется точность описания. При использовании множества моделей для каждого аппроксимируемого участка возрастает громоздкость и сложность описания. Сложность кусочного описания состоит в необходимости согласования моделей по краевым условиям.

Новизна метода cut-glue аппроксимации заключается в следующем. Точностные, согласующие и объединяющие функции разделяются между:

— математическими моделями описания выделенных интервалов ф. (х), мультипликативно выделяющими чисто интервальные модели ff (х) выражениями Л (х, S.);

— аддитивной формой объединения моделей f. (х) в единую функцию f (х).

Это разделение, а также применение мультипликативного выделения фрагмента аппроксимирующей функции существенно упрощает решение общей задачи и открывает практически неограниченные возможности для повышения точности аппроксимации.

Метод не ограничен возможностями только одномерного применения. Совершенно очевидно, что он вполне применим и в многомерном случае, когда составляющие функции многих переменных аддитивно разделены по аргументам.

В рассмотренном примере метод продемонстрировал компактность, простоту реализации и хорошие точностные показатели и вполне может быть рекомендован для использования при ап-проксимационном математическом описании экспериментальных зависимостей очевидного кусочного типа, в особенности при наличии резких сломов между участками. Библиографический список

1. Куприенко, Н. В. Статистические методы изучения связей. Корреляционно-регрессионный анализ / Н. В. Куприенко, О. А. Пономарева, Д. В. Тихонов. — Санкт-Петербург : Изд-во поли-техн. ун-та, 2008. — 118 с.

2. Нейдорф, Р. А. Эффективная аппроксимация кусочных функций в задачах квазиоптимального по быстродействию управления / Р. А. Нейдорф // Математические методы в технике и технологиях — 2000 : сб. трудов Междунар. науч. конф. — Санкт-Петербург, 2000. — Т. 2. — C. 18-22.

3. Bates, D.-M. Nonlinear regression analysis and its applications / D.-M. Bates, D.-G. Watts. — New York : John Wiley, 1988. — 371 p.

4. Applications of MATLAB in Science and Engineering / Edited by T. Michatowski. — Rijeka : InTech, 2011. — 371 p.

5. Чен, К. МАТЛАБ в математических исследованиях / К. Чен, П. Джиблин, А. Ирвинг. — Москва : Мир, 2001. — 346 с.

6. Maxfield, B. Essential MATHCAD for Engineering, Science and Math / B. Maxfield. — San Diego : Academic Press ; Elsevier, 2009. — 490 p.

7. Макаров, Е. Инженерные расчёты в Mathcad 15. Учебный курс / Е. Макаров. — Санкт-Петербург : Питер, 2001. — 400 с.

8. STATISTICA. Официальное руководство : в 5 т. / StatSoft. — Москва : StatSoft, 2007.

9. Боровиков, В. STATISTICA. Искусство анализа данных на компьютере / В. Боровиков. — 2-е изд. — Санкт-Петербург : Питер, 2003. — 688 с.

10. Нейдорф, Р. А. Исследование зависимости силы всплывания специализированного аэростата от параметров его движения / Р. А. Нейдорф, Ю. Л. Сигида // Вестник Дон. гос. техн. ун-та. — 2013. — № 3-4 (72-73). — C. 96-103.

11. Stability Analysis of the MAAT Feeder Airship During Ascent and Descent with Wind Disturbances [Electronic resource] / R. Neydorf [et al.] // SAE International. — Available at: http://papers.sae.org/2013-01-2111/ (accessed : 04.01.2014).

12. Aerodynamic Characteristics Study and Possible Improvements of MAAT Feeder Airships [Electronic resource] / V. Voloshin [et al.] // SAE International. — Available at: http://papers.sae.org/2013-01-2112/. — 7 p. (accessed : 04.01.2014).

13. Дорофеюк, Ю. А. Структурная идентификация сложных объектов управления на базе методов кусочной аппроксимации / Ю. А. Дорофеюк // Управление большими системами. — 2010. — № 30. — С. 79-88.

14. Лоран, П.-Ж. Аппроксимация и оптимизация / П.-Ж. Лоран. — Москва : Мир, 1975. — 496 с.

15. Альберг, Дж. Теория сплайнов и её приложения / Дж. Альберг, Э. Нильсон, Дж. Уолш. — Москва : Мир, 1972. — 318 с.

16. Ханова, А. А. Интерполяция средствами Mathcad [Электронный ресурс] / А. А. Хано-ва. — Режим доступа : http://www.exponenta.ru/educat/systemat/hanova/interp/math.asp (дата обращения : 04.01.2014).

17. Смоленский, В. В. Статистические методы обработки экспериментальных данных : учеб. пособие / В. В. Смоленский. — Санкт-Петербург : Санкт-Петербургский государственный горный институт (технический университет), 2003. — 101 с.

18. Нейдорф, Р. А. Нелинейное ускорение динамических процессов управления объектами первого порядка с учётом ограниченности воздействий / Р. А. Нейдорф // Управление и диагностика в динамических системах. — Ростов-на-Дону : Изд. центр Дон. гос. техн. ун-та, 1999. — С. 13.

19. Международная стандартная атмосфера [Электронный ресурс] / Академик // Энциклопедия техники. — Режим доступа : http://dic.academic.ru/dic.nsf/enc_tech/2697/ (дата обращения : 11.12.2013).

Материал поступил в редакцию 20.09.2013. References

1. Kupriyenko, N. V., Ponomareva, O. A., Tikhonov, D. V. Statisticheskiye metody izucheniya svyazey. Korrelyatsionno-regressionnyy analiz. [Statistical methods of connection study. Correlation regression analysis.] Sankt-Peterburg : Izdatelstvo politekhnicheskogo universiteta, 2008, 118 p. (in Russian).

2. Neydorf, R. A. Effektivnaya approksimatsiya kusochnykh funktsiy v zadachakh kvazioptimal-nogo po bystrodeystviyu upravleniya. [Efficient approximation of piecewise functions in quasioptimal quick-operating control problems.] Matematicheskiye metody v tekhnike i tekhnologiyakh — 2000 : sb. trudov Mezhdunar. nauch. konf. [Mathematical methods in processes and technologies-2000 : Proc. Int. Sci. Conf.] Saint Petersburg, 2000, vol. 2, pp. 18-22 (in Russian).

3. Bates, D.-M., Watts, D.-G. Nonlinear regression analysis and its applications. New York : John Wiley, 1988, 371 p.

4. Michatowski, T., ed. Applications of MATLAB in Science and Engineering. Rijeka : InTech, 2011, 371 p.

5. Chen, K., Giblin, P., Irving, A. MATLAB v matematicheskikh issledovaniyakh. [Mathematical exploration with MATLAB.] Moscow : Mir, 2001, 346 p. (in Russian).

6. Maxfield, B. Essential MATHCAD for Engineering, Science and Math. San Diego : Academic Press ; Elsevier, 2009, 490 p.

7. Makarov, E. Inzhenernyye raschety v Mathcad 15. Uchebnyy kurs. [Engineering analysis in Mathcad 15. Study course.] Saint Petersburg : Piter, 2001, 400 p. (in Russian).

8. STATISTICA. Ofitsialnoye rukovodstvo : v 5 t. [STATISTICA. Official manual : in 5 vol.] StatSoft. Moscow : StatSoft, 2007 (in Russian).

9. Borovikov, V. STATISTICA. Iskusstvo analiza dannykh na kompyutere. 2-e izd. [STATISTICA. Computer data analytics. 2nd ed.] Saint Petersburg : Piter, 2003, 688 p. (in Russian).

10. Neydorf, R. A., Sigida, Y. L. Issledovaniye zavisimosti sily vsplyvaniya spetsializirovannogo aerostata ot parametrov ego dvizheniya. [Research on buoyant force dependence of specialized aerostat on its motion variables.] Vestnik of DSTU, 2013, no. 3-4 (72-73), pp. 96-103 (in Russian).

11. Neydorf, R., et al. Stability Analysis of the MAAT Feeder Airship During Ascent and Descent with Wind Disturbances. SAE International. Available at : http://papers.sae.org/2013-01-2111/ (accessed : 04.01.2014).

12. Voloshin, V., et al. Aerodynamic Characteristics Study and Possible Improvements of MAAT Feeder Airships. SAE International. Available at : http://papers.sae.org/2013-01-2112/, 7 p. (accessed : 04.01.2014).

13. Dorofeyuk, Y. A. Strukturnaya identifikatsiya slozhnykh obyektov upravleniya na baze metodov kusochnoy approksimatsii. [Complex control objects identification on the base of piecewise approximation methods.] Upravleniye bolshimi sistemami, 2010, no. 30, pp. 79-88 (in Russian).

14. Loran, P. J. Approksimatsiya i optimizatsiya. [Approximation and optimization.] Moscow : Mir, 1975, 496 p. (in Russian).

15. Ahlberg, J., Nilson, E., Walsh, J. Teoriya splaynov i yeye prilozheniya. [The theory of splines and their applications.] Moscow : Mir, 1972, 318 p. (in Russian).

16. Khanova, A. A. Interpolyatsiya sredstvami Mathcad. [Interpolation by means of Mathcad.] Available at : http://www.exponenta.ru/educat/systemat/hanova/interp/math.asp (accessed : 04.01.2014) (in Russian).

17. Smolenskiy, V. V. Statisticheskiye metody obrabotki eksperimentalnykh dannykh : ucheb. Posobiye. [Statistical methods of test data processing : study guide.] Saint Petersburg : Sankt-Peterburgskiy gosudarstvennyy gornyy institut (tekhnicheskiy universitet), 2003, 101 p. (in Russian).

18. Neydorf, R. A. Nelineynoye uskoreniye dinamicheskikh protsessov upravleniya obyektami pervogo poryadka s uchetom ogranichennosti vozdeystviy. [Nonlinear acceleration of dynamic control processes of the first-order objects with account for response boundedness.] Upravleniye i diagnostika v dinamicheskikh sistemakh. [Control and diagnostics in dynamic systems.] Rostov-on-Don : DSTU Publ. Centre, 1999, p. 13 (in Russian).

19. Mezhdunarodnaya standartnaya atmosfera. [International standard atmosphere.] Akademik. Entsiklopediya tekhniki. [Academician. Engineering encyclopedia.] Available at : http://dic.academic.ru/ /dic.nsf/enc_tech/2697/ (accessed : 11.12.2013) (in Russian).

APPROXIMATING MATHEMATICAL MODEL DEVELOPMENT ACCORDING TO POINT EXPERIMENTAL DATA THROUGH "CUT-GLUE" METHOD*

R. A. Neydorf

A solution to the problem on describing experimentally obtained dependences is considered. The author's method is based upon getting some local approximations of fragments of these relations, and their additive reduction to a single analytical expression. This effect is determined using special "allocating" functions limiting the domain of nonzero definition for each of the approximation functions. The method is called "cut-glue" according to the applied principles. The closest analogue of the proposed method is spline approximation. However, the "cut-glue" method is much more adaptable, as it is bonded to neither the number of spline-approximable points, nor the function order approximating the areas. The order of the polynomial approximant, or another approximating function, as well as its structure for each site, can be arbitrary. Another advantageous difference of "cut-glue" approximation consists in a single analytic notation of the whole piecewise function instead of defining a vector spline-function through a cumbersome system of equations. This effect has been achieved using an analytical function approximating and para-metrically arbitrarily approaching the Heaviside step function. The analytical and numerical studies of the properties and the effects of applying the proposed method are resulted. The obtained results are illustrated with the specific technical sample applications of the method to practical problems, tabular and graphical data. Keywords: experimental dependence, piecewise function, approximation, multiplicativity, additivity, differentiability, analytic function, parametric approach.

* The work is done on the thematic research plan of the Ministry of Education and Science of the Russian Federation no. 2.3.13 "Balanced sampling method for simulation modeling problems of dynamic processes in distributed objects."

i Надоели баннеры? Вы всегда можете отключить рекламу.