О моделировании динамики в информационных системах символьных вычислений Текст научной статьи по специальности «Математика»

О. В. Матухина

О МОДЕЛИРОВАНИИ ДИНАМИКИ В ИНФОРМАЦИОННЫХ СИСТЕМАХ

СИМВОЛЬНЫХ ВЫЧИСЛЕНИЙ

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

вычислений.

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

Keywords: dynamics control, differential constraints, program constraints, stabilization, symbolic computation system.

The modeling methods of kinematics and dynamics of systems with program constraints in symbolic computation systems are considered. The problem of constraints stabilization is solved. The expressions for control forces, acting on the system in order to ensure compliance with constraints equations imposed on the system, are determined.

Введение

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

уравнений, составленных из уравнений динамики и уравнений связей, возникает проблема стабилизации связей. В [1] приводится модификация уравнений динамики систем со связями, позволяющая решить эту задачу. В работе [2] вводятся в рассмотрение уравнения программных связей.

В задачах моделирования кинематики и динамики механических систем получил широкое распространение предложенный Н. П. Еругиным [3] метод построения множества систем дифференциальных уравнений, имеющих заданную интегральную кривую на. В частности, в работе [4] рассмотрена задача построения множества систем дифференциальных уравнений, имеющих заданные интегральные многообразия, методом,

предложенным в [3], и определена конструкция систем дифференциальных уравнений из условия устойчивости этих многообразий. В работе [5] построена автономная система дифференциальных уравнений по заданному распределению фазовых траекторий на плоскости, определены

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

позволяющая описать кинематические свойства системы уравнениями дифференциальных связей. Изложенные в [5, 6] методы построения

динамических систем эффективно используется для программирования движения управляемых механических систем [7, 8].

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

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

моделирования представляет интерес изложенный в работе [2] аналитический метод построения уравнений движения, основанный на вариационном принципе Даламбера-Лагранжа. В работе [3] уравнения динамики получены на основе

интегрального вариационного принципа

Гамильтона-Остроградского. Изложенный в данной работе метод построения уравнений динамики в канонических переменных позволяет

дифференциальные уравнения динамики

представить в виде, удобном для их решения численными методами.

В данной работе предлагаются аналитические методы моделирования

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

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

Моделирование кинематических свойств

Для программирования движения

управляемых механических систем может быть эффективно использован метод построения динамических систем с заранее заданными кинематическими свойствами [6]. Рассмотрим следующую задачу. Пусть требуется определить аналитические выражения управляющих воздействий, приложенных к механической системе для перемещения изображающей точки в некоторой области в плоскости хОу с обходом «подвижных» препятствий.

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

^ = р (х, У,t)- 0(х, у, t у у С- = p2 (у у, tу + у, tух -

1 2 +12 'х ^ 'у

(1)

12 +1,2

В системе (1) Р1 (х, у,*) , Р2 (х, у,*) -непрерывные функции, обращающиеся в нуль вдоль кривых // (х, у,*) = 0 (/ = 1,..., г) , О(х, у,*) -

произвольная непрерывная функция, / = /0/1...//+1,

1о -1,

1Г + 1 — 1 , 1у -

1

дх

IV -— , Ь -— . Варьируя

V ду : д

значениями функций Р1 (х, у,*), Р2 (х, у,*), О(х, у,*) можно обеспечить устойчивость или неустойчивость кривых //■ (х,у,?) = 0 .

Выражая прямоугольные координаты х, у и

скорости — ^ через обобщенные координаты

л ’ л

ях,...,яп и скорости ях,...,яп I -

йЯі

с:

і -1,.

, п

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

кинематические свойства механической системы.

Построение уравнений динамики в канонических переменных

Динамика системы описывается

уравнениями Лагранжа

с (Ёк |--д^ + д^ - + Q,

сії {дЯ) дя дЯ

. сСя

Я- — с№

(2)

с учетом наложенных на нее уравнений голономных и неголономных программных связей [2]

ф(я,*) = у(0, ф = (Фм), и = 1,. ., т, (3)

^(я,Я,*) = у'(?),^ = (^), л = 1,. ., т (4) В уравнениях (2)-(4) в качестве основной переменной выступает вектор обобщенных координат перемещений я(*), я = (я]) } = 1,...,п .

Цу,у,у',Я,Я,*) = Т(у,у,у’,Я,Я) - Р(у,Я,*) - функция Лагранжа, Т = Т (у, у, у ',я,Я) - кинетическая

энергия системы, Р = Р(у,Я,*) - потенциальная энергия, й = й(у, у, у', Я, Я,*) - диссипативная

функция, О = 0(я, Я,*) - обобщенные

непотенциальные внешние силы, я = К(Я,Я,*) -управляющие силы или реакции связей. Избыточные переменные у (*), у '(*), оценивающие отклонения от уравнений связей, должны удовлетворять дифференциальным уравнениям возмущений связей, разрешенных относительно старших производных,

% - д(у,у,у',я,я,:),

С:

Су'

с, - Ку, у, у ',я, я, :), с:

д(0, 0, 0, я, Я, *) = 0, л(0, 0, 0, Я, Я, *)= 0.

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

Управляющие силы Я в (2) определяются выражением [2]

Я = ©Т Д, (6)

©-

где

(ф л (ы л (я... л

ф я -

дфц

дЯі

X - (Д1,^,ДШі +т2 у

Т -ТЯ

д^7

дЯ]

произвольных множителей. Равенствами

дк дк

Р - —, х- —. дЯ ду

г -■

дк_

ду'

вектор

(7)

вводятся в рассмотрение новые переменные Р = (Р1, Р2 ,..., Рп ) , х = (^, х 2 ,..., хт1 ) ,

г = (г1, г2,..., гт2) , принимаемые в качестве

обобщенных импульсов.

Рассматривая обобщенные скорости как функции обобщенных координат перемещений и импульсов Я = Я(у, х, г,я, Р,*) , у = у(у, х, г,я, Р,*) , у' = у (у,х,г,я,Р,*) , функцию Гамильтона

Н(у, х, г, я, Р, *) и соответственно уравнения (2) с учетом (6) можно представить в виде

п т1

Н(у, х, г, я, Р, *) = 2 Р>Я! + ^ х,у, +

І-1

^-1

т.

+ ^г, - і(у,у,у',я,Я,:),

7-1

Я -

дН

др ’

. дН дй Т

р +-----------^--------- © X + Q.

дЯ дЯ

(8)

(9)

(10)

Уравнения возмущений связей в

канонических переменных примут вид

у = дН, (11)

У

дх ’ дН дг , дН дй

х + —+—-0, ду ду

. дй

г +---- 0.

ду'

(12)

(13)

(14)

Уравнения (9), (10) составляют уравнения движения в канонических переменных и рассматриваются совместно с уравнениями возмущений связей (11) - (14). Совокупность я, Р, х, у , г составляет канонические переменные.

Определение управляющих воздействий

Управляющие силы определяются в виде Я = ©ТЯ . Для определения выражений множителей Я следует продифференцировать уравнения связей (3), (4) с учетом дифференцирования уравнений (9), (11), (12) по времени. Тогда обобщенные

управляющие силы можно представить в виде

R =

Гф Л' і

т

V С у

K11 K

K21 K2

12

A - B

A2 - B2

(1З)

'21 22 ,

Исключением множителей Я из уравнений системы (10) можно получить окончательный вид уравнений движения • дН

я = -дР, (16)

дР

p =

ҐФq Л тС

K„

K

21

K1

K

22

A1 - B

A2 - B2

Л дH дD

+ Q--------------------г.

дс дС

(17)

Пример

Необходимо построить уравнения динамики в канонических переменных плоского двухзвенного манипулятора.

Пусть т1,т2 - массы звеньев, д -ускорение свободного падения. Для программирования движения манипулятора по заданной траектории необходимо на координаты и скорости конца схвата наложить ограничения, описываемые уравнениями дифференциальных связей. Соответствующие уравнения неголономных связей у1 = 0,у2 = 0 могут быть получены с помощью системы (1). Для решения задачи стабилизации связей вводятся уравнения программных связей у, = у',щ2 = у' . Выражения кинетической, потенциальной энергии,

диссипативной функции системы с учетом избыточных переменных у', у'2 запишутся в виде

2Т = (т1 + т2 )11Я1 + т^Я + Я2)2 +

+ 2т^112Я1 (Я1 + Я2 )с°$Я2 + у'2 + у22 ,

Р = д (т1 + т2 )!1зтя1 + дт212з1п(я1 + я2),

2й = с,у12 + с2у'2.

Учитывая L = T - P, из равенств (7) можно получить

Pi = a + вя2,р2 = № +Ю2,

zi = yi ,z2 = у2>

где a = (m1 + m2)l2 + m2l2 + 2m2l1l2cosq 2,

в = m2lf + m2l1 l2cosq2,r = m2l%.

Выражая обобщенные скорости qvq2 через канонические переменные pi,p2 , можно получить уравнения динамики в канонических переменных

qi = (rPi - вР2 )(аг - в2)-,

q2 = (aP2 - ePi){ar- в2),

Pi =-g(mi + m2 )liCosqi -

- gm2l2cos(q1 + q2) + R1,

P2 =-m2lil2Sinq2 [r(r- вР + в (в -a)pl +

+ (ar-2вг + в2)PiP2}ar-в2)-2 -

-gm2l2cos(q1 + q2) + R2.

Построение и решение полученных уравнений проведены в системе символьных вычислений Maple. Некоторые результаты моделирования динамики манипулятора с применением изложенных методов приведены в работе [9].

Работа выполнена при финансовой поддержке РФФИ, номер проекта 10-01-00381.

Литература

1. J. Baumgarte, Computer Math. Appl. Mech. Eng., 1, 1, 116 (1972).

2. Р.Г. Мухарлямов, Прикладная математика и механика, 70, 2, 36-249 (2006).

3. Н.П. Еругин, Прикладная математика и механика,. XVI, 659-670 (1952).

4. Р.Г. Мухарлямов, Дифференц. уравнения, 3, 2, 180-192 (1967).

5. Р.Г. Мухарлямов, Дифференц. уравнения, 3, 10, 16731681 (1967).

6. О.В. Ибушева, Р.Г. Мухарлямов, Учен. зап. Казан. унта. Сер. Физ.-матем. Науки, 150, 3, 133-139 (2008).

7. О.В. Матухина, Вестн. Казан. гос. технолог. ун-та, 15, 11, 272-274 (2012).

8. Р.Г. Мухарлямов, О.В. Матухина, Вестн. Казан. гос. технолог. ун-та, 15, 12, 220-224 (2012).

9. О.В. Ибушева, Р.Г. Мухарлямов, Вестн. Казан. гос. техн. ун-та им. А.Н. Туполева, 1, 75-80 (2010).

T

+

© О. В. Матухина - канд. физ.-мат. наук, доц. каф. информационных систем и технологий НХТИ КНИТУ, ovmatukhina@gmail.com.

19З