Научная статья на тему 'Применение UML при проектировании встраиваемых систем цифровой обработки сигналов'

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

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

Аннотация научной статьи по математике, автор научной работы — Леонтьев А. Е.

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

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

Текст научной работы на тему «Применение UML при проектировании встраиваемых систем цифровой обработки сигналов»

УДК 519.95

метод динамической декомпозиции в моделировании систем управления со структурными изменениями

А. Н. Кириллов,

канд. физ.-мат. наук, доцент

Санкт-Петербургский государственный технологический университет растительных полимеров

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

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

Введение

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

химических реакторов [2], моделей динамики метапопуляций, экономических систем с переменной структурой. При моделировании этих процессов используются динамические системы, размерность которых, в зависимости от состояния, может изменяться с течением времени, т. е. происходит динамическая декомпозиция сложной системы [3]. Возможность использования систем с переменной размерностью при моделировании динамики биологических сообществ указывалась еще в работе Ю. М. Свирежева [4]. При построении теории реализации Р. Калман предложил [5] обобщить понятие динамической системы таким образом, чтобы размерность ее пространства состояний могла меняться во времени. Систему оптимального управления со сменой фазового пространства рассматривал В. Г. Болтянский [6]. Вопросы моделирования многосвязных систем с изменяющейся структурой исследовались в работах [7-9]. В настоящей работе продолжается исследование систем с переменной размерностью, начатое автором [1, 3]. Вводится понятие линейной системы с переменной размерностью, которая применяется для построения модели инвестирования производственного объединения.

Структура системы

Предположим, что система 5 состоит из подсистем Si I = 1, ..., п. Взаимосвязи между подсистемами характеризуют внутреннюю структуру

системы. Исследование влияния их интенсивности на устойчивость положений равновесия проводилось [7, 8]. Здесь же рассмотрим внешнюю структуру системы, которую введем следующим образом. В процессе функционирования влияние некоторых из подсистем Si на динамику S может или ослабевать, или усиливаться. Возможно также полное отключение каких-либо подсистем на некоторое время. Если влиянием подсистемы Si на динамику S можно пренебречь, то будем говорить, что Si находится в пассивном режиме, иначе — в активном. В связи с этим введем вектор уЄЯп с компонентами у, і = 1, ..., п, при этом уі = 1, если подсистема Si находится в активном режиме, и уі = 0, если Si — в пассивном режиме. Вектор у назовем вектором внешней структуры системы S, или, короче, структурой S. Из определения следует, что у принимает значения на множестве вершин единичного п-мерного куба. Под внутренней структурой системы S будем понимать структуру взаимосвязей между подсистемами, но здесь этот вопрос не освещается. Для описания процесса изменения структуры системы введем вектор уєЯп с компонентами у, і = 1, ..., п, динамика которого задается некоторой системой дифференциальных уравнений. Пусть Д — множество значений у, ДсЯп. Разобьем Д на непере-секающиеся подмножества Д0, Д1, Д = ДОиД1, ДО ПД1 = 0. Будем полагать, что уі = 0, если уіЄДі; уі = 1, если уі Є Д1. Таким образом, при изменении у структура системы эволюционирует. В связи с этим вектор у можно считать многомерным временем эволюции системы, в отличие от текущего времени і, изменение которого влияет на состояние системы.

Линейная система с переменной размерностью

Введем в рассмотрение следующую многостадийную линейную систему. Пусть x — вектор состояний системы S, хь — его компоненты. Размерность x может изменяться во времени при изменении структуры системы. Пусть подсистемы с номерами sk, к = 1, ..., т, активны, а с номерами Sj, ] = т + 1, ..., п, — пассивны. Введем уравнения, задающие динамику компонентов х , входящих в состав x, в зависимости от условий, которым удовлетворяют компоненты уь, вектора времени эволюции у. Пусть при

Уьк > dSh, к = 1,...,m, mє{1,..., п}; (1)

Уь. < dsj, І = m +1,..., п (2)

система S задается уравнениями

Х* = %, ЬкХЬк + ... + %, *тХ*т ; (3)

К = \, ЬкХЬк + ... + \, SmXSm ; (4)

У. = К., * ^ + ... + Ьь., ,іт^т , (5)

где d , а , ЬЬь , Ья.^ — заданные постоян-

ьк, ьк Ьк

