Scientific journal
Fundamental research
ISSN 1812-7339
"Перечень" ВАК
ИФ РИНЦ = 1,674

INCREASED RELIABILITY GUARANTEED POWER SUPPLY SYSTEMS GROUND SYSTEMS SPACE ASSIGNMENT OF METHOD OF FORMAL DESCRIPTION OF FAILURES AND THE CHOICE OF A MINIMUM SET OF CONTROLLED CHARACTERISTICS

Absalyamov D.R. 1 Aitov R.N. 1 Levchuk A.A. 1 Marchenko M.A. 1
1 Mozhaisky Military Space Academy
Abstract Proposed method formalization of search failures on the major indicators of workflows in internal combustion of engines standby power supply, the educational of procedure being combined with the choice of minimum set of control parameters procedure. In this method the way of grouping educational pattern and rating of groups for speeding study process of convergence and also the modification of educational procedure in case of small volume and insufficient quality of aprior system are considered. The solution of the problem of minimum set choice of controlled characteristics of the state technical devices is done on the basis of orthogonal vector system properties.
studying procedure
system guaranteed power supply refusal
controlled characteristic
educational choice
recurrent relation
orthonomal basis
1. GOST 13109-97. Normy kachestva jelektricheskoj jenergii v sistemah jelektrosnabzhenija obshhego naznachenija / Gosstandart Rossii. M., 1998. 31 р.
2. Senchenkov V.I. Matematicheskoe obespechenie kontrolja tehnicheskogo sostojanija mehatronnyh kompleksov // Aviakosmicheskoe priborostroenie. 2005. no. 10.
3. Kolmogorov A.N., Fomin S.V. Jelementy teorii funkcij i funkcionalnogo analiza. M.: Fizmatlit, 2009.
4. Trenogin V.A. Funkcionalnyj analiz. M.: Nauka, 1980.
5. Senchenkov V.I. Procedura obuchenija pri razrabotke modelej kontrolja tehnicheskogo sostojanija slozhnyh sistem // Izvest. Vuzov. Priborostroenie. 2010. T. 53, no. 1.
6. Tarasenko F.P. Neparametricheskaja statistika. Tomsk: Izd-vo Tomskogo universiteta, 1976.
7. Absaljamov D.R. Povyshenie nadezhnosti sistem teplosnabzhenija, ventiljacii i kondicionirovanija vozduha metodom formalizacii poiska otkazov po pokazateljam jeffektivnosti ispolzovanija toplivo-jenergeticheskih resursov // Inzhenerno-stroitelnyj zhurnal «Gidravlika. Inzhenernye sistemy zdanij». SPb, 2012. no. 2(28).
8. Suetin P.K. Klassicheskie ortogonalnye polinomy. M.: Nauka, 1979.
9. Djakov A.N., Reshetnikov D.V., Bojarshinov S.N. Modelirovanie sistemy podderzhanija rabotosposobnogo sostojanija slozhnyh tehnicheskih sistem // Vooruzhenie i jekonomika. M.: Regionalnaja obshhestvennaja organizacija «Akademija problem voennoj jekonomiki i finansov», 2016. no. 3 (36). рр. 35–43.
10. Djakov A.N., Kokarev A.S., Reshetnikov D.V. Modelirovanie sistemy tehnicheskogo obsluzhivanija i remonta slozhnyh tehnicheskih sistem raketno-kosmicheskih kompleksov // Trudy VKA imeni A.F. Mozhajskogo. Vyp. 645. / pod obshh. red. Ju.V. Kuleshova. SPb.: VKA imeni A.F. Mozhajskogo, 2014. рр. 23–30.

Успешное функционирование наземных комплексов космического назначения (НККН) в значительной степени зависит от бесперебойной работы специальных технических систем, важнейшей из которых является система гарантированного электропитания (СГЭП).

СГЭП предназначена для бесперебойного и гарантированного обеспечения всех потребителей НККН электрической энергией в соответствии с государственными стандартами [1], определяющими требования к качеству электроэнергии в режимах дежурства, штатной работы, а также при аварийных отключениях от основных источников.

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

