1. ВВЕДЕНИЕ
На современном этапе развития космической техники важную роль для исследования различных научных и социально-экономических проблем играют космические аппараты дистанционного зондирования Земли. Опыт использования таких КА («Океан-О», "Метеор-3М", «Фотон-М» и др.) по целевому применению показал высокую эффективность решения задач в областях природопользования, материаловедения, биологии, экологического мониторинга и в других областях. При этом одним из важнейших факторов, влияющих на эффективность получения целевой информации с КА, является создание рентабельного Центра управления полетами (ЦУП) КА, обеспечивающего высокую надежность и оперативность управления КА научного и социально - экономического назначения (НСЭН).
ЦУП ЦНИИмаш (г. Королев, Московской области) по общей направленности своей деятельности резко отличается от аналогичных организаций, как в России, так и за рубежом. Отличие, в первую очередь, заключается в многообразии решения задач как по управлению полетами, так и по методическим разработкам. Аппаратно-программные ресурсы и научно-технический потенциал ЦУП позволяют осуществлять управление до 15 КА, одновременно находящихся на орбите. В связи с этим возникает необходимость решения проблемы рационального распределения средств ЦУП и оптимизации структуры и процессов взаимодействия отдельных подсистем. Это позволит добиться не только более эффективного решения всего комплекса задач, но и уменьшить финансовые затраты на управление новыми перспективными КА.
При этом, очевидно, что как и большинство объектов высокого уровня сложности, ЦУП имеет разветвленную иерархическую структуру и может быть отнесен к классу Больших систем управления (БСУ). В настоящей работе представлены результаты математической формализации процессов функционирования ЦУП как БСУ. Такая формализация дает возможность на основе анализа альтернативных вариантов структуры выявить организационные и технические ресурсы и выработать требования к оптимальной структуре ЦУП.
2. СОВРЕМЕННОЕ СОСТОЯНИЕ РАБОТ ПО МАТЕМАТИЧЕСКОЙ ФОРМАЛИЗАЦИИ ФУНКЦИОНИРОВАНИЯ БСУ
К настоящему времени в области исследования БСУ накоплен значительный опыт. Этому вопросу посвящены монографии М. Месаровича, Д. Мако, И. Такахары [1], А.Д. Цвиркуна [2], Н.Н. Моисеева [3] и др. Вопросы структуры общей оптимизации иерархических систем исследованы в работе А.И. Эрлиха, В.Л. Вена [4]. В работе [5] рассмотрены современные методы оптимизации характеристик систем и управления ими. Книга сориентирована на задачи высокой размерности с формированием иерархических структур, позволяющих находить оптимальное решение при существенном снижении вычислительных затрат. Для конкретных БСУ в ряде работ рассмотрены задачи оптимизации структуры и предложены различные методы решения. Например, в работах Р. Куликовского [6], [7] для иерархических систем распределения ресурсов ищется решение поставленной задачи оптимизации структуры для некоторого класса целевой функции. В работе С. Губернича [8] для решения задачи оптимизации иерархии, представленной в виде задачи дискретного программирования со специальной функцией цели, предложен метод ветвей и границ. В работе О.И. Бронштейна и А.Д. Цвиркуна [9] дана математическая модель описания многоуровневой системы массового обслуживания и при определенных условиях поставлена задача оптимизации этой системы как задача безусловной минимизации. В работах Б.А. Власюка, И.С. Моросанова [10] и И.М. Чунченпака [11] приведены простые, но содержательные примеры иерархических систем с нетривиальной оптимальной структурой. В статье [12] на основе методов теории марковских процессов предложен способ исследования возмущенных траекторий движения КА в атмосфере. Движение аппарата интерпретируются как изменение вероятностей его пребывания в некоторых фиксированных положениях фазового пространства.
В настоящей работе анализируется проблема математической формализации ЦУП как БСУ с использованием наиболее распространенного подхода к исследованию иерархических систем - связанного с применением методов теории массового обслуживания.
3. ВЫДЕЛЕНИЕ ИЕРАРХИЧЕСКИХ УРОВНЕЙ ЦУП КАК БСУ
Известны два основных подхода к синтезу иерархических БСУ. При первом - структура иерархической системы считается заданной. На ее основе производится оптимизация распределения функций, выполняемых отдельными узлами; а также согласование целей и оптимизация взаимодействия узлов различных уровней. При втором - структура определяется в результате синтеза основных или одной ведущей функции, например, функции планирования или оперативного управления.
Представляется перспективным итерационное исследование структуры БСУ. При этом используется комбинация из двух подходов. На первом этапе структура иерархической системы считается заданной и проводится оптимизация распределения выполняемых функций по отдельным элементам системы, а также согласование целей и оптимизация взаимодействия подсистем различных уровней иерархии. На втором этапе проводится предварительный анализ альтернативных вариантов структурного построения системы. При этом, в результате синтеза ведущих функций управления определяется оптимальная структура БСУ.
При построении моделей функционирования ЦУП КА реализуется общие закономерности структурного построения иерархических систем управления:
- последовательное вертикальное расположение подсистем, составляющих соответствующую соподчиненность;
- приоритет действий или право «вмешательства» подсистемы верхнего уровня в действия подсистем нижнего уровня;
- зависимость действий подсистемы верхнего уровня от фактического исполнения своих функций подсистемами нижнего уровня;
- значительно большая степень неопределенности в описании задач управления на верхних уровнях иерархии.
Анализ процессов функционирования элементов ЦУП как БСУ в процессе управления автоматическими КА позволяет выявить основные иерархические уровни:
- верхний уровень (уровень координации) - реализует координацию всех действий по управлению КА с целью наиболее эффективного выполнения программы полета КА;
- второй уровень (уровень самоорганизации) - реализует выбор критериев и алгоритмов, используемых на нижних уровнях иерархии с целью обеспечения решения главных задач управления;
- третий уровень (уровень адаптации) - осуществляет конкретизацию множеств неопределенностей для подсистем верхних уровней путем анализа текущей ситуации и выработки требований к алгоритмам решения задач подсистемами нижнего уровня;
- четвертый уровень (уровень выбора) - осуществляет решения частных задач в соответствии с исходными данными и алгоритмическими предписаниями от подсистем высшего уровня.
4. ОБЩАЯ ПОСТАНОВКА ОПТИМИЗАЦИИ СТРУКТУРЫ БСУ
Изложим общий методологический подход к определению оптимальной структуры и состава иерархических систем. Введем обозначения:
С1- подсистема верхнего уровня;
С2i (i=1,2,...n), С3J (j=1,2,...m), С4k (k=1,2, ...l) - совокупность подсистем второго, третьего и четвертого иерархических уровней, соответственно;
Р - управляющий процесс;
m - множество управляющих сигналов;
ω - множество внешних возмущений;
r - множество информационных сигналов, выдаваемых подсистемами БСУ;
s - множество координирующих сигналов;
y - множество выходных сигналов;
k-множество информационных сигналов, выдаваемых подсистемой верхнего уровня.
Представим модель функционирования БСУ в терминах теории множеств.
Управляемый процесс задается отображением: Р: М хW→Y.
Модель координатора представляется в виде: C1: K→S.
Модель функционирования s-ой подсистемы (s=2,3,4) реализуется в виде отображения: Cs: S х Rs→Ms.
Соответственно информационные обратные связи всех уровней иерархии реализуются отображениями: f1: S x R x M→K; fs: Ms x W x Y→Rs.
Глобальная задача оптимизации отражает основную цель управления и формируется в следующей постановке: требуется определить такое множество управляющих сигналов m, при которых глобальная целевая функция g(m) = G [m, P(m)] достигает своего максимума.
При рассмотрении локальных оптимизационных задач предполагается, что управляющий процесс представлен в виде композиции подпроцессов Ps (s=1,2,3,4), взаимодействующих между собой. Причем, взаимодействие каждого подпроцесса Ps с другими реализуется через множество связей us. Пусть Ds - локальная оптимизационная задача, решаемая s-ым управляющим органом нижнего уровня, а локальная оптимизационная функция качества решения данной задачи выглядит следующим образом:
gs(ms, us) = G[ms, Ps(us, ms)], где Мs x Us - множество значений целевой функции.
Имеются два способа воздействия на локальные задачи оптимизации со стороны подсистем верхнего уровня:
- через функцию качества Gs путем изменений целей управления;
- через изменения параметров множеств связей Us (s=1,2,3,4) в классе подпроцессов Рs
Первый способ предполагает задание множества локальных функций качества, в результате чего координирующий сигнал Ss направлен на выбор соответствующей функции качества из заданного числа s-й управляющей системы. В том случае, когда нет возможности для координации путем изменения целей, используют координацию путем изменения ограничений на основе либо принципа развязывания взаимодействий Us, либо прогнозирования взаимодействий Us.
Принцип развязывания взаимодействий предполагает, что каждый нижестоящий управляющий элемент получает право при решении собственной задачи управления рассматривать связующие входы Us как дополнительные переменные, которые он выбирает из собственных локальных критериев. В этом случае, решение задачи управления нижнего уровня определяются так, как если бы нижестоящие элементы и подпроцессы были полностью автономными.
Принцип прогнозирования предполагает, что координирующие сигналы Ss содержит информацию о прогнозируемых значениях связей Us, которые будут иметь место при подачи управляющих воздействий.
Таким образом, предлагаемый методологический подход позволяет формировать множество управляющих воздействий, подаваемых на всех иерархических уровнях системы и проводить сравнительный анализ альтернативных вариантов структурного состава БСУ с целью определения оптимального варианта.
5. МАТЕМАТИЧЕСКАЯ ФОРМАЛИЗАЦИЯ ФУНКЦИОНИРОВАНИЯ ЦУП КАК БСУ НА ОСНОВЕ МЕТОДОВ ТЕОРИИ МАССОВОГО ОБСЛУЖИВАНИЯ
Конкретизируем общий методологический подход применительно к специфики функционирования подсистем ЦУП в процессе управления автоматическими КА. В работе делается попытка сформулировать и исследовать общую задачу оптимального управления ЦУП-БСУ с использованием методов теории массового обслуживания. Эти методы нашли широкое применение при исследовании динамических систем управления с ограниченно развернутой структурой [13], однако они использовались недостаточно полно для оптимизации структуры иерархических систем управления.
Основная сложность, ограничивающая применение этих методов, связана с тем, что в реальных условиях практически не существует марковских процессов, переводящих систему из одних состояний в другие. Все реальные процессы почти всегда обладают тем или иным последействием. Для марковского процесса время пребывания системы в каких-либо состояниях распределяется по показательному закону; на самом деле это не всегда бывает так. В зависимости от меры последействия потоки событий распределяются по каким-либо другим законам. Применяемость методов теории марковских процессов определяется тем, к каким ошибкам в предельных вероятностях системы может привести формальная замена реальных процессов марковскими (или реальные потоки пуассоновскими).
В теории массового обслуживания известен метод последействия [14] когда отличающиеся от пуассоновских реальные потоки апроксимируются потоками Эрланга и в схему возможных состояний системы вводятся некоторые фиктивные «псевдосостояния». В этом случае реальные (не марковские) процессы, проистекающие в БСУ, удается свести к марковским и описать их с помощью системы дифференциальных уравнений Колмогорова [14]. Однако заметим, что использование метода псевдосостояний для исследования БСУ является малоизученной проблемой и в теории массового обслуживания является отдельным научно-исследовательским направлением.
В рамках настоящей работы ограничимся формальным допущением о том, что процессы функционирования в системе ЦУП-БСУ являются марковскими, и на основе этого формализуем рассматриваемую задачу, используя методы теории массового обслуживания.
Дадим определение элементам пространства состояний ЦУП как БСУ на основе приведенной ориентировочной схемы взаимодействия отдельных элементов четырехуровневой иерархической системы (Рис. 1).
Рисунок 1. Схема взаимодействия отдельных элементов системы.
Опишем элементы графа состояния согласно приведенному рисунку:
S1 - выполнение программы полета; S2 - решение задач планирования работы бортовых систем; S3 - выдача оперативных командных воздействий на основе анализ состояния бортовых систем; S4 - решение задач баллистико-навигационного обеспечения полета; S5 - формирование массивов командно-программной информации; S6 - диагностика состояния бортовых систем; S7 - выработка рекомендаций по управлению бортовыми системами; S8 - прием и обработка измерений текущих навигационных параметров; S9 - определение задействованных средств наземного комплекса управления; S10 - прием и обработка исходных данных Главного оператора; S11 - прием и обработка исходных данных разработчиков бортовых систем; S12 - прием и обработка телеметрической информации; S13 - прием и обработка информации оперативного контроля; S14 - проверка правильности выдачи командных воздействий; S15 - предварительный прогноз состояния бортовых систем; S16 - исходное состояние.
При этом, переходы системы из состояния S16 в состояния S8, S9, S10, S11, S12, S13, S14, S15 соответствуют функционированию элементов четвертого уровня иерархии системы (уровня выбора). Последующие переходы системы в состояния S4, S5, S6, S7 соответствуют работе элементов третьего уровня (уровня адаптации); переходы в состояния S2 и S3 - работе элементов второго уровня (уровня самоорганизации); переходы в состояние S1 - работе верхнего уровня (уровня координации).
Схему, представленную на рис. 1 можно интерпретировать как граф состояний ЦУП с иерархической структурой. Процесс функционирования системы начинается из исходного состояния S16 и, переходя через промежуточные состояния Si, завершается выполнением программы полета (состояние S1).
Обозначим Рi (i = 1, ...16) вероятность нахождения системы в состоянии Si. Нетрудно видеть, что в начальный момент времени t0:
P16(t0) = 1, Pi(t0) = 0 при i ≠ 16. (1)
Для представленного графа состояний значения вероятностей Pi определяются системой дифференциальных уравнений Колмогорова:
(2)
Интенсивности потоков событий λij будем определять как скорость выполнения операций, необходимых для перевода системы из состояния i в состояние j. Например, λ3 6 - отношение объема выполняемых операций по диагностированию состояния бортовых систем, необходимого для завершения анализа их работоспособности ко времени выполнения работ.
В рамках проводимых исследований номинальные значения λij определялись на основе существующего опыта выполнения соответствующих операций в процессе моделирования управления КА типа «Компас».
Таблица 1. Номинальные значения λi j в размерностях «1/сек»:
λ1 2 |
9,25 10-4 |
λ2 5 |
9,25 10-4 |
λ4 9 |
2,08 10-3 |
λ7 14 |
1,67 10-3 |
λ11 16 |
1,85 10-3 |
λ1 3 |
1,67 10-3 |
λ3 6 |
1,67 10-3 |
λ5 10 |
8,33 10-4 |
λ7 15 |
8,33 10-4 |
λ12 16 |
1,11 10-3 |
λ2 3 |
2,78 10-3 |
λ7 6 |
1,39 10-3 |
λ5 11 |
1,67 10-3 |
λ8 16 |
1,11 10-3 |
λ13 16 |
2,08 10-3 |
λ2 4 |
1,85 10-3 |
λ3 7 |
2,78 10-3 |
λ6 12 |
9,25 10-4 |
λ9 16 |
2,78 10-3 |
λ14 16 |
4,17 10-3 |
λ5 4 |
1,39 10-3 |
λ4 8 |
1,39 10-3 |
λ6 13 |
1,85 10-3 |
λ10 16 |
9,25 10-4 |
λ15 16 |
1,67 10-3 |
При этом, допускаются вариации значений λi j в диапазоне ± 20% от номинальных значений. Отметим, что определение λi j осуществлялось в предположении отсутствия случайных возмущающих факторов, которые могут привести к существенному изменению динамки выполнения операций: неисправности работы технических средств, ошибки персонала управления и т.д.
В качестве критерия решения вариационной задачи будем использовать минимум времени перевода системы в состояние S1, т.е.
T∑ = min при Р1 (Т) = 1 (3)
С учетом вышеизложенного сформулируем вариационную задачу: для системы дифференциальных уравнений (2) требуется определить совокупность интенсивностей переходов λi j, изменяющихся в пределах ± 20% относительно своих номинальных значений (табл. 1), обеспечивающую перевод системы из начального состояния (1) в конечное (3).
6. АНАЛИЗ ПОЛУЧЕННЫХ РЕЗУЛЬТАТОВ
Дадим описание вычислительному процессу решения сформулированной вариационной задачи.
Прежде всего, путем численного интегрирования дифференциальных уравнений (2) определим зависимости вероятностей Рi от времени t при номинальных значениях интенсивностей переходов. Расчеты показали, что суммарное время перехода системы в конечное состояние Т∑ составляет 63 минуты 45 секунд. Был отмечен достаточно длительный процесс изменения от 1 до 0 вероятностей Р5, Р7 и особенно Р2. Значения других вероятностей от времени менялись более интенсивно. Очевидно, что на скорость увеличения вероятности Р1(t) от 0 до 1, а следовательно и на минимизируемое время T∑, существенно влияет интенсивность процесса изменения Р2(t) и в меньшей мере Р5(t) и Р7(t).
Далее представляет интерес оценить частные влияния вариаций λi j относительно номинальных значений на время ТΣ. В результате проведения расчетов показано, что все интенсивности переходов λi j можно разделить на две категории. К одной категории относятся такие , увеличение значений которых приводит к снижению времени ТΣ. Для рассматриваемого примера это λ1 2, λ1 3, λ5 4,λ2 5 , λ7 6, λ3 7, λ4 8, λ6 12, λ8 16,λ10 16 , λ1216. Вариации остальных 14-ти значений λi j: λ2 3,λ2 4 ,λ36 ,λ4 9 ,λ5 10 ,λ5 11 ,λ6 13 , λ7 14, λ7 15, λ9 16, λ11 16,λ13 16 ,λ14 16 , λ15 16 - не влияют на значение ТΣ. Показано, что при увеличении значений λi j из первой категории на 20% относительно номиналов, время ТΣ снижается до 51 минуты 25 секунд, что ≈ на 18,5% меньше рассчитанного ранее суммарного времени перехода.
В практическом смысле это означает, что для повышения быстродействия выполнения операций управления, в рамках рассматриваемого примера, следует обратить внимание на рост оперативности решения первоочередных задач, относящихся к блоку задач командно-программного обеспечения: оперативного планирования работы КА, формирования массивов командно-программной информации, выработки рекомендаций по управлению бортовых систем, а также задач приема и обработки телеметрической информации, исходных данных Главного оператора, измерений текущих навигационных параметров, диагностирование состояния работоспособности бортовых систем, решения задач баллистико - навигационного обеспечения. При этом, ряд других задач: предварительное прогнозирование состояния бортовых систем, проверка правильности выдачи командных воздействий на КА, прием и обработка исходных данных разработчиков бортовой аппаратуры не является критичными с точки зрения минимизации суммарного времени функционирования ЦУП как БСУ.
Следует отметить, что повышение оперативности решения отмеченных первоочередных задач может быть обеспечено не только за счет роста интенсивности их выполнения, но и за счет изменения структурного состава иерархических БСУ.
7. ЗАКЛЮЧЕНИЕ
Представленный математический аппарат принципиально может быть использован для исследования быстродействия альтернативных вариантов структурного построения иерархических систем ЦУП как БСУ. При этом, осуществляется не только сравнительная оценка быстродействия альтернативных вариантов, но и для каждого варианта определяются критические звенья системы.
Дальнейшее развитие предложенного в работе методологического подхода связано, в первую очередь, с уточнением математических моделей функционирования ЦУП-БСУ за счет использования метода «псевдосостояний», с учетом влияния на систему непрогнозируемых случайных возмущающих факторов, а также, с возможностью одновременного функционирования нескольких БСУ при использовании обобщенного критерия минимизации времени выполнения целевой функции совокупностью всех систем.
Практическая значимость предлагаемого математического аппарата связана с необходимостью решения проблемы создания компактных, рентабельных, высокотехнологичных структур управления различными КА НСЭН, запуск которых планируется в 2006-2007 гг. Внедрение в практику проектирования общей структуры ЦУП КА НСЭН разработанного методологического подхода может обеспечить снижение потребных финансовых затрат на создание аппаратно-программных средств управления каждым последующим КА НСЭН.
СПИСОК ЛИТЕРАТУРЫ
- Месарович М., Такахара И. Теория иерархических многоуровневых систем. М.: Мир, 1973 г.
- Цвиркун А.Д. Структура сложных систем. М.: Советское радио, 1975 г.
- Моисеев Н.Н. Информационная теория иерархических систем. Труды всесоюзной школы - семинара по управлению большими системами. Тбилиси: Мецниереба, 1973 г.
- Эрлих А.И., Вен В.Л. К вопросу о выборе структуры процесса программирования. Программный метод управления. М.: Вычислительный центр АН СССР, 1976, вып. 3.
- Сингх М., Титли А. Системы: декомпозиция, оптимизация и управления. М.: Машиностроение, 1986 г.
- Kulikowski R. Optimization of large - scale system. Automatika. 1970, v. 6
- Kulikowski R. Modelling of production, utility structure, process and technological change. Control and Cybernetics. 1975, v. 4
- Guberinic S. On structural optimization in hierarchical system. Prepins of the IFACIFORS symposium. Varna, 1974
- Бронштейн О.И., Цвиркун А.Д. Об иерархических системах управления. Автоматика и телемеханика, 1968 г., № 1
- Власюк В.А., Моросанов И.С. Синтез иерархической структуры управления в больших системах. Автоматика и телемеханика, 1973 г. № 3
- Чунченпак И.М. Оптимизация структуры систем распределения ресурсов. Труды института электронных управляющих машин. М.: 1976 г.
- Соколов Н.Л., Поздняк Т.И., Пинчук В.Б. К вопросу об использовании теории марковских процессов для исследования движения КА в атмосфере. Космические исследования, 1990 г., т. 28, № 3.
- Денисов А.А., Колесников Д.Н. Теория больших систем управления. Л.: Энергоиздат, 1982 г.
- Венцель Е.С. Исследование операций. М.: Советское радио, 1982 г.
Работа представлена на IV научную конференцию с международным участием «Современные наукоемкие технологии», 21-28 февраля 2006г. Хургада (Египет). Поступила в редакцию 17.01.2006г.