Анализируйте и управляйте дифференциальными алгебраическими уравнениями

Скрипт Open Live Script

В этом примере показано, как решить дифференциальные алгебраические уравнения (ДАУ) высокого дифференциального индекса с помощью Symbolic Math Toolbox™.

Инженеры часто задают поведение своих физических объектов (механические системы, электрические устройства, и так далее) смесью дифференциальных уравнений и алгебраических уравнений. MATLAB® обеспечивает специальные числовые решатели, такие как ode15i и ode15s, способный к интеграции таких ДАУ - при условии, что их 'дифференциальный индекс' не превышает 1.

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

daeFunction
findDecoupledBlocks
incidenceMatrix
isOfLowDAEIndex
reduceDifferentialOrder
massMatrixForm
reduceDAEIndex
reduceDAEToODE
reduceRedundancies
sym/decic

Задайте параметры модели

Рассмотрите 2D физический маятник, состоя из массового m присоединенный до начала координат строкой постоянной длины r. Только гравитационное ускорение g = 9.81 m/s^2 действия на массе. Модель состоит из дифференциального уравнения второго порядка для положения (x(t), y(t)) из массы с неизвестной силой F(t) в строке, которая служит для хранения массы на круге. Сила направлена вдоль строки.

syms x(t) y(t) F(t) m g r
eqs = [m*diff(x(t), t, t) == F(t)/r*x(t);
       m*diff(y(t), t, t) == F(t)/r*y(t) - m*g;
       x(t)^2 + y(t)^2 == r^2]

eqs = 
 $(\begin{array}{c} m \frac{\partial^{2}}{\partial t^{2}} x (t) = \frac{F (t) x (t)}{r} \\ m \frac{\partial^{2}}{\partial t^{2}} y (t) = \frac{F (t) y (t)}{r} - g m \\ {x (t)}^{2} + {y (t)}^{2} = r^{2} \end{array})$

vars = [x(t), y(t), F(t)]

vars =  $(\begin{array}{c} x (t) & y (t) & F (t) \end{array})$

Перепишите эту систему ДАУ к системе дифференциальных алгебраических уравнений первого порядка.

[eqs, vars, newVars] = reduceDifferentialOrder(eqs, vars)

eqs = 
 $(\begin{array}{c} m \frac{\partial}{\partial t} Dxt (t) - \frac{F (t) x (t)}{r} \\ g m + m \frac{\partial}{\partial t} Dyt (t) - \frac{F (t) y (t)}{r} \\ - r^{2} + {x (t)}^{2} + {y (t)}^{2} \\ Dxt (t) - \frac{\partial}{\partial t} x (t) \\ Dyt (t) - \frac{\partial}{\partial t} y (t) \end{array})$

vars = 
 $(\begin{array}{c} x (t) \\ y (t) \\ F (t) \\ Dxt (t) \\ Dyt (t) \end{array})$

newVars = 
 $(\begin{array}{c} Dxt (t) & \frac{\partial}{\partial t} x (t) \\ Dyt (t) & \frac{\partial}{\partial t} y (t) \end{array})$

Попытайтесь решить систему ДАУ Высокого индекса

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

Преобразуйте систему ДАУ к указателю функции MATLAB.
Выберите численные значения для символьных параметров системы.
Установите сопоставимые начальные условия.

Чтобы преобразовать систему ДАУ в указатель функции MATLAB, используйте daeFunction.

F = daeFunction(eqs, vars, [m, g, r])

F = function_handle with value:
    @(t,in2,in3,in4)[in3(4,:).*in4(:,1)-(in2(3,:).*in2(1,:))./in4(:,3);in3(5,:).*in4(:,1)+in4(:,1).*in4(:,2)-(in2(3,:).*in2(2,:))./in4(:,3);-in4(:,3).^2+in2(1,:).^2+in2(2,:).^2;in2(4,:)-in3(1,:);in2(5,:)-in3(2,:)]

Присвойте численные значения символьным параметрам системы: m = 1kg, g = 9.18m/s^2, и r = 1m.

f = @(t, y, yp)  F(t, y, yp, [1, 9.81, 1])

f = function_handle with value:
    @(t,y,yp)F(t,y,yp,[1,9.81,1])

Указатель на функцию f подходящий вход для числового решателя ode15i. Следующий шаг должен вычислить сопоставимые начальные условия. Используйте odeset устанавливать числовые погрешности. Затем используйте decic MATLAB функция, чтобы вычислить сопоставимые начальные условия y0, yp0 для положений и производных во время t0 = 0.

opt = odeset('RelTol', 10.0^(-4), 'AbsTol' , 10.0^(-4));
t0 = 0;
[y0,yp0] = decic(f, t0, [0.98;-0.21; zeros(3,1)], [], zeros(5,1), [], opt)

Протестируйте начальные условия:

f(t0, y0, yp0)

Теперь можно использовать ode15i пытаться решить систему. Когда вы вызываете ode15i, интегрирование сразу останавливается и выдает следующие предупреждения.

Warning: Matrix is singular, close to singular or badly scaled.

Results may be inaccurate. RCOND = NaN.

Warning: Failure at t=0.000000e+00.

Unable to meet integration tolerances without reducing the step

size below the smallest value allowed (0.000000e+00) at time t.

В данном примере ode15i выдает эти предупреждения многократно. Для удобочитаемости отключите предупреждения при помощи warning('off','all') прежде, чем вызвать ode15i и затем включите им снова.

tfinal = 0.5;
s = warning('off','all');
ode15i(f, [t0, tfinal], y0, yp0, opt);

Figure contains an axes. The axes contains 10 objects of type line.

warning(s)

Анализируйте и настройте систему ДАУ

