Научная статья на тему 'МЕТОД ГАРАНТИРУЮЩЕГО ОЦЕНИВАНИЯ ДЛЯ ОПРЕДЕЛЕНИЯ СБОЕВ В ИЗБЫТОЧНОМ БЛОКЕ ЧУВСТВИТЕЛЬНЫХ ЭЛЕМЕНТОВ'

МЕТОД ГАРАНТИРУЮЩЕГО ОЦЕНИВАНИЯ ДЛЯ ОПРЕДЕЛЕНИЯ СБОЕВ В ИЗБЫТОЧНОМ БЛОКЕ ЧУВСТВИТЕЛЬНЫХ ЭЛЕМЕНТОВ Текст научной статьи по специальности «Математика»

CC BY
1
1
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
блок инерциальных датчиков / детектирование сбоев / гарантирующий подход / inertial sensor unit / detecting failures / guaranteeing approach

Аннотация научной статьи по математике, автор научной работы — Матасов Александр Иванович, Шестакова Ева Владимировна

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

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

Похожие темы научных работ по математике , автор научной работы — Матасов Александр Иванович, Шестакова Ева Владимировна

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

An algorithm is proposed to determine failures for an redundant inertial sensor unit by means of the guaranteeing estimation method. The numerical testing confirms the efficiency of the proposed algorithm.

Текст научной работы на тему «МЕТОД ГАРАНТИРУЮЩЕГО ОЦЕНИВАНИЯ ДЛЯ ОПРЕДЕЛЕНИЯ СБОЕВ В ИЗБЫТОЧНОМ БЛОКЕ ЧУВСТВИТЕЛЬНЫХ ЭЛЕМЕНТОВ»

ВЕСТН. МОСК. УН-ТА. СЕР.1, МАТЕМАТИКА. МЕХАНИКА. 2024. №5

77

Заключение. При выполнении ограничений (см. таблицу и формулу (1)) на параметры ц, ш во всех рассмотренных случаях на фазовой плоскости имеет место монотонная зависимость длины радиусов-векторов гтах(ц,ш) и (ц,ш) от аргумента ц. Область достижимости системы (1), (2) будет наибольшей при ц = ц- и наименьшей при ц = ц+. В случае 1 аналитически доказана монотонная зависимость функции гтах(ц,ш) по аргументу ш. Во всех остальных случаях монотонная зависимость функций гтах(ц, ш) и гтт(ц,ш) по параметру ш отсутствует.

В данной задаче монотонная зависимость от параметра ц имеет простой механический смысл: увеличение трения в системе уменьшает Рис. 2. Зависимость радиусов гтах(ц,Т1(ц)) размер ОД. Заметим, что размер ОД непрерыв- (кривая 1) и гт^(ц,Т2(ц)) (кривая 2) от параметра ц но зависит от параметров ц, ш и при рассмотрении разных случаев не меняется скачком, поэтому справедливо утверждение о монотонной зависимости длин радиусов-векторов на всей рассмотренной области параметров.

Автор выражает благодарность к.ф.-м.н. Д.И. Бугрову за проявленный интерес к работе и ценные замечания.

СПИСОК ЛИТЕРАТУРЫ

1. Харитонов В.Л. Об асимптотической устойчивости положения равновесия семейства систем линейных дифференциальных уравнений // Дифференц. уравнения. 1978. 14, № 11. 2086-2088.

2. Садовничий В.А., Александров В.В., Александрова Т.Б., Коноваленко И.С., Сото Э., Тихонова К.В., Шу-ленина Н.Э. Гальваническая коррекция нейронного управления установкой взора. Часть 1 // Вестн. Моск. ун-та. Матем. Механ. 2021. № 6. 41-47.

3. Александров В.В., Бугров Д.И., Жермоленко В.Н., Коноваленко И.С. Множество достижимости и робаст-ная устойчивость возмущаемых колебательных систем // Вестн. Моск. ун-та. Матем. Механ. 2021. № 1. 67-71.