ные. При этом будем говорить, что многостадийная система S находится в стадии S(ь1, ..., ьт). Здесь индексы в скобках — номера переменных х , входящих в данную стадию. Уравнения (3) задают динамику вектора состояний системы в стадии S(ь1, ..., ьт), уравнения (4), (5) — динамику времени эволюции активных и пассивных подсистем соответственно.

Уменьшение размерности системы. Пусть при попадании траектории системы (3)-(5) в некоторый момент времени і- из области (1), (2) на плоскость уЬі = dЬl при некотором ІЄ{1, ..., т} происходит переход от стадии S(ь1, ..., ьт) к стадии S(ь1 ,..., Ь1,..., ьт) , где символом Ь обозначен отсутствующий компонент в наборе индексов. Таким образом, стадия S(ь1,..., Ь1,..., ьт) будет описываться системой (3)-(5), в которую не входит уравнение, задающее динамику переменной хЬ{, а уравнение, задающее динамику уь, принимает вид

Уь = Ьь ь х„ +... + Ьь ь хь ,

*Ь1 ь1, Ь1 Ь1 ь1, ьт ьт

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

Матрицы:

Л = {а.}, і, І = 1,..., п;

Л(ь1, ..., ьт|рр ..., рг) — матрица, состоящая из элементов матрицы Л, стоящих на пересечении ее строк и столбцов с номерами ь1, ..., ьт ир1, ..., рг соответственно;

Л(ьР ..., ьm|ьl, ..., Ьт) = Л(Ь1, ..., Ьт) — квадратная матрица порядка т, составленная из элементов матрицы Л, стоящих на пересечении строк и столбцов с номерами ь1, ..., ьт;

Л(ь1,..., Ь1,..., ьт) — квадратная матрица порядка т - 1, полученная из Л(ь1, ..., ьт) удалением из нее строки и столбца с номером ь1;

Л(ь1, ..., 0Ь, ..., ьт) — квадратная матрица порядка т, полученная из Л(ь1, ..., ьт) заменой ее строки и столбца с номером ь1 нулевой строкой и столбцом;

Л(ь1, ..., ьт|-) — матрица, составленная из элементов матрицы Л, стоящих на пересечении ее строк с номерами ь1, ..., ьт и столбцов со всеми номерами, не равными ь1, ..., ьт, т. е. с номерами множества {1, ..., п}\{ь1, ..., ьт}; Л(ь1, ..., ьт|*) имеет размерность тх(п - т);

В= {Ь.}, В= {Ь.}, С= {с.} — заданные матрицы с постоянными элементами, і, І = 1, ..., п.

Векторы:

Х(в1, ..., т = (хч, ..., х8т)* е Rm; х(вр ..., 5т)(#) = = (х (£), ..., х (t)) ; * — символ операции транспонирования;

х(в1,...,,...,вт) — вектор, полученный из х(вр ..., вт) удалением из него компонента с номером в1, х(в1,..., в;,..., вт) eRm-1;

х(вр ..., 0^, ..., вт) — вектор, полученный из х(в1, ..., вт) заменой его компонента с номером в1 нулем.

Тогда стадия Я(вр ..., вт) задается уравнениями

вт ) = вт ) • х(вр..м вт ); (6)

У (s1,..., вт ) = Щвр-м вт ) • х(вр..м вт ); (7)

:y(sm+1,..., вп ) = В (вт+1,..., вп|') • ^..м вт ). (8)

Стадия 5(в1,..., в1,..., вт) задается уравнениями

х(в1,..., вг,..., вт ) =

= ^вр..^ в[ ^.^ вт ) • х(в1,..., вг,..., вт ); (9)

у(в1,..., вг,..., вт) =

= B(Sl,..., вг ^.^ вт ) • х(в1,..., в1 ^.^ вт ); (10)

у (вг, «т+1,..., вп ) =

= В(в1, т^..^ вп|') • х(вр..мв I вт ). (11)

Введем функции перехода ф-(в1,...,в1,...,вт) от Я(вр ..., вт) к стадии Я^,...,,...,вт). Пусть z((sl, ..., 5т)(8г)) = (х«1, ..., х«т, Ув)*. Тогда

ф"(в!,...,в,вт): г((вр...,вт)(в1))^

^ (х^,..., вт), ^-е8; )*; (12)

х (s1,..., вт ) = 0г,..., вт 1 ®1,..., вт ) X