В дальнейшем формальное описание отказа ДГУ СГЭП, как составной части математической модели, называется его изображением. Изначально приведенное множество контролируемых показателей в ДВС РИЭ, как правило, является избыточным. Необходимо определить минимальное множество таких показателей, что позволит снизить размерность математической модели, при этом повышая ее достоверность, а следовательно, и надежность ДГУ СГЭП. Это обусловлено снижением количества измерений в системах, каждое из которых сопровождается методическими и метрологическими погрешностями, а также и уменьшением времени на принятие решений по устранению выявленных отказов.

В настоящей статье рассматривается метод формального описания отказов по основным рабочим диагностическим признакам ДГУ СГЭП, в котором, в отличие от известных методов, совмещены процессы построения отображений отказов и выбора минимального множества контролируемых диагностических признаков.

В работе [2] предложен подход к преобразованию траекторий выходных процессов системы на основе теории пространств измеримых функций и интеграла Лебега. В результате преобразования траекторий формируется вектор Y<n’> числовых характеристик, которые и принимаются в качестве диагностических признаков ДГУ СГЭП. Этот вектор называется наблюдаемым состоянием исследуемой системы (в дальнейшем – «системы») [7].

Теоретико-множественная формулировка задачи построения изображений отказов ДГУ

На множестве векторов Y<n’> может быть задана структура n'-мерного евклидова пространства Y. В данном пространстве выделяются подмножества Yi (abs01.wmf) наблюдаемых состояний системы, каждое из которых соответствует недопустимым значениям (отказу) по i-му диагностическому признаку ДГУ СГЭП. Подмножества Yi с топологической точки зрения представляют собой области в пространстве Y.

В общем случае области Yi частично пересекаются между собой. Иначе, элементы Y<n’> находятся между собой в отношении толерантности Ω⊂Y×Y, которое обладает следующими свойствами [3]: рефлексивности: ∀Y∈Y, (Y, Y)∈Ω; симметричности: ∀Y1, Y2∈Y: (Y1, Y2)∈Ω⇒(Y2, Y1)∉Ω; антитранзитивности: ∃Y1, Y2, Y3∈Y: (Y1, Y2)∈Ω, (Y2, Y3)∈Ω⇒(Y1, Y3)∉Ω. Из приведенных свойств вытекает, что области Yi (abs02.wmf) могут рассматриваться как классы толерантности, а фактор-пространство Y/Ω = = {Yi|abs03.wmf} является покрытием пространства Y [7].

Процесс отнесения текущего состояния системы к той или иной области Yi в покрытии Y/Ω характеризуется значительной степенью неопределенности из-за наличия пересечений областей и может давать ошибочные результаты. Поэтому очевидно, что при разработке математической модели распознавания отказов системы каждую область Yi необходимо заменить одним элементом – изображением i-го отказа

abs04.wmf, abs05.wmf, (1)

которое интегрально описывает свойства всей области.

Известно, что на евклидовых пространствах реализуется принцип сжимающих отображений [3, 4]. В соответствии с данным принципом всегда может быть найдена та или иная вычислительная схема, которая позволяет выразить целую область изображением вида (1). Такие вычислительные схемы имеют единую математическую основу и реализуются в рамках процедур обучения.

Теоретические основы обучающей процедуры

Пусть задан перечень всех отказов по диагностическим признакам ДГУ СГЭП

abs06.wmf; (2)

– определён состав контролируемых показателей ДГУ СГЭП

Y = (y1, y2,…, y n′)т; (3)

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

abs07.wmf,

abs08.wmf,…,

abs09.wmf, (4)

где Ni – мощность множества обучающих образов, содержащихся в области Yi.

На основе исходных данных (2)–(4) требуется построить изображения (1), которые оптимальным образом (в смысле достоверности распознавания) описывают признаки соответствующих отказов qi (abs10.wmf).