Проверяйте дифференциальный индекс системы ДАУ.

isLowIndexDAE(eqs, vars)

ans = logical
   0

Этот результат объясняет почему ode15i не может решить эту систему. Эта функция требует, чтобы система входа DAE была дифференциального индекса 0 или 1. Уменьшайте дифференциальный индекс путем расширения модели к эквивалентной большей системе ДАУ, которая включает некоторые скрытые алгебраические ограничения.

[eqs, vars, newVars, index] = reduceDAEIndex(eqs, vars)

eqs = 
 $(\begin{array}{c} m Dxtt (t) - \frac{F (t) x (t)}{r} \\ g m + m Dytt (t) - \frac{F (t) y (t)}{r} \\ - r^{2} + {x (t)}^{2} + {y (t)}^{2} \\ Dxt (t) - {Dxt}_{1} (t) \\ Dyt (t) - {Dyt}_{1} (t) \\ 2 {Dxt}_{1} (t) x (t) + 2 {Dyt}_{1} (t) y (t) \\ 2 y (t) \frac{\partial}{\partial t} {Dyt}_{1} (t) + 2 {{Dxt}_{1} (t)}^{2} + 2 {{Dyt}_{1} (t)}^{2} + 2 Dxt1t (t) x (t) \\ Dxtt (t) - Dxt1t (t) \\ Dytt (t) - \frac{\partial}{\partial t} {Dyt}_{1} (t) \\ {Dyt}_{1} (t) - \frac{\partial}{\partial t} y (t) \end{array})$

vars = 
 $(\begin{array}{c} x (t) \\ y (t) \\ F (t) \\ Dxt (t) \\ Dyt (t) \\ Dytt (t) \\ Dxtt (t) \\ {Dxt}_{1} (t) \\ {Dyt}_{1} (t) \\ Dxt1t (t) \end{array})$

newVars = 
 $(\begin{array}{c} Dytt (t) & \frac{\partial}{\partial t} Dyt (t) \\ Dxtt (t) & \frac{\partial}{\partial t} Dxt (t) \\ {Dxt}_{1} (t) & \frac{\partial}{\partial t} x (t) \\ {Dyt}_{1} (t) & \frac{\partial}{\partial t} y (t) \\ Dxt1t (t) & \frac{\partial^{2}}{\partial t^{2}} x (t) \end{array})$

index = 3

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

[eqs, vars, S] = reduceRedundancies(eqs, vars)

eqs = 
 $(\begin{array}{c} - \frac{F (t) x (t) - m r Dxtt (t)}{r} \\ \frac{g m r - F (t) y (t) + m r Dytt (t)}{r} \\ - r^{2} + {x (t)}^{2} + {y (t)}^{2} \\ 2 Dxt (t) x (t) + 2 Dyt (t) y (t) \\ 2 {Dxt (t)}^{2} + 2 {Dyt (t)}^{2} + 2 Dxtt (t) x (t) + 2 Dytt (t) y (t) \\ Dytt (t) - \frac{\partial}{\partial t} Dyt (t) \\ Dyt (t) - \frac{\partial}{\partial t} y (t) \end{array})$

vars = 
 $(\begin{array}{c} x (t) \\ y (t) \\ F (t) \\ Dxt (t) \\ Dyt (t) \\ Dytt (t) \\ Dxtt (t) \end{array})$

S = struct with fields:
      solvedEquations: [3x1 sym]
    constantVariables: [0x2 sym]
    replacedVariables: [3x2 sym]
       otherEquations: [0x1 sym]

Проверяйте, имеет ли новая система низкий дифференциальный индекс (0 или 1).

isLowIndexDAE(eqs, vars)

ans = logical
   1

Решите систему ДАУ Низкого индекса

Сгенерируйте указатель функции MATLAB, который заменяет символьные параметры численными значениями.

F = daeFunction(eqs, vars, [m, g, r])

F = function_handle with value:
    @(t,in2,in3,in4)[-(in2(3,:).*in2(1,:)-in2(7,:).*in4(:,1).*in4(:,3))./in4(:,3);(-in2(3,:).*in2(2,:)+in2(6,:).*in4(:,1).*in4(:,3)+in4(:,1).*in4(:,2).*in4(:,3))./in4(:,3);-in4(:,3).^2+in2(1,:).^2+in2(2,:).^2;in2(4,:).*in2(1,:).*2.0+in2(5,:).*in2(2,:).*2.0;in2(7,:).*in2(1,:).*2.0+in2(6,:).*in2(2,:).*2.0+in2(4,:).^2.*2.0+in2(5,:).^2.*2.0;in2(6,:)-in3(5,:);in2(5,:)-in3(2,:)]

f = @(t, y, yp)  F(t, y, yp, [1, 9.81, 1])

f = function_handle with value:
    @(t,y,yp)F(t,y,yp,[1,9.81,1])

Вычислите сопоставимые начальные условия для индекса, уменьшаемого decic MATLAB функция. Здесь, opt структура опций, которая устанавливает числовые погрешности. Вы уже вычислили его с помощью odeset.

[y0,yp0] = decic(f, t0, [0.98;-0.21; zeros(5,1)], [], zeros(7,1), [], opt)

Решите систему и постройте решение.

ode15i(f, [t0, tfinal], y0, yp0, opt)

Figure contains an axes. The axes contains 14 objects of type line.

Документация

Анализируйте и управляйте дифференциальными алгебраическими уравнениями

Задайте параметры модели

Попытайтесь решить систему ДАУ Высокого индекса

Анализируйте и настройте систему ДАУ

Решите систему ДАУ Низкого индекса

Документация Symbolic Math Toolbox

Поддержка