Когнитивная агрегативно-потоковая метамодель процесса управления полетом автоматического космического аппарата

Обложка


Цитировать

Полный текст

Аннотация

В настоящее время существует актуальная научная проблема обеспечения эффективного выполнения программы полета автоматического космического аппарата (АКА) с учетом материальных, энергетических и информационных ресурсных ограничений бортовых систем (БС). Расход ресурсов БС в значительной степени зависит от синергетических явлений, возникающих при межсистемном взаимодействии в АКА. За счет использования этих явлений можно увеличить эффективность применения имеющихся ресурсов, а также дополнить их новыми «синергетическими» ресурсами [1, 2]. Одновременно синергетические явления могут приводить к преждевременной выработке ресурса БС и непредвиденным (нерасчетным) отказам и авариям [3]. Для целенаправленного поиска и использования данных синергетических явлений требуется проводить специальное исследование происходящих на борту процессов. Исследование становится возможным только при переходе от системно-кибернетической модели АКА как «черного ящика» к системно-кибернетической модели, обеспечивающей «прозрачность» АКА как «белого ящика», для чего требуется высокая точность и сложность анализа протекающих на борту процессов [4]. Данная ситуация обуславливает актуальность разработки новых инженерных методик и технологий моделирования. Для их создания необходимо решить проблему начального этапа построения моделей, описывающих в той или иной форме инженерные знания экспертов – разработчиков БС и специалистов по управлению полетом [5]. Разработка универсального метода для решения проблемы начального этапа моделирования значительно усложняется из-за большого разнообразия БС, каждая из которых обладает своими эмерджентными и синергетическими свойствами, в значительной степени зависящими от «неклонируемости» их элементов [6, 7].

В статье для упрощения моделирования процессов функционирования реальных БС с учетом их специфики предлагается проводить предварительную разработку формализованной когнитивно структурированной агрегативно-потоковой метамодели («модели моделей») процесса управления полетом АКА, содержащей информацию о потенциально существующих возможностях управления состоянием аппаратов в различных условиях реализации номинальных и аномальных процессов. Создание концептуальной метамодели позволяет перейти от предметной формализованной модели к следующим этапам моделирования – формально-математическому и материально-функциональному моделированию, в ходе которых учитываются индивидуальные особенности протекания процессов на борту АКА при управлении его полетом. Одновременно решаются задачи преодоления сложности метамодели, включающей и ее размерность.

Полный текст

Введение

Непременным условием устойчивого функционирования АКА на протяжении всего времени его активного существования на орбите является ресурсное обеспечение БС. На этапе эскизного проектирования аппарата для выполнения программы полета устанавливается ресурсный баланс (сводка) БС, в который входит необходимый запас встроенных в эти системы структурных и функциональных ресурсов, в том числе определяется необходимая масса рабочего тела (РТ) для электроракетных двигателей и топлива для жидкостных ракетных двигателей, мощность бортовых источников электроэнергии. Проектный расчет ресурсного обеспечения производится на основе комплексного анализа первичных причинно-следственных топологических и функциональных номинальных связей между БС и их элементами, а также эмерджентных свойств, выявленных в результате реализации на практике двойственных взаимосвязанных процессов декомпозиции-агрегирования (объединения, укрупнения) тех или иных бортовых подсистем в общую БС. Однако, как бы ни производилась декомпозиция АКА, на самом «первичном» уровне, который определяется «системой», из-за ее открытости и нелинейности возникают неявные эволюционные вторичные причинно-следственные взаимодействия, которые традиционные функциональная и топологическая схемы систем не отражают. Вторичные взаимодействия, вызванные многоместными отношениями номинальных процессов, протекающих в системах, с процессами, определяемыми внешними факторами, приводят к появлению синергетических явлений.

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

АКА одновременно является сложной технической системой (СТС) и большой технической системой (БТС). С гносеологической позиции система является сложной, так как требует для познания привлечения многих моделей (многомодельности), многих теорий и научных дисциплин. Одним из наиболее существенных видов онтологической сложности системы является сложность моделирования [4]. А понятие БТС определяется размерностью моделей, приводящей к необходимости применения операций декомпозиции и агрегирования. В инженерии знаний для решения проблемы моделирования сложных и больших систем применяется метод, основанный на использовании прототипов моделей предметной области. Этот метод используется в качестве концептуальной основы нового научного направления – моделе-ориентированной системной инженерии (model-based systems engineering – MBSE) [8, 9]. В MBSE для решения этой проблемы предварительно разрабатываются «модели моделей» (метамодели). При этом метамодель интерпретируется как концептуальная модель, отражающая свойства и закономерности, одновременно принадлежащие всему множеству отдельных («простых») моделей, которые агрегируются в сложные модели.

Далее с использованием метамодели как основы производится построение моделей конкретных объектов одного класса, исследуемых с применением выбранного множества. Современные методологии моделирования сложных и больших систем, включая MBSE, разъясняют, что и почему надо делать для решения таких задач, но не объясняют, как их решать в конкретной космической предметной области. Цель данной статьи – построить концептуальную метамодель для изучения эмерджентных свойств БС с учетом синергетических явлений, возникающих в процессе выполнения космического полета АКА.

Декомпозиция и стратификация процесса управления полетом автоматического космического аппарата

Синергетические явления на борту АКА обнаруживают себя на уровне физических процессов. Поэтому необходима декомпозиция АКА как материального объекта, а также соответствующая декомпозиция процессов управления его полетом на каждом конкретном уровне детализации АКА.

Согласно предлагаемой декомпозиции (схеме деления) АКА выстраивается следующая иерархическая структура, состоящая из 4 уровней описания, где на верхнем уровне находится АКА как СТС, ниже располагаются соответственно системы, элементы систем и внутриэлементные материальные устройства [10]. Каждая материальная часть АКА в иерархической структуре рассматривается как объект управления, а сами сложные процессы, в нем протекающие, являются предметом исследования. Все перечисленные объекты и их части являются материальными, а при их объединении в целостную структуру образуются информационно-материально-энергетические поля, действующие на объекты и их подсистемы своими силами. Материальные объекты взаимодействуют посредством соответствующих полей в виде физических процессов – носителей действий.

Расход и регенерация ресурса – это изменение вещественной формы материального объекта, зависящее от взаимодействия физических полей и отображаемое свойствами, оцениваемыми параметрическими характеристиками процессов. Испытания, проводимые с материальными объектами АКА на протяжении всего их жизненного цикла, есть не что иное, как силовые взаимодействия информационно-энергетических полей. При этом синергетические явления в БС и их естественное ресурсное обеспечение зависят от данных взаимодействий.