X х(«1,..., вт), (13)

где б« — заданные положительные постоянные. При этом

х(в1,..., вг,..., вт )(Г + 0) =

= х^,..., вт)(Г). (14)

Увеличение размерности системы. Вернемся снова к области (1), (2) и к соответствующей ей системе (3)-(5). Пусть при попадании траектории этой системы в момент времени t + из области (1), (2) на плоскость ув = ds при некотором ре{т + + 1, ..., п} происходит переход от стадии Я(в1, ..., вт) к стадии Я(в1, ..., вт, вр), которая будет описываться системой уравнений

Л +... + аа„ в Хв + в хв ; (15)

вк вк, в1 в1 вк, вт вт вк, вр вр

Ув = Ъв +... + Ъ в хв + Ъв в хв ; (16)

к вк, в1 в1 , вт вт вк, вр вр

У„ = Ь„ „х„ +... + Ь„ , хв + Ьв , хв , (17)

, ®1 в1 , вт вт , вр вр ' у

где к = 1, ..., т, р; ] = т + 1, ..., п, ] Фр, или

х(в1,..., вт, вр) =

= A(Sl,..., вт, вр ^х(« ,..., sm, вр); (18)

у (в1,..., вт, вр ) =

= B(в1,..., вт, вр ^Х(в,..., вт, вр ); (19)

(вт+1,..., ^р,..., вп ) _

= (вт+1,..., вр,..., вп |-)-Х(в,..., вт, вр). (20)

Введем функции перехода ф+(в1, ..., вт, вр) от Я(в1, ..., вт) к стадии Я(в1, ..., вт, вр). Пусть z((s1, ...,

5т)(8г)) = (х81, ..., хвт, Ув)*. Тогда ф+(в1, ..., вт, вр):

z((sl,..., вт )(вг)) ^

^(х ,...,хв ,хв ,ds +ев )* ^

ьт ьр ьр ьр

= (Х(s1,..., sm, вр), ^р +£вр ^ (21)

где

Х(s1,..., вт, вр) =

= D(Sl,..., вт, вр |Sl,..., вт V Х(в1,..., вт ). (22)

При этом

х(в1,..., вт, вр )(^ + 0) = Х (в,..., вт, вр )^+ ). (23)

Определение. Система (1)-(23) называется линейной системой с переменной размерностью (ЛСПР).

Частный случай ЛСПР был рассмотрен в работе [2], где стадия, соответствующая т подсистемам, имеет вид Я(1, ..., т). Такая система называется последовательной.

Замечание. Рассмотренную ЛСПР можно задать также следующим образом. Пусть

а = (а1,...,ап)*е Яп, Ь = (Ь:,...,Ъп)*, а(Ь) = (а1Ъ1,..., апЪп )*, а(Ь) = (<х1Ъ1,..., а^п) *.

Далее, если А = (А1*, ..., Ап*)* — матрица, где А;* — строка с номером Ь, то пусть

А(Ь) = (Ъ1А1 *,..., Ъп Ап *)*.

Если уЬ — компоненты вектора структуры, то обозначим у. = 1 _у.^у = (у1>...>уп)*. Тогда динамика ЛСПР задается уравнениями

(7) = А(у )х(у);

(7) = В(7)х(7); (7) = В(у)х(у). (24)

Определение. Векторы y(y)еRn, у(у) е Ип назовем векторами активного и пассивного времени эволюции соответственно.

Введем управляемую ЛСПР

х (у) = А(у )х(у) + С (у )и; у (у) = В(у )х(у) + С(у) V;

У (у) = В (у )х(у) + С (у)w,

где uеRr, vеRs, wеRp — управляющие воздействия; С, С, С — матрицы соответствующих размерностей. В статье [2] решается задача управления структурой последовательной ЛСПР.

Модель производственного комплекса

Рассмотрим экономическую систему, состоящую из изменяющегося количества подсистем. Это изменение происходит согласно правилам, устанавливаемым некоторым центром управления (ЦУ). Примером такой системы могут быть государственная экономика, состоящая из отраслей производства, или крупная производственная корпорация, фирма, объединение, в состав которых входят предприятия, выпускающие некоторую продукцию. Для конкретизации предлагаемого подхода к построению соответствующей модели рассмотрим производственное объединение (ПО). ЦУ должен распределить инвестиции по предприятиям для их развития. Цель развития состоит в достижении предприятиями некоторых заданных уровней в течение заданного промежутка времени [20, 20 + Т]. При этом ЦУ может закрыть какое-либо предприятие или возобновить его работу в зависимости от эффективности его деятельности, а также может открыть новое предприятие при некоторых условиях.

Пусть количественная характеристика состояния ь-го предприятия в момент времени t определяется функцией хь(2) > 0, xi(t)еR. Скорость прироста инвестиций в предприятие ь в момент 2 обозначим через иД2, хД2)), uiеR, щ(Ь, хД2)) > 0. Далее, пусть аь(2) — скорость прироста уровня развития предприятия Ь на единицу капитала, вложенного в него, причем аь(2) > 0, аь(2) — ограниченные, кусочно-непрерывные функции, ai(t)еR. Тогда дифференциальное уравнение, задающее динамику развития Ь-го предприятия, имеет вид

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