4. Формальский А.М. Управляемость и устойчивость систем с ограниченными ресурсами. М.: Наука, 1974.

5. Жермоленко В.Н. К задаче Булгакова о максимальном отклонении колебательной системы второго порядка // Вестн. Моск. ун-та. Матем. Механ. 1980. № 2. 87-91.

6. Александров В.В. К задаче Булгакова о накоплении возмущений // Докл. АН СССР. Сер. Кибернетика. 1969. 186, № 3. 526-528.

Поступила в редакцию 18.12.2023

УДК 531.01

МЕТОД ГАРАНТИРУЮЩЕГО ОЦЕНИВАНИЯ ДЛЯ ОПРЕДЕЛЕНИЯ СБОЕВ В ИЗБЫТОЧНОМ БЛОКЕ ЧУВСТВИТЕЛЬНЫХ ЭЛЕМЕНТОВ

А. И. Матасов1, Е.В. Шестакова2

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

1 Матасов Александр Иванович — доктор физ.-мат. наук, вед. науч. сотр. лаб. управления и навигации мех.-мат. ф-та МГУ, e-mail: [email protected].

Matasov Alexander Ivanovich — Doctor of Physical and Mathematical Sciences, Lead Research Scientist, Lomonosov Moscow State University, Faculty of Mechanics and Mathematics, Laboratory of Control and Navigation.

2Шестакова Ева Владимировна — студ. каф. прикладной механики и управления мех.-мат. ф-та МГУ, e-mail: [email protected].

Shestakova Eva Vladimirovna — Student, Lomonosov Moscow State University, Faculty of Mechanics and Mathematics, Chair of Applied Mechanics and Control.

© Матасов А. И., Шестакова. E. В., 2024 © Matasov A. I., Shestakova E. V., 2024

M

78

ВЕСТН. моек. УН-ТА. СЕР.1, МАТЕМАТИКА. МЕХАНИКА. 2024. №5

Ключевые слова: блок инерциальных датчиков, детектирование сбоев, гарантирующий подход.

An algorithm is proposed to determine failures for an redundant inertial sensor unit by means of the guaranteeing estimation method. The numerical testing confirms the efficiency of the proposed algorithm.

Key words: inertial sensor unit, detecting failures, guaranteeing approach.

DOI: 10.55959/MSU0579-9368-1-65-5-11

1. Введение. Для повышения надежности навигационной системы применяются избыточные блоки инерциальных сенсоров — датчиков угловой скорости и ньютонометров. Вместо трех взаимно ортогональных чувствительных элементов (в каждом блоке) используется шесть датчиков. Предполагается, что в один момент времени во всех каналах каждого блока может происходить не более двух сбоев. Необходимо детектировать возможные сбои в каналах измерений блоков. Иными словами, необходимо определить наличие сбоя и установить, в каком канале он произошел.

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

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

2. Постановка исходной задачи. Пусть измерения, доставляемые блоком датчиков угловой скорости, имеют вид (в один заданный момент времени):

z = Gq + q,

(1)

где г = (¿1,... , ¿б)Т € К6 — вектор, составленный из показаний блока датчиков угловой скорости; ^ € К3 — вектор оцениваемых компонент угловой скорости в проекциях на приборный трехгранник; в = (в1, • • •, вб)Т € К6 — вектор, составленный из помех измерений. Матрица О задается соотношением

G=

