CC BY
55
УДК 62.001:63.003.13
МОДЕЛИРОВАНИЕ ПРОЦЕССОВ ФУНКЦИОНИРОВАНИЯ КОСМИЧЕСКИХ АППАРАТОВ С УЧЕТОМ НАКАПЛИВАЮЩИХСЯ ОТКАЗОВ ЭЛЕМЕНТОВ
БОРТОВЫХ СИСТЕМ
© 2004 В. Д. Еленев Самарский государственный аэрокосмический университет
Рассмотрен подход, позволяющий моделировать процессы функционирования космических аппаратов (КА) с учетом вероятности появления накапливающихся отказов элементов бортовых систем (БС). В качестве средства описания и исследования математических моделей предлагается использовать формальный аппарат теории макро-Е-сетей (являющихся модификацией сетей Петри), который обладает возможностью иерархического описания систем с учетом динамики изменения технического состояния КА, простотой представления событий, большой описательной мощностью. Показано, как с использованием сетевых моделей можно учитывать разнесенные по времени накапливающиеся отказы элементов.
1. Введение
Для КА процесс функционирования зависит от сложного взаимодействия временных распределений различных дискретных событий (временной циклограммы работы бортовых систем (БС), технического состояния отдельных элементов и т. д.). Поэтому КА можно рассматривать в виде динамической системы с дискретными событиями (ДСДС), в которой “состояние” БС изменяется во времени не непрерывно, а только в эти дискретные моменты времени.
Разработка моделей процессов функционирования КА является очень сложной и трудоемкой проблемой, при решении которой необходимо учитывать большое количество разнообразных факторов, в том числе и вероятность накапливающихся отказов элементов. Динамика наступления отказов элементов играет существенную роль в исследовании процессов функционирования технических систем.
При рассмотрении задач оценки эффективности функционирования будем использовать формальную модель, учитывающую смену состояний КА, разработка которой осуществляется с использованием подхода, предложенного Н. Н. Бусленко и базирующегося на понятии агрегативной системы [1].
Любой агрегат рассматриваемой системы характеризуется следующими множествами: множеством моментов времени Т, множеством входных сигналов X, множеством
выходных сигналов У множеством состояний 2 в каждый момент времени I € Т. Агрегат переходит из состояния ) в состояние 2^2 ) за малый промежуток времени, т. е. имеет место скачок состояний 5г..Переход агрегата из состояния 2(1г) в состояние 2^7) происходит под действием внутренних параметров Ь^) € Н и входных сигналов х(1) € X с учетом случайных операторов V (описывающего случайный характер входного сигнала X) и и (описывающего случайный характер состояний агрегата в моменты времени между поступлениями входных сигналов). Таким образом, будем описывать техническую систему следующей совокупностью множеств: А={Т, X, У, 2, Н, V, и}. (1)
Формальная модель (1) позволяет организовать моделирование процессов функционирования с учетом накапливающихся отказов элементов в виде итерационного процесса вычислений. Состояние системы Я^.+1) в некоторый момент времени I после наступления (г+1)-го отказа определяется ее текущим ъ(1.1 ) состоянием и вероятностью появления (г+1)-го отказа. Можно считать, что процесс смены состояний в данном случае является процессом накопления повреждений технической системой, который определяется потоком отказов ее поврежденных элементов.
2. Моделирование отказов элементов В [2, 3] обсуждалась возможность использования аппарата теории сетей Петри
при моделировании процессов функционирования КА. В данном случае при моделировании рассматривается возможность использования макро-Е-сетевых моделей [4].
Очевидно, что методическая сложность учета накапливающихся отказов элементов возникает только при сложной структуре взаимосвязи и взаимодействия элементов БС. Наиболее сложными случаями моделирования процессов функционирования является моделирование разветвляющихся процессов, схем с резервированием, учет циклограмм работы БС.
Для схемы с последовательным соединением элементов выход из строя одного из них приводит к нереализации выходных характеристик всей схемы. Поэтому в целях упрощения участки схемы с последовательным соединением элементов будем представлять в виде одного обобщенного элемента.
Временная последовательность отказов элементов легко учитывается в макро-Е-се-тевых моделях процессов функционирования, так как в них динамика смены состояний может быть непосредственно увязана со временем.
Формально макро-Е-сеть определяется множеством MEN = (P, T, K, S), где Р= = (p, r, Q) - конечное непустое множество позиций; Т - конечное непустое множество переходов; К - множество дуг, связывающих между собой множества позиций и переходов; S = {m, b, R, l} - множество функциональных правил.
Элементы множества P = {p, r, Q} называются: p - простыми позициями, r - решающими позициями, Q - макропозициями.
Множество переходов T = {T T,T E,TA, T F,TJ,T(cg),TX,T Y} описывает базовые структуры переходов, которые подразделяются на простые переходы Tt,te,T A,TF,T J,T(cg) (соответственно, переходы “исполнение”, “включение”, “выключение”, “разветвление”, “объединение”, “перераспределение”) и макропереходы T (“распределение”) и T Y (“выбор”).
Дуги k є K связывают вершины Р и Т по следующему правилу: начало и конец любой дуги соединяет только разноименные вершины Р и Т, т. е. Р п Т = 0.
Функциональные правила $>=(ш, Ь, Я, Ь) включают разметочную функцию ш:Р^(0,1), функцию обозначения Ь: Т^Ь, решающую функцию Я и используемый алфавит Ь=и где и - входной и V - выходной алфавиты сигналов управления, соответственно.
Разметочная функция ш устанавливает в каждой позициир в соответствии с правилом срабатывания переходов определенное число меток и=(0,1).
Функция обозначения Ь показывает, какие входные сигналы и из внешней среды влияют на срабатывание переходов Т и какие воздействия формируются в сети в результате их срабатывания.
Решающая функция Я позволяет указать позиции, от которых зависит срабатывание перехода Т в рассматриваемый момент времени, и указать позиции, в которые должна перейти метка после его срабатывания.
В макро-Е-сетях решающие позиции г^ позволяют реализовать управление появлением меток в одной или нескольких простых позицияхре с помощью внутренних связей.
Анализ технического состояния БС. В общем случае задача анализа технического состояния БС в некоторый фиксированный момент времени I решается с учетом циклограмм работы БС и заданных вероятностей отказов элементов БС.
В модели отказов необходимо обеспечить установление факта пребывания у-ой БС в момент времени I во включенном состоянии. Для этого с использованием циклограммы работы БС проводится проверка выполнения условия попадания текущего времени на 1-е включениеу-ой БС: <у , где
?]1, 1к]1 - соответственно, времена /-го включения и отключения у-й БС. Для проведения такой проверки может быть использована отдельная сетевая модель.
Пример сетевой модели проверки технического состояния бортовой системы с учетом возможности восстановления работоспособности элементов приведен на рис. 1.
Поступление команды на проверку технического состояния ассоциируется с наличием метки в позиции р 1 . Переходы
Т1У, Т2Х, Т3Х ,Т4У, Т5Х образуют цикл для про-
Рис. 1. Модель проверки технического состояния БС с учетом возможности восстановления работоспособности элементов
верки поочередно технического состояния всех элементов БС.
Переход тУ активизируется при первом срабатывании при условии наличия метки в позиции и при последующих срабатываниях - в позиции р8. Эту функцию выбора обеспечивает решающая позиция г1.
После срабатывания перехода Т2Х метка перемещается в позицию р6 , если элемент не поврежден, и в позицию р3 , если имеет место его повреждение.
На переходе Т2Х разыгрывается состояние текущего элемента по заданной или вычисляемой (как функции времени) вероятности безотказной работы.
На переходе Т3Х с помощью решающей процедуры позиции г3 проводится анализ возможности восстановления свойств поврежденного элемента и определения для этого случая времени его восстановления. Если работоспособность элемента может быть восстановлена, то метка передается в позицию р4 , в противном случае - в макропозицию Q1.
Переход Т4У срабатывает при наличии метки в позиции р6 или р4 .
На переходе Т5Х проводится проверка окончания перебора всех элементов. Если все элементы проверены, то решающая позиция г5 передает метку в позицию р5 , в противном случае передает метку в позицию р2, т. е. цикл повторяется, и проверке подвергается следующий элемент.
Попадание метки в позицию р7 завершает цикл проверки технического состояния всех элементов и характеризует работоспособное техническое состояние БС.
Атрибуту метки позиции р7 присваивается значение, равное максимальному времени восстановления работоспособности элементов системы (если такие отказы были у нескольких элементов).
Моделирование схем с резервированием элементов. Для КА характерно резервирование (дублирование) наиболее ответственных систем и элементов, позволяющее повысить общую надежность системы. Будем различать структурное резервирование, когда параллельно с основными системами на борт устанавливаются резервные системы, включаемые в работу в случае выхода из строя основной системы, и функциональное резервирование, когда в случае отказа какой-либо системы ее функции частично или полностью выполняются другими системами.
Рассмотрим учет резервирования в мак-ро-Е-сетевых моделях. Вариант макро-Е-се-тевой схемы модели структурного резервирования с отличающимися контурами основной и резервных систем приведен на рис. 2.
В этой схеме рассматривается случай основной системы (процесс функционирования ассоциируется с переходом Т4Т ) и резервной системы (процесс функционирования которой ассоциируется с переходом Т5Т ).
Управляющая процедура позиции г1 определяет, по которому контуру будет проводиться моделирование рассматриваемого
Рис. 2. Макро-Е-сетевая схема модели структурного резервирования с отличающимися контурами основной и резервных систем
процесса. В случае работоспособности всех систем (наличие меток в позицияхр р3) приоритет отдается основной системе.
Переход Т3Х обеспечивает разветвление вариантов моделирования в зависимости от атрибута метки позиции р5 .
Переход Т6У срабатывает при условии появлении метки в позиции, соответствующей выбранному контуру моделирования.
После срабатывания перехода в позицию р передается метка, одним из атрибутов кото -рой является номер системы, обеспечивающей процесс функционирования.
Макро-Е-сетевая схема модели, описывающей функциональное резервирование, будет выглядеть аналогично модели структурного резервирования с отличающими контурами основной и резервных систем.
Моделирование временной последовательности отказов элементов. Как отмечается во многих работах по теории надежности и оценке эффективности функционирования технических систем, учет временной последовательности отказов элементов -одна из наиболее актуальных и трудно реализуемых задач. Динамика наступления отказов элементов играет существенную роль в исследовании процессов функционирования технических систем.
Рассмотрим наиболее простой случай структурного резервирования систем (рис. 3).
Имеется система, в которой элемент А} имеет резервный элемент А2.. В случае отказа элемента А} с помощью переключателя и в рассматриваемой системе в работу включа-
ется элемент А2 Здесь важным является условие, в какой последовательности могут произойти отказы элементов А1 и и. Если первым откажет элемент А}, то система переключится на работу с резервным элементом А2. Последующий отказ элемента и не окажет влияния на работоспособность всей системы. Если же первым откажет элемент и, то система не сможет переключиться на работу с резервным элементом А2 и окажется в неработоспособном состоянии.
Для рассматриваемого примера можно воспользоваться макро-Е-сетевой схемой, приведенной на рис. 4. В этой схеме наличие метки в позиции р: ассоциируется с началом моделирования работы системы. На переходе Т}Х происходит розыгрыш технического состояния элемента А Метка передается в позицию р2 , если элемент А} находится в работоспособном состоянии и в позициюр3 - в противном случае. Переход Т2Т ассоциируется с работой элемента А} системы. Если элемент А1 находится в неработоспособном состоянии (наличие метки в позиции р3), то происходит анализ работоспособного состояния элемента и (переход Т3Х). Если элемент и в работоспособном состоянии, то схема переключается на работу с элементом А 2 (мет-
Рис. 3. Случай структурного резервирования систем
о-
'' р2 Т,
Рі |гСН п.
ь Уз гО
О-1
А Т.
'
О О-
---------
<ї о-
Ч)
'10
Рис. 4. Модель временной последовательности отказов элементов
ка в позиции р5), в противном случае метка поступает в позицию р7 , и дальнейшая работа процесса блокируется. На переходе происходит анализ технического состояния элемента Л Если этот элемент в работоспособном состоянии, то метка передается в позицию р если нет - в позицию р Переход Т5Т ассоциируется с работой элемента А2 системы. Попадание метки в позицию р означает завершение процесса моделирования работы схемы.
Моделирование процесса накопления информации о состоянии системы. При использовании макро-Е-сетевых моделей накопление информации о состоянии системы может быть организовано с применением некоторого универсального типового сегмента сетевой модели, принцип работы ко -торого заключается в следующем (рис. 5.)
Текущее состояние ъ (^.) БС описывается с помощью атрибута метки р4 . Позиция р: является входной для сегмента. Поступление в нее метки ассоциируется с новой информацией о вероятности отказа элемента. Переходы Т}! и ТЕ образуют цикловой механизм изменения технического состояния БС.
При поступлении метки в позицию р: срабатывает переход Т11. Во время фазы активности этого перехода происходит изменение исходного технического состояния БС с учетом информации о вероятности отказа элемента, которая поступила с приходом метки в позицию р:, а также информации о текущем техническом состоянии БС, которое описывается атрибутом метки в позиции р
После срабатывания перехода Т11 в позицию р2 поступает метка, атрибуты которой будут содержать информацию об изменении
технического состояния БС, связанного с наступившим отказом одного из элементов БС.
При срабатывании перехода Т2 происходит восстановление активности позиции р4 посредством помещения в нее метки, кото -рая несет в себе информацию о новом текущем состоянии БС и одновременно снимает блокировку с перехода Т11.
Переход Т}! опять готов к срабатыванию при условии поступления в позицию р: новой метки, которая будет ассоциироваться с появлением нового отказа одного из элементов БС.
Рассмотренная последовательность срабатывания переходов Т}! и ТЕ по изменению технического состояния БС продолжается до момента окончания поступления меток в позицию р
3. Заключение
С помощью предложенного подхода был решен ряд практических задач моделирования процессов функционирования космических аппаратов зондирования Земли с учетом накапливающихся отказов элементов бортовых систем. При этом временные характеристики отказов элементов генерировались с помощью заданных законов распределения.
Рі
о-
Ті
А
О
р*
Рз
о
Рис. 5. Сегмент сетевой модели, обеспечивающий накопление информации
Рассмотренные варианты реализации сетевых моделей показывают, что использование аппарата теории сетей Петри позволяет значительно расширить возможности моделирования процессов функционирования при решении задач оценки эффективности КА с учетом накапливающихся отказов элементов БС.
Список литературы
1. Бусленко Н. П. Моделирование сложных систем. - М.: Наука, 1978. - 399 с.
2. Yelenev V, Shostak N. Petry Nets Using Simulation of SpaceCraft Functiong//The 1st Sino-Soviet Symposium on Astronautical
Science and Technology, Harbin, China, 1991. pp. 63.
3. Yelenev V., Shostak N. The Method For Spacecraft Work-ability Simulation//The Second Russian-Sino Symposium on Astronautical Science and Technology. Samara, Russia, 1992. pp. 101.
4. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем./ Васильев В. В., Кузьмук В. В./ Под ред. Хо -рошевского В. Г., АН УССР, Ин-т проблем моделирования в энергетике. - Киев: Наук. думка, 1990. - 216 с.
SIMULATION OF SPACECRAFT FUNCTIONING PROCESSES WITH REGARD TO ACCUMULATED FAILURES OF OPBOARD SYSTEM ELEMENTS
© 2004 V. D. Elenev
Samara State Aerospace University
We consider an approach that allows simulating processes of spacecraft (SC) functioning with regard to the possibility of accumulated failures of onboard system (SC) elements. For describing and analyzing mathematical models we suggest using the formal apparatus of macro-E-nets (updated Petri nets) theory. It is characterized by the possibility of hierarchical description of systems with regard to the dynamics of changing technical state of the spacecraft, the simplicity of presenting events and great descriptive power. The possibility of taking into account accumulated element failures separated in time is shown.