хг = а1 (2)щ (2, хь).

Заметим, что количество предприятий, функционирующих в составе ПО, не задано. В работе [10] рассматривалась модель с постоянным количеством предприятий. Будем считать, что инвестиции, направляемые ЦУ на развитие ь-го предприятия, состоят из собственных средств и кредитов банка, которые получает ПО, а ЦУ распределяет по предприятиям. Таким образом:

щ (2, хь) = ць (2)хь (2) + wi (2, хь),

где ць = дь(2) — коэффициент, характеризующий скорость прироста собственных средств предпри-

ятия на единицу объема его продукции; wi = wi(t, хь) — скорость прироста инвестиций за счет кредита банка. При этом дь(2) > 0, wi(t, хь) > 0, дь(2), wi(t, хь) — кусочно-непрерывны. Отсюда получаем уравнение динамики предприятия Ь

х1 =Ць (2)хь + Wi (2, хь). (25)

Пусть 20 — момент начала функционирования предприятия Ь. Введем переменную уь:

Уь (2) = Уь0 + | (Сь (2, х1 (2)) - wi (2, х (t))dt, (26)

*0

где сь(2, хь(2)), у0 — заданные пороговые функции и постоянные соответственно. Продифференцировав равенство (26), получим

Уь (2) = С (2, хь) - Wi (2, хь). (27)

Таким образом, предприятие ь является подсистемой в модели ЛСПР. Пусть наибольшее число предприятий, которые могут входить в состав ПО, равно п, Ье{1, ..., п}. Будем называть предприятие ь, динамика которого задается системой уравнений (25), (27), активным. Вектор у с компонентами Уь представляет собой эволюционное время ПО. Выясним экономический смысл величины у. Введем постоянные пороги di, di < У0. Пусть найдется наименьший момент времени 2Ь > 20 такой, что УЬ(2Ь) = di. Тогда в момент времени 2Ь происходит закрытие ь-го предприятия. Экономический смысл этого процесса состоит в том, что эффективно работающее предприятие должно в большей степени развиваться не за счет кредитов, а за счет собственных средств. Поэтому превышение функцией wi(t, хь) порогового значения сь(2, хь) означает, что ь-е предприятие использует слишком много кредитов, которые придется погашать с помощью собственных средств. Это является признаком неэффективной деятельности, что приводит к принятию органом управления решения о приостановке предприятия. Возникает вопрос: когда закрывать предприятие? Если его закрыть в момент выполнения условия wi(t, х) = сь(2, х), то процесс закрытия станет слишком чувствительным и будет реагировать на мгновенные сбои в работе предприятия, приводящие к малозначительным снижениям его эффективности. Для органа управления желательно некоторое время наблюдать за деятельностью предприятия, прежде чем принимать решение. Поэтому наличие интеграла в условии закрытия УЬ(2Ь) = = di придает некоторую инерционность в принятии решения о закрытии предприятия, что дает последнему возможность отработать временные сбои. Напротив, если низкая эффективность его работы, что проявляется в выполнении условия wi(t, хь) > сь(2, хь), наблюдается в течение достаточно длительного промежутка времени, то орган

управления закрывает і-е предприятие в момент іі, введенный выше. После закрытия і-е предприятие переходит в пассивный режим, которому соответствует система уравнений:

Х = —р{Ші (і, ), если Хі > 0;

Хі = 0, если х^ = 0;

і)і = сі

(28)

где постоянные рь, х- удовлетворяют условиям: р1 > 0, х- = хЬ(2Ь + 0) < хЬ(2Ь). Первое уравнение (28) задает динамику возврата кредитов, третье — динамику накопления ресурсов. Будем называть предприятие ь, динамика которого задается уравнениями (28), законсервированным или пассивным.

Теперь рассмотрим процедуру возобновления работы предприятия ь. Пусть на интервале (2Ь, 2) УЮ < d^ и Уь (^) = d^. Тогда в момент времени ^ ЦУ переводит предприятие ь из пассивного в активный режим, и его динамика задается уравнениями (25), (26). При этом хь(2Ь) = х1 (2Ь + 0) = х1, Уь (2Ь + 0) = <1Ь +5Ь, где хь, 8Ь — заданные положительные постоянные. Наличие постоянной 5Ь приводит к скачкообразному изменению Уь(2) при достижении ею порогового значения di. Предприятие получает начальный кредит на развитие, иначе может оказаться, что сразу после открытия его придется закрывать. Таким образом, если на некотором промежутке [20, 20 + Т] в состав ПО входят активные ьр ..., Ьт и пассивные Д, ..., предприятия, то его динамика задается системой уравнений

Литература

1. Кириллов А. Н. Экологические системы с переменной размерностью // Обозрение прикладной и промышленной математики. 1999. Т. 6. Вып. 2. С. 318336.

2. Кириллов А. Н. Управление многостадийными технологическими процессами // Вестник СПбГУ. Сер. 10. 2006. Вып. 4. С. 127-131.

3. Кириллов А. Н. Динамическая декомпозиция и устойчивость структур // Математический анализ и его приложения / Четинск. пед. ин-т им. Н. Г. Чернышевского. Чита, 1996. Вып. 2. С. 20-24.

4. Свирежев Ю. М. Нелинейные волны, диссипативные структуры и катастрофы в экологии. М.: Наука, 1987. 368 с.

5. Калман Р., Фалб П., Арбиб М. Очерки по математической теории систем. М.: Мир, 1971. 400 с.

хв = Мь8 (2)хьв +щ8 (2, хв); к(2) = Сьв (2, хьв) - ^(2, хьв ^

в = 1,..., т;

X: =—Pj Xj ), если Xj >0;

X: = 0, если X: = 0;

1т !т

у:г = ст ^, x-), т = 1,•••, к-