Процесс, протекающий в БС, рассматривается как физическое явление, происходящее в материальном объекте и управляемое системой – регулятором процесса (системой управления космическим аппаратом, его бортовой аппаратурой, элементами конструкции и др.) и/или группой регуляторов, приводящее к изменению состояния процесса. При этом процесс называют простым, если для него можно разработать только одну концептуальную, материальную и/или математическую модель, описывающую изменение различных физических явлений исследуемого процесса через известное отображение области определения параметров процессов в область их значений. Сложный процесс рассматривается как совокупность простых процессов [5]. С помощью регулятора как управляющего устройства отслеживается, оценивается, прогнозируется состояние процесса, а для его изменения вырабатываются управляющие воздействия. Предлагается для моделирования АКА и процессов управления его полетом использовать стратифицированное описание (создание слоев – страт) на 4 уровнях: целевых процессов, происходящих на уровне АКА (базовых процессов (БП) – 1-й уровень); процессов, происходящих на системном (2-й уровень), элементном (3-й уровень) и внутриэлементном (4-й уровень) уровнях. Регуляторами этих процессов являются управляющие подсистемы: на страте первого уровня (С1) – АКА, взаимодействующим с внешней средой; второго (С2) системами АКА; третьего (С3) элементами систем и на страте четвертого уровня (С4) внутриэлементными устройствами. Каждому процессу на борту АКА ставится в соответствие множество телеметрируемых параметров, значения которых измеряются датчиками, а также параметров-сообщений, формируемых алгоритмами бортовых вычислительных средств, выполняющих функцию автоматического управления и контроля работы БС [10, 11].

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

В результате для описания в каждый момент времени явлений, происходящих во всех регуляторах, на каждой страте вводятся следующие множества µ( ) параметров, каждому из которых ставятся в соответствие процессы (Π), для которых введены следующие обозначения [5]:

– 1-я страта, базовые процессы:

 μ(Пj) = {Пj/ j = 1, 2, …, J},                                                             (1)

где j обозначение текущего номера базового процесса;

– 2-я страта, системные процессы:

μ(Пjsk) = {Пjsk/ j = 1, 2, …, J; s = 1, 2, …, S; ks = 1, 2, …, K}, (2)

где s – обозначения текущего номера системного процесса и ks-го текущего номера варианта его реализации за счет структурных и функциональных резервов;

– 3-я страта, процессы в элементах систем:

μ(Пjpsk) = {Пjpsk/ j = 1, 2,…, J; s = 1, 2, …, S; ks = 1, 2, …, K; p = 1, 2, …, P},    (3)

где p обозначение текущего номера процесса в системном элементе;

– 4-я страта, процессы внутриэлементных устройств:

μ(Пjp(z)sk) = {Пjp(z)sk/ j = 1, 2, …, J; s = 1, 2, …, S;

ks = 1, 2, …, K; p = 1, 2, …, P; z = 1, 2,…, Z},                                           (4)

где z обозначение текущего номера процесса в устройстве.

Процессы, которым поставлены в соответствие множества (1)–(3), рассматриваются одновременно и как простые, и как сложные. В дальнейшем в статье используется инвестиционный принцип перехода от процессов более низкого уровня к процессам более высокого уровня. В принятой иерархии процессы четвертого уровня (4) простейшие, т. е. условно они не включают в себя процессы еще более низкого уровня. При необходимости вводятся дополнительные уровни страт с условием, что процесс самого нижнего уровня определяет свойства объекта управления как «белого ящика» [4]. Согласно введенному дуализму, простые процессы страт первого – третьего уровней одновременно являются сложными, содержащими в себе процессы более низкого уровня, что позволяет последовательно детализировать процессы в объекте управления. Детализация происходит за счет «прозрачности» описания параметрических характеристик нижестоящих процессов, входящих в состав вышестоящих и определяющих их.

Статическая когнитивная модель сложного процесса управления полетом автоматического космического аппарата

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

Основу когнитивного подхода составляет когнитивный системный анализ процессов (как инструмент исследования), позволяющий выявить противоречия и провести качественную и количественную оценку изучаемых процессов. В начале когнитивного анализа целесообразно проводить (как показали исследования) построение статической когнитивной модели на основе предварительной структуризации процесса управления полетом АКА в виде когнитивной карты (рис. 1).

Иерархическая когнитивная карта построена в виде множеств ориентированных функциональных графов (объединенных пунктирной линией), распределенных по уровням страт (см. рис. 1), в каждом из которых установлены материальные, энергетические и информационные связи между процессами в регуляторах. Кроме них, существуют связи-факторы, оказывающие внешнее синергетическое влияние на основные процессы. Построенная иерархическая когнитивная карта является статической моделью сложного процесса управления полетом АКА [12]. Для описания функциональных графов существует несколько классов матриц, из которых были выбраны основные – матрицы смежности и инциденций [13]. Каждому множеству процессов  на стратах соответствует множество вершин функционального графа, веса которых определяются соответствующими элементами множества коэффициентов (множеством констант), пропорциональных располагаемым полетным временам.

Каждой т-й дуге графа соотносится вес, который задается исходя из физической интерпретации бинарных отношений r1, r2,…, rn, построенных на декартовом произведении множеств управляющих (УВ) U = (u1, u2, u3, u4) и возмущающих воздействий (ВВ) J = (ξ123456), формирующих множество входных воздействий V = UÎJ [12], где ξ6 – ВВ от взаимодействия, вызванного синергетическим явлением.

При этом на дугах функционального графа между элементами множеств УВ и ВВ существуют многоместные n-арные отношения, определяющие одновременное приложение нескольких УВ и ВВ:

UU1,U2,...,UnU1=u1,u3,u4, U2=u1,u2,u4, ..., Un=u1,...,u4,n=1,4¯ΞΞ1,Ξ2,...,ΞnΞ1=ξ1,ξ2,ξ3,ξ5, Ξ2=ξ1,ξ2,ξ4,ξ6,..., Ξn=ξ1,...,ξn,n=1,6¯.

 

Рис. 1. Когнитивная карта процесса управления полетом АКА

 

Далее производится бинаризация n-арных отношений [14]: < U1 r1 J1 >1, < U2 r2 J2 >2,…, < Un rn Jn >m с установлением тем самым графика бинарных отношений на дугах функционального графа Rnm= {r1, r2,…, rn }m Í V.

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

При этом матрицы смежности описывают связь между входными и выходными физическими переменными процессов типа y = f(x1,…, xn), представляющую собой функциональную модель (Ф-модель) «черного ящика». А матрицы инцидентности позволяют описать способ действия, характеризующийся физическими преобразованиями материальных, энергетических и информационных входов внутри объекта управления, для формирования выходных переменных параметров процессов. При этом обеспечивается конструктивное описание реальной функции f, осуществляющей отображение f: Х→Y. Тем самым формируется Ф-модель «белого ящика» [4].

Предложенный инвестиционный принцип перехода от процессов управления АКА более низкого уровня к процессам управления более высокого уровня повлек за собой использование вложенных функциональных графов. В результате сформирован способ конфигурирования графа сложного процесса управления полетом АКА, заключающийся в четырехслойном планарном его построении (С1-С4), соответствующим декомпозиции сложного процесса управления полетом АКА. При этом граф называется планарным, если изображается на плоскости так, что его ребра пересекаются только в вершинах [13].