( Gi \ / — cos p — sin p 0 ^ — sint£>

G2 cos p \ sint£>

G3 — cos p \ sint£> siny?

G4 cos p — sin p 0

G5 — cos p \ sint£> —^ siny?

KG6J у cos p \ siny? ^smtp j

/2 1 3 , cos ifi = -^д .

Исходная задача состоит в том, чтобы установить наличие сбоя (сбоев) и определить, где это произошло.

3. Задача гарантирующего оценивания. Сначала рассмотрим вспомогательную задачу гарантирующего оценивания параметров [1-6] при наличии двух сбоев в ошибках измерений.

Пусть по-прежнему измерения задаются формулой (1). Требуется оценить скалярную величину l = aTq, где а € R3 — заданный вектор.

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

q € P, P = \J P(и),

wen

Р(ш) = {в € И6 | |в»| < а, г = !,•••,6, г/ш),

где О есть множество всех пар ш = {г1 , г2} (г1 < г2) из набора {1,..., 6}, а а — заданная положительная величина, характеризующая максимальную ошибку измерений при отсутствии сбоев.

Отметим, что множество P невыпукло и не ограничено, в отличие от классических постановок задач гарантирующего оценивания параметров, где |gi| ^ а. Это множество, например, для случая трех измерений и одного сбоя представляет собой сумму взаимно ортогональных брусов в R3.

Рассмотрим все возможные оцениватели I = s(z) для l = l(q). Введем также множество параметров q € R3, совместимых с заданным вектором z:

Q(z) = {q € R3 I Gq = z - g, g € P} .

Отметим, что множество Q(z) может быть несвязным, т.е. состоять из изолированных частей.

Задача (апостериорного, т.е. при заданном z) гарантирующего оценивания состоит в нахождении оценивателя s0(z), такого, что для всех других оценивателей s(z)

max |l(q) - s0(z)| < max |l(q) - s(z)|.

qeQ(z) qeQ(z)

Минимальные и максимальные допустимые значения l определяются решением следующих экстремальных проблем:

lmin = min aTq, lmax = max aTq.

q€Q(z) q€Q(z)

Очевидно, что оптимальный гарантирующий апостериорный оцениватель имеет вид

S — 2 (^тах ¿min)) (2)

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

5°(z) = max Il{q) - s°(z)\ = \ (¿max - lmin). (3)

qeQ(z)

Обсудим процедуру вычислений lmin и lmax. При сбоях в измерениях с номерами из w введем множество векторов q € R3, которые совместимы с вектором z:

Qw(z) = {q € R3 | |zi - Giq| ^ a, i = 1,..., 6, i / w} .

Тогда

Q(z) = 11 Qw(z), lmax = max 1Ш(z), lmin = min J(z),

шеП шеП

шеп

1ш(z) = max aTq, (z) = min aTq. (4)

qeQш (z) qeQ^(z)

Двойственные задачи [6, 7] к задачам (4) имеют вид

6

n f(ж), f(ж) = '

1Ш(z) = min f (ж), f (x) = ^(a|xi| + ziXi), (5)

i=1

6

J(z) = - ming(x), g(x) = ^(a|xi|- ziXi), (6)

i=1

= \ ж € R6 | GTxi = a, Xj = 0, j € w j. (7)

i=1

Тогда оптимальный оцениватель з0(,г) и оптимальная ошибка оценки ¿0 (г) определяются формулами (2), (3).

Нетрудно показать, что задачи (5)—(7) эквивалентны задачам линейного программирования, если Хг заменить на щ — Vi, а |хг| — на щ + щ, Vi ^ 0, г = 1,..., 6. Поэтому они могут быть эффективно решены, например, симплекс-методом [7] или методом внутренней точки [8].

Для вычисления 1тах и 1т;п необходимо решить не более 2 ■ С2 = 30 задач линейного программирования.

4. Сведение задачи определения сбоев к задаче оценивания. Для решения задачи определения сбоев рассмотрим ее как задачу оценивания. Для оценки компонент вектора ошибки измерений Qi, i = 1,..., 6, предлагается решить 6 задач оптимального гарантирующего оценивания для параметра l = aTq при a = Gi, где Gi — строки матрицы G. Затем, получив оценку для Giq, оценки ошибки измерений Qi найдем по формулам (см. (2), (3)):