Можно рассмотреть процедуру открытия нового предприятия, а не ранее замороженного. Будем, например, считать, что ПО расширяется, открывая новое предприятие, в момент достижения всеми предприятиями, входящими в него, некоторых заданных уровней развития еь. Пусть на промежутке [20, £) ПО состояло из п предприятий (активных и пассивных), где I — наименьший момент времени, для которого выполняются условия у(1 ) > еь, ь = 1, ..., п, причем при 2 < £ хотя бы одно из этих неравенств не выполняется. Тогда в момент времени £ орган управления ПО открывает новое (п + 1)-е предприятие, динамика которого задается уравнениями типа (25), (26),

и при этом хп + 1(£) = Хn+l, Уп + 1(2') = ^n+1, хп+1

Уп+1 — заданные постоянные, удовлетворяющие

условиям dn+ 1 < Уп+1 < еп + г. При этом Уь(£ + + 0) = е1 + \, ь = 1, ..., п, где 5Ь — заданные положительные постоянные.

Таким образом, на основе понятия ЛСПР построена модель динамики ПО с изменяющимся в процессе функционирования количеством предприятий.

6. Болтянский В. Г. Задачи оптимизации со сменой фазового пространства // Дифференциальные уравнения. 1983. Т. 19. № 3. С. 518-521.

7. Шильяк Д. Децентрализованное управление сложными системами. М.: Мир, 1994. 576 с.

8. Груйич Л. Т., Мартынюк А. А., Риббенс-Павелла М. Устойчивость крупномасштабных систем при структурных и сингулярных возмущениях. Киев: Наук. думка, 1984. 473 с.

9. Охтилев М. Ю., Соколов Б. В., Юсупов Р. М. Интеллектуальные технологии мониторинга и управления структурной динамикой сложных динамических объектов. М.: Наука, 2006. 410 с.

10. Кириллов А. Н. Одна математическая модель распределения капитальных вложений // Экономика и математические методы. 1982. № 5. С. 922-925.

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