Алгоритм построения когнитивной агрегативно-потоковой метамодели процесса управления полетом автоматического космического аппарата

Предлагается производить моделирование сложного процесса управления полетом АКА с помощью «динамической когнитивной карты», в которой бинарные отношения УВ и ВВ зависят от времени и параметрических характеристик процессов, которым поставлены в соответствие вершины рассматриваемых функциональных графов. При этом выбирается структурно-функциональный базис для моделирования процессов на каждой страте – базис СФ-моделей [4]. Описание каждого функционального графа «динамической когнитивной карты» производится с использованием матриц инциденций на интервалах, ограниченных дискретными моментами времени t0, t1, t2,…, ti, формирующими множество моментов времени T. При этом учитываются веса ребер, связанных как с входными воздействиями, так и с процессами формирования выходных воздействий в каждом объекте управления для смежных объектов.

Закономерность смены состояния АКА предлагается описывать переходным отображением (φ) и выходным отображением (ψ):

φ: Π^×R×TΠ^, ψ: Π^×R×TΠ~.

При отображении процесса применяется частный случай динамической системы – конечный автомат. При этом каждому моменту времени ti сопоставляются свои множества определений (Π^Π)i и значений ()i параметров процессов с функцией отображения в виде графика бинарных отношений на дугах функционального графа Rnmi: Π^i=π^1,π^2,...,π^qi, Π ˜ i = π ˜ 1 , π ˜ 2 ,..., π ˜ q i , Rnmi=r1,r2,...,rnmi, rnmi=r+nmirnmi. Для выходного отображения процесса ψ~:(Π^Π~)i задается вариант конечного автомата типа «вход-выход» (автомат Мура [15]):

π^qi=φ~(π^q(i1),r+nmi)π~qi=ψ~(π^,qir+nmi,rnmi).

Отображение процесса полета АКА с использованием «динамической когнитивной карты» содержит описания не только правил построения взаимосвязей на вершинах и дугах функциональных графов, но и инвестиционных принципов использования описания процессов на нижестоящих стратах для описания процессов в вышестоящих стратах. При переходе к частному случаю отображения процесса управления полетом АКА через функциональные модели такой принцип описания соответствует базисному определению структурно-функциональной операционной (СФО) модели [4]. В соответствии с принятым определением СФО-моделей в понятийно-терминологическом базисе отдельные сложные процессы в виде взвешенных графов с весами дуг, интерпретируемых как «пропускные способности взаимосвязей», относятся к классу потоковых моделей [4]. Веса связей взвешенных графов количественно описывают их пропускную способность. Одной из возможных характеристик потока через дугу графа является интенсивность дискретного потока, определяемая энергетическими показателями управляющих и возмущающих воздействий на внутриэлементные процессы (например, при переходе к функциональному описанию УВ могут формироваться напряжением электрического сигнала 8, 28, 100 и 300 Вольт). Вторичной характеристикой потока является дискретность формирования УВ.

Для получения сложных процессов производится их агрегирование с использованием инвестиционного принципа перехода от процессов более низкого уровня к процессам более высокого уровня. Процедура направлена на укрупнение процессов, в общности отражающих эмерджентные свойства АКА, БС и их элементов с учетом синергетических явлений. Полученную модель принято называть агрегативной [16]. Когнитивное агрегативно-потоковое СФО-моделирование процессов производится в соответствии с предварительно разработанной когнитивной картой (статической когнитивной моделью) процесса управления полетом АКА (см. рис. 1).

Алгоритм построения когнитивно-функциональной агрегативно-потоковой метамодели процесса управления полетом АКА для решения поставленной задачи включает в себя следующие шаги.

Шаг 1. Моделирование процессов, описывающих функционирование элементов.

С учетом взвешенных вершин и дуг функционального графа (рис. 2) концептуальное моделирование процесса функционирования элемента (p =1) П11(z)11 на [t(i-1), ti]-м такте в составе системного процесса s =1, ks =1 и базового процесса j = 1 АКА производится с использованием матрицы инциденций:

M11(z)i11GΠ11(z)11mz,z=1,6,¯dmz=1,9¯(9×6)i=

(5)


Рис. 2. Граф процесса функционирования элемента

 

Отображение процесса на уровне элемента задается функцией, определенной на вершинах П11(z)11 (где Π^11(z)11Π11(z)11Π^11(z)11=π^z1(i),π^z2(i),...,π^zz(i)1111 – множество определений процесса; Π~11(z)11Π11(z)11, Π~11(z)11=π~z1(i),π~z2(i),...,π~zz(i)1111– множество значений процесса) и дугах r1111mzi=rmzi+rmzi1111 функционального графа процесса, описывающего функционирование элемента*.

При этом функции рассматриваются как частный случай отображения протекающих процессов. В таком случае переходные отображения процессов π^11zz (i)11=φ~π^zz(i1),rmzi1111 формируются исходя из физической интерпретации функции входных воздействий через бинарные отношения создаваемых УВ в выходных полюсах вершин с учетом ВВ (r1111mzi), а выходные отображения в виде функций самих регуляторов для выдачи в смежные внутриэлементные регуляторы – исходя из физической интерпретации бинарных отношений УВ и ВВ входных (r1111mzi+) и выходных (r1111mzi) полюсов вершин:

π~1111z1(i)=ψ~mzr2i+,r1i;r2i+r1iØ1111 и т. д., см. (5).

Физические результаты моделирования каждой функции (например, для процесса π~1111z1(i)) лингвистически интерпретируются следующим образом: на процесс π~1111z1(i) формирования выходного воздействия (истока) от регулятора, трактуемого бинарным отношением r1111(z)(2)i+ УВ и ВВ, оказывает влияние входное воздействие (сток) от процесса π~1111z4(i), формирующего УВ при наличии ВВ в бинарном отношении r11(z)(111)i. Начальными значениями для проведения моделирования рассматриваемых процессов являются значения соответствующих параметров процессов, полученные на предыдущем такте π^1111z1(i1), π~1111z1(i1) и т. д. При этом множеству процессов соответствует множество вершин графа

μП11(z)11=П11(1)11,П11(2)11,...,П11(z)11,z=1,2,...,6,

веса которых определяются элементами множества коэффициентов (множества констант) располагаемого полетного времени по каждому внутриэлементному регулятору [1]:

μKП11(z)11=k11(1)11,k11(2)11,...,k11(z)11,z=1,2,...,6.

Каждому элементу множества дуг графа

μDП11(z)(mz)11=d11(z)(1)11,d11(z)(2)11,...,d11(z)(mz)11,mz=1,2,...,9

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

 RП11(z)(mz)11=r11(z)(1)11,r11(z)(2)11,...,r11(z)(mz)11,mz=1,2,...,9,