Q = Zi — s0(z), где s0(z) = s0(z) при a = Gi, i = 1,..., 6, (8)

а ошибки оценки равны

¿Qi = ¿0(z), где ¿0(z) = ¿0(z) при a = Gi, i = 1,..., 6. (9)

Затем проверяется условие

| в ± ¿Qi| ^ А, где A — заданный порог. (10)

Из неравенства (10) устанавливается факт наличия сбоя и номер сбойного канала. Таким образом, задача определения двух сбоев сводится к решению не более 30 ■ 6 = 180 задач линейного программирования.

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

5. Численное тестирование алгоритма. В работе проведено тестирование предложенного алгоритма определения сбоев для измерений, полученных при помощи программы-имитатора.

Пороговое значение выбиралось равным А = 10^. Оценки ошибок измерений Qi, абсолютное значение которых больше А, считались аномальными. Везде далее в качестве единицы измерения используется

При тестировании задавалось следующее значение вектора параметров q:

q = (—172.82, 604.19, —1284.63)T.

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

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

Значения флуктуационных ошибок имеют вид

Qf = (0.50, 0.10, —0.80, —0.01, —0.02, 0.30)T.

f

Пусть одновременно произошли сбои во втором и третьем измерениях: Q2 = 20 + q2 и Q3 = f

—50 + q3 , т.е. сбои равны 20 и —50 соответственно. С учетом введенных величин q и q вычисленные по формуле (1) измерения имеют вид

z = (—393.04, 1085.35, —612.73, —593.11, 1254.79, 761.19)T.

Задачи линейного программирования (5)-(7) решались в среде MATLAB при помощи функции linprog, которая реализует метод внутренней точки [8].

Например, при решении задач (5)-(7) для второго канала получено, что для всех значений и, содержащих хотя бы один номер сбойного канала, значения функционалов Iw(z) и Jw(z) соответственно равны —то и то. Это отвечает случаю, когда соответствующее множество Qw(z) пусто. Функционалы принимали конечные значения для единственной пары и = (2, 3), содержащей номера сбойных каналов измерений. Значения lmin и lmax равны 1051.72 и 1057.20 соответственно. Аналогичные вычисления проделаны и для остальных каналов измерений.

Оценки невязок, полученные по формулам (8), имеют вид

в = (—0.00, 20.89, —51.35, —0.00, —0.00, —0.00)T.

Соответствующие ошибки оценивания, полученные по формулам (9), определяются равенством

¿Q = (1.00, 2.74, 2.74, 1.00, 1.00, 1.00)T.

После проверки условия (10) установлено, что во втором и третьем каналах измерений зафиксированы сбои.

На рисунке представлены результаты вычислений для второго канала. Как можно заметить, весь отрезок лежит правее порога, при этом условие (10) выполняется и сбой детектируется.

Оценка ошибки для второго канала

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

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

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

СПИСОК ЛИТЕРАТУРЫ

1. Witsenhausen H.S. Sets of possible states of linear systems given perturbed observations // IEEE Trans. Automatic Control. 1968. AC-13. 556-558.

2. Куржанский А.Б. Управление и оценивание в условиях неопределенности. М.: Наука, 1977.

3. Черноусько Ф.Л. Оценивание фазовых состояний динамических систем. М.: Наука, 1988.

4. Лидов М.Л. К априорным оценкам точности определения параметров по методу наименьших квадратов // Космич. исследования. 1964. 2, № 5. 713-718.

5. Лидов М.Л. Минимаксные методы оценивания. Препринт № 71 ИПМ им. М.В. Келдыша. М., 2010.

6. Матасов А.И. Метод гарантирующего оценивания. М.: Изд-во МГУ, 2009.

7. Ашманов С.А. Линейное программирование. М.: Наука, 1981.

8. Boyd S., Vandenberghe L. Convex Optimization. Cambridge: Cambridge University Press, 2004.

Поступила в редакцию 18.03.2024

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