Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги / Моделирование систем управления

..pdf
Скачиваний:
3
Добавлен:
12.11.2023
Размер:
6.82 Mб
Скачать

Яков Бернулли, швейцарский математик (1654-1705), современник Ньютона и Лейбница, открыл сумму нескольких бесконечных рядов, но ему не удалось найти сумму ряда чисел, обратных квадратам.

1 1 1

I2 + 22 + "’+ я 2 ’

Эта задача привлекла внимание другого швейцарского математика Леонарда Эйлера (1707-1783). Он решал эту задачу различными способами и получил приближенное решение, но это его не удовлетворило. В конце концов он открыл точный метод решения. Аналогия привела его к пред­ положению.

Рассмотрим несколько элементарных алгебраических фактов, сущест­ венных в открытии Эйлера.

Если уравнение w-й степени а0+ а\Х + а2х2 +...+ a j? = 0 имеет п раз­ личных корней Х ]УХ 2,...,Х ПУто многочлен, стоящий в левой части, может быть представлен как произведение и линейных множителей:

«о + Q\x + а&г +...+ а У =а„(х-Х1)(х-Х гУ ...(х-Х п).

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

ап-\ = - ап(Х\ +Х2+ ...+Хп).

Это выражение найдено при сравнении членов с А""1.

Это же уравнение можно представить в виде другого тождества

а0 +а1х +а2х +...+а„дг = я 0 1

T l - — 1 - . .

. |l - — 1

 

* i A х г)

I x j

1

X\ X -

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

Известно, что:

I. Если все корни X t,X 2,X 3,... алгебраического уравнения вещест­

венные положительные, то оно имеет вид:

ÜQ- а\х + Ü2X2- а#3+.. .= 0,

где а0 > 0, тогда

' 1

1

1

(2.12)

V *

Х г

X ,

 

Положив х =у2, Xi = y f , получим уравнение

 

ап- а\у2+ а$>4- а у/ +.. .= 0.

 

Корни этого уравнения - это у х, - у х\

у 2,

- у 2\ ..., причем

 

У\ У2

Рис. 2.5

2. Вспомогательное уравнение

 

 

 

 

 

 

 

 

 

 

.

г

г3

 

/ 5

 

Л

 

 

(2.13)

 

 

sin г

-------+ —

... = О

 

 

имеет корни 0, я, -я, 2я, - 2 я ,...

1!

3!

 

5!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Из уравнения (2.13) следует уравнение

 

 

 

 

 

 

 

/2

t4

t6

 

 

 

 

 

 

 

 

1-—

— —+... = 0,

 

 

 

 

 

 

 

3!

5!

t\

 

 

 

 

 

 

корни которого я, -я, 2я, -2я; а0= 1, ах=

 

 

 

 

 

 

На основании аналогии, используя (2.12), получают

 

 

 

3!

1

1

 

1

+"'J

)

 

1 ( I

1

1

 

)

У

+ (2я)2 + (Зя)2

 

" я 2 112 + 22 + З2 +

i =

i

 

 

 

 

 

 

 

 

 

 

 

В скобках записана бескжонечная сумма, которую и необходи:

мо определить:

 

 

с ( 1

1

 

1

 

^

я 2

я 2

 

 

 

 

 

U 2

22 З2

 

)

3!

6

 

 

 

Эйлер испытал свой метод и на других примерах. Ему удалось от­ крыть своим методом сумму важного ряда, принадлежащего Лейбницу:

 

3

5

7

 

Задача 2. Найти сумму бесконечного ряда

 

. 1

1

1

 

1 — +----- +....

 

3

5

7

 

Рассмотрим, следуя Эйлеру, вспомогательное уравнение

 

1 -

sin х = 0.

_

я Зя 5я 7я

 

 

Оно имеет корни —,---- ,— ,------,.... Каждый из этих корней является двои-

2 2 2 2