на декартовом произведении двух множеств U~11(z)(mz)11 – УВ и Ξ~11(z)(mz)11 – ВВ, формирующих множество входных воздействий на внутриэлементные регуляторы элементного процесса П11(z)11, с учетом синергетических явлений V~11(z)(mz)11 (знак «˜» указывает на индивидуальные свойства, обусловленные неклонируемостью регулятора процесса и наличием в нем синергетических явлений). При этом неклонируемость в детерминированной сетевой модели рассматривается как индивидуальное определенное свойство системы и ее элементов. По определению физически неклонируемые регуляторы – это системы (устройства) и их элементы, неотъемлемым свойством которых является неклонируемость (неповторяемость) их функций, свойств, характеристик или параметров, поскольку они состоят из множества компонент, параметры которых в процессе создания принимают случайные значения [6]. Множествам взвешенных вершин μП11(z)11 и дуг  сопоставляется множество входных воздействий:

V~11(z)(mz)11=U~11(z)(mz)11×Ξ~11(z)(mz)11U~11(z)(mz)11=u~1,u~2,u~3,u~411(z)(mz)11,

Ξ~11(z)(mz)11=ξ~1,ξ~2,ξ~3,ξ~4,ξ~5,ξ~6Π24(3)9111(z)(mz)11,

RΠ11(z)(mz)11=r11(z)(1)11,r11(z)(2)11,...,r11(z)(mz)11,mz=1,2,...,9V~11(z)(mz)11V~jp(z)(mz)sks.

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

Rjp(z)(mz)sks=rjp(z)(1)sks,rjp(z)(2)sks,...,rjp(z)(mz)sksV~jp(z)(mz)sks.

 Для учета синергетических явлений во множество возмущающих воздействий вводится дополнительный элемент ξ6Π24(3)91:

r11(z)(6)11=<u~2,ξ~4,ξ~5,ξ6Π24(3)91>11(z)(6)11 и т. д.

В других бинарных отношениях УВ и ВВ r11(z)(1)11=<u~1,(ξ~4,ξ~5)>11(z)(1)11, r11(z)(2)11=<u~2,(ξ~4,ξ~5)>11(z)(2)11 и т. д., в соответствии с расположением дуг функционального графа дополнительное ВВ не учитывается. В общем случае дополнительное синергетическое воздействие от процесса Π24(3)91 необходимо рассматривать в плане как положительного, так и отрицательного влияния. При наличии прочих синергетических воздействий каждое включается в моделируемый процесс, представленный взвешенным функциональным графом [13] сложного процесса, протекающего в элементе (см. рис. 2):

G (П11(z)11) = <µ [(П11(z)11),KП11(z)11,DП11(z)(mz)11,RП11(z)(mz)11]>,

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

Моделирование процессов в регуляторах элементов позволяет проводить их агрегирование для анализа взаимодействия в устройствах.

Агрегат сложного процесса П11(z)11, протекающего в элементе, формируется на основе выполнения операции покрытия семейства множеств параметров простых процессов, протекающих в его устройствах:

AGΠ1111z=z=16Π11(z)11,Π11(z)11Π11(z+1)11Ø,z1,2,...,6.

Шаг 2. Моделирование процессов, описывающих функционирование систем.

С учетом взвешенных вершин и дуг функционального графа (рис. 3) П1(p)11 моделирование функционирования системы АКА (s =1, ks =1) на [t(i-1), ti]-м такте в составе БП j =1 производится с использованием матрицы инциденций:

M11I(p)iGΠ1(p)11mp,p=1,4,¯dmp=1,7¯(7×4)i=

(6)

 

Рис. 3. Граф процесса функционирования системы

 

Отображение процесса на уровне системы задается функцией, определенной на вершинах П1(p)11 (где Π^1(p)11Π1(p)11, Π^1(p)11=π^p1(i),π^p2(i),...,π^pp(i)111– множество определений процесса; Π~1(p)11Π1(p)11, Π~1(p)11=π~p1(i),π~p2(i),...,π~pp(i)111– множество значений процесса) и дугах r111mpi=rmpi+rmpi111 функционального графа процесса, описывающего функционирование системы.

При этом функции рассматриваются как частный случай отображения процессов. В таком случае переходные отображения процессов π^1pp (i)11=φ~π^pp(i1),rmpi111 формируются исходя из физической интерпретации функции входных воздействий через бинарные отношения создаваемых УВ в выходных полюсах вершин с учетом ВВ (r111mpi), а выходные отображения в виде функций самих регуляторов для выдачи в смежные регуляторы элементов – исходя из физической интерпретации бинарных отношений входных (r111mpi+) и выходных (r111mpi) полюсов вершин:

π~111p1(i)=ψ~mp(r1i+,r3i+,r2i,r6i);r1i+r2iØ;r1i+r6iØ;r3i+r2iØ;r3i+r6iØ111 и т. д. , см. (6).

Начальными значениями параметров для проведения моделирования рассматриваемых процессов являются значения соответствующих параметров процессов, полученные на предыдущем такте π^111p(i1), π~111p1(i1) и т. д. В соответствии с принципом инвестиций процессов страт более низкого уровня в процессы страт верхнего уровня состав сложного системного процесса П1(p)11 первой системы (s=1), первой конфигурации (ks=1) в рассмотренном примере первого БП (j=1) содержит множество p-х элементных процессов (рис. 4):

μП1(p)11=П1(1)11,П1(2)11,...,П1(p)11,p=1,2,3,4.

Веса вершин определяются соответствующими компонентами множества коэффициентов располагаемого полетного времени по каждому элементному регулятору процесса:

μKП1(p)11=k1(1)11,k1(2)11,...,k1(p)11,p=1,2,3,4.

Каждой дуге графа из множества

μDП1(p)(mp)11=d1(p)(1)11,d1(p)(2)11,...,d1(p)(mp)11,mp=1,2,...,7.

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

RП1(p)(mp)11=r1(p)(1)11,r1(p)(2)11,...,r1(p)(mp)11,mp=1,2,...,7.

Бинарные отношения построены на декартовом произведении двух множеств U~1(p)(mp)11 – управляющих и Ξ~1(p)(mp)11 – возмущающих воздействий, формирующих множество входных воздействий V~1(p)(mp)11 на регуляторы в элементах системного процесса П1(p)11 с учетом синергетических явлений:

V~1(p)(mp)11=U~1(p)(mp)11×Ξ~1(p)(mp)11U~1(p)(m)11=u~1,u~2,u~3,u~41(p)(mp)11,

Ξ~1(p)(mp)11=ξ~1,ξ~2,ξ~3,ξ~4,ξ~5,ξ~6Π23911(p)(mp)11,

RΠ1(p)(mp)11=r1(p)(1)11,r1(p)(2)11,...,r1(p)(mp)11,mp=1,2,...,7V~1(p)(mp)11V~j(p)(mp)sks