Обучающая выборка (4), как правило, является неоднородной и ограниченной по объёму. Следовательно, для обучения необходимо использовать методы непараметрической статистики [6], которые позволяют обрабатывать неоднородную статистическую информацию малого объёма. Одним из них является метод стохастической аппроксимации, который базируется на операциях итеративного градиентного поиска. В соответствии с данным методом для каждого подмножества Yi ищется аппроксимация разделяющей функции hi в n′-мерном евклидовом пространстве Y, которая является неизвестной. Поэтому следует выбрать аппроксимирующую функцию h(Ei,Y<n′>), с помощью которой ищется оптимальное приближение к разделяющей функции [7].

В алгоритмическом аспекте процедура обучения значительно упрощается, если применить разложение аппроксимирующей функции по ортонормированному базису G(Y) = (g1(Y), g2(Y),…,g n′(Y))т в соответствии с выражением

abs11.wmf, (5)

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

abs12.wmf. (6)

Далее базис G(Y) называется G-преобразованием вектора Y.

В работе [6] показано, что при выполнении условий (5) и (6) обучающая процедура представляется в виде рекуррентного соотношения

abs13.wmf, (7)

где ak, (k = 1,2,…) – элемент последовательности положительных чисел, удовлетворяющий условиям

abs14.wmf.

Наиболее простым примером такой последовательности является гармонический ряд

abs15.wmf. (8)

С учётом (8) рекуррентное соотношение (7) принимает вид

abs16.wmf, (9)

а для каждой координаты eij вектора Ei соотношение представляется как

abs17.wmf. (10)

По мере увеличения числа шагов изображение Ei стремится к своему оптимальному значению abs18.wmf с вероятностью единица:

abs19.wmf.

Каждый из векторов abs20.wmf может трактоваться и как точка в n′-мерном евклидовом пространстве Y, и как набор весовых коэффициентов уравнения гиперплоскости, отделяющей данное подмножество Yi от других подмножеств в пространстве Y. Очевидно, что каждая координата eij (abs21.wmf) показывает степень сходства наблюдаемых состояний по j-му контролируемому признаку.

При реализации процесса обучения на основе рекуррентного соотношения (9) фактически решается градиентное уравнение

abs22.wmf. (11)

Уравнение (11) решается методом последовательных приближений. На каждом шаге используются данные из обучающей выборки (4) [7].

Группировка обучающих образов ДГУ СГЭП и ранжирование групп

Пусть Yi – подмножество обучающих образов технических состояний, соответствие которых i-му отказу ДГУ СГЭП системы известно. В данном подмножестве выделяется группа abs23.wmf, которая включает наибольшее количество неразличимых между собой элементов. Один из этих элементов abs24.wmf после G-преобразования принимается в качестве вектора начального приближения: abs25.wmf. Элементы считаются неразличимыми, если их одноимённые координаты отличаются друг от друга на величины, сопоставимые с погрешностями регистрации соответствующих траекторий в контрольных точках системы. Во вторую группу abs26.wmf входит не больше неразличимых элементов, чем в первую, и не меньше, чем в остальные. В третьей группе abs27.wmf количество неразличимых между собой элементов не больше, чем во второй, и не меньше, чем в остальных. Аналогичным образом формируются все группы [7].

Если через J обозначить индексное множество обучающих образов (abs28.wmf, где abs29.wmf – мощность множества J), соответствующих i-му отказу ДГУ СГЭП, то результаты их группировки и ранжирования полученных групп можно представить следующим образом:

abs30.wmf

abs31.wmf

abs32.wmf (12)

…………………………………………..

abs34.wmf

Порядок использования групп в ходе обучения совпадает с их номером (рангом), а последовательность применения обучающих образов в рамках одной и той же группы произвольна. Указанные действия выполняются для каждого подмножества Yi (abs35.wmf) из обучающей выборки (4).