ным корнем (кривая у = sin* не пересекает при этих абсциссах прямую у = 1, а касается ее (рис. 2.5). Производная левой части при этих значениях X обра­

щается в нуль).

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

Доказать, что сумма ряда Лейбница равна я/4.

3. ПОНЯТИЯ И ЗАДАЧИ ТЕОРИИ ПОДОБИЯ

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

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

Содержание понятия геометрического подобия в простейшем случае состоит в следующем: треугольники (а также многоугольники с одинаковым числом сторон) подобны, если у них соответственные углы равны и сходст­ венные стороны пропорциональны:

1_ J7A = >

а А _ & А =

1\в he

ав вР

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

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

X iA

тху

У IA

““ /Яуу

Z IA

у Ид “ Иу “ Иду

"

 

 

~ *

XiB

 

УгВ

 

 

2iB

 

где XiA и ха, у LA

и yiBi

и ziB-

координаты сходственных точек самостоя­

тельных объектов.

Дальнейшим развитием геометрического подобия является понятие аффинного подобия, при котором допускается неравенство масштабов по от­ дельным координатным осям. В этом случае геометрические фигуры как бы деформируются: круг превращается в эллипс, параллелепипед с неравными ребрами - в куб и т.д. (тх ФтуФ т2).

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

Понятие подобия физических процессов (объектов) является развитием

понятия аффинного подобия.

 

 

Пусть в n-мерном координатном

пространстве

отображен процесс

(р0 = F l?,,..., Pj,..., Рп), где P i, Р2,..., Рп - параметры

процесса <ро, а также

процесс ф0 = /?’(л1,...,Л у,...,Л /1), (Ль R2

Rn- параметры процесса ф0), ха­