При этом на один из штатных процессов в регуляторах элементов оказывает влияние внешний (синергетический) процесс Π2391 от другого регулятора (знак дуги «±»), не имеющего непосредственной функциональной связи и энергетически взаимодействующего через физическое поле (например, электростатическое):

r1(p)(1)11=u~2,<ξ~4,ξ~5,ξ6Π2391>1(p)(1)11,

r1(p)(4)11=<u~1,ξ~4,ξ~5,ξ~6Π2391>1(p)(4)11.

В других бинарных отношениях УВ и ВВ r1(p)(2)11=u~1,<(ξ~4,ξ~5)>1(p)(2)11, r1(p)(3)11=u~2,<(ξ~4,ξ~5)>1(p)(3)11 и т. д., дополнительное ВВ не учитывается.

Множества взвешенных вершин μ1(p)11) и дуг μ[D1(p)(mp)11)] определяют в совокупности функциональный взвешенный граф [13] (см. рис. 4)

GП1(p)11 = <µ[(П1(p)11),KП1(p)11,DП1(p)(mp)11, RП1(p)(mp)11]>,

задающий своими вершинами и дугами связь между ресурсами регуляторов p-x элементных процессов при их управлении в составе регулятора системного сложного процесса. Агрегат сложного процесса П1(p)11, протекающего в системе, формируется на основе выполнения операции покрытия семейства множеств параметров простых процессов, протекающих в элементах систем:

AGiπ~111p=p=14π~1(p)11,π~1(p)11π~1(p+1)11Ø,p{1,...,4}i.

Шаг 3. Моделирование базовых процессов.

С учетом взвешенных вершин и дуг функционального графа (см. рис. 4) концептуальное моделирование первого базового процесса (j = 1), происходящего на уровне АКА П1(s),(ks), на [t(i-1), ti]-м такте производится с использованием матрицы инциденций:

M1i(s),(ks)GΠ1(s)(ks)ms,ks,s=1,5,¯ks=1,dms,ks=1,8¯(8×5)i=

(7)

 

Рис. 4. Функциональный граф базового процесса П1(s),(ks)

 

Отображение на уровне БП задается функцией, определенной на вершинах П1(s),(ks), (где Π^1(s),(ks)Π1(s),(ks), Π^1(s),(ks)=π^s1(i),π^s2(i),...,π^ss(i)1– множество определений процесса; Π~1(s),(ks)Π1(s),(ks), Π~1(s),(ks)=π~s1(i),π~s2(i),...,π~ss(i)1– множество значений процесса) и дугах r1ms,ksi=rms,ksi+rms,ksi1 функционального графа процессов, протекающих в системах. При этом в регуляторах функции рассматриваются как частный случай отображения процессов. В регуляторе БП выходные функции отображения процессов зависят от переходных отображений π^1ss (i)=φ~π^ss(i1),rms,ksi1, формируемых исходя из физической интерпретации бинарных отношений выходных полюсов вершин (r1ms,ksi). Выходные отображения в виде функций регуляторов в системных процессах для выдачи в смежные регуляторы систем формируются исходя из физической интерпретации бинарных отношений входных (r1ms,ksi+) и выходных (r1ms,ksi) полюсов вершин:

π~1s1(i)=ψ~ms,ksr2i+,r6i+,r1i,r8i;r2i+r1iØ;r2i+r8iØ;r6i+r1iØ;r6i+r8iØ1 и т. д., см. (7).

Начальными значениями параметров для проведения моделирования рассматриваемых процессов являются значения соответствующих параметров процессов, полученные предыдущем такте π^1s1(i1)π~1s1(i1) и т. д.

В соответствии с принципом инвестиций процессов страт более низкого уровня в процессы страт верхнего уровня состав сложного БП П1(s),(ks) в рассматриваемом примере (см. рис. 4) содержит множество системных «s»-х процессов первых комплектов (ks=1):

μП1=П111,П121,...,П1(s)1,s=1,2,...,5,ks=1.

Функциональные системные процессы (s = 1,...,5) отвечают множеству вершин графа. Веса вершин определяются соответствующими элементами множества коэффициентов располагаемого полетного времени по каждому системному регулятору:

μKП1(s)(ks)=k111,k121,...,k1(s)1,s=1,2,...,5,ks=1.

Каждой дуге графа из множества

μDП1(ms,ks)(s)(ks)=d1(1)(s)(ks),d1(2)(s)(ks),...,d1(ms,ks)(s)(ks),ms,ks=1,2,...,8

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

RП1(ms,ks)(s)(ks)=r1(1)(s)(ks),r1(2)(s)(ks),...,r1(ms,ks)(s)(ks),ms,ks=1,2,...,8,

на декартовом произведении двух множеств U~1(ms,ks)(s)(ks) – управляющих и Ξ~1(ms,ks)(s)(ks) – возмущающих воздействий, формирующих множество входных воздействий на системные регуляторы БП П1(s)(ks) с учетом синергетических явлений V~1(ms,ks)(s)(ks)

V~1(ms,ks)(s)(ks)=U~1(ms,ks)(s)(ks)×Ξ~1(ms,ks)(s)(ks)U~1(ms,ks)(s)(ks)=u~1,u~2,u~3,u~41(ms,ks)(s)(ks),

Ξ~1(m)s,ks(s)(ks)=ξ~1,ξ~2,ξ~3,ξ~4,ξ~5,ξ~6Π2511(ms,ks)(s)(ks),

RΠ1(ms,ks)(s)(ks)=r1(1)(s)(ks),r1(2)(s)(ks),...,r1(ms,ks)(s)(ks),ms,ks=1,2,...,8V~1(ms,ks)(s)(ks)V~j(ms,ks)(s)(ks),

RΠj(ms,ks)(s)(ks)=rj(1)(s)(ks),rj(2)(s)(ks),...,rj(ms,ks)(s)(ks)V~j(ms,ks)(s)(ks).

При этом на один из штатных системных процессов оказывает влияние внешний (синергетический) системный процесс Π251 другого регулятора:

r1(7)(s)(ks)=<u~2,(ξ~4,ξ~5,ξ6Π(2)51>1(7)(s)(ks).

В других графиках бинарных отношений r1(2)(s)(ks)=<u~1,(ξ~4,ξ~5)>1(2)(s)(ks), r1(3)(s)(ks)=<u~2,(ξ~4,ξ~5)>1(3)(s)(ks) и т. д. дополнительное ВВ не учитывается. Множества взвешенных вершин μKП1(s)(ks) и дуг μDП1(ms,ks)(s)(ks) определяют в совокупности взвешенный граф [13] сложного БП (см. рис. 4):

GП1s,ks = <μП1(s)(ks)KП1(s)(ks)DП1(ms,ks)(s)(ks), RП1(ms,ks)(s)(ks)>,

который является функциональным графом, определяющим на вершинах и дугах функциональную зависимость между ресурсами регуляторов системных процессов и их управлением в составе АКА как регулятора сложного БП П1.

Агрегат сложного БП П1(s),(ks) является покрытием семейства множеств параметров простых системных процессов:

AGΠ1s,ksi=s=1ks=15,1Π1(s),(ks=1),Π1(s),(ks=1)Π1(s+1),(ks=1)Ø,s1,...,5,ks=1i. 

Шаг 4. Моделирование процесса управления полетом АКА.

С учетом взвешенных вершин и дуг функционального графа (рис. 5) концептуальное моделирование сложного процесса ПΣ управления полетом АКА на [t(i-1), ti ]-м такте производится с помощью матрицы инциденций:

MΣ(j)iGΣΠ(j)mj,j=1,5,¯mj=1,12¯(12×5)=

(8)

 

Рис. 5. Функциональный граф процесса ПΣ управления полетом АКА

 

Отображение процесса на уровне аппарата задается функцией, определенной на вершинах ПΣ(j) (где Π^Σ(j)ΠΣ(j), Π^Σ(j)=π^j1(i),π^j2(i),...,π^jj(i)Σ– множество определений БП; Π~Σ(j)ΠΣ(j), Π~Σ(j)=π~z1(i),π~z2(i),...,π~zz(i)Σ– множество значений БП) и дугах rmji=rmji+rmjiΣ функционального графа БП.

В регуляторах БП сложного процесса управления полетом АКА выходные функции отображения БП зависят от переходных отображений π^Σjj (i)=φ~π^jj(i1),rmjiΣ, формируемых исходя из физической интерпретации бинарных отношений выходных полюсов вершин (rΣmji). В самих регуляторах выходные воздействия для выдачи в смежные регуляторы базовых процессов формируются исходя из физической интерпретации бинарных отношений входных (rΣmji+) и выходных (r1111mzi) полюсов вершин:

π~Σj1(i)=ψ~mjr1i+,r3i+,r2i,r12i;r1i+r2iØ;r1i+r12iØ;r3i+r2iØ;r3i+r12iØΣ и т. д., см. (8).

Начальными значениями параметров для проведения моделирования рассматриваемых процессов являются значения соответствующих параметров процессов, полученные на предыдущем такте π^Σj1(i1)π~Σj1(i1) и т. д.

В соответствии с принципом инвестиций процессов страт более низкого уровня в процессы страт верхнего уровня процесс ΠΣ управления полетом АКА на верхнем уровне содержит j-е базовые процессы ΠΣ=Π1,Π2,...,Πj (см. рис. 1, j = 1,5¯). Функциональные БП соответствуют множеству вершин графа (см. рис. 5). Веса вершин определяются элементами множества коэффициентов располагаемого полетного времени по каждому регулятору базового процесса:

μKП(j)=k1,k2,...,kj,j=1,2,...,5.

Каждой дуге графа из множества

μDП(j)(mj)=d1,d2,...,dmj,m=1,2,...,12

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

RП(j)(mj)=r(j)(1),r(j)(2),...,r(j)(mj),mj=1,2,...,12,

на декартовом произведении двух множеств U~(j)(mj) – управляющих воздействий и Ξ~(j)(mj) – возмущающих воздействий, формирующих множество входных воздействий на АКА с учетом синергетических явлений V~(j)(m) 

V~(j)(m)=U~(j)(mj)×Ξ~(j)(mj)U~(j)(mj)=u~1,u~2,u~3,u~4(j)(mj),

Ξ~(j)(m)=ξ~1,ξ~2,ξ~3,ξ~4,ξ~5(j)(mj)

r11=<u~1,(ξ~4,ξ~5)>11r23=<u~2,(ξ~4,ξ~5)>23, r32=<u~1,(ξ~3,ξ~4)>32 и т. д.,

R(j)(mj)=r(j)(1),r(j)(2),...,r(j)(mj),mj=1,2,...12V~(j)(mj).

Множества взвешенных вершин μKП(j) и дуг μDП(j)(mj) описывают в совокупности взвешенный функциональный граф [10] процесса управления полетом АКА:

GПΣ = <μП(j),KП(j),DП(j)(m)j,RП(j)(mj)]>,

отражающий на вершинах и дугах зависимость между ресурсами АКА, распределенными по БП.

Агрегат сложного процесса управления полетом АКА ПΣ формируется на основе выполнения операции покрытия семейства множеств параметров базовых процессов

AGiΠΣj=j=15π~j,π~jπ~j+1Ø,j{1,...,5}i;

AGiΠΣj=j=15π~j,π~jπ~j+1Ø,j{1,...,5}i.

Когнитивно-графическое отображение агрегативно-потоковой метамодели, решение проблем размерности и сложности

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

Предлагаемая лингвистическая интерпретация координирующего механизма заключается в содержательном описании взаимосвязей и взаимодействий сложных процессов, происходящих на верхних уровнях предложенного ранее стратифицированного представления АКА как объекта управления с процессами, происходящими на нижних стратах предлагаемой концептуальной модели. Например, работа гироскопического измерителя вектора угловой скорости АКА (датчика угловой скорости (ДУС)), элемента в системе управления движением (СУД) зависит от функционирования основного внутриэлементного устройства – поплавкового гироскопа (ПГ). В таком случае координирующий механизм зависимостей протекания БП «движение АКА относительно центра масс» заключается в описании: внутриэлементного процесса в ПГ; процесса функционирования ДУС, включающего процесс в ПГ; процесса функционирования ДУС в составе СУД; целевого БП процесса функционирования, включающего процесс СУД в совокупности процессов, протекающих в других системах. Очевидно, от номинального функционирования ПГ зависит решение задач, стоящих перед БП, в частности построение и поддержание ориентации, программные развороты АКА.

Синергетические явления, возникающие в исследуемых процессах, невозможно изучать путем наблюдения только за БП, так как состояние АКА и его управляющей подсистемы описывается интегральными (обобщенными) параметрами целевых процессов, происходящих на уровне АКА и характеризующих, например, «построение орбитальной ориентации», «состояние энергобаланса», «выполнение коррекции орбиты» и др. сформированные процессы более низкого уровня. Чем ниже по иерархии производятся исследования, тем более детальным становится описание процессов. Наиболее продуктивна регистрация изменений в процессах при их самой низкой дифференциации на внутриэлементные процессы в страте 4-го уровня. При этом описания одних причинно-следственных связей в когнитивной карте недостаточно для проведения анализа протекания процессов в регуляторах с учетом синергетических явлений. Необходимы знания о степени взаимовлияния процессов через множество пересекающихся (взаимозависимых) параметров, чтобы локализовать их в каждом регуляторе процесса, выделить основные (штатные) и внешние (синергетические) процессы для их анализа и определения степени взаимосвязей и взаимодействий.