Изложенный способ группировки и ранжирования означает задание на множествах Yi (abs36.wmf) отношений эквивалентности Σi, которые обеспечивают объединение в рамках одной группы неразличимых (эквивалентных) между собой элементов, а затем ранжирование групп по убыванию количества содержащихся в них образов. В результате из обучающей выборки по каждому отказу ДГУ СГЭП формируется упорядоченное фактор-множество abs37.wmf, abs38.wmf, элементы которого удовлетворяют соотношениям (12).

Обучение с группировкой и ранжированием обеспечивает максимальное влияние на формирование изображений тех образов, которые наиболее характерны для соответствующих отказов ДГУ СГЭП. Данное утверждение объясняется тем, что коэффициент 1/k в соотношениях (9) и (10) на предыдущем шаге обучения больше, чем на последующем. Поэтому каждый предыдущий образ более значим, чем последующий [7].

Модификация обучающей процедуры

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

abs39.wmf, abs40.wmf, (13)

соответствующие удовлетворительному (работоспособному) состоянию системы (abs41.wmf, abs42.wmf – соответственно нижнее и верхнее допустимые значения j-го контролируемого показателя). При реализации предлагаемого подхода целесообразно использовать бинарные значения контролируемых показателей, определяемые выражением [7]

abs43.wmf (14)

В качестве базисных функций gj(Y), которые используются в рекуррентных соотношениях (9) и (10), могут быть приняты функции

gj(Y) = sjδj, abs44.wmf, (15)

где abs45.wmf – символ Кронекера.

Анализ в соответствии со схемой, изложенной в работе [8], показывает, что функции {gj(Y)|abs46.wmf} вида (15) образуют полную систему ортонормированных функций. Из выражений (14) и (15) следует, что r-я базисная функция при r = j определяется как gj(Y) = sj. Тогда ортонормированный базис представляет собой вектор значений контролируемых показателей в бинарной форме: G(Y) = (s1, s2,…,sn′)т = S. Произвольное наблюдаемое состояние Yi, соответствующее i-му отказу, преобразуется аналогично: G(Yi) = (si1, si2,…,sin′)т = Si. Аппроксимирующая функция (5) записывается в форме

abs47.wmf.

Рекуррентное соотношение (9) принимает вид

abs48.wmf. (16)

Изображения, полученные в соответствии с выражением (16), представляются как векторы нормализованных показателей

Ei = (ei1, ei2,…, eij,…, ein′)т,

eij∈[– 1,1], abs50.wmf. (17)

Положительное значение показателя eij указывает на то, что в обучающей выборке преобладают отказы, при которых значения j-го контролируемого показателя не выходят из допустимого интервала (13), и наоборот в случае отрицательного значения [7].

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

В общем случае размерность вектора Y<n’> наблюдаемого состояния ДГУ является избыточной. Это означает, что существует такой вектор контролируемых показателей Y<n> меньшей размерности (n < n’), на котором все отказы являются наблюдаемыми.

Далее рассматривается процедура формирования минимального множества контролируемых показателей, связанная со сжатием изображений (1) или (17) отказов ДГУ СГЭП. Предлагаемая процедура позволяет выявлять и исключать малоинформативные контролируемые показатели [7].

Известно [9], что минимальная различимость двух векторов одинаковой размерности обеспечивается при условии их линейной независимости. Причем степень различимости увеличивается при возрастании меры обладания ими свойством ортогональности. Следовательно, для обеспечения наблюдаемости отказов требуется два условия.

1. Матрица E транспонированных векторов изображений Ei (abs51.wmf) не должна содержать одинаковых или пропорциональных строк: Ei ≠ а1Ek, ∀а1 ≠ {R\0}, abs52.wmf, i ≠ k, где R – множество вещественных чисел. Данное условие указывает на линейную независимость строк матрицы E.

2. Значение скалярного произведения векторов Ei и Ek должно стремиться к нулю: (Ei, Ek) > 0, abs53.wmf, i ≠ k. Чем ближе к нулю значение скалярного произведения, тем больше мера обладания векторами Ei и Ek свойством ортогональности.

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

