УДК 519.21
МЕТОДЫ ИНТЕРПОЛЯЦИИ О ТЕХНИЧЕСКОМ ДИАГНОСТИРОВАНИИ1
В. А. Твердохлебов
Институт проблем точной механики и управления РАН, г. Саратов
Рассмотрены основные положения технического диагностирования больших и сложных систем. Изложен метод построения диагностических моделей с использованием интерполяции на базе частичной диагностической информации. Ограничение на применение моделей неисправностей и возможности средств диагностирования определяются свойствами сложных объектов диагностирования оказываться недоступными для полного и точного их описания.
ВВЕДЕНИЕ
Техническое диагностирование систем, которые характеризуются как большие или сложные системы, осуществляется в условиях ограничений на математические модели и средства диагностирования. Из результатов исследований по постановкам и решениям задач технического диагностирования таких систем следует актуальность принципиального изменения теоретических положений, представленных, например, в основополагающих работах Э. Мура [1] (полное решение установочной задачи для автомата), А. Гилла [2] (сведение диагностирования к установочной задаче), в двухтомной монографии под редакцией П. П. Пархоменко [3] (систематизация задач и методов технического диагностирования интуитивно обозримых и формально представимых объектов). Развитие теории технического диагностирования до настоящего времени, несмотря на переход от абстрактных моделей к структурным, еще не вышло на включение в область приложений теории больших и сложных объектов. Относительный характер понимания терминов сложная и большая система не рассматривается как предмет обсуждения, а непосредственно конкретизируется по некоторым выбранным их свойствам, определяющим исследуемый класс задач технического диагностирования. К ним относятся следующие свойства (положения).
1. Объект диагностирования не допускает достаточно полного и точного интуитивного обозрения и формального представления традиционными средствами: таблицами, графами, логическими уравнениями.
2. Возможности средств диагностирования в каждом используемом интервале времени ограничены наблюде-
Работа выполнена при поддержке РФФИ, фант № 05-08-49999.
нием только части структуры объекта и наблюдением только некоторых функций объекта.
Совмещение ограничений, указанных в п. 1 и 2, усложняет постановки и методы решения задач диагностирования.
3. Анализ работоспособности и локализация дефектов могут потребоваться на интервале времени, как угодно удаленном от начала функционирования объекта.
4. К традиционным вопросам технического диагностирования — обнаружение наличия дефекта и его локализация по месту или функциональному влиянию — добавляется поиск цепочек причинно-следственных связей, заканчивающихся появлением дефекта.
5. Техническое диагностирование выделяемых для рассмотрения объектов не может быть осуществлено однородными средствами диагностирования. Только совмещение тестирования, измерения физических параметров, анализа процессов «решения» объектами диагностических задач, визуального осмотра, сигнализации и других средств должно образовывать средства диагностирования.
Положение 1 исключает достаточность применения аппарата только символьной математики с ее комбинаторно-логическими идеями, перечислительным и явным табличным, матричным, графовым конструктивизмом.
Положение 2 отражает свойства объектов диагностирования как материальных тел (непрерывное изменение неограниченного множества параметров и характеристик) и представляет собой реальные ограничения процедур диагностирования по показателям времени, ресурсов, возможностей аппаратуры и т. п.
В положении 3 исключается рекурсия как основа построения моделей как конкретных вариантов функционирования, так и явного представления законов функционирования. Например, наличие в объекте диагностирования регистра, счетчика или эквивалентных устройств на 128 двоичных разрядов при заполнении устройств вариантами заполнений со скоростью 1 млн. ва-
риантов/с для перебора всех вариантов потребуется 282 лет. Никакой рекурсивный процесс анализа и синтеза не будет эффективным для такого (очень простого, с практической точки зрения) формирования памяти объекта диагностирования. Заметим, что практическое использование из 2 вариантов представления памяти только некоторого числа вариантов не снимает границ эффективности рекурсии, так как неисправности включают в функционирование даже не предусмотренные разработчиками ситуации.
Положение 4 фактически связано рассмотрением в процессах функционирования для каждого такта поведения системы на некоторых представляющих интервалах времени, т. е. не предполагается, что предыдущее функционирование достаточно полно и точно выражается в сформировавшемся следующем состоянии (памяти) модели.
Положение 5 является следствием представлений об объекте диагностирования как о системе, в которой взаимосвязаны и взаимодействуют процессы различной природы: физические, электронные, информационные, механические, процессы с участием человека и т. д. Требующееся разнообразие диагностических средств необходимо для получения диагностической информации и повышения эффективности технического диагностирования (например, в некоторых случаях лаборант с ванной для измерения объема тел работает эффективнее, чем группа математиков-вычислителей, решающих задачу определения объема тел математическими методами).
Результаты исследований, начиная с работ [4, 5] и продолженные, например, работами [6—11], показывают, что принципиальное изменение формы задания модели (задание законов функционирования и конкретных вариантов функционирования автоматов геометрическими фигурами), замена символьной рекурсии вычислительными (числовыми) процедурами (на основе изоморфного вложения словарных геометрических образов автоматов в числовые геометрии), применение как основных методов интерполяции и экстраполяции позволяют получать решения задач из указанного класса задач, по крайней мере, в частных случаях.
Определяющие и разрабатываемые идеи следующие:
— представление законов функционирования и конкретных вариантов функционирования автоматов соответственно геометрическими фигурами на основе интерполяции координат точек;
— применение математического аппарата интерполяции и экстраполяции для удовлетворения условий и ограничений, определяемых положениями 1—4;
— использование (почти очевидное) приведения разнородных средств технического диагностирования (тестирование, измерение физических параметров, решение диагностических задач, визуальный осмотр и сигнализация) к единой форме: связи входных и выходных сигналов автомата (см. работу [12]).
Исследование класса выделенных задач технического диагностирования не только не завершено, но и в принципе не может быть окончательным в связи с объемом класса, сложностью задач, необходимостью выделения из класса подклассов задач. Этим объясняется актуальность данной публикации.
1. ГЕОМЕТРИЧЕСКИЕ ОБРАЗЫ КОНЕЧНЫХ ДЕТЕРМИНИРОВАННЫХ АВТОМАТОВ
Поведение инициального конечного детерминированного автомата А = (S, X, Y, 8, X, s), где S, X, Y — конечные непустые множества состояний, входных и выходных сигналов, а8:5х^Т^5иХ:5х^;'^ У — функции переходов и выходов, определяется как отображение р^ =
= U {(р* X(s, />))}, где X* — множество всех конечных
ре!*
слов в алфавите X.
р
которое можно ввести на основании выбора линейного порядка Wj на множестве X* первых элементов пар. Определим линейный порядок a>j.
Правило I. На множестве X вводим некоторый линейный порядок (который будем обозначать -<j):
X, Ч, X, ч, ... ч, Хк ч, ...
Правило 2. Порядок а>] на множестве Xраспространим до линейного порядка на множестве А"*, полагая, что:
— для любых слов p]t р-, е X* не одинаковой длины
bil < Ы ^ Р] <1 Pv
— ДЛЯ любых СЛОВ pv Pj е Z*, ДЛЯ которых ф Pj И \рх\= \Рт\, ИХ отношение ПО порядку a>j повторяет отношение ближайших слева несовпадающих букв слов р} и р2.
Аналогично определяется порядок ю, на множестве слов У*.
Для изображения (представления) связей между упорядоченными множествами (Jf*, Wj) и (У ю,) выберем прямоугольную систему координат с осью абсцисс (Jf*, a>j) и осью ординат (У ю,). Тогда поведение инициального автомата (A, s) изображается как ломаная линия с верши-
р
Геометрический образ ys определяет законы функционирования автомата (A, s). Конкретное функционирование автомата, соответствующее приложению к автомату входной последовательности р = хг х^ —Х/ , представлено сечением геометрического образа по точкам с первыми координатами xt- , xt- х^ ,..., xt- х^ (рис. 2).
Интерполяция ломаной линии z, представленной в юю
зей вершин линии с элементами множества X* и взаим-
(»2)
Xі Xі X3
Рис. 1. Геометрический образ как изображение автоматного отображения рг с использованием порядков ю1 и ю2;
X' — конкатенация »-й степени множества X
Рис. 2. Геометрический образ конкретного функционирования автомата как сечение геометрического образа по точкам, первые координаты которых являются префиксами, прикладываемой входной последовательности
неоднозначностью таких связей, позволяет по ломаной
8
ходов X автомата вида А = (S, X, У 8, X) с бесконечным множеством состояний S = е х,.
Определение I. Ломаную линию ^ в прямоугольной системе координат с осью абсцисс (А'*, C0j) и осью ординат (У, со,) будем называть автоматной линией, если множество вершин U_ линии ^ удовлетворяет условиям:
• UzczX*xY\
• для каждого элемента р е X* (р ф е) существует
ее
8X
нированный автомат с конечным или бесконечным множеством состояний S и конечными множествами входных сигналов X и выходных сигналов У. Тогда:
• для каждого s е S множество 5(s) = е х„, определяемое правилом 5е = s и для любого ре X* (рфе) s =
8
социированных с инициальным автоматом (A, s);
• инициальный автомат (F(A), s) будем называть геометрическим представлением автомата (A, s), если
8 X е
ре X* 8 f(sp,x) = spx и XF(sp, х) = X(8(s, р), х). Теорема 1. Любая автоматная линия в системе координат с осью абсцисс (A"*, coj) и осью ординат (У, со,) однозначно определяет геометрического представителя 8X
8X
Доказательство. Покажем, что автоматная линия Z однозначно определяет функции 8F: S(s) х X ^ S(s) и
XF:S(s) хХ^ Y. Вершины (хр yJ{), (х,, yh ), ..., (хт, у}^)
8X
pax (,se, x,),(.se, х2), ..., (^, хт) по правилам: 8/.(,se> х) = = sx , XF(se, х(.) = yj , 1 < i < т. Для любых р е X* ихе X
88
автоматной линии ^ только одна точка линии имеет координаты (рх, у) при некотором у е Y Тогда XF(sp, х) = у, 8X
и на всем множестве X*. ♦
По положению 2 для любого фиксированного интервала (/р /,) диагностирования в реальном времени возможно наблюдение только в части у(/р kv k2) образа Y. Эта часть определяется значением tl реального времени, прошедшего от начала функционирования объек-
та диагностирования, и номером к1 такта функционирования, с которого предполагается диагностирование. Размеры интервала (/р /,) задают число тактов функционирования объекта диагностирования, которое можно использовать для диагностирования. Числа а(/р Л)) и 6(/,, Д:,) являются номерами входных последовательностей соответственно с которой можно начать диагностические процедуры, и после которой диагностирование исключается (рис. 3).
Таким образом, интервалом (/р /,) реального времени выделяется множество (V последовательностей входных сигналов, где 1¥= {р: р е X* & а(/р кл) < г(р) < Ьи2, к2)\, продолжение которых можно использовать при техническом диагностировании. Возможные наблюдаемые реализации на такие диагностические процедуры представлены отдельными точками части у(/р t2\ &р к2) геометрического образа у.
Частью у (/), t2\ кх, к2) определяется множество возможных вариантов функционирования, из которого при каждом конкретном варианте р = р'х(- х^ ...х(-
наблюдаются только связи (рх, < У X (р'х.х, , Yi ),...,
чг / - чг 1/2' Н
(р'х, X, ..X, , у. ) (рис. 3).
‘1 ‘2 1(£> ■*(£>
Проведенные рассуждения позволяют сделать вывод
о том, что математический формализм в определении функционирования объектов диагностирования, ограниченных положениями 1 и 2, представляет процесс получения диагностической информации как конечное множество точек геометрического образа у. Эти точки извлечены из частей вида у(/р t~l; &р к2) образа у^ и определяют диагностическую информацию как промежуточную, так и заключительную для логических выводов. Из принимаемого положения 3 следует, что свободный выбор интервала времени для получения диагностической информации требует, чтобы известные и подтверждаемые в процессе диагностирования отдельные точки геометрического образа были явно представлены математической моделью объекта диагностирования на любом (достаточно большом) интервале абстрактной оси времени. Ось абсцисс (X*, со]) преобразуется в ось абстрактного времени на основе замены элементов множества X* их номерами по линейному порядку со]. Для этого используются следующие теоремы 2—4.
Рис. 3. Схема связи интервалов (^, Ц) и (А1; к2) с частью у8(^, &р к2) геометрического образа у*
Теорема 2. Пусть р& X* н р = х- х- ...х- , где к е Л^+.
Тогда номер г(р) слова р по порядку со] определяется равенством
к
г(р) =
]= 1
ее
меров по порядку со] гх(рх) — г^р) определяется по формуле г, (/иг) - г^(р) = (|^| - 1 )г](р) + г^х). ♦
Теорема 4. Пусть у — геометрический образ в геометрии Г] некоторого инициального конечного детерминированного автомата (А, я0) с множеством входных сигналов X', р е X* (р ф г) и я = 5(л0, р). Тогда образ у5 инициального автомата (А, л) образован точками, первые координаты которых имеют номера г, определяемые неравенствами
и и - 1
X \ху+ ф)\х\и <г < X \ХУ +(П(Р) + 1)1*1” - !• ♦ ./' = о ] = в
Доказательства теорем см., например, в работе [6]. Основной задачей, решение которой удовлетворяет положению 3, является разработка идеи и основанного на ней метода размещения некоторых точек геометрического образа у5 на всей неограниченной оси времени. Для этого разработаны три подхода:
• применение принципа: у любого конечного детерминированного автомата имеются такие его подавтоматы, с помощью которых на любом, как угодно удаленном, интервале времени достаточно просто определяются некоторые точки геометрического образа;
• замена функциональной связи от оси (X*, С0|) к оси (У, со,) связью только между упорядоченными значениями функции, т. е. рассмотрением рекуррентной зависимости в последовательности вторых координат точек геометрического образа у5;
• изоморфное вложение словарного геометрического образа у5 в главный квадрант декартовой системы координат на евклидовой плоскости на основании числовых номеров элементов множеств X* и У (соответственно по порядкам со] и со,) и использование развитого математического аппарата интерполяции и экстраполяции.
2. ХАРАКТЕРИСТИЧЕСКИЕ АВТОНОМНЫЕ ПОДАВТОМАТЫ ИНИЦИАЛЬНЫХ АВТОМАТОВ
Рассмотрим инициальный конечный детерминированный автомат (А, л), где А = (Я, X, у 8, X), и бесконечное семейство ассоциированных с ним инициальных автономных подавтоматов а = {а' } е х„ определяемых правилом а = (5, {р}, У 8 , X ), где для любого л е 5 8 (я, р) = 8(я, р) и X (л, р) = у, где у — последняя буква выходного слова Х^, р).
Предлагаемые интерполяция и экстраполяция разработаны на основе теоремы 23 из работы [13]. Ее анало-
Рис. 4. Пример структуры диаграммы Мура автомата вида А = (5, М, ¥, 8„, Х„)
гом для случая инициальных автономных подавтоматов заданного автомата является
Теорема 5. Пусть А = (5, X, У 8, X) — конечный дее
Мура автономного автомата ар = (5, {р}, У 8 , X ), гдеяля любого я е 5 8 (я, р) = 8(я, р), X (s, р) — последняя буква выходного слова к($, р), имеет следующую структуру:
— диаграмма состоит из конечного множества изолированных связных графов;
— каждый граф имеет точно один цикл или петлю;
— вершины цикла (или вершина петли) могут быть корнями деревьев. ♦
Диаграмма Мура инициального автономного автомата имеет точно одну компоненту связности (рис. 4).
Теорема 5 позволяет использовать специфическую структуру автономных подавтоматов типа ар для достаточно простого и без рекурсивных вычислений размещения пар вида (рг, у^), где у — целое положительное число, на всей оси абстрактного времени. На рис. 5 показано размещение точек геометрического образа, определяемых циклами в диаграммах Мура для автономных подавтоматов.
е
рого числа к0, соответствуют только обходы цикла в диаграмме Мура инициального автономного подавтомата а = (5, {р}, У 8 , X , з0). Для любого числа п е N бесконечное множество точек геометрического образа того автомата, подавтоматом которого является а , определяемых циклами диаграммы Мура для подавтомата ар.
ТТГЙЙУ
Рис. 5. Схема размещения узлов интерполяции, определяемых циклами в диаграммах Мура для инициальных автономных подавтоматов
Множество точек геометрического образа у, первыми координатами которых являются элементы последовало ко + 1
тельности р , р , ..., может использоваться как множество интерполяционных узлов для методов приближенного представления законов функционирования автоматов.
3. МЕТОДЫ ИНТЕРПОЛЯЦИИ И ЭКСТРАПОЛЯЦИИ ЗАКОНОВ ФУНКЦИОНИРОВАНИЯ ОБЪЕКТОВ ДИАГНОСТИРОВАНИЯ
Конструктивизм аппарата символьной математики, представленный табличными, матричными и графовыми средствами задания автоматов, ограничен для практического применения. Основными препятствиями оказываются большие размеры математических описаний и нереализуемость их рекурсивной расшифровки. Для других, недиагностических, целей в математике разработаны методы интерполяции и экстраполяции, позволяющие по неполным данным определять математические структуры. Основные задачи заключаются в выборе узлов интерполирования и построении интерполяционных функций. Перевод словарных координат (р, у) точек геометрического образа у5 в целочисленные координаты
ее
ветственно по порядкам со] и со,, позволяет применять интерполяцию и экстраполяцию для диагностических моделей в полном объеме. Если выбор узлов интерполяции свести к построению диаграмм Мура для инициальных автономных подавтоматов типа ар, где р е и использованию циклов соответствующих компонент связности диаграмм, то одной из основных задач стано-
Пусть и = у, , у.
у, , ... последовательность вто-
вится выбор семейства подавтоматов {аи}и е и, гае и с X*. Вторая основополагающая задача — это выбор и разработка интерполяционных функций. Здесь первичными решениями могут быть классические методы интерполяции.
Новой задачей оказывается интерполирование на всей оси (X*, со]), точнее, оси номеров входных последовательностей, при условии, что «расстояние» между узлами обхода цикла увеличивается (см. рис. 5). Интерполирование при техническом диагностировании больших и сложных систем необходимо как для расширения модели на интервалы неопределенных связей входных и выходных сигналов объекта диагностирования, так и для замены попыток точно описать объект приближенной моделью.
4. ИНТЕРПОЛЯЦИЯ НА ОСНОВЕ РЕКУРРЕНТНЫХ ФОРМ
Как уже отмечалось, связь элементов упорядоченного множества (X*, со]) с элементами множества У может быть заменена связью элементов в последовательности вторых координат точек геометрического образа у5. В этом случае для начальной части любой конечной длины из геометрического образа существует рекуррентная форма конечного порядка, определяющая эту начальную часть образа. При зафиксированном порядке рекуррентной формы определяемая формой последовательность состоит из начальной части конечной длины и бесконечной периодической части.
рых координат точек геометрического образа у5 и -г2> •••> ь,) = + і — рекуррентная форма порядка
т для последовательности и, т. е. для любого к> т для последовательности и выполняется равенство
У,
1к+ 1
Р(У]1 ,’Уь
■'к - т+ I •/к-т + 2
(і)
Рекуррентная форма г2, ..., 1Ш) = 1т + ] может рассматриваться как интерполяционная функция частного типа и использоваться для приближенного задания законов поведения объекта диагностирования.
Существенным увеличением эффективности при интерполяции геометрического образа автомата является задание последовательности вторых координат точек геометрического образа рекуррентными формами для некоторых подпоследовательностей точек геометрического образа.
5. МЕТОДЫ ТЕХНИЧЕСКОГО ДИАГНОСТИРОВАНИЯ СЛОЖНЫХ СИСТЕМ
Сформулированные во Введении положения 1—5 характеризуют класс задач технического диагностирования, решение которых требует отказа от традиционных и распространенных взглядов и методов технического диагностирования. Известный формальный аппарат с представлением объектов диагностирования таблицами, матрицами, графами и логическими уравнениями и почти очевидными методами построения тестов перестает быть определяющим. Методическое и вспомогательное значение этого аппарата сохраняется.
Основу предлагаемых методов решения задач технического диагностирования составляют результаты анализа и разработок, изложенные в § 1—3 и в работах [4—13]. Эти методы обеспечены конструктивизмом (точными процедурами, моделями, формальными критериями и т. п.) фрагментарно, и в них включаются еще не полученные решения некоторых вопросов, что является следствием новизны методов. Отметим, что принципиальные математические структуры (таблицы, графы и т. п.) остаются не только как элементы в предметном языке теории, но и необходимы с методической и конструктивной точки зрения.
Исходными данными для рассматриваемых методов технического диагностирования являются полностью или частично определенные геометрические образы конечных или бесконечных детерминированных автоматов. Получение диагностической информации с помощью экспериментов с автоматами ограничивается возможностями взаимодействия средств диагностирования с объектами, выделенными положениями 1—5 (см. Введение). Алгоритмизация методов в данной статье не представлена.
5.1. Метод технического диагностирования сложных систем с использованием геометрических образов автоматов
I этап. Построение математических моделей средств технического диагностирования в форме связи диагностических взаимодействий с реакциями на них объекта диагностирования. Сведение моделей разнородных диагностических средств (тестирования, измерения физи-
ческих параметров, решения диагностических задач, визуального осмотра, автоматической сигнализации) к единой общей модели.
II этап. Построение математических моделей в форме геометрических образов для объекта диагностирования, включающее в себя разработку геометрических образов на основе интерполяции и экстраполяции:
— выбор узлов интерполяции, представляющих известные фрагменты поведения объекта диагностирования;
— разработку интерполяционных функций, описывающих объект диагностирования в работоспособном состоянии и при учитываемых неисправностях;
— построение моделей объекта диагностирования, базирующихся на интерполяционных функциях.
III этап. Разработка стратегии поведения диагностического эксперимента на основе анализа геометрических образов, позволяющей эффективно получить диагностическую информацию для решения задачи.
IV этап. Реализация диагностического эксперимента в соответствии со стратегией, разработанной на этапе 111.
5.2. Пример схемы реализации метода технического диагностирования
На этапе I решаются две задачи: совмещение разнородных средств технического диагностирования в единую процедуру и представление в этой процедуре ресурсов, режимов, ограничений на процесс диагностирования. Для решения первой задачи используется структурное представление входных х и выходных у сигналов объекта диагностирования: х = (х1, х~, ..., ха) и у = (У, у", ..., уа), где для каждого /, 1 < / < а, связь х' и у1 соответствует конкретному средству диагностирования (тестированию, измерению физических параметров, решению диагностической задачи, визуальному осмотру и т. п.). Одним из частных решений второй задачи является выделение на оси (X*, или в геометрическом образе точек и частей, выбираемых для получения диагностической информации (рис. 6). На этом рисунке показаны части геометрических образов автоматов, доступные для наблюдения рассматриваемыми средствами диагностирования.
Этап 2 метода включает в себя решения задач построения математических моделей, описывающих работоспособное состояние объекта и учитываемые его не-
Рис. 6. Выделение областей ((У., У.) диагностической информации, доступной для применяемых средств диагностирования
исправности. Основными идеями, на которых конструируются модели:
— построение интерполяционных узлов по неполной информации об объекте диагностирования, базирующееся на размещении узлов на всей оси (X*, со]), определяемых как вершины циклов диаграмм инициальных автономных подавтоматов (см. рис. 6);
— построение интерполяционной функции традиционными средствами (интерполяционные формулы Лагранжа, Ньютона, Гаусса, Стирлинга, Бесселя) или в виде рекуррентной формы (1).
На этапе III определяется стратегия проведения эксперимента с объектом диагностирования для получения диагностической информации. Достаточная полнота диагностической информации зависит от размещения частей геометрических образов выделенных на этапе 1 областей потенциальной диагностической информации. Критерием существования решения диагностической задачи является существование для каждой пары геометрических образов выделенной на этапе 1 области, в которой образы не совпадают. Для поиска стратегии проведения диагностического эксперимента можно использовать построение и анализ частично определяемого дерева вариантов функционирования расщепляемого автомата. Входные и выходные сигналы расщепляемого автомата определяются реализацией 1 этапа метода. Структура расщепляемого автомата неявно и только частично разрабатывается на втором этапе реализации метода. В дереве вариантов функционирования расщепляемого автомата, построенного для семейства автоматов, задающего модель работоспособного объекта и его учитываемые неисправности, должны быть представлены положениями 1—5 (см. Введение).
Этап IV в рассматриваемом методе выделен из теоретических разработок моделей и стратегии получения диагностической информации и является этапом получения фактических данных в условиях реального эксперимента. Правила логического вывода, дающие результаты эксперимента, представлены в стратегии технического диагностирования.
6. КЛАССИФИКАЦИЯ ГЕОМЕТРИЧЕСКИХ ОБРАЗОВ ЗАКОНОВ ФУНКЦИОНИРОВАНИЯ СЛОЖНЫХ ОБЪЕКТОВ ТЕХНИЧЕСКОГО ДИАГНОСТИРОВАНИЯ
Новый способ геометрического задания законов функционирования дискретных детерминированных объектов технического диагностирования позволяет построить классификацию геометрических образов на основе рекуррентного представления последовательностей вторых координат точек геометрического образа. Введение линейного порядка со] на множестве последовательностей входных сигналов X* линейно упорядочивает автоматное отображение р = и Ка X(s, />))} и поре х*
рождает последовательность £ = х^, рг^Щр, х,),
..., ргМ^ х,х,), ..., рг^, р), ...>, где а = \р\
и рг^д) обозначает /-ю букву слова ц. Любая рекуррент-
е
т при конечном множестве £/ определяет последовательность, которая, начиная с некоторого элемента, яв-
ляется периодической. Упростим представление последовательности ^ до видаЕ, = <и(1), «(2), ..., и (і), ...> и ограничимся рассмотрением ее начального отрезка Е, = = <а(1), и(2), ..., и(к0)>.
В качестве базовых параметров и характеристик для классификации последовательностей вида Е, будем использовать:
1) наименьший порядок т0 рекуррентной формы,
Е
Е Е Е Е Е
тными формами порядков 1, 2, ..., т0 при наименьших возможных порядках форм;
3) набор из т0 последовательностей
Е Е Е
Е Е Е
ЕЕ
Е
Е
рекуррентной формой порядка / и не определяемого реЕ
у I
Параметры и характеристики, введенные в п. 1—3, можно дополнить на основе учета сложности используемых рекуррентных форм. Для этого определим слож-ЕЕ
значений аргументов рекуррентной формы, использованных при определении отрезка ЕДЕ,у) последователь-Е
Пусть и = (и(1 — т), «(/ — т + 1), ..., и(/ — 1)). Вес с1(и) набора и представим формулой: с1(и) = т0 + а, где т0 — наименьший порядок рекуррентной формы, определяющей последовательность < и > или обратную к ней
<и 1 >. Тогда весом рекуррентной формы при определе-ЕЕ
ванных на отрезке наборов аргументов. Это позволяет углубить классификацию последовательностей, построенную на основе пунктов 1—3, дополнением к этим пунктам значений весов использованных рекуррентных форм. Следовательно, основными положениями предлагаемой классификации автоматных моделей объекта диагностирования (модели работоспособного объекта и модели его неисправностей) оказываются спектры характеристик, построенные в соответствии с пунктами 1—3, и их расширений с использованием весовых характеристик. Такая классификация позволит выделить классы объектов диагностирования и разрабатывать для них эффективные методы поиска стратегий технического диагностирования сложных систем.
ЗАКЛЮЧЕНИЕ
В данной статье предложен метод технического диагностирования больших и сложных систем, относительно которых выделены специфические свойства (положения 1—5). На основе этих свойств обоснована необходимость диагностических моделей, базирующихся на
интерполяции и экстраполяции. Дш этого разработаны символьные геометрические образы законов функционирования автоматов и геометрические образы конкретных вариантов функционирования.
Частичная диагностическая информация, имеющаяся и полученная в процессе эксперимента (процессе диагностирования), преобразуется в узлы интерполяции в результате замены словарных координат точек геометрического образа числовыми координатами. Оказываются применимыми стандартные приемы интерполяции и экстраполяции. Разработано рекуррентное задание геометрических образов. Кроме этого, найден прием, как при частично определенной автоматной модели формировать узлы интерполяции на всей абстрактной оси времени функционирования объекта диагностирования. Дш этого используется найденная специфика структуры диаграмм Мура для инициальных автономных подавтоматов, задающих работоспособную систему и рассматриваемые ее неисправности. Предложенные принципы классификации дискретных детерминированных объектов диагностирования на основе свойств геометрических образов автоматов могут стать основой для разработки стратегии диагностирования сложных систем.
ЛИТЕРАТУРА
1. Мур Э. Умозрительные эксперименты с последовательностными машинами // В кн.: Автоматы. — М.: ИИЛ, 1956.
2. Гилл А. Введение в теорию конечных автоматов. — М.: Наука, 1966.
3. Основы технической диагностики / Под ред. П. П. Пархоменко. — М., 1976. Вып. 1.
4. Твердохлебов В. А. Распознавание автоматов на основе геометрической интерпретации // Тез. докл. XI Международной конференции «Проблемы теоретической кибернетики». — Москва, 1996. — С. 191.
5. Твердохлебов В. А. Техническое диагностирование в геометрической интерпретации задач, моделей и методов // Материалы Междунар. конф. «Автоматизация проектирования дискретных систем». — Минск, 1995. — Т. 1. — С. 97.
6. Твердохлебов В. А. Построение и анализ геометрических образов конечных автоматов // Сб. науч. тр. ИПТМУ РАН «Проблемы точной механики и управления». — Саратов, 2002. - С. 94-100.
7. Твердохлебов В. А. Дискретные пространства в задачах управления и диагностирования // Докл. Академии военных наук. - 2003. — № 9. - С. 102-108.
8. Tverdokhlebov V. A. The general features of geometrical images of finite state machines // Proc. of East-West Design & Test Workshop (EWDTW'2004). - Alushta, 2004. - P. 243-247.
9. Твердохлебов В. А. Геометрические образы конечных детерминированных автоматов // Изв. Саратовского университета (Новая серия) 2005. — Т. 5, вып. 1. — С. 141 — 153.
10. Твердохлебов В. А. Техническое диагностирование изменений параметров и свойств систем // Радіоелектронні і комп'ютерні системи. — 2006. — № 6. — С. 119—123.
11. Твердохлебов В. А. Геометрические образы поведения дискретных детерминированных систем // Там же. — 2006. — № 5. - С. 161-165.
12. Резчиков А. Ф., Твердохлебов В. А. Техническое диагностирование мехатронных систем // Мехатроника. Автоматизация. Управление. — 2003. — № 2. — С. 2—6.
13. Богомолов А. М., Твердохлебов В. А. Диагностика сложных систем. — Киев: Наукова думка, 1974. — С. 103.
Я (8452) 22-10-42
e-mail: Tverdohlebov- [email protected]
Статья представлена к публикации членом редколлегии
О. П. Кузнецовым. □