Для описания инвестиционных переходов и взаимодействий процессов на уровне страт удобно использовать когнитивно-графическое представление агрегативно-потоковой метамодели сложного процесса управления полетом АКА (см. рис. 6 с обозначениями, соответствующими ранее введенным), позволяющее выделять для анализа отдельные информационно взаимосвязанные и взаимодействующие объекты – кластеры процессов [5]. Набор правил для алгоритма построения рассматриваемой в статье модели подчиняется инвестиционному принципу. Агрегаты сложных элементных процессов AGΠjps,ksz, задаваемые с помощью матриц инцидентности, объединяют в себе первичные простые взаимосвязанные внутриэлементные процессы, формируя новые параметры сложных процессов в элементах систем. Модель сложного процесса, происходящего в элементе, сохраняет все его свойства для изучения с переводом образа процесса в компактное изображение в виде диаграмм Эйлера – Венна. На страте каждого уровня в иерархии сложного процесса управления полетом АКА существует свой набор параметров, который позволяет в значительной степени ограничить изучение их взаимосвязей стратой данного уровня. Относительная независимость процессов на стратах предоставляет возможность более глубокого и детального их изучения. Однако экспериментально доказано, что предположение о полной независимости процессов на отдельных стратах неоправданно и приводит к неполному пониманию поведения сложных процессов на стратах более высокого уровня, содержащих процессы более низкого уровня. Поэтому после описания каждого из сложных процессов на элементном уровне в регуляторах (в отдельных приборах и узлах) производится их комплексирование в агрегаты сложных системных процессов страты 2-го уровня AGΠjs,ksp. При этом модель каждого процесса, протекающего в элементе, рассматривается как модель первичного простого процесса в сложном системном процессе.

Далее проводится исследование сложных процессов на элементном уровне в составе сложных системных процессов (описание работы отдельных приборов в составе системы). Если описания на вышестоящем и нижестоящем уровнях совпадают, то процесс на элементном уровне идентифицируют, в противоположном случае проводятся дополнительные исследования с целью определения синергетического взаимодействия между внутриэлементными процессами на уровне страты С4, которые в составе системных процессов проявляются как дополнительные свойства. Введенный инвестиционный принцип дуализма позволяет рассматривать процессы в элементах как «простые» в составе сложного системного процесса. Аналогичным образом производятся моделирование и проверка взаимодействия системных процессов страты 2-го уровня после их агрегирования в БП страты 1‑го уровня AGΠjs,ks.

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

 

Рис. 6. Когнитивно-графическое представление агрегативно-потоковой метамодели процесса управления полетом АКА

 

Агрегат сложного процесса управления полетом аппарата AGΣΠΣj задается с использованием матрицы инцидентности, определяющей взаимодействие базовых процессов. При этом базовые процессы являются «простыми» по отношению к сложному процессу управления полетом АКА. Например, «простым» можно считать базовый процесс «Управление движением относительно центра масс», так как его можно отображать одной математической моделью с использованием кинематических и динамических дифференциальных уравнений движения АКА [17]. Результаты моделирования верифицируются на основе оценивания состояния БС в составе БП путем сопоставления значений контролируемых параметров на материальной модели с прогнозируемыми значениями. Точность математического прогноза изменения вектора кинетического момента на борту АКА при поддержании ориентации на заданном интервале оценивается через измерение компонент вектора на том же интервале и определения ошибки в расхождении измеренных и прогнозируемых значений [18]. Критерием для оценки близости (адекватности) моделируемого базового процесса реальному является точность поддержания ориентации АКА при использовании прогнозируемых значений вектора кинетического момента в формировании закона управления угловым движением аппарата.

Ранее уже было сказано, что АКА одновременно является сложной технической системой с гносеологической и онтологической позиций, а также большой системой по размерности и суперсложности [4, 16]. Для решения проблемы комплексного моделирования АКА как системы большой размерности каждый простой процесс предлагается рассматривать как отдельный «функциональный объект» (ФО) – модельный образ материального объекта, которому прописывается некоторая ролевая сущность – функция [8]. Сложный процесс управления полетом АКА разделяется на простые ФО, каждый из которых может быть подвергнут независимому моделированию. При этом создаваемый единый полимодельный комплекс при его практической реализации предлагается рассредоточить по различным местам разработки и испытания материальных объектов и их регуляторов. Это позволит распределять средства и методы комплексного моделирования, привлекая широкое сообщество экспертов самой высокой квалификации, каждый из которых может сам наблюдать за всеми аспектами поведения регулятора процесса для разработки сценариев «ситуация → решение». Самая высокая страта функциональной модели БП, реализуемой на средствах центра управления полетом (ЦУП) АКА, позволит руководителю полета наблюдать за обозримым числом состояний всего сложного процесса. Моделирование функционального объекта наиболее высокого уровня обеспечивается за счет моделирования функциональных слоев на стратах метамодели и рассмотренного координирующего инвестиционного механизма интеграции моделей. Таким образом, суперсложная модель поведения АКА наблюдается и воспринимается одним субъектом управления как «относительно простая». Аналогичным образом воспринимаются моделируемые «простые» процессы на стратах более низкого уровня.

Метамодель в полимодельном комплексе позволяет учитывать все эмерджентные свойства регуляторов процессов с учетом синергетических явлений в моделируемых ФО. Для этого используется механизм бинарных отношений между факторами, влияющими на протекание процессов в каждом ФО, которые передаются в виде исходных данных, включающих обнаруженные синергетические воздействия, для моделирования в соответствии с текущими ситуациями на борту АКА. Тем самым решается проблема сложности технической системы с гносеологической позиции за счет применения многомодельности с использованием для исследования результатов, полученных к настоящему времени в междисциплинароной отрасли системных знаний, которые конкретизируются в виде соответствующих методик и обеспечиваются материальными и вычислительными средствами в конкретных местах разработки и испытаний регуляторов процессов или в ЦУПе. Одновременно проблема сложности технической системы (структуры, функционирования, моделирования развития и др.) с онтологической позиции решается за счет распределения целей и задач при моделировании ФО. Когнитивно-графическое визуальное представление сложного процесса управления полетом АКА предлагается осуществлять переводом модельного образа в компактное изображение для ускоренного понимания текущей ситуации (рис. 6). Характеристики каждого агрегата закодированы графическими способами, называемыми «категории кода» [19]. Устанавливается последовательность иерархической упорядоченности в виде размещения страт С1-С4. На каждой страте указаны покрытия множеств вершин взвешенных графов в виде диаграмм Эйлера – Венна с агрегированием в кластерные образования с двойным и одинарным пересечением процессов. Штатные процессы в одном агрегате могут быть внешними по отношению к процессам в смежном агрегате.

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

Выводы

Предложена новая методика построения агрегативно-потоковой метамодели сложного процесса управления полетом АКА в виде «динамической когнитивной карты». При этом параметры каждой модели в метамодели зависят от времени и бинарных отношений, построенных на множествах управляющих и возмущающих воздействий на бортовые материальные объекты через регуляторы процессов. Синергетические явления рассматриваются как дополнительный фактор в составе множества возмущающих воздействий. Планарность построения модели в виде «динамической когнитивной карты» сложного процесса управления полетом АКА на базе функциональных графов позволяет в интерпретации системно-кибернетического описания АКА как «ящика» перейти от модели «черного ящика» к модели «белого ящика». Прозрачность моделирования достигается за счет введения необходимого количества страт (в рассмотренном примере четырех) при планарном построении когнитивной карты. При этом выполняется то условие, что математическая, материальная или концептуальная модель процесса страты самого нижнего уровня описывает состояние регулятора как «белого ящика», при котором становится возможным явное описание изменения различных параметров исследуемого процесса во времени с помощью известного отображения области определения процесса в область его значений. Далее известность результатов отображения процессов на уровне всего АКА обеспечивается за счет комплексного моделирования процессов на уровнях страт с инвестированием результатов «прозрачности процессов» самого нижнего уровня до верхнего уровня «динамической когнитивной карты». Разработка когнитивной агрегативно-потоковой метамодели процесса управления полетом позволяет с конструктивных позиций подойти к решению проблем размерности и сложности самого комплексного моделирования АКА в ходе его управляемого полета.

Моделирование АКА как «белого ящика» позволяет выявлять эмерджентные свойства бортовых систем и их элементов с учетом синергетических явлений для использования результатов исследования новых свойств БС АКА в целях рационального расходования бортовых ресурсов.

 

* Здесь и далее n-е индексы бинаризации в обозначениях отношений УВ и ВВ не используются.

×

Об авторах

Владимир Семёнович Ковтун

Ракетно-космическая корпорация «Энергия» имени С.П. Королёва (РКК «Энергия»)

Автор, ответственный за переписку.
Email: Vladimir.S.Kovtun@rsce.ru

к.т.н., главный специалист по системному проектированию

Россия, 141070, Московская обл., г. Королёв, ул. Ленина, 4А

Список литературы

  1. Ковтун В.С. Постановка задачи вариабельного управления полетом автоматических космических аппаратов для рационального использования ресурсов бортовых систем // Космонавтика и ракетостроение. – 2017. – № 1 (94). – С. 13–23.
  2. Ахметов Р.Н., Макаров В.П., Соллогуб А.В. Байпасность как атрибут живучести автоматических космических аппаратов в аномальных полетных ситуациях // Вестник Самарского государственно-го аэрокосмического университета. – 2015. – Т. 14. – № 4. – С. 17–37.
  3. Иванов В.А. Функциональная устойчивость систем. Перспективы повышения их надежности // Космонавтика и ракетостроение. – 2000. – № 19. – С. 181–189.
  4. Микони С.В., Соколов Б.В., Юсупов Р.М. Квалиметрия моделей и полимодельных комплексов. – М.: Изд. РАН, 2018. – 312 с.
  5. Ковтун В.С. Стратификация сложного процесса управления полетом космического аппарата // Космонавтика и ракетостроение. – 2012. – № 4. – С. 78–88.
  6. Ярмолик В.Н., Вашинко Ю.Г. Физически неклонируемые функции // Информатика. – 2011. – № 2 (30). – С. 92–103.
  7. Ковтун В.С., Фролов И.В. Методы вариабельного анализа и синтеза сложного процесса управления системой электроракетных двигателей космических аппаратов // Космическая техника и технологии. – 2016. – № 4 (15). – C. 47–67.
  8. Кириллов Н.П. Концептуальная модель объекта ситуационного управления функциональным состоя-нием технических систем // Искусственный интеллект и принятие решений. – 2012. – № 4. – С. 61–75.
  9. Jeff A. Estefan. Survey of Model-Based Systems Engineering (MBSE) Methodologies // http://www.omgsysml.org/MBSE_Methodology_Survey_RevB.pdf.
  10. Микрин Е.А. Бортовые комплексы управления космических аппаратов. – М.: Изд-во МГТУ им. Н.Э. Баумана, 2014. – 245 с.
  11. Соловьёв В.А., Лысенко Л.Н., Любинский В.Е. Управление космическими полётами. Ч. 1. – М.: МГТУ им. Н.Э. Баумана, 2009. – 477 с.
  12. Ковтун В.С. Построение и исследование функционального графа процесса управления полетом автоматического космического аппарата // XLIV академические чтения по космонавтике «Королёвские чтения». – М., 2020. – 13 с.
  13. Горбатов В.А. Фундаментальные основы дискретной математики. – М.: Наука. Физматлит, 1999. – 540 с.
  14. Синельникова О.И., Вечирская И.Д. Представление многоместных отношений в виде композиции бинарных отношений // Радиоэлектроника и информатика. – 2001. – № 3. – С. 147–150.
  15. Охтилев М.Ю., Соколов Б.В., Юсупов Р.М. Интеллектуальные технологии мониторинга состояния и управления структурной динамикой сложных технических объектов. – М.: Наука, 2005. – 291 с.
  16. Алешин Е.Н., Зиновьев С.В., Копкин Е.В., Осипенко С.А., Павлов А.Н., Соколов Б.В. Системный ана-лиз организационно-технических систем космического назначения: учебник. – СПб.: ВКА имени А.Ф. Можайского, 2018. – 357 с.
  17. Раушенбах Б.В., Токарь Е.Н. Управление ориентацией космических аппаратов. – М.: Наука, 1974. – 594 с.
  18. Патент RU 2356802 С2. МПК В64 G 1/00/ Платонов В.Н., Беляев М.Ю., Банит Ю.Р., Ковтун В.С. Способ поддержания трехосной ориентации космического аппарата с силовыми гироскопами и целе-вой нагрузкой // Изобретения. – 2009. – № 15.
  19. Бурдаев М.Н., Емельянова Ю.Г., Хачумов В.М. Когнитивная машинная графика в системах космического и медицинского назначения. – М.: ЛЕНАНД, 2019. – 256 с.

Дополнительные файлы

Доп. файлы
Действие
1. JATS XML
2. Рис. 1. Когнитивная карта процесса управления полетом АКА

Скачать (248KB)
3. Рис. 2. Граф процесса функционирования элемента

Скачать (102KB)
4. Рис. 3. Граф процесса функционирования системы

Скачать (63KB)
5. Рис. 4. Функциональный граф базового процесса

Скачать (55KB)
6. Рис. 5. Функциональный граф процесса управления полетом АКА

Скачать (44KB)
7. Рис. 6. Когнитивно-графическое представление агрегативно-потоковой метамодели процесса управления полетом АКА

Скачать (291KB)
8. матрицы инциденций 1

Скачать (55KB)
9. матрицы инциденций 2

Скачать (55KB)
10. матрицы инциденций 3

Скачать (45KB)
11. матрицы инциденций 4

Скачать (78KB)

© Самарский государственный технический университет, 2020

Creative Commons License
Эта статья доступна по лицензии Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Данный сайт использует cookie-файлы

Продолжая использовать наш сайт, вы даете согласие на обработку файлов cookie, которые обеспечивают правильную работу сайта.

О куки-файлах