(Ei, Ek) < а2, abs54.wmf, i ≠ k, а2∈R+ , (18)

где R+– множество положительных вещественных чисел.

С целью вывода правила для задания а2 и определения минимального состава контролируемых признаков, следует рассмотреть механизм получения ортогональных систем векторов при условии, что имеются исходные линейно независимые, но не ортогональные системы. К ним относится и система векторов E1, E2, …,Em. Наиболее эффективным способом решения подобных задач является процедура ортогонализации Грама – Шмидта [9]. Она позволяет путем линейного преобразования системы E1, E2,…,Em получить ортогональную систему abs55.wmf, abs56.wmf,…,abs57.wmf, если общее число векторов m меньше их размерности n’: m < n’. С помощью указанной процедуры связь между исходными и преобразованными векторами задается следующими выражениями:

abs58.wmf, abs59.wmf,

abs60.wmf,…,

abs61.wmf (19)

где

а11 = 1, abs62.wmf

abs63.wmf, abs64.wmf. (20)

Из выражений (19) очевидно, что всякий вектор abs65.wmf ортогональной системы представляет собой некоторую линейную комбинацию векторов E1, E2,…,Em и, следовательно, является ненулевым. В противном случае оказались бы линейно зависимыми векторы E1, E2,…, Em, что не соответствует начальному условию.

Векторы abs66.wmf (abs67.wmf) образуют матрицу abs68.wmf, которая связана с исходной матрицей Е соотношением abs69.wmf = АЕ. Оператор преобразования А является левой треугольной матрицей, диагональные элементы которой равны единице, а внедиагональные определяются по формулам (20), т.е.

abs70.wmf. (21)

Матрица abs71.wmf, составленная из скалярных произведений вида abs72.wmf, abs73.wmf называется матрицей Грама. Определитель этой матрицы (определитель Грама) имеет вид [7]

abs74.wmf. (22)

Все внедиагональные элементы определителя (22) равны нулю:

abs75.wmf, abs76.wmf, i ≠ k, (23)

поскольку векторы abs77.wmf и abs78.wmf ортогональны. Для диагональных элементов справедливо неравенство

abs79.wmf, abs80.wmf, (24)

так как в матрице abs81.wmf нет нулевых строк. По этой причине abs82.wmf > 0, следовательно, ранг матрицы abs83.wmf равен m:

abs84.wmf. (25)

В работе [10] показано, что если матрица Грама системы векторов E1, E2,…,Em имеет ненулевые ведущие миноры и в каждой i-й строке данной матрицы диагональный элемент имеет наибольшее значение среди всех других элементов данной строки, то справедливы следующие утверждения [7].

1. Существует n таких координат (m ≤ n < n’), что сформированные из них векторы Ei = (ei1, ei2,…, ein)т, abs85.wmf будут попарно ортогональны.

2. Для обеспечения ортогональности не требуется линейного преобразования исходной системы векторов E1, E2,…,Em, так как матрица преобразования вырождается в единичную матрицу. Если в качестве линейного преобразования применяется процедура Грама – Шмидта, то в единичную обращается матрица (21).

Следовательно, для обеспечения наблюдаемости всех отказов системы на множестве из n контролируемых показателей необходимо и достаточно, чтобы выполнялись условия:

1) Мв ≠ 0, где Мв – ведущие миноры матрицы Грама;

2 (Ei, Ei) > (Ei, Ek), abs86.wmf, i ≠ k.

Первое условие выполняется, так как справедливо равенство (25). Второе условие выполняется в силу справедливости (23), (24) и (25) [2]. Данное условие можно использовать при задании порогового значения а2 в неравенстве (18): а2 = min{(Ei, Ei)}, abs87.wmf.

Таким образом, из исходного множества контролируемых признаков может быть выбрано n (m ≤ n < n’) таких, которые обеспечивают наблюдаемость всех отказов системы. Практически должен быть реализован случай, когда n = m, поскольку именно в этом случае достигается минимально возможное множество контролируемых показателей [7].

Заключение

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