рактеризуемый сходственными с (р0 параметрами.

Если при этом все сходственные параметры пропорциональны, т.е.

если

то процессы фо и фо подобны.

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

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

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

3.1. Виды подобия

Дифференциация видов подобия осуществляется, главным образом, по двум признакам:

1.По степени соответствия параметров оригинала и модели.

2.По адекватности физической природы.

По степени соответствия параметров различают абсолютное подобие

и практическое (неабсолютное) подобие.

По адекватности физической природы различают математическое по­ добие и физическое подобие (механическое, тепловое, электрическое).

Абсолютное подобие характеризуется тем, что в сходственные момен­ ты времени в сходственных точках пространства параметры Pj процессов в одной системе находятся в определенном соответствии со сходственными параметрами Rj в другой системе:

Л

Абсолютное подобие - абстрактное понятие.

Практическое (неабсолютное) подобие может быть полным, неполным и приближенным.

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

Неполное подобие - это подобие протекания процессов только во вре­ мени или только в пространстве.

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

Пример. При неполном подобии электромеханические процессы в син­ хронных генераторах подобны во времени, но пространственного подобия полей может не быть. Это не искажает переходные процессы в электрической системе.

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

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

Пример. Колебания пружинного маятника описываются уравнением

d 2x

( ч

w- T = -vj/x(0, at

где JC(/) - отклонение центра масс груза от положения равновесия в момент времени t\ т масса тела; \|/ - жесткость пружины.

Обозначим — = ©о» х(0 = тогда

+ CDQZ= 0.

w

dt2

Свободные колебания в электрическом контуре

dt1 С

где q{t) - заряд конденсатора в момент времени t\L - индуктивность; С - ем-

кость. Обозначим —

d 2z

= со;;; q(t) = z, тогда — - + щ г = 0.

LC

dt1

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

3.2. Основные положения теории подобия

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

Задачи теории подобия:

- установление условий подобия;

. - установление условий распространения результатов единичного ис­ следования на результаты других (не проводившихся) экспериментов;

-установление условий, при которых возможны обобщения экспери­ ментальных и расчетных данных;

-определение технических характеристик моделирующих средств. Во всяком инженерном или научном исследовании задача ставится

следующим образом. Имеется некоторый объект изучения, в котором проис­

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

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

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

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

Основные положения теории подобия (теоремы подобия и дополни­ тельные положения к ним) определяют свойства подобных объектов и указы­ вают требования, при удовлетворении которых один из объектов может рас­ сматриваться как модель (или оригинал) по отношению к остальным.

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

Для примера рассмотрим процессы, протекающие в ЛС-цепи, включен­ ной на постоянное напряжение Е. Для ЛС-цепи составим уравнение:

R C ^ + U c - E =0.

(3.1)

dt

L

 

Решение этого уравнения запишется в виде

 

(

Uc (t)=E 1 - е 'яс

(3.2)

V

 

Все члены любого уравнения, описывающего какой-либо физический процесс, всегда имеют одинаковую размерность (правило Фурье), и поэтому уравнение (3.1) можно привести к безразмерному виду:

RCdUç

 

 

и с

л

 

-

,

RCdUr

,

Е

или, обозначая л

1

= ----------- и п7

= — ,

 

Uс dt

 

п\ +1 - п'2 = 0.

При рассмотрении двух подобных процессов Ulc(t) и U2C(t) пропор­

циональность между параметрами должна быть справедлива и для «точеч­ ных» значений параметров, и для их изменений:

__ÇAc_

АС/,

£L=^ L

 

jÇ_.

(3.3)

C/2C/ 2С “^AC/,,2C

»2

 

 

 

*2 “Af,

 

С учетом (3.3) можно представить n\ и я'2 в виде

 

,R C M c RC _« I I л „о

 

я,=(— ) - ^ = — = й 'с1/

1и°сЕ°,

 

ис I

 

t

 

 

п2 =

=Е1Uç R° C°t°.

 

Выражения для п\ и n'2, имеющие вид безразмерных степенных ком­ плексов параметров, называются критериями подобия. Критерии подобия численно одинаковы для сходственных точек подобных процессов и имеют вид безразмерных степенных комплексов параметров, характеризующих процесс.

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

Существуют две системы критериев подобия, полученных из диффе­ ренциального уравнения (3.1) и из решения дифференциального уравнения (3.2), но они идентичны, т.е. имеют одинаковый физический смысл.

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

Пусть имеется зависимость, полученная из эксперимента или расчета,

которая в размерных физических параметрах Р\

Рт имеет вид

ЩР\,..-,Рт) = 0 или - для рассмотренной ранее ЛС-цепи -

 

F(Uc,t,R ,C ,E ) = 0.

(3.4)

Тогда зависимость в общем случае можно представить как

....*„-*) = О,

или, в частном случае (3.4),

 

 

= ^ - , п 2 = J f-y = о,

(3.5)

I

и с

 

где 7С|, 7С2, ...» я т_* - критерии подобия.

Для определения критериев подобия в данном случае применяется ме­ тод анализа размерностей физических величин PJt определяющих характер процесса.

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

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

экспериментов, дать оценку хода процесса при разнообразных сочетаниях параметров.

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

Необходимые и достаточные условия систематизируются в виде пер­ вой, второй и третьей теорем о подобии.

Первая теорема о подобии, или теорема Ньютона-Бертрана. Явления, подобные в том или ином смысле (полно, приближенно, физически, матема­ тически и т.д.), имеют определенные сочетания параметров для подобных явлений.

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

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

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

Дополнительные положения теории подобия. Эти положения распро­ страняют основные теоремы подобия на системы сложные, системы с нели­ нейными или переменными параметрами, анизотропные системы (с различ­ ными свойствами по различным координатам) и системы, заданные вероят­ ностно-статистическими характеристиками.

Этими же положениями охватываются геометрически неподобные сис­ темы, а также системы, для которых подобие интерпретируется шире, чем постоянство масштабов в сходственных точках пространства параметров в сходственные моменты времени.

3.3. Первая теорема подобия

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

З.Э.1. Определение критериев подобия по уравнениям исследуемых процессов

При определении критериев выполняется ряд преобразований искомых уравнений с использованием правила Фурье. В соответствии с правилом Фу­ рье все члены уравнения должны иметь одинаковую размерность.

При математическом

описании физического процесса возможны

два случая:

 

- все члены уравнения

представляют однородные функции параметров

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

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

3.3.2. Определение критериев подобия процессов, описываемых уравнениями, которые содержат только однородные функции

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

Пусть имеются уравнения двух подобных процессов <р о и ф0, являю­ щиеся функциями параметровРи ..., PnuR\, ...,R nсоответственно,т.е.

 

 

(3.6)

 

Ф1+ - + Фт = Е Ф / - ° »

, (3.7)

 

/=1

 

где (р, =

ф, = fi(R\.....Л„) -члены уравнений для ф0 и ф0, i=l,m.

Для ÆI-цепи (рис. 3.1)

 

 

 

(3.8)

(3.9)

где (p, =*i*i = / i ( « i ,M i ,I |eC/i);

Процессы сро

и фо подобны, поэтому между

Рис. 3.1

их сходственными

параметрами должны сущест-

 

вовать соотношения пропорциональности вида Р\ = mxR u ..., Рп = /« Л или

Л| = тцЯъ L\ = /я/£2; = tnuUi', ix= ти,/2; /| = m,/2, где m,.......mn или mR, mL,

Wj;, fftj, mt - масштабные коэффициенты (масштабы).

Приведем уравнения к безразмерному виду. Разделим все члены на ка­

кой-либо, например, т-я член (q>mи фя):

 

 

 

 

1 L + Ф1+ ...+ 2 - 1 + 1 = £ -ÎL = 0;

 

(ЗЛО)

<Р„ ф„

 

Фш

' фя

 

 

 

i L

+ i L

+ ... + ia z L + i = f i L

= 0 .

 

(3.11)

Ф и .

 

Ф

«

 

Ф и

 

1

Для /&-цепи

 

 

 

 

 

 

 

Ф1 ( Фг

, Фз _ *\R\ !

L\ di\ Ut _ Q

 

(3.12)

Ф1

Ф1

Ф|

hRi

hRi dt\

hRi

 

 

 

Ф1 I Ф2 j Фз _ h Ri t ^2 dh

^ 2

_ Q

(3.13)

ф|

ф|

ф]

iiRi

h Ri d*2

h R2

 

 

 

Вследствие однородности в выражениях для ср, и ф,- должны существо­ вать некоторые общие множители, которые можно вынести за знак функции.

Функция/(хь хп) называется однородной функцией к-й степени, ес­ ли при уменьшении всех ее аргументов на множитель М она приобретает тот

же множитель M B k-Vi степени, т.е. / ( М

с , Mxn) = М кf ( j e , xn).

 

Общий множитель для /-го члена <р, исходного уравнения (3.6) -

неко­

торая комбинация масштабных коэффициентов т] у тп

 

 

Ф, = fi(P„...,P„) =

=

M ifi(Rx,...,Л„) =

.

(3.14)

Ф, = 1|Л, =mti2mRR2 =mtmRi2R2 = М Хф,,

 

 

. di,

,

dm,i2

Фг= £ 1ЗГ = ЮА

dm и

Ч

 

Фз ~ ^1

Подстановка (3.14) в (3.10) дает

М\ ф, J Af2 Фз ,

М

ф_

М Ф

1ГЛт

“ in

т/и

. « Л , dii

= Ф2»

""Л^зФз.

, Мт-\ Фш-1 , j g

М

Ф

т щ

тт

j | ЩЩ h. di2

ти и 2 0

m{mRm{ i2R2 dt2

m{mR i2R2

(3.15)

(3.16)

(3.17)

Поскольку уравнение (3.16) описывает процесс <р0, то, чтобы оно опи­ сывало и процесс ф0, должно выполняться соотношение:

м т м т - м т ~ м т

Соседние файлы в папке книги