Аппроксимирующая функция Padé

Аппроксимирующая функция Padé порядка [mn] аппроксимирует функциональный f (x) вокруг x = x 0 как

a0+a1(xx0)+...+am(xx0)m1+b1(xx0)+...+bn(xx0)n.

Аппроксимирующая функция Padé является рациональной функцией, сформированной отношением двух степенных рядов. Поскольку это - рациональная функция, это более точно, чем Ряд Тейлора в аппроксимации функций с полюсами. Аппроксимирующая функция Padé представлена функцией Symbolic Math Toolbox™ pade.

Когда полюс или нуль существуют в точке расширения x = x 0, точность уменьшений аппроксимирующей функции Padé. Чтобы увеличить точность, альтернативная форма аппроксимирующей функции Padé может использоваться, который является

(xx0)p(a0+a1(xx0)+...+am(xx0)m)1+b1(xx0)+...+bn(xx0)n.

pade функция возвращает альтернативную форму аппроксимирующей функции Padé, когда вы устанавливаете OrderMode входной параметр к Relative.

Аппроксимирующая функция Padé используется в теории системы управления смоделировать задержки ответа системы. Задержки возникают в системах, таких как химические и транспортные процессы, где существует задержка между входом и откликом системы. Когда эти входные параметры моделируются, они называются входными параметрами потери времени. В этом примере показано, как использовать Symbolic Math Toolbox, чтобы смоделировать ответ системы первого порядка к входному использованию потери времени аппроксимирующие функции Padé.

Поведение системы первого порядка описано этим дифференциальным уравнением

τdy(t)dt+y(t)=ax(t).

Введите дифференциальное уравнение в MATLAB®.

syms tau a x(t) y(t) xS(s) yS(s) H(s) tmp
F = tau*diff(y)+y == a*x;

Найдите Преобразование Лапласа F использование laplace.

F = laplace(F,t,s)
F = laplace(y(t),t,s)-τy(0)-slaplace(y(t),t,s)=alaplace(x(t),t,s)Лаплас (y (t), t, s) - tau* (y (0) - s*laplace (y (t), t, s)) == a*laplace (x (t), t, s)

Примите ответ системы в t = 0 0Использование subs заменять y(0) = 0.

F = subs(F,y(0),0)
F = laplace(y(t),t,s)+sτlaplace(y(t),t,s)=alaplace(x(t),t,s)laplace(y(t), t, s) + s*tau*laplace(y(t), t, s) == a*laplace(x(t), t, s)

Чтобы собрать распространенные слова, использовать simplify.

F = simplify(F)
F = sτ+1laplace(y(t),t,s)=alaplace(x(t),t,s)(s*tau + 1) *laplace (y (t), t, s) == a*laplace (x (t), t, s)

Для удобочитаемости замените Преобразования Лапласа x(t) и y(t) с xS(s) и yS(s).

F = subs(F,[laplace(x(t),t,s) laplace(y(t),t,s)],[xS(s) yS(s)])
F = yS(s)sτ+1=axS(s)yS (s) * (s*tau + 1) == a*xS (s)

Преобразованием Лапласа передаточной функции является yS(s)/xS(s). Разделите обе стороны уравнения xS(s) и используйте subs заменять yS(s)/xS(s) с H(s).

F = F/xS(s);
F = subs(F,yS(s)/xS(s),H(s))
F = H(s)sτ+1=aH (s) * (s*tau + 1) == a

Решите уравнение для H(s). Замените H(s) с фиктивной переменной решите для фиктивного переменного использования solve, и присвойте решение назад H(s).

F = subs(F,H(s),tmp);
H(s) = solve(F,tmp)
H(s) = 

asτ+1a/(s*tau + 1)

Вход к системе первого порядка является задержанным временем входом шага. Чтобы представлять вход шага, использовать heaviside. Задержите вход тремя единицами измерения времени. Найдите использование Преобразования Лапласа laplace.

step = heaviside(t - 3);
step = laplace(step)
step = 

e-3ssexp (-3*s)/s

Найдите ответ системы, которая является продуктом передаточной функции и входа.

y = H(s)*step
y = 

ae-3sssτ+1(a*exp ((-3*s))) / (s* (s*tau + 1))

Чтобы позволить строить ответа, установите параметры a и tau к их значениям. Для a и tau, выберите значения 1 и 3, соответственно.

y = subs(y,[a tau],[1 3]);
y = ilaplace(y,s);

Найдите аппроксимирующую функцию Padé порядка [2 2] из входа шага с помощью Order входной параметр к pade.

stepPade22 = pade(step,'Order',[2 2])
stepPade22 = 

3s2-4s+22ss+1(3*s^2 - 4*s + 2) / (2*s* (s + 1))

Найдите ответ на вход путем умножения передаточной функции и аппроксимирующей функции Padé входа.

yPade22 = H(s)*stepPade22
yPade22 = 

a3s2-4s+22ssτ+1s+1(* (3*s^2 - 4*s + 2)) / (2*s* (s*tau + 1) * (s + 1))

Найдите обратное Преобразование Лапласа yPade22 использование ilaplace.

yPade22 = ilaplace(yPade22,s)
yPade22 = 

a+9ae-s2τ-2-ae-sτ2τ2+4τ+3τ2τ-2+ (9*a*exp ((с))) / (sym (2) *tau - 2) - (a*exp ((-s/tau)) * (2*tau^sym (2) + sym (4) *tau + 3)) / (tau* (sym (2) *tau - 2))

Чтобы построить ответ, установите параметры a и tau к их значениям 1 и 3, соответственно.

yPade22 = subs(yPade22,[a tau],[1 3])
yPade22 = 

9e-s4-11e-s34+1(9*exp ((с)))/4 - (11*exp ((-s/3)))/4 + 1

Постройте ответ системы y и ответ, вычисленный от аппроксимирующей функции Padé yPade22.

hold on
grid on
fplot([y yPade22],[0 20])
title('Pade Approximant for dead-time step input')
legend('Response to dead-time step input',...
       'Pade approximant [2 2]',...
       'Location', 'Best')

[2 2] Аппроксимирующая функция Padé не представляет ответ хорошо, потому что полюс существует в точке расширения 0. Увеличить точность pade когда будет полюс или нуль в точке расширения, установите OrderMode входной параметр к Relative и повторите шаги. Для получения дополнительной информации смотрите pade.

stepPade22Rel = pade(step,'Order',[2 2],'OrderMode','Relative')
stepPade22Rel = 

3s2-6s+4s3s2+6s+4(3*s^2 - 6*s + 4) / (s* (3*s^2 + 6*s + 4))

yPade22Rel = H(s)*stepPade22Rel
yPade22Rel = 

a3s2-6s+4ssτ+13s2+6s+4(* (3*s^2 - 6*s + 4)) / (s* (s*tau + 1) * (3*s^2 + 6*s + 4))

yPade22Rel = ilaplace(yPade22Rel)
yPade22Rel = 

a-ae-tτ4τ2+6τ+3σ1+12aτe-tcos(3t3)-3sin(3t3)36a-72aτ36aτ+1σ1where  σ1=4τ2-6τ+3a - (a*exp ((-t/tau)) * (4*tau^sym (2) + sym (6) *tau + 3)) / (4*tau^sym (2) - sym (6) *tau + 3) + (12*a*tau*exp ((т)) * (cos ((sqrt (sym (3)) *t)/3) - sqrt (sym (3)) *sin ((sqrt (sym (3)) *t)/3) * ((36*a - 72*a*tau) / (36*a*tau) + 1))) / (4*tau^sym (2) - sym (6) *tau + 3)

yPade22Rel = subs(yPade22Rel,[a tau],[1 3])
yPade22Rel = 

12e-tcos(3t3)+23sin(3t3)37-19e-t37+1(12*exp ((т)) * (cos ((sqrt (sym (3)) *t)/3) + (2*sqrt (sym (3)) *sin ((sqrt (sym (3)) *t)/3))/3))/7 - (19*exp ((-t/3)))/7 + 1

fplot(yPade22Rel,[0 20],'DisplayName','Relative Pade approximant [2 2]')

Точность аппроксимирующей функции Padé может также быть увеличена путем увеличения ее порядка. Увеличьте порядок до [4 5] и повторите шаги. [n-1 n] Аппроксимирующая функция Padé лучше в аппроксимации ответа в t = 0 чем [n n] Аппроксимирующая функция Padé.

stepPade45 = pade(step,'Order',[4 5])
stepPade45 = 

27s4-180s3+540s2-840s+560s27s4+180s3+540s2+840s+560(27*s^4 - 180*s^3 + 540*s^2 - 840*s + 560) / (s* (27*s^4 + 180*s^3 + 540*s^2 + 840*s + 560))

yPade45 = H(s)*stepPade45
yPade45 = 

a27s4-180s3+540s2-840s+560ssτ+127s4+180s3+540s2+840s+560(* (27*s^4 - 180*s^3 + 540*s^2 - 840*s + 560)) / (s* (s*tau + 1) * (27*s^4 + 180*s^3 + 540*s^2 + 840*s + 560))

yPade45 = subs(yPade45,[a tau],[1 3])
yPade45 = 

27s4-180s3+540s2-840s+560s3s+127s4+180s3+540s2+840s+560(27*s^4 - 180*s^3 + 540*s^2 - 840*s + 560) / (s* (3*s + 1) * (27*s^4 + 180*s^3 + 540*s^2 + 840*s + 560))

yPade45 = ilaplace(yPade45)
yPade45 = 

294120k=14etσ2σ22σ11001-2721e-t31001+46440k=14etσ2σ23σ11001+172560k=14etσ2σ1143+101520k=14eσ2tσ21290σ2+45σ22+9σ23+70143+1where  σ1=129σ23+45σ22+90σ2+70  σ2=root(s54+20s533+20s52+280s59+56027,s5,k)(294120* (symsum ((exp ((t*root (s5^4 + (20*s5^3)/3 + 20*s5^2 + (280*s5)/9 + sym (560/27), s5, k))) *root (s5^4 + (20*s5^3)/3 + 20*s5^2 + (280*s5)/9 + sym (560/27), s5, k) ^2) / (12* (9*root (s5^4 + (20*s5^3)/3 + 20*s5^2 + (280*s5)/9 + sym (560/27), s5, k) ^3 + 45*root (s5^4 + (20*s5^3)/3 + 20*s5^2 + (280*s5)/9 + sym (560/27), s5, k) ^2 + 90*root (s5^4 + (20*s5^3)/3 + 20*s5^2 + (280*s5)/9 + sym (560/27), s5, k) + 70)), k, 1, 4)))/1001 - (2721*exp ((-t/3)))/1001 + (46440* (symsum ((exp ((t*root (s5^4 + (20*s5^3)/3 + 20*s5^2 + (280*s5)/9 + sym (560/27), s5, k))) *root (s5^4 + (20*s5^3)/3 + 20*s5^2 + (280*s5)/9 + sym (560/27), s5, k) ^3) / (12* (9*root (s5^4 + (20*s5^3)/3 + 20*s5^2 + (280*s5)/9 + sym (560/27), s5, k) ^3 + 45*root (s5^4 + (20*s5^3)/3 + 20*s5^2 + (280*s5)/9 + sym (560/27), s5, k) ^2 + 90*root (s5^4 + (20*s5^3)/3 + 20*s5^2 + (280*s5)/9 + sym (560/27), s5, k) + 70)), k, 1, 4)))/1001 + (172560* (symsum (exp (t*root (s5^4 + (20*s5^3)/3 + 20*s5^2 + (280*s5)/9 + sym (560/27), s5, k)) / (12* (9*root (s5^4 + (20*s5^3)/3 + 20*s5^2 + (280*s5)/9 + sym (560/27), s5, k) ^3 + 45*root (s5^4 + (20*s5^3)/3 + 20*s5^2 + (280*s5)/9 + sym (560/27), s5, k) ^2 + 90*root (s5^4 + (20*s5^3)/3 + 20*s5^2 + (280*s5)/9 + sym (560/27), s5, k) + 70)), k, 1, 4)))/143 + (101520* (symsum ((exp ((корень (s5^4 + (20*s5^3)/3 + 20*s5^2 + (280*s5)/9 +, sym (560/27), s5, k) *t)), *root (s5^4 + (20*s5^3)/3 + 20*s5^2 + (280*s5)/9 + sym (560/27), s5, k)) / (12* (90*root (s5^4 + (20*s5^3)/3 + 20*s5^2 + (280*s5)/9 + sym (560/27), s5, k) + 45*root (s5^4 + (20*s5^3)/3 + 20*s5^2 + (280*s5)/9 + sym (560/27), s5, k) ^2, + 9*root (s5^4 + (20*s5^3)/3 + 20*s5^2 + (280*s5)/9 + sym (560/27), s5, k) ^3 + 70)), k, 1, 4)))/143 + 1

yPade45 = vpa(yPade45)
yPade45 = 3.2418384981662546679005910164486e-1.930807068546914778929595950184tcos(0.57815608595633583454598214328008t)-2.7182817182817182817182817182817e-0.33333333333333333333333333333333t-1.5235567798845363861823092981669e-1.4025262647864185544037373831494tcos(1.7716120279045018112388813990878t)+11.595342871672681856604670597166e-1.930807068546914778929595950184tsin(0.57815608595633583454598214328008t)-1.7803798379230333426855987436911e-1.4025262647864185544037373831494tsin(1.7716120279045018112388813990878t)+1.0vpa ('3.2418384981662546679005910164486') *exp ((-vpa ('1.930807068546914778929595950184') т)) *cos (vpa ('0.57815608595633583454598214328008') т) - vpa ('2.7182817182817182817182817182817') *exp ((-vpa ('0.33333333333333333333333333333333') т)) - vpa ('1.5235567798845363861823092981669') *exp ((-vpa ('1.4025262647864185544037373831494') т)) *cos (vpa ('1.7716120279045018112388813990878') т) + vpa ('11.595342871672681856604670597166') *exp ((-vpa ('1.930807068546914778929595950184') т)) *sin (vpa ('0.57815608595633583454598214328008') т) - vpa ('1.7803798379230333426855987436911') *exp ((-vpa ('1.4025262647864185544037373831494') т)) *sin (vpa ('1.7716120279045018112388813990878') т) + vpa ('1.0')
fplot(yPade45,[0 20],'DisplayName','Pade approximant [4 5]')

Следующие моменты показали:

  • Аппроксимирующие функции Padé могут смоделировать входные параметры шага потери времени.

  • Точность аппроксимирующей функции Padé увеличивается с увеличением порядка аппроксимирующей функции.

  • Когда полюс или нуль существуют в точке расширения, аппроксимирующая функция Padé неточна о точке расширения. Чтобы увеличить точность аппроксимирующей функции, установите OrderMode опция к Relative. Можно также использовать, увеличивают порядок знаменателя относительно числителя.