Радиолокация и радионавигация
УДК 519.718.2 Оригинальная статья
https://doi.org/10.32603/1993-8985-2020-23-1 -18-29
Локализация ошибок в сетях из цифровых автоматов состояний
И. В. Быстрован, Б. П. Подкопаев
Санкт-Петербургский государственный электротехнический университет "ЛЭТИ" им. В. И. Ульянова (Ленина), Санкт-Петербург, Россия
н irinavalentinovn@yandex.ru
Аннотация
Введение. Для повышения достоверности выходной информации систем радиолокации и радионавигации нередко требуется локализация узлов с ошибками в режиме реального времени. Один из самых эффективных способов решения задачи локализации состоит во введении в состав систем средств функционального диагностирования. Однако для систем, имеющих большое количество функциональных узлов, на применение этого способа накладываются ограничения: сложность решения диагностической задачи и необходимость сокращения введенной аппаратной избыточности. Пути редукции этих ограничений при решении задачи локализации в упомянутых системах исследованы в настоящей статье. Цель работы. Разработка метода синтеза средств функционального диагностирования, решающего задачу локализации ошибок систем радиолокации и радионавигации и позволяющего снизить вычислительную трудоемкость и уменьшить аппаратные затраты.
Материалы и методы. В качестве математических моделей систем приняты сети из цифровых автоматов состояний. Представлен анализ математического описания сети из цифровых автоматов состояний, а также средств функционального диагностирования каждого компонента сети. Показана возможность преобразования совокупности известных средств функционального диагностирования сети, обеспечивающая локализацию компонента сети с ошибкой при условии его единственности. Результаты. Предложена процедура поиска аналитических выражений, задающих контрольный автомат и дискриминатор ошибок для всей сети. Рассмотрен случай, когда исходные средства функционального диагностирования компонентов заданы скалярными функциями. Полученный результат обобщен на случай векторного задания функций упомянутых средств.
Заключение. Анализ полученных результатов при помощи оценки по критерию порядка показывает, что при увеличении числа компонентов сети выигрыш по избыточности, вносимой средствами функционального диагностирования, по сравнению с исходным вариантом, существенно растет для сети, состоящей из семи компонентов. Возможность практического применения результатов исследования показана на примере решения задачи локализации для упрощенного фрагмента устройства формирования приоритетов системы взаимной навигации летательных аппаратов.
Ключевые слова: объект диагностирования, средства функционального диагностирования, сеть из автоматов, вектор состояний, локализация ошибок, контрольный автомат, дискриминатор ошибок, функция соответствия, решающая функция
Для цитирования: Быстрова И. В., Подкопаев Б. П. Локализация ошибок в сетях из цифровых автоматов состояний // Изв. вузов России. Радиоэлектроника. 2020. Т. 23, № 1. С. 18-29. doi: 10.32603/1993-89852020-23-1-18-29
Конфликт интересов. Авторы заявляют об отсутствии конфликта интересов.
Статья поступила в редакцию 02.09.2019; принята к публикации после рецензирования 11.12.2019; опубликована онлайн 28.02.2020
© Быстрова И. В., Подкопаев Б. П., 2020
18 Контент доступен по лицензии Creative Commons Attribution 4.0 License
This work is licensed under a Creative Commons Attribut ioe 4.0 Lic eonse
Radar and Navigation
Original article
Fault Isolation in Network of State Automates
Irina V. Bystrova®, Boris P. Podkopaev
Saint Petersburg Electrotechnical University, St Petersburg, Russia
® irinavalentinovn@yandex.ru
Abstract
Introduction. In the paper a fault isolation problem in the devices combining digital unit by functional diagnostics methods is considered. Networks of state automates are accepted as mathematical models of the devices. Assumed, that functional diagnostics devices for each network component are preliminarily constructed in an optimal way and they consist of a control automata and of a fault discriminator of unit dimension. Aim. To develop functional diagnostics method based on theoretical analysis allowing to decide fault isolation problem in networks of state automation and to reduce computational complexity and hardware redundancy. Materials and methods. An analysis of mathematical description of a network of state automation and functional diagnostics devices for each network component was presented in terms of algebraic theory of functional diagnosis of dynamic systems. A possibility to transform the set of known functional diagnostics devices of the network was demonstrated. The possibility provided a localization of the network component with an error, if the component was unique.
Results. A searching procedure of the analytical equations determining supervision automata and fault discriminator for the whole network was proposed. The case when initial functional diagnostics devices for each network component were defined by scalar functions was considered. The obtained result was generalized to the case, when mentioned devices were defined by vector functions. The application of the described method was demonstrated in the example of construction functional diagnostics devices for simplified fragment of the device for forming priorities of mutual aircraft navigation system.
Conclusion. Estimation of results by an order criterion was obtained. It was established that with an increase in the number of network components, the reduction of intentioned redundancy by functional diagnostics devices compared with the original version increased significantly.
Keywords: diagnostic object, functional diagnosis devices, network of automates, state vector, fault isolation, supervision automata, fault discriminator, compliance function, decision function
For citation: Bystrova I. V., Podkopaev B. P. Fault Isolation in Network of State Automates. Journal of the Russian Universities. Radioelectronics. 2020, vol. 23, no. 1, pp. 18-29. doi: 10.32603/1993-8985-2020-23-1-18-29
Conflict of interest. Authors declare no conflict of interest. Submitted 02.09.2019; accepted 11.12.2019; published online 28.02.2020
Введение. Необходимость локализации узлов с ошибками достаточно часто возникает при эксплуатации радиолокационных систем (РЛС) и радионавигационных систем (РНС), причем в свете повышения достоверности выходной информации таких систем на первое место выходит локализация таких узлов в реальном времени. Весьма эффективный способ решения этой задачи состоит во введении в состав систем средств функционального диагностирования (ФД), позволяющих избежать дорогостоящего простоя системы. Особенно целесообразно использование ФД в отказоустойчивых системах, поскольку при этом существенно снижается избыточность, обеспечивающая
достижение необходимого уровня надежности.
В технической диагностике под обнаружением ошибки (fault detection) понимается определение факта наличия нештатной ситуации, а под локализацией (fault isolation) - еще и места ее проявления в диагностируемом объекте с заданной степенью точности. В обоих случаях определен перечень обнаруживаемых ошибок (неисправностей), а во втором дополнительно и условия их локализации [1]. Часто задачи обнаружения и локализации объединяют и решают совместно. В зарубежной литературе введено специальное понятие Fault Detection And Isolation (FDI). В отечественных работах по тематике ФД они часто
19
трактуются как две разновидности общей диагностической задачи. Так, в [2] анализируются методы обнаружения и локализации отказов, основанные на использовании аналитической избыточности математической модели технической системы. В [3, 4] задача FDI для линейных дискретных систем решается с помощью наблюдателей состояний и специальных разновидностей фильтров Калмана. Вопросы локализации ошибок динамических систем освещены в [5-7].
Целью настоящей статьи является решение задачи ФД применительно к объектам диагностирования, математическая модель которых представляет собой сеть из цифровых автоматов. Устройства обработки и генерации сигналов, управления и отображения в современных РЛС и РНС, как правило, представляют собой совокупности цифровых узлов, соединенных магистралями, т. е. укладываются в рамки рассматриваемых объектов. Последние, в свою очередь, являются частным случаем сетей из динамических систем с дискретным временем, поэтому решение диагностических задач для объектов в составе РЛС и РНС следует рассматривать с позиций математической теории ФД динамических систем [8, 9].
Поскольку сеть из конечных автоматов также является конечным автоматом, решить диагностическую задачу для нее теоретически можно, используя известные методы синтеза средств ФД [9, 10]. Однако на практике такое решение наталкивается на 2 препятствия. Во-первых, надо от задания сети как совокупности заданий ее компонентов и связей между ними, в котором функция динамики (переходов) сети задана неявно, перейти к явному заданию последней, что само по себе достаточно сложно. Во-вторых, порядок (размерность) автомата, задающего сеть, будет в несколько раз больше порядков ее компонентов, и, поскольку сложность синтеза средств ФД при увеличении порядка растет, как минимум, по экспоненте, решение задачи становится невозможным из-за чрезмерных вычислительных затрат.
По указанным причинам устройства ФД приходится синтезировать индивидуально для каждого компонента, а средства ФД сети считать композицией средств ФД всех компонентов. При этом гарантируется обнаружение ошибок, распределенных по сети произвольно, в том числе и искажающих результаты работы всех компонентов одновременно. Кроме того, компоненты, в которых произошли ошибки, легко локализуются. Однако такое решение часто оказывается избыточным, поскольку вероятность появления ошибок сразу в нескольких компонентах сети мала. Поэтому основной задачей в рамках настоящей статьи является разработка метода синтеза средств ФД для сетей из автоматов состояний, позволяющего уменьшить вводимую избыточность ценой исключения из рассмотрения маловероятных ошибок применительно к упомянутым случаям. Далее предложены простые и эффективные алгоритмы для решения задачи ФД (FDI) цифровых сетей, причем при справедливости условий постановки задачи они обеспечивают минимальность решения по критерию порядка.
Объект диагностирования. Как уже отмечалось, в качестве объектов диагностирования в настоящей статье рассматриваются сети из цифровых автоматов. Для простоты считается, что компонентами сети являются автоматы без выходного логического преобразователя, т. е. автоматы состояний. В этом случае каждый г-й автомат-компонент сети задается тройкой Аг- = (X\, Q^, 8г-), в которой
Х^ = {хг-} - множество входных воздействий (входов) автомата; Qг■ = {qг■} - множество его состояний; 8,= 8, (х{, qi) - функция переходов (динамики) АI, причем XI и Qi суть множества двоичных векторов; 8г- - векторная булева (логическая) функция [11].
Диагностируемая сеть, образованная как композиция АI (рис. 1), также является цифровым
X х Q Э X1
Y >
Рис. 1. Диагностируемая сеть Fig.. 1. Network under diagnostic
автоматом состояний S = (X, Q, 8). Множество
состояний сети образуется декартовым произведением всех множеств состояний ее компонентов, т. е.
п
Q = х Qi, где п - число компонентов 5", а вектор
■=1
Яе Q есть вектор вида я = (яь ..., qi, ..., Яп).
Вектор входа сети х е X образуется по аналогии с ее вектором состояний, но включает в себя только внешние (не зависящие от q) компоненты х,, поэтому мощность множества X меньше
п
мощности декартова произведения х X■. Век-
■=1
торная булева функция переходов сети является композицией всех функций переходов компонентов: 8 = (81,..., 8 г,..., 8п) [12].
Постановка задачи диагностирования. Положим, что для каждого автомата А, сети 5 в соответствии с базовой формой ФД [13] оптимальным образом построены средства диагностирования. В их структуру входят:
- объект диагностирования А, = (X,, Qг■, 8,);
- контрольный автомат Ак = ( Х^, Qкi, 8к ), который функционирует синхронно с автоматом А ;
- безынерционный функциональный преобразователь, называемый дискриминатором ошибок О,. Последний состоит из двух узлов: вычислителя векторной функции соответствия г, (я,) и
устройства сравнения на выходе которого формируется бинарная решающая функция
£ ■ [Г (Я ■), Як ] (рис. 2).
Контрольный автомат А^ = (Хк , Qкj, 8к ) отслеживает состояния исходного автомата Ai = (Х^, Qi, 8 ■) с точностью, достаточной для обнаружения в последнем ошибок заданного класса Е¿, причем входом Ак , является композиция из элементов х, е Xг- и Я/ е Q^.
X х Q э Xt
Xi х Qi э Xю
Рис. 2. Устройство сравнения Fig. 2. Comparison device Локализация ошибок в сетях из цифровых автоматов Fault Isolation in Network of State Automates
Размерность векторов Як/ е Qкi не превышает размерности я, е Ql, а множество входов контрольного автомата Ак, есть подмножество декартова произведения XI х Qi, в котором X, сXхQ, тогда Xкi с XхQхQi, т. е. в общем случае функция переходов 8к кроме Як зависит еще от трех внешних по отношению к Ак аргументов: x, q и я, .
Дискриминатор ошибок О, есть логическая схема, в которой вычисляется функция соответствия г, (я, ), значение которой при отсутствии ошибок в
А1 и Ак всегда равно значению Як/ е Qкг.
При появлении ошибки заданного класса упомянутое равенство нарушается, что позволяет ее обнаружить. Для этого в устройстве сравнения генерируется некоторая бинарная решающая функция [г, (я, ) ,Як ], значение которой при несправедливости соотношения г, (я, ) = Як инвертируется. Обычно считают, что при отсутствии ошибок она должна равняться нулю, а при их появлении - единице.
Поскольку средства ФД построены для каждого компонента сети индивидуально, обнаружение ошибок сопровождается их локализацией с точностью до компонента сети, причем ошибки во всех компонентах могут быть локализованы одновременно.
Рассматриваемая сеть 5, как и ее компоненты А{, представляет собой цифровой автомат состояний, поэтому решение задачи ФД для нее тоже можно найти в базовой форме. Последняя, по аналогии с предыдущей (рис. 2), должна включать в себя объект диагностирования 5, контрольную систему (автомат) 5К и дискриминатор ошибок Б. Сеть 5 как состоящая из всех А■, определена, 5К и Б нужно синтезировать, преобразуя совокупности известных Ак и О, в 5К и Б соответственно, причем способ преобразования существенно зависит от класса ошибок, подлежащих обнаружению и локализации.
Отметим, что упомянутый класс не может быть шире объединения классов ошибок, локализуемых с помощью Ак, и О,, причем уменьшение затрат на ФД может произойти только за счет его сужения.
у
Исходя из изложенного, задачу, рассматриваемую в настоящей статье, можно поставить следующим образом.
Пусть п цифровых автоматов состояний А} образуют сеть 5" и для каждого автомата сети оптимальным образом решена задача ФД в базовой форме, т. е. синтезированы совокупности контрольных автоматов Ак, и дискриминаторов ошибок Б}. Построить в той же форме средства ФД для всей сети так, чтобы входящая в нее контрольная система 5К имела минимальный порядок и совместно с дискриминатором ошибок Б обеспечивала обнаружение и локализацию ошибок в произвольном, но единственном компоненте сети.
Решение задачи ФД. Для решения поставленной задачи нужно найти 3 логические функции, определяющие вид контрольной системы 5К и дискриминатора ошибок Б. Во-первых, функцию соответствия г ^). В общем случае она является векторной и, с одной стороны, синтезируется исходя из класса обнаруживаемых ошибок, а с другой - задает вектор состояния 5к , так как при отсутствии ошибок в сети qк = г ^). Во-вторых, решающую функцию г [г ^) ^к ], вид
которой характеризует способ фиксации ошибок и глубину их локализации. При обнаружении ошибок она может быть скалярной даже в случае многократных ошибок [14], локализация с необходимостью требует ее векторности. В-третьих, также в общем случае векторную, функцию переходов 8к ( хк ^к ) системы 5к . Первые две функции определяют дискриминатор ошибок Б,, вторая и третья - контрольную систему 5К.
Прежде всего, преобразуя известную совокупность решающих функций для А, , найдем решающую функцию г. Она зависит от вектора состояний qк и функции соответствия г ^),
причем последняя должна явным образом выделяться из выражения для г. Для этого необходимо представить г в виде разделимой декомпозиции по г ^) и qк, которую при решении задач ФД
сетей можно получить только с помощью линейных преобразований [14, 15].
Нужное преобразование найдем, используя условие единственности компонента сети с ошибкой. Из него следует, что исходная векторная
22
решающая функция ги = (^1, ■ • •, г,-,..., гп), компоненты которой суть решающие функции всех Ак, равна нулевому вектору при отсутствии ошибок и вектору с единичной нормой Хэмминга [16] при их наличии, причем число последних равно п.
Образуем из нулей и единиц матрицу О с размерами т х п, где т = ]1о£2 (п +1)[ - ближайшее к 1о§2 (п +1) большее целое число, так, чтобы ее строки представляли собой последовательно идущие т-разрядные двоичные векторы (числа) от 1 до т, и найдем произведение г = гив В нем значения т-разрядного вектора г и п-разрядного ги связаны взаимно-однозначно, причем при единичной норме вектора ги значение двоичного вектора г совпадает с номером единичного разряда ги. Если в сети 5 ошибок нет, то ги = 0 и вектор г = гиG также равен нулю, что является признаком нормальной работы системы.
Введенное преобразование позволяет локализовать автомат с ошибкой в сети при минимальной размерности фиксирующего их вектора и определяет искомую векторную решающую функцию как результат умножения векторного аргумента, образованного композицией скалярных функций е,, на введенную матрицу О:
г = (еь ..., ег-, ..., бп)в, (1)
Соотношение (1), задавая решающую функцию через линейное преобразование, тем не менее, разделимой декомпозицией не является. Рассмотрим возможности изменения его формы. Для начала, положим, что аргументы всех решающих функций е, скалярны, т. е.
е [г (%), qю ] = е (^), ].
К примеру, такая ситуация наблюдается, если во всех А, обнаруживаются только однократные ошибки. Поскольку в скалярном случае
е \_г1 (Чг ), Он ] = Г (Чг )®<?Ю [14], простая пОДстановка трансформирует (1) в
6 = (вь ..., Е/5 ..., 8И)С = = [г1(Ч1)@№ь ..., гг(Чг)©дкьС,...
что после учета ассоциативности суммирования по модулю 2 и линейности матричного умноже-
ния приведет к заданию решающей функции как покомпонентной суммы двух векторов вида
^ = [1(41)' ^(ч,-). ■••' гп(Чп)]С®
®(?къ 1Кп)в- (2)
Полученная сумма есть разделимая декомпозиция, из которой легко выделяются вектор состояния Як и функция соответствия г (я):
[чк = (ЧКЬ •••> lKi> ■■■> яки)0; lr(q) = [i(qi). ••■> 1-(ч/)> г«(чй)]с.
(3)
При отсутствии ошибок в 5" и имеем
Як = г(ц). Появление ошибок это равенство
нарушает, что и позволяет их обнаружить и локализовать.
Для полного задания контрольной системы 5К осталось, используя совокупность функций переходов автоматов Ак/ , найти функцию переходов 8к ( Хк , qк). Обозначим для компактности вектор, компоненты которого суть функции переходов этих автоматов, символом ^8к/ (хк/, Чк/ )). При скалярности всех функций соответствия ц (ц/) все компоненты этого вектора также ска-
лярны: 8к/ (хк' <1Ю ) = §Ю (хк/> Ж/ ). Поскольку
состояния и функция переходов автомата Ак/ в двух соседних тактах t и t * связаны равенством
чт* = §к/ (хкЙ> чки)> из (3) следует; что в такте t * вект°р якt* = (5Ю (хш, Чш )) О и далее
8к (хк, Чк) = (8к/ (хк/, Чк/)) О = = [5К1(ХКЪ №1), 5ю(хкь
Полученное выражение задает функцию переходов 5к, однако оно неконструктивно, поскольку содержит в правой части состояния Ак, от которых в окончательном решении нужно избавиться. Для этого, используя справедливое при отсутствии ошибок равенство г/ (ц/) = Чк/, заменим в (4) состояния Чк/ функциями соответствия ц (ц/) и получим 8к (хк, Чк ) = (8к/ [хк/, Г (Ч/ )]) О. Правая часть этого равенства не зависит от цк, что определяет реализацию системы 5к в форме ло-
гической задержки [8] и позволяет окончательно найти ее функцию переходов как
§К (ХК) = (5Ki [xKi, ri (4t)]) G =
= {5ьа [*Ki' ri {4i)]:> • • •» Sri [*ki > ri (<?i)]>• • •
rn (4n )]}G. (5)
Вектор хк в (5) составной. В общем случае он включает в себя кроме компонентов вектора входа системы S компоненты как ее вектора состояний, так и векторов состояний всех At. Это объясняется тем, что из Хк £ X х Q х Q- следует
ХК с X х Q х
n
х Qi
V i=1 У
а ХК е ХК •
Таким образом, поскольку все 3 функции, задающие контрольную систему 5к, и дискриминатор ошибок Б определены соотношениями (2), (3) и (5), а способ формирования входящей в них матрицы G указан, поставленная задача применительно к случаю скалярности всех функций соответствия для компонентов сети 5 решена. контрольная система 5"к реализуема в форме логической задержки минимальным по критерию порядка образом. Технически ее построение сводится к решению задачи логического синтеза стандартными методами [9, 10].
При векторности функций соответствия ц (ц/) для решения задачи локализации ошибок в сети 5 предложенный ранее способ синтеза 5к следует изменить по аналогии с примененной в [14] модификацией процедуры построения средств ФД для обнаружения ошибок. Необходимые изменения найдем, предположив, что размерность всех функций соответствия одинакова и равна р. В этом случае каждая из них представляет собой вектор, компоненты которого суть скалярные функции:
г/ (чу) = \_т (чу), • • гу (чу), —,пР (чу)]»
а вектор состояний Ак/ имеет вид
Чю =[^ЮЬ ■■■• ЧКу? ■■■■ ЧюР~\-
При отсутствии ошибок эти векторы почленно равны:
Чю = гг (Чг ) = [<7Кг'1 = ГЛ (Чг),---• • 9Ку = П] (Чг )5 • • ЧШр = Пр (Чг )]•
Тогда решающая функция имеет вид логической
Р
суммы (операции "ИЛИ") е, = V е,/, где
7=1 /
е/ = г/ )® ок/ .
Как и ранее, исходная векторная решающая функция размерности п для сети 5 определяется выражением ги =(е1, ..., ег-, ..., еп), подставив в
которое логические суммы, задающие е,, получим
Р Р
V ei j, —, V ei j,
J1 J=
Р
J =1 J
(6)
Образовав вспомогательные векторные функ-
&nj ), можно
ции вида £Hj = (ei j ,
£j'
убедиться, что заданная соотношением (6) решающая функция есть покомпонентная логическая сумма всех ги/. Очевидно, что каждая ги/ обеспечивает обнаружение и локализацию некоторой части ошибок в 5 (подкласс Е/),
ку при векторности функций соответствия ошибка в некотором компоненте сети А, может нарушить равенство qкг■ = г ^) сразу в нескольких
компонентах, т. е. под знаком г-й логической суммы в (6) может быть несколько единичных слагаемых. Это приведет к появлению среди ги/ нескольких функций, значения которых при данной ошибке равны, а индексы различны. Тогда и среди г/ таких функций будет несколько, что исключает
возможность использования при формировании искомой решающей функции их покомпонентного суммирования по модулю 2, так как результатом такого суммирования может быть нулевой вектор, соответствующий отсутствию ошибок.
В этом случае следует использовать логическое суммирование (операцию "ИЛИ"). Тогда искомая решающая функция принимает следующий вид:
8 = V 8 = j=1J
(qKij, —, 4Kij, —, <?Юу) G, а их совокупность - = ^ {[ Г j (qi), —, rj (q), ..rnj (qn )] G ©
всех ошибок заданного класса Е и Е ,■.
7=1
Выберем некоторую функцию ги/ и решим задачу локализации применительно к ошибкам из подкласса Е/, считая, что они происходят в одном и только одном компоненте 5. Поскольку все ее компоненты е/ = Г/ ^ ) ® ук/ формируются как
суммы скаляров, искомое решение не отличается от полученного ранее, и средства ФД в виде контрольной подсистемы с дискриминатором ошибок
Б/ определяются соотношениями (2), (3) и (5):
г/ = [ 1 (41), г/ (ч), п (чп)]в ® ®(УК1/, 9Ку , УКп/ )
qК/■ =(уК1/, уК/, уКп/ )
г/^Ь^/), г/(^), гп/(qn)];
8К/ (ХК ) = (8Ку [ХК, г/ (О }]) в =
= {5К1 у [*К1, 1у )], • • 5Ку , Гу ^ )],...
■••, 5Кп/ [хКп, гп/ (Уп)]}в.
При образовании решающей функции для всей сети 5 следует учесть, что подклассы ошибок, образующие Е, могут пересекаться, посколь-
©
(qK1j, —, qKj, —, qKnj ) G}
(7)
Поскольку (7) не является разделимой по компонентам г ^) и qк, функция соответствия
г ^) образуется как композиция всех функций
г/ ^) и состоит изрт скалярных компонентов:
г(ч) = {[11(41), (чи )]<?,.. . ..., (Чх), ..., гиу(Чи)]С,...
[ПрЫ> гпРМ~\°\ (8)
Исходя из равенства qк = г ^ ,), получим выражения для qк и 8к (Хк):
ЧК=[(<7К1Ь • • •' ЧШХ' • • •' 9Кп\')G,... (?К1/> •■■>?Ку> •••' ^Ки/)^' ••• (№1 р, ЧКлр)с~\> (9)
5к(хк) = {5кп[хк, 11(41)],•■■ 5Ки1[хКи> ^(Чи)]}^-{5К1/[ХКЪ Пу (41 )}•■•
{5К1^[ХК1 (41)], ■•■ ■ • ■ Кир
[хКи'
гпр (q п)]} в. (10)
8и =
Размерности вектора состояний Чк и функции переходов 8к (хк) совпадают с размерностью функции соответствия г (ц) и равны рт = р (п +1)[.
Соотношения (7)—(10) полностью определяют контрольную систему 5к и дискриминатор ошибок О для сети 5 в случае равной размерности векторных функций соответствия ее компонентов. Нетрудно убедиться, что при единичной размерности этих функций (функции скалярны) (7) и (10) принимают вид соотношений (2) и (5) соответственно, а (8) и (9) преобразуются в правую и левую части соотношения (3).
Если размерности функций соответствия Г/ (ц/)
не равны, то для синтеза средств ФД полученные соотношения можно использовать при условии дополнения функций меньшей размерности нулевыми компонентами до максимального значения, при этом соответствующие векторы состояний Чку также дополняются нулями.
Оценка результатов. Оценим полученные результаты, сравнив сложность исходных средств ФД со средствами, полученными в результате предложенных преобразований. Для оценки используем критерий порядка [17], значение которого в рассматриваемом случае равно суммарной размерности векторов состояний всех Ак/ для исходного варианта и размерности цк для преобразованного. При скалярности функций соответствия Г/ (ц/) первая равна п, а вторая - ]1о§2(п +1)[, т. е. выигрыш по порядку
" = п/ ]1о§2 (п +1)[. (11)
Оценка (11) справедлива и тогда, когда функции соответствия являются векторными, но имеют одинаковую размерность р, поскольку в этом случае размерности всех векторов состояний увеличиваются в р раз, т. е. числитель и знаменатель (10) растут пропорционально и значение " не меняется. В случае разной размерности функций соответствия Г/ (ц/) вычисление значения " также сложностью не отличается, но компактной формулы вида (11) для этого нет.
Анализируя (11) можно сделать вывод, что представленный в настоящей статье метод синтеза средств ФД для сети из автоматов состояний с
функциями соответствия одинаковой размерности дает выигрыш, если число ее компонентов п > 3. С увеличением числа компонентов сети выигрыш быстро, но не монотонно, растет: "
имеет локальные максимумы при п = 2 — 1 и
минимумы при п = 2 (к >2 - целое число). В случае различной размерности функций соответствия этот рост сохраняется, но его интенсивность зависит от распределения размерностей по ним. В худшем случае, когда лишь одна функция имеет размерность р, а остальные - 1, выигрыш наблюдается только при р > ]^2(п +1)[.
Пример. Рассмотрим упрощенный фрагмент устройства формирования приоритетов системы взаимной навигации летательных аппаратов. Фрагмент представляет собой сеть с индивидуальными средствами ФД компонентов, операционная часть которого состоит из двух двоичных счетчиков и одного регистра сдвига, а диагностическая - из пяти триггеров типа Б с вычислителями функций соответствия и решающих функций (рис. 3). Упрощение фрагмента состоит в уменьшении разрядности операционной части до уровня, позволяющего получить его компактное представление.
Средства ФД обеспечивают обнаружение и локализацию однократных ошибок: арифметических в счетчиках и групповых в регистре. Используя описанную методику, преобразуем их в общесетевые средства ФД минимального порядка, гарантирующие обнаружение и локализацию тех же ошибок при условии их наличия только в одном компоненте сети.
1. В рассматриваемом случае п = 3 и т = ]1о§2 (п +1)[ = 2, а преобразующая матрица
0 1
G = 1 0
1 1
2. Функции Г[ (ц1) = (гц, Г12) и
г2 (Ч2 ) = (г21- П ) - векторн^ а гз (яз ) = Г31 -скалярная (рис. 3), поэтому искомая функция соответствия сети вычисляется по формуле (8) после добавления к г31 нулевого компонента:
г (Ч) = [(г11- г21- Г31) (г12- г22- 0) О] = = (г1 = г21 © г31- г2 = г11 © г31- г3 = г22- г4 = г12 ).
T o—
R
X o—
C CT8 Q
[>
0
R 1
2
qii
qi2
qi3
q34
&
-ft
C CT8 Q
0
R 1
2
q2i
q22
q23
DS
# c
R
RG
DO 0 1 2 3
q3i
q32
q33
q34
qii
qi2
qi3
DC 0
1 1
2
2 3
4
4 5
6
7
rii
JL- 1
q2i
q22
q23
q3i
Dc
42
r2i
&
&
D
f-ft C R
D
4ftC R
-lL- 1
r22
&
&
D
rH>C R
q32
q33
q34
M2
M2
&
3
qK11
qK12
h
=1
"U
=1|_Tl
Sn
D
fH>C R
3
qK21
qK22
D
=1
"U
J2i
=1|_rL
8 22
r3i
D ftC R
qK31
=1
Рис. 3. Упрощенная принципиальная схема фрагмента формирователя приоритетов системы взаимной навигации
летательных аппаратов
Fig. 3. A simplified schematic diagram of the fragment of priority driver of the aircraft mutual navigation system 3. В соответствии с (9)
qK = (qK1 = qK21 © qK31, qK2 = qK11 © qK31, qK3 = qK22, qK4 = qK12 ), т. е. вектор состояния qK есть четырехразрядный двоичный вектор.
4. Для реализации Ак в форме логической задержки, используя (10) и опустив аргументы функций переходов, получим:
8К = (8К1 = 8К21 ® 8К3Ь 8К2 =8К11 ® 8К3Ь 8К3 =8К22, 8К4 =8К12 ).
8
si
Рис. 4. Синтезированные средства функционального диагностирования Fig. 4. Synthesized equipment of the functional diagnostics
T
1
8
i
8
1
T
T
1
8
2
1
T
8
3
T
S
2
Определив 8ку посредством анализа рис. 3, с учетом равенства Чку = гу окончательно получим:
8к = [3Ю = г22 (Ч34 © г21 )© Х © г31 © Ч34-Зк2 = г11г12 © Х © г31 © Ч34-Зк3 = Ч34г22г21 V Ч34г22г2Ъ Зк4 = г11г12 ].
5. Векторная решающая функция определяется в соответствии с (7):
£ = (еь 82 ) = = [(г21 © г31 © Чк21 © Чк31 ^ (г22 © Чк22 )-(г11 © г31 © Чк11 © Чк31 )V (г12 © Чк12 )] = = [(г1 © Чк1 )V(г3 © Чк3)-
(г2 ©Чк2)V(г4 ©Чк4)] = = (е11 Vе12, е21 ^22 ).
Таким образом, все функции, определяющие 5к и Б, получены, что позволяет с помощью стандартных методов синтеза цифровых устройств построить искомые средства ФД (рис. 4).
Сравнение синтезированных с помощью предложенного метода средств ФД (рис. 4) с исходными (рис. 3) показывает, что при практически одинаковых затратах на логическую часть выигрыш первых по порядку (памяти) составляет 25 %. Это относительно небольшое значение подтверждает справедливость приведенных ранее оценок эффективности метода и объясняется малой размерностью сети 5 (п = 3) и разной размерностью функций соответствия компонентов сети.
Заключение. В настоящей статье диагностическая задача для сетей из автоматов состояний решена с точностью до локализации компонента с ошибкой. Предложенный способ ее решения снижает сложность синтеза и уменьшает объем диагностического оборудования по сравнению со способами, известными из литературных источников. Полученные в работе оценки позволяют определить эффективность и целесообразность введенных преобразований до решения задачи синтеза средств ФД. В дальнейшем предполагается обобщение результатов, описанных в настоящей статье, на случай сетей из цифровых автоматов общего вида.
Список литературы
1. Ding S. X. Model-based fault diagnosis techniques. Design schemes, algorithms, and tools. Berlin: SpringerVerlag, 2008. 479 p. doi: 10.1007/978-3-540-76304-8
2. Fault detection and isolation for complex system / C. S. Jing, L. B. R. Samad, M. Mustafa, N. R. H. Abdullah, Z. M. Zain, D. Pebrianti // Proc. of the 3rd Intern. Conf. of global network for innovative technology 2016 (3rd IGNITE-2016), Penang, Malaysia, 27-29 Jan. 2016. AIP Conf. Proc. 2017. Vol. 1865, iss. 1. P. 9-16. doi: 10.1063/1.4993392
3. Samy I., Gu D. W. Fault Detection and Isolation (FDI) // Fault Detection and Flight Data Measure-ment. 2012. P. 5-17 (Lecture Notes in Control and Information Sciences. Vol. 419). doi: 10.1007/978-3-642-24052-2_2
4. Li Z., Jaimoukha I. M. Observer-based Fault Detection and Isolation Filter Design for Linear Time-Invariant Systems // Intern. J. of Control. 2009. Vol. 82, iss. 1. P. 171-182. doi: 10.1080/00207170802031528
5. Жирабок А. Н., Шумский А. Е., Павлов С. В. Диагностирование линейных динамических систем непараметрическим методом // Автоматика и телемеханика. 2017. № 7. С. 3-21.
6. Жирабок А. Н., Шумский А. Е. Непараметрический метод диагностирования нелинейных динамических систем // Автоматика и телемеханика, 2019. № 2. С. 24-45. doi: 10.1134/S0005231019020028
7. Zhirabok A. N., Shumsky A. E., Zuev A. V. Sliding Mode
Observers for Fault Detection in Linear Dynamic Systems // IFAC-PapersOnLine. 2018. Vol. 51, iss. 24. P. 1403-1408. doi: /10.1016/j.ifacol.2018.09.540
8. Hartmanis J., Stearns R. The Algebraic Structure Theory of Sequential Machines. New York: Prentice Hall, 1966. 211 p.
9. Подкопаев Б. П. Алгебраическая теория функционального диагностирования динамических систем: в 2 ч. Ч. 2: Системные алгебры, алгебраическая модель функционального диагностирования, реализация модели функционального диагностирования. СПб.: Изд-во СПбГЭТУ "ЛЭТИ", 2013. 132 с.
10. Щербаков Н. С., Подкопаев Б. П. Структурная теория аппаратного контроля цифровых автоматов. М.: Машиностроение, 1982. 191 с.
11. Калман Р., Фалб П., Арбиб М. Очерки по математической теории систем / пер. с англ.; под ред. Я. З. Цыпкина. 2-е изд. М.: Едиториал УРСС, 2004. 400 с.
12. Глушков В. М. Синтез цифровых автоматов. М.: Физматгиз, 1962. 476 с.
13. Подкопаев Б. П. Алгебраическая теория функционального диагностирования динамических систем: в 2 ч. Ч. 1: Системы, диагностирование систем, системные алгебры. СПб.: Элмор, 2007. 132 с.
14. Быстрова И. В., Подкопаев Б. П. Функциональное диагностирование сетей из цифровых авто-
матов состояний // Изв. вузов России. Радиоэлектроника. 2018. № 2. С. 12-20. Сог 10.32603/1993-89852018-21-2-12-19
15. Быстрова И. В., Подкопаев Б. П. Диагностическое моделирование сети из цифровых автоматов // Сб. науч. тр. II Междунар. науч.-практ. конф., Брянск, 24-25 окт. 2018 г. / Брянск. гос. техн. ун-т. Брянск, 2018.
С. 42-46. Сок 10.30987/conferencearticle_5c19e69f2008C0. 90195586
16. Толстяков В. С. Обнаружение и исправление ошибок в дискретных устройствах. М.: Сов. радио, 1972. 288 с.
17. Пухальский Г. И., Новосельцева Т. Я. Проектирование цифровых устройств. СПб.: Лань, 2012. 890 с.
Информация об авторах
Быстрова Ирина Валентиновна - магистр техники и технологий по направлению "Инфокоммуника-ционные технологии и системы связи" (2015), аспирантка кафедры радиотехнических систем Санкт-Петербургского государственного электротехнического университета "ЛЭТИ" им. В. И. Ульянова (Ленина). Автор пяти научных работ. Сфера научных интересов - техническая диагностика систем радиолокации и радионавигации.
Адрес: Санкт-Петербургский государственный электротехнический университет "ЛЭТИ" им. В. И. Ульянова (Ленина), ул. Профессора Попова, д. 5, Санкт-Петербург, 197376, Россия. E-mail: irinavalentinovn@yandex.ru https://orcid.org/0000-0002-2836-1559
Подкопаев Борис Павлович - доктор технических наук (2011), профессор (2012) кафедры радиотехнических систем Санкт-Петербургского государственного электротехнического университета "ЛЭТИ" им. В. И. Ульянова (Ленина). Автор более 100 научных работ. Сфера научных интересов - математическая теория систем; техническая диагностика и надежность систем радиолокации и радионавигации.
Адрес: Санкт-Петербургский государственный электротехнический университет "ЛЭТИ" им. В. И. Ульянова (Ленина), ул. Профессора Попова, д. 5, Санкт-Петербург, 197376, Россия. E-mail: bpodkopaev@mail.ru
References
1. Ding S. X. Model-Based Fault Diagnosis Techniques. Design Schemes, Algorithms, and Tools. Berlin, Springer-Verlag, 2008, 479 p. doi: 10.1007/978-3-54076304-8
2. Jing C. S., Samad L. B. R., Mustafa M., Abdullah N. R. H., Zain Z. M., Pebrianti D. Fault Detection and Isolation for Complex System. Proc. of the 3rd intern. conf. of global network for innovative technology 2016 (3rd IGNITE-2016). Pe-nang, Malaysia, 27-29 Jan. 2016, AIP Conference Proc. 2017, vol. 1865, iss. 1, pp. 9-16. doi: 10.1063/1.4993392
3. Samy I., Gu D. W. Fault Detection and Isolation (FDI). Fault Detection and Flight Data Measurement. 2012, pp. 5-17 (Lecture Notes in Control and Information Sciences. Vol. 419). doi: 10.1007/978-3-642-24052-2_2
4. Li Z., Jaimoukha I. M. Observer-based Fault Detection and Isolation Filter Design for Linear Time-Invariant Systems. Intern. J. of Control. 2009, vol. 82, iss. 1, pp. 171-182. doi: 10.1080/00207170802031528
5. Zhirabok A. N., Shumskij A. E. Diagnosis of Linear Dynamic Systems by Nonparametric Method. Autom. Remote Control. 2017, vol. 78, no. 7 (2017), pp. 11731188. (In Russ.)
6. Zhirabok A.N., Shumskij A.E. Nonparametric Method Diagnosis Nonlinear Dynamical Systems. Autom. Remote Control. 2019, no. 2, pp. 24-45. doi: 10.1134/S0005231019020028 (In Russ.)
7. Zhirabok A. N., Shumsky A. E., Zuev A. V. Sliding Mode Observers for Fault Detection in Linear Dynamic Systems. IFAC-PapersOnLine. 2018, vol. 51, iss. 24, pp. 1403-1408. doi: /10.1016/j.ifacol.2018.09.540
8. Hartmanis J., Stearns R. The Algebraic Structure Theory of Sequential Machines. New York, Prentice Hall, 1966, 211 p.
9. Podkopayev B. P. Algebraicheskaya teoriya funktsional'nogo diagnostirovaniya dinamicheskikh sistem. V 2 ch. Ch. 2: Sistemnye algebry, algebraicheskaya model' funktsional'nogo diagnostirovaniya, realizatsiya modeli funktsional'nogo diagnostirovaniya [Algebraic Theory of Functional Diagnosis of Dynamic Systems. Pt. 2: System Algebras, Algebraic Model of Functional Diagnosis, Realization of the Functional Diagnosis Model]. SPb, Izd-vo SPbGETU "LETI", 2013, 132 p. (In Russ.)
10. Shcherbakov N. S., Podkopayev B. P. Strukturnaya teoriya apparatnogo kontrolya tsifrovykh avtomatov [Structural Theory of Digital Automation Hardware Control] Moscow, Mashinostroyeniye, 1982, 191 p. (In Russ.)
11. Kalman R. E., Falb P. L., Arbib M. A. Topics in Mathematical System Theory. McGraw Hill Book Co., 1969, 400 p.
12. Glushkov V. M., Sintez tsifrovykh avtomatov [Synthesis of Digital Automation]. Moscow, Gosudarstvennoye izdatel'stvo fiziko-matematicheskoy literatury, 1962, 476 p. (In Russ.)
13. Podkopayev B. P. Algebraicheskaya teoriya funktsional'nogo diagnostirovaniya dinamicheskikh sistem. Ch. 1: Sistemy, diagnostirovaniye sistem, sistemnyye algebry [Algebraic Theory of Functional Diagnosis of Dynamic Systems. Pt. 1: Systems, Diagnostic Systems, System Algebras]. SPb, Elmor, 2007, 132 p. (In Russ.)
14. Bystrova I. V., Podkopayev B. P. Functional Diagnostics of Digital State Automation Networks Journal of the Russian Universities. Radioelectronics. 2018, no. 2, pp. 12-20. doi: 10.32603/1993-8985-2018-21-212-19 (In Russ.)
15. Bystrova I. V., Podkopayev B. P. Diagnostic Modeling of a Network of Digital Machines. Trudy "SAPR i
modelirovaniye v sovremennoy elektronike" [Proc. III International Scientific and Practical Conference "CAD/EDA, Modeling and Simulation in the Modern Electronics"]. Bryansk, 2018, pp. 42-46. doi: 10.30987/ conferencearticle_5c19e69f2008d0.90195586 (In Russ.)
16. Tolstyakov V. S. Obnaruzheniye i ispravleniye oshibok v diskretnykh ustroystvakh [Fault Detection and Isolation in Discrete Devices]. Moscow, Sovetskoye radio, 1972, 288 p. (In Russ.)
17. Pukhal'skiy G. I., Novosel'tseva T. Ya. Proyektiro-vaniye tsifrovykh ustroystv [Design of Digital Devices] SPb., Lan', 2012, 890 p. (In Russ.)
Information about the authors
Irina V. Bystrova, Master of Science in Infocommunication Technologies and Communication systems (2015), postgraduate student of the Department of Radio Engineering Systems of Saint Petersburg Electrotechnical University. The author of 5 scientific papers. Area of expertise: technical diagnostics of radio location and radio navigation systems. Address: Saint Petersburg Electrotechnical University, 5 Professor Popov Str., St Petersburg 197376, Russia E-mail: irinalentinovn@yandex.ru https://orcid.org/0000-0002-2836-1559
Boris P. Podkopaev, Dr. Sci. (Eng.) (2011), Professor (2012) of the Department of Radio Engineering Systems of Saint Petersburg Electrotechnical University. The author of more than 100 scientific publications. Area of expertise: mathematical theory of systems; technical diagnostics and reliability of radio location and radio navigation systems. Address: Saint Petersburg Electrotechnical University, 5 Professor Popov Str., St Petersburg 197376, Russia E-mail: bpodkopaev@mail.ru