Разработка и реализация моделирования и диагностирования динамических систем тема диссертации и автореферата по ВАК РФ 05.13.01, кандидат технических наук Корабельников, Григорий Яковлевич

• Корабельников, Григорий Яковлевич
• кандидат технических наук
• 1985

Оглавление диссертации кандидат технических наук Корабельников, Григорий Яковлевич

ВВЕДЕНИЕ.

1. ТЕОРЕТИКО-СИСТЕМНАЯ ПОСТАНОВКА ЗАДАЧИ ДИАГНОСТИРОВАНИЯ.

1.1. Постановка задачи диагностирования динамических систем.

1.2. Алгебраический подход к построению диагностических моделей динамических систем.

1.3. Модель реализации дискретного преобразования Фурье.

1.4. Выводы.

2. ДИАГНОСТИРОВАНИЕ ЛИНЕЙНЫХ ДИНАМИЧЕСКИХ СИСТЕМ.

2.1. Постановка задачи диагностирования.

2.2. Метод нахождения марковских параметров линейной системы.

2.3. Нахождение марковских параметров для рабочих воздействий.

2.4. Применение методов оптимизации для диагностирования динамических систем.

2.5. Метод нахождения доверительных интервалов для параметров линейной системы.

2.6. Пример диагностирования линейной динамической системы.

2.7. Выводы.

3. ПОСТРОЕНИЕ СИСТЕМЫ ФУНКЦИОНАЛЬНОГО КОНТРОЛЯ ЛИНЕЙНОГО ПРЕОБРАЗОВАНИЯ.

3.1. Линейная система контроля.

3.2. Свойства преобразования Фурье и их использование для контроля.

3.3. Построение алгоритма контроля.

3.4. Процедура проведения контроля.

3.5. Выводы.III

4. АЛГОРИТМЫ ДИАГНОСТИРОВАНИЯ БЫСТРОГО ПРЕОБРАЗОВАНИЯ

ФУРЬЕ.

4.1. Функциональное диагностирование быстрого преобразования Фурье по норме вектора состояния.

4.2. Функциональное диагностирование быстрого преобразования Фурье с использованием матриц факторизации.

4.3. Алгоритм локализации неисправностей в сигнальном графе ЕПФ.

4.4. Выводы.

5. ПРИМЕНЕНИЕ РАЗРАБОТАННЫХ МЕТОДИК МОДЕЛИРОВАНИЯ И ДИАГНОСТИРОВАНИЯ К РЕАЛЬНЫМ ОБЪЕКТАМ.

5.1. Описание объекта диагностирования.

5.2. Переменные математической модели, параметры и коэффициенты описания системы управления.

5.3. Построение и анализ модели контура положения системы управления линейным асинхронным двигателем.

5.4. Моделирование и диагностирование системы управления ПЛЭП.

5.5. Выводы.

Введение диссертации (часть автореферата) на тему «Разработка и реализация моделирования и диагностирования динамических систем»

ХХУТ съезд КПСС, последующие Пленумы ЦК КПСС определили долгосрочную стратегию развития экономики нашей страны - интенсификацию всего народного хозяйства. Одним из важнейших направлений интенсификации является автоматизация производства на основе широкого применения электронно-вычислительной техники.

В решениях ХХУТ съезда КПСС поставлена задача на основе достижений науки и техники обеспечить дальнейшее развитие производства и широкое применение встроенных систем автоматического управления с использованием микропроцессоров и микро-ЭВМ [ I ] .

Обеспечение требуемого уровня надежности этих систем невозможно без применения методов технической диагностики. Эти методы представляют собой также одно из эффективных средств сокращения материальных затрат и экономии рабочей силы [2J .

Основные цели и задачи технической диагностики изложены в работах [3, 4, II, 14] .

В соответствии с [ 46 J необходимым этапом при разработке системы диагностирования является построение математической модели объекта диагностирования. Работа с моделью, а не непосредственно с реальным объектом, позволяет использовать развитый математический аппарат.

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

Начальным этапом в общем комплексе работ по математическому моделированию является идентификация изучаемого объекта [ 32-34][ , т.е. построение его математической модели с учетом ее назначения.

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

Применение модели исследуемого объекта существенно зависит от выбора конкретного объекта [35] . Чтобы разумно выбрать модель из множества возможных, нужно проанализировать степень сложности ее решения, которая зависит от порядка модели, т.е. числа независимых функций, которые требуются для описания процесса, и числа параметров, включенных в модель. Естественно, что чем проще модель, тем быстрее и легче может быть найдено ее аналитическое и численное решение. Однако сложная модель, как правило, более адекватно описывает объект диагностирования. В задачах диагностирования это позволит точнее соотнести параметры модели с возникшими неисправностями и, тем самым, с физическими параметрами реального объекта.

Поскольку модель неизбежно отличается от реально существующего объекта диагностирования, пригодность ее зависит, главным образом, от степени упрощения, обусловленного этим отличием. Поэтому в процессе построения модель может уточняться еще до применения ее в целях диагностирования. В [31] предложена процедура усовершенствования модели, изображенная на рис. I.I.

Дня построения диагностических моделей объектов используются линейные и нелинейные дифференциальные уравнения, матричные алгебраические уравнения, логические уравнения, графы, структурные, эквивалентные и принципиальные схемы [14] . Объекты непрерывного типа, кроме того, могут быть представлены функциональными и динамическими характеристиками.

Широкий класс объектов управления может быть описан моделью

Рис. I.I в пространстве состояний, для которой можно указать связь между описыващими их параметрами и физическими характеристиками объекта, на основании информации о значениях коэффициентов принять решение о состоянии системы (исправна - неисправна) и локализовать неисправные параметры.

Необходимо отметить, что условием построения математических моделей объектов диагностирования является задание моделей неисправностей. В аналитических моделях, а также моделях, получаемых по совокупности причинно-следственных связей, неисправности моделируются как недопустимые изменения значений параметров диагностирования. В моделях, описываемых логическими соотношениями, рассматриваются неисправности двух типов: константа 0 и константа I.

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

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

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

В работах [ 4-7] используются модели объектов диагностирования в виде дифференциальных уравнений или передаточных функций. Неисправности, возникающие в таких объектах, обнаруживаются по деформации реакции на тестовые воздействия.

В работе [ 14] модель линейной системы представляет собой совокупность элементов с дробно-рациональными передаточными функциями. В систему вводятся избыточные переменные [29] , и по результату решения контрольного уравнения делается вывод о правильности функционирования объекта диагностирования.

Условия работоспособности технических объектов могут быть заданы в виде допустимых изменений динамических характеристик, фиксируемых по перемещению корней характеристического уравнения. Нахождение соответствующих этим изменениям допусков на прямые контролируемые показатели может быть выполнено с помощью метода малого параметра [б, 9 J .

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

Большим преимуществом моделей логического типа является их простота, но они обладают ограниченными возможностями по локализации взаимосвязанных параметров. При использовании моделей этого типа строится таблица функций неисправностей. Однако непосредственное ее использование как формы представления информации для алгоритмов диагностирования не всегда возможно по причине большой размерности таблицы [ з] . Должна быть построена оптимальная последовательность проверок. Обобщением задач построения оптимальных проверок является теория вопросников [ 11-13 ] , которая рассматривает задачи идентификации элементов конечных множеств путем разбиения этих множеств на классы.

Модели объектов могут рассматриваться как во временной, так и в частотной области. Использование моделей в частотной области вместо моделей во временной области обусловлено тем, что для некоторых моделей частотную характеристику аналитически можно получить довольно легко, а решение во временной области может выражаться в виде сложного временного ряда. Но до недавнего времени использование моделей в частотной области было затруднено из-за вычислительных сложностей преобразования Фурье. В связи с широким развитием алгоритмов быстрого преобразования Фурье (БШ) [ 41-44, 66, 89 J объем вычислений, выполняемых при переходе из временной области в частотную и обратно, совратился до приемлемой величины. Возникла необходимость построения алгоритмов и программ диагностирования ШФ как линейного преобразования.

При оценке состояния объекта по его частотным характеристикам могут быть использованы методы, известные в теории автоматического управления [ 39 J для определения частотных характеристик и сравнения их с номинальными. Иногда можно ограничиться оценкой отклонений частотных характеристик от номинальных в наиболее характерных точках.

В последнее время большое внимание уделяется разработке алгебраических методов построения моделей систем и их исследования в пространстве состояний. В [ 65 ] приведен обширный список литературы, в которой обсуждаются алгебраические методы пространства состояний применительно к тем задачам, в которых рассматриваются конечномерные стационарные линейные объекты.

Алгебраическая формулировка задач исследования систем управления, представленных моделью в пространстве состояний, способствовала применению аппарата абстрактной алгебры для постановки и решения основных задач теории. Наиболее полно алгебраическая теория линейных систем, основанная на алгебраической теории модулей над кольцом многочленов, изложена в [ 52] .

В [ 53 ] показано, что при помощи формализации, принятой в теории категорий, можно рассматривать и теорию Калмана Р,, и теорию систем, в которой множества состояний, входов и выходов являются группами. Показано, что линейность не играет существенной роли в основных результатах теории линейных систем. Этот подход позволяет с единой точки зрения рассматривать теорию непрерывных и дискретных линейных систем, алгебраическую теорию автоматов, теорию нелинейных последовательностных машин. В связи с задачами диагностирования попытки такого рода предприняты в ^62, 67. В [ 62] на языке теории категорий построены модели, отражающие возникновение дефектов в линейной стационарной динамической системе, линейной последовательностной машине и конечном автомаге, предложены 1фитерии диагностируемости.

Существующие методы технического диагностирования могут быть разбиты [2б] на две большие группы: контроль за техническим состоянием объекта в' пространстве параметров и контроль за техническим состоянием объекта в пространстве сигналов. Методы первой группы позволяют определить текущие значения параметров объекта и оценить их отклонения от номинальных значений. В методах второй группы проверяется отклонение выходных сигналов объекта от рассчитанных теоретически.

Методы первой группы используют результаты теории идентификации [32-37] . В зависимости от априорной информации об объекте различают задачи идентификации в узком и широком смысле 33 J . Задача идентификации в широком смысле предполагает решение следующих задач: выбор структуры системы и задание класса моделей, оценивание степени стационарности и линейности объекта, оценивание степени и формы влияния входных переменных на выходные. То есть при идентификации в широком смысле априорная информация отсутствует или очень бедна.

Задача идентификации в узком смысле состоит в оценивании параметров и состояний системы по результатам измерений входо-выход-ных переменных при известной структуре системы и заданном классе моделей, к которому данный объект относится.

В техническом диагностировании используется идентификация в узком смысле [ 15, 16 , 38 , 64 ] . С точки зрения технической диагностики задача идентификации может рассматриваться £ 14 ] как определение по измерениям входных и выходных сигналов модели объекта диагностирования и сравнение ее с номинальной моделью, которая описывает объект при отсутствии в нем неисправностей. Диагностирование в пространстве параметров рассматривается в работах [4-6, 17-22] .

Согласно [47] , функциональное техническое диагностирование осуществляется во время функционирования объекта, на который поступают только рабочие воздействия. К несомненным достоинствам функционального диагностирования относится его непрерывность и связанная с этим оперативность получения информации об объекте диагностирования.

Различные пути построения устройств для функционального диагностирования технических объектов обсуждаются в работах [ 23-29^ . Предлагается для построения устройства, реализующего контрольное уравнение для проверки правильности функционирования объекта диагностирования, использовать метод избыточных переменных ^25, 26, 29, 39] . Суть метода заключается в том, что вводятся дополнительные переменные, которые вместе с выходными сигналами системы должны удовлетворять определенному контрольному уравнению. Метод избыточных переменных относится к группе методов, работающих в пространстве сигналов.

Отличительной особенностью современного этапа развития автоматизации производства является широкое применение новых технических средств, одно из центральных мест среди которых занимает микропроцессорная техника и мини-ЭВМ.

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

Для обработки информации непосредственно в месте ее возникновения могут использоваться микропроцессорные средства вычислительной техники, возникшие на стыке микроэлектроники, вычислительной техники и систем автоматического управления [ 81 ] .

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

Отказоустойчивость - это, согласно [87] , уникальное свойство цифровой системы, обеспечивающее ей возможность продолжать выполнение заданных программой действий и после возникновения неисправностей, что обеспечивает возможность правильной обработки информации.

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

Опыт последних лет показал, что максимальная эффективность использования микропроцессоров достигается в распределенных системах сбора и обработки информации, когда обработка данных (фильтрация, сглаживание, масштабирование и др.) производится в реальном масштабе времени [ 80 ] .

Одним из наиболее универсальных средств описания вычислений, связанных с обработкой данных, является дискретное преобразование Фурье (ДПФ) [ 41-43, 45 , 66 , 89, 90 ] .На долю ДО приходится существенная часть всего объема обработки первичных данных, получаемых от разного рода информационно-измерительных устройств [45 ] .

Повышенное внимание к ДПФ подтверждается и тем, что на сегодняшний день известно уже множество алгоритмов вычисления ДПФ, например, алгоритм Кули-Тыоки [ ИЗ J , алгоритм Сэнда-Тьюки [ 43 ] , алгоритм Винограда [44 , 66 ] , алгоритм Синглтона

114] и др.

Так же, как и в теории систем, в теории цифровой обработки сигналов широкое распространение получил алгебраический подход. В [44 J приведен перечень статей, в которых изложено применение теории чисел для получения алгоритмов вычисления свертки и ДПФ. Алгоритмы из [44 J могут быть разделены на два класса. К одному классу относятся алгоритмы, использующие преобразование Фурье в конечном поле и теоретико-числовые свойства значений, которые могут принимать данные. К другому классу относятся алгоритмы, в которых используются теоретико-числовые свойства адресов данных.

Таким образом, дискретное преобразование Фурье само по себе является очень важным и интересным объектом исследования.

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

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

Так как в этом случае объектом диагностирования является линейное преобразование входных сигналов в выходные, то функционала ное диагностирование таких объектов в пространстве сигналов точнее соответствует содержательной цели проверки правильности функционирования.

Таким образом, судя по доступной автору литературе, нуждаются в дальнейшей проработке следующие задачи:

- детализация и уточнение постановки задачи диагностирования для класса динамических систем и функциональных преобразований;

- разработка обоснований и построение алгоритмов для процедур тестового и функционального диагностирования динамических систем;

- развитие методов исследования моделей объектов диагностирования;

- разработка и исследование алгоритмов для контроля вычислительных процессов, реализующих некоторые функциональные преобразования;

- разработка пакетов прикладных программ для процедур диагностирования и их экспериментальная проверка.

Этим определяются направления и объем настоящей работы. Актуальность работы. Дальнейшее развитие производства и широкое применение встроенных систем автоматического управления с использованием микропроцессоров и микро-ЭВМ предъявляют повышенные требования к обеспечению требуемого уровня надежности этих систем, что невозможно без применения методов технической диагностики.

При ремонте на поиск неисправностей уходит до 20-50 процентов времени восстановления техники, каждый четвертый рабочий в стране занят ремонтом.

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

Объекты исследования. Объектами исследования служат динамические системы, отличительной особенностью которых является стро-гре соответствие физических параметров системы, подлежащей диагностированию, коэффициентам математической модели, функциональные преобразования, а. также методы синтеза и анализа исследуемых моделей.

Цель и задачи работы. Целью работы является развитие методов исследования моделей объектов диагностирования, разработка, исследование, теоретическое и экспериментальное обоснование и программная реализация методов диагностирования линейных динамических'систем, а также разработка методов и алгоритмов диагностирования спецпроцессоров, осуществляющих обработку данных при помощи дискретного преобразования Фурье.

Основными задачами работы являются:

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

- разработка метода и алгоритма контроля правильности функционирования линейного преобразования;

- исследование вопросов полноты построенной системы контроля;

- разработка методов и алгоритмов тестового и функционального диагностирования спецпроцессоров, реализующих дискретное преобразование Фурье;

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

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

Научная новизна работы. В работе решены следующие задачи: I. Разработаны и программно реализованы методы нахождения коэффициентов отображения вход-выход для линейных стационарных динамических систем.

2. Разработан алгоритм диагностирования линейных динамических систем.

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

4. Разработана система контроля линейных преобразований, исследованы вопросы ее полноты.

5. Разработаны алгоритмы тестового и функционального диагностирования спецпроцессоров, реализующих дискретное преобразование Фурье.

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

Реализация работы. Работа выполнялась в соответствии с Координационным планом АН СССР по комплексной программе "Кибернетика" на I98I-I985 гг.

Результаты работы использованы в хоздоговорных работах (г.р.01.82.0089750, г.р. 01.84.0036020), выполненных по важнейшей тематике. Результаты работы внедрены также на ПО "Электро-стальтяжмаш", КНП0 "Маяк", в Конструкторском бюро промышленной автоматики. Документально подтвержденный экономический эффект от использования результатов диссертационной работы - 86 тыс.рублей.

Апробация работы. Основные результаты диссертационной работы докладывались на:

- научном семинаре Горьковского филиала ВНИИНШШ1 Госстандарта СССР, Горький, 1983;

- Всесоюзном семинаре "Проектирование систем диагностики",

Ростов-на-Дону, 1984;

- Всесоюзном семинаре "Контроль изделий микроэлектроники и применение микропроцессорных средств вычислительной техники", Цахкадзор, 1984;

- областном семинаре "Применение и техническая диагностика микропроцессорной техники", Саратов, 1984;

- семинаре подсекции НИО-6 НЭЦ АУВД с участием представителей в/ч 75360, 1984;

- научно-техническом совете СПО им. Орджоникидзе, Саратов,

1984;

- научно-технических конференциях профессорско-преподавательского состава РИСИ, Ростов-на-Дону, I98I-I984.

Публикации. Основные результаты диссертационной работы опубликованы в 8 печатных работах [64, 93, 94, 96-100 ] и двух отчетах о НИР.

Структура работы. Диссертационная работа состоит из введения, пяти разделов, заключения, приложения.

Заключение диссертации по теме «Системный анализ, управление и обработка информации (по отраслям)», Корабельников, Григорий Яковлевич

5.5. Выводы

1. Дня анализа диагностируемости и синтеза диагностических процедур построены модели системы управления загрузочно-выгру-зочной машиной (ЭВМ) с электроприводом от линейного асинхронного двигателя (система 5-го порядка) и контура положения системы управления линейным асинхронным двигателем (ЛАД) (система 2-го порядка).

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

3. Локализация неисправностей в исследуемых системах управления выполнялась на основе использования методов диагностирования, описанных в настоящей работе, и разработанной при участии автора методики, изложенной в [98] , для чего способом, изложенным в главе 2, при различных уровнях шума найдены коэффициенты отображения вход-выход для контура положения системы управления ЛАД. На моделях реальных объектов подтверждена высокая эффективность предложенных методов диагностирования. Установлено, что особенности структуры системы (наличие трех контуров) обеспечивает достаточный уровень диагностируемости. В связи с этим представляется целесообразным включение этих методик диагностирования в качестве основы при разработке соответствующего раздела эксплуатационной документации.

ЗАКЛЮЧЕНИЕ

В диссертации получены следующие основные результаты:

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

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

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

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

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

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

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

8. Работоспособность и высокая эффективность указанных методов диагностирования подтверждена моделированием процедуры диагностирования системы управления загрузочно-выгрузочной машиной с электроприводом от линейного асинхронного двигателя и контура положения системы управления линейным асинхронным двигателем. Исследованы частотные характеристики и выполнен анализ устойчивости, получены аналитические выражения и графическая интерпретация переходных процессов исследуемых систем.

Список литературы диссертационного исследования кандидат технических наук Корабельников, Григорий Яковлевич, 1985 год

1. Основные направления экономического и социального развития СССР на 1.81-1985 годы и на период до 1990 года. - В кн.: Материалы ХЭТ съезда КПСС. М., 1981, с. 131-205.

2. Горелик А. Как "здоровье", машина? Правда, 1984, 9 окт.

3. Основы технической диагностики. Кн. I. Модели объектов, . методы и алгоритмы диагноза /Под ред. П.П.Пархоменко. М.: Энергия, 1976. - 464 с.

4. Мозгалевский А.В., Гаскаров Д.В. Техническая диагностика. М.: Высшая школа, 1975. - 208 с.

5. Мозгалевский А.В., Гаскаров Д.В., Глазунов Л.П., Ерастов В.Д. Автоматический поиск неисправностей. Л.: Машиностроение. Ленингр. отд-ние, 1967. - 264 с.

6. Блинов И.Н., Гаскаров Д.В., Мозгалевский А.В. Автоматический контроль систем управления. Л.: Энергия. Ленингр. отд-ние, 1968. - 152 с.

7. Глазунов Л.П., Мозгалевский А.В. Особенности анализа диагностических процедур сложных систем автоматического управления. В кн.: Техническая диагностика. М.: Наука, 1972, с. I47-I5I.

8. Бритов Г.С., Игнатьев М.Б., Мироновский Л.А. Непрерывная диагностика динамических систем. В кн.: Техническая диагностика. М.: Наука, 1972, с. 96-98.

9. Блинов И.Н., Мозгалевский А.В. Исследование работоспособности автоматической системы при внешних возмущениях. Изв. АН СССР. Техническая кибернетика, 1969, № 4, с. 195-198.

10. Киншт Н.В., Стебуля Г.В. О выборе контрольных точек для диагностики электрической цепи. В кн.: Повышение качества, надежности и долговечности промышленных изделий. Л.: Изд-во ЛДНТП, 1973, с. 67-69.

11. Пархоменко П.П. О технической диагностике. М.: Знание, 1969. 64 с.

12. Пархоменко П.П. Методы и средства технической диагностики и вопросы синтеза структур релейных устройств: Автореф. дис. д-ра техн. наук. М., 1968. - 40 с.

13. Тимонен Л.С. О построении оптимальных программ контроля работоспособности. Автометрия, 1966, Л I, с. 75-81.

14. Мозгалевский А.В. Техническая диагностика (непрерывные объекты): Обзор. Автоматика и телемеханика, 1978, * I, с. 145-166.

15. Кудрицкий В.Д., Синица М.А., Чинаев П.И. Автоматизация контроля радиоэлектронной аппаратуры. М.: Сов.радио, 1977.- 255 с.

16. Элементы теории испытаний и контроля технических систем /Под ред. P.M. Юсупова. Л.: Энергия. Ленингр. отд-ние, 1978.- 191 с.

17. Биргер И.А. Техническая диагностика. М.: Машиностроение, 1978. - 239 с.

18. Богомолов A.M., Твердохлебов В.А. Диагностика сложных систем. Киев: Наукова думка, 1974. - 128 с.

19. Гнедов Г.М., Россенбаум Б.Б., Шунов Ю.Н. Проектирование систем контроля ракет. М.: Машиностроение, 1975. - 224 с.

20. Дятлов В.А., Кабанов А.Н., Милов Л.Т. Контроль динамических систем. М.: Энергия, 1978. - 88 с.

21. Ев ладов Л.Г. Контроль динамических систем. М.: Наука, 1979. - 431 с.

22. Контроль функционирования больших систем /Под ред. Г.П. Шибанова. М.: Машиностроение, 1977. - 356 с.

23. Бритов Г.С., Мироновский Л.А. Контроль линейных конечных автоматов при нелинейной информации о состояниях. Изв. АН СССР. Техническая кибернетика, 1974, № 2, с. 90-96.

24. Бритов Г.С., Мироновский Л.А. Диагностика линейных систем автоматического регулирования. Изв. АН СССР. Техническая кибернетика, 1972, Л I, с. 76-83.

25. Мироновский Л.А. Функциональное диагностирование линейных динамических систем. Автоматика и телемеханика, 1979, № 8, с. 120-128.

26. Мироновский Л. А. Функциональное диагностирование динамических систем: Обзор. Автоматика и телемеханика, 1980, № 8, с. 96-121.

27. Корноушенко Е.К. Обобщенная задача проверки правильности функционирования конечного автомата. Изв. АН СССР. Техническая кибернетика, 1977, № 2, с.109-115.

28. Данилов В.В., Колесов Н.В., Лодкопаев Б.П. Алгебраическая модель аппаратного контроля автоматов. Автоматика и телемеханика, 1975, Л 6, с. II8-I25.

29. Управление вычислительными процессами /Под ред. М.Б.Игнатьева. Л.: Изд-во ЛГУ, 1973. - 298 с.

30. Методика функционального диагностирования объектов, представленных линейными обыкновенными дифференциальными или разностными уравнениями с помощью введения избыточных переменных. Горький: Горьковский филиал ВНИИШАШ Госстандарта СССР, 1978. - 37 с.

31. Хишельблау Д. Обнаружение и диагностика неполадок в химических и нефтехимических процессах. Л.: Химия. Ленингр. отд-ние, 1983. - 352 с.

32. Типовые линейные модели объектов управления /Под ред. Н.С. Райбмана. М.: Энергоатомиздат, 1983. - 264 с.

33. Эйкхофф П. Основы идентификации систем управления. М. : Мир, 1975. - 683 с.

34. Каминекас В., Немура А. Статистические методы в идентификации динамических систем. Вильнюс: Минтис, 1975. - 197 с.

35. Лецкий Э.К., Вучков Й.Н. Об одном методе последовательной идентификации. Изв. АН СССР. Техническая кибернетика, 1970, J§ 2, с. 80-89.

36. Климов Е.Н., Попов С.А., Сахаров В.В. Идентификация и диагностика судовых технических систем. Л.: Судостроение, 1978. - 176 с.

37. Вавилов А.А., Солодовский А.И. Экспериментальное опре- ? деление частотных характеристик автоматических систем. М.: Госэнергоиздат, 1963. - 252 с.

38. Воеводин В.В., Кузнецов Ю.А. Матрицы и вычисления. М.: Наука, 1984. - 320 с.

39. Бахвалов Н.С. Численные методы (анализ, алгебра, обыкновенные дифференциальные уравнения). М.: Наука, 1975. - 631 с.

40. Рабинер Л.Р., Гоулд Б. Теория и применение цифровой обработки сигналов. М.: Мир, 1978. - 848 с.

41. Отнес Р., Эноксон Л. Прикладной анализ временных рядов. Основные методы. М.: Мир, 1982. - 428 с.

42. Макклеллан М. Г., Рейдер Ч.М. Применение теории чиселв цифровой обработке сигналов. М.: Радио и связь, 1983. - 264 с.

43. Цифровая обработка сигналов и ее применение /Под ред. Л.П. Ярославского. М.: Наука, 1981. - 222 с.

44. ГОСТ 20417-75. Техническая диагностика. Общие положения о порядке разработки систем диагностирования. Введ. с 01.01.76. -4с.- Группа Т 59.

45. ГОСТ 20911-75. Техническая диагностика. Основные термины и определения. Введ. с 01.07.76. - 14 с. - Группа Т 00.

46. Заде Л., Дезоер Ч. Теория линейных систем. М.: Наука, 1970. - 704 с.49. 1уравлев Д.П., Котелюк Л.А., Циклинский Н.й. Надежность и контроль ЭВМ. М.: Сов. радио, 1978. - 416 с.

47. Гантмахер Ф.Р. Теория матриц. М.: Наука, 1967. - 575 с.

48. Ахмед Н., Рао К. Р. Ортогональные преобразования при цифровой обработке сигналов. М.: Связь, 1980. - 248 с.

49. Калман Р., Фалб П., Арбиб М. Очерки по математической теории систем. М.: Мир, 1971. - 398 с.

50. Арбиб М., Мейнс Дк. Основания теории систем. Разложимые системы. В кн.: Математические методы в теории систем. М.: Мир, 1979, с. 7-48.

51. Берне К.И., Харт Н.Э. О модулях линейных динамических систем. В кн.: Математические методы в теории систем. М.: Мир, 1979, с. 221-270.

52. Осетинский Н.й. Обзор некоторых результатов по современной теории систем. В кн.: Математические методы в теории систем. М.: Мир, 1979, с. 271-327.

53. Сейдж Э.П., Уайт Ч.С., III. Оптимальное управление системами. М.: Радио и связь, 1982. - 329 с.

54. Сливинскас В. Методы минимальной реализации линейных динамических стационарных систем. Введение. В кн.: Статистические проблемы управления. Ин-т матем. и киберн. АН Лит. ССР, 1979, вып. 33, с. 31-74.

55. Крылов В.В. Построение моделей внутренней структуры динамических систем по входо-выходным соотношениям (теория абстрактной реализации). I. Автоматика и телемеханика, 1984, Jfc 2, с.5-19.

56. Ли Э.Б., Маркус Л. Основы оптимального управления. М.:1. Наука, 1972. 574 с.

57. Глазман И.М., Любич Ю.И. Конечномерный линейный анализ.- М.: Наука, 1969. 476 с.

58. Зойтендейк Г. Методы возможных направлений. М.: ИЛ, 1963. - 176 с.

59. Логвинов Ю.Н. Исследование и разработка моделей и алгоритмов диагностирования динамических систем. Дис.канд. техн. наук. - Ростов-на-Дону, 1984. - 150 с.

60. Воеводин В.В. Линейная алгебра. М.: Наука, 1980.- 396 с.

61. Фалькович М.А., Логвинов Ю.Н., Корабельников Г.Я. Идентификация и диагностирование линейных динамических систем. В кн.: Вопросы технической диагностики. Ростов-на-Дону: Рост, инж.-строит. ин-т, 1983, с. 49-55.

62. Андреев Ю.Н. Алгебраические методы пространства состояний в теории управления линейными объектами: Обзор. Автоматика и телемеханика, 1977, № 3, с. 5-51.

63. Быстрые алгоритмы в цифровой обработке изображений/ Под ред. Т.С.Хуанга. М.: Радио и связь, 1984. - 224 с.

64. Логвинов Ю.Н., Фалькович М.А. Формализация задачи диагностирования в теории систем. В кн.: Техническая диагностика. Ростов-на-Дону: Рост. инж.-строит, ин-т, 1982, с. 65-71.

65. Саридис Дк. Самоорганизующиеся стохастические системы управления. М.: Наука, 1980. - 400 с.

66. Сигорский В.П., Петренко А.И. Алгоритмы анализа электронных схем. М.: Сов.радио, 1976. - 608 с,

67. Федоренко Р.П. Приближенное решение задач оптимального управления. М.: Наука, 1978. - 486 с.

68. Пашковский Г.С. Задачи оптимального обнаружения и поиска отказов в РЭА. М.: Радио и связь, 1981. - 280 с.

69. Пархоменко П.П., Согомонян Е.С. Основы технической диагностики. Оптимизация алгоритмов диагностирования, аппаратные средства. М.: Энергия, 1981. - 320 с.

70. Аоки М. Введение в методы оптимизации. М.: Наука, 1977. - 344 с.

71. Химмелъблау Д. Прикладное нелинейное программирование.- М.: Мир, 1975. 534 с.

72. Полак Э. Численные методы оптимизации. М.: Мир, 1974.- 376 с.

73. Форсайт М, Малькольм М., Моулер К. Машинные методы математических вычислений. М.: Мир, 1980. - 280 с.

74. Крамер Г. Математические методы статистики. М. :Мир, 1975. - 648 с.

75. Смирнов Н.В., Дунин-Барковский И.В.^урс теории вероятностей и математической статистики. М.: Наука, 1965. - 511 с.

76. Комаров Н.Н. Организация контроля правильности вычисления быстрого преобразования Фурье. В кн.: Вычислительные процессы и структуры. Л.: ЛИАП, 1981, вып. 148, с. 61-66.

77. Романов А. К. Микропроцессорная техника и автоматизация народного хозяйства. Микропроцессорные средства и системы, 1984, & I, с. 3-7.

78. Пролейко В.М. Микропроцессорные средства вычислительной техники и их применение. Микропроцессорные средства и системы, 1984, № I, с. II-I6.

79. Батшцев Д.И. Поисковые методы оптимального проектирования. М.: Советское радио, 1975. - 216 с.

80. Растригин Л. А. Статистические методы поиска. М.: Наука, 1968. - 376 с.

81. Хедли Д. Нелинейное и динамическое программирование.- М.: Мир, 1967. 506 с.

82. Колмогоров А.И., Фомин С.В. Элементы теории функций и функционального анализа. М.: Наука, 1972. - 496 с.

83. Алберт А. Регрессия, псевдоинверсия и реиурентное оценивание. М.: Наука, 1977. - 223 с.

84. Алексеенко А.Г., Коломбет Е.А., Стародуб Т.Н. Применение прецизионных аналоговых ИС. М.: Радио и связь, 1981. - 224 с.

85. Белый А.А., Бовбель Е.И., Микулович В.И. Алгоритмы быстрого преобразования Фурье и их свойства. Зарубежная радиоэлектроника, 1979, Л 2, с. 3-29.

86. Дагман Э.Е., Кухарев Г.А. Быстрые дискретные ортогональные преобразования. Новосибирск: Наука, 1983. - 231 с.

87. Лабунец В.Г. Буйный подход к алгоритмам быстрых преобразований. В кн.: Применение ортогональных методов при обработке сигналов и анализе систем. Свердловск: изд. УПИ им. С.М.Кирова, 1980, с. 4-14.

88. Иохвидов И.О. Ганкелевы и теплицевы матрицы и формы. -М.: Наука, 1974. 263 с.

89. Логвинов Ю.Н., Корабельников Г.Я. Восстановление непрерывного описания линейной динамической системы на основе идентификации. В кн.: Вопросы технической диагностики. Ростов-на-Дону: Рост.инж.-строит.ин-^, 1984, с, 79-86.

90. Синтез системы управления электроприводами перемещения ЗБМ: Отчет / КБ электропривода и автоматики (КБЭПиА) ПО "Электро-стальтяжмаш". Руководитель работы Н.П.Подставкин. Инв. Л 3- 429256 ПЗ. Электросталь, 1984. - 28 с.

91. Корабельников Г.Я. Об одном методе контроля реализации быстрого преобразования Фурье. В кн.: Вопросы технической диагностики. Ростов-на-Дону: Рост.инж.-строит.ин-т, 1984, с. II0-II7.

92. Фалькович М.А., Логвинов Ю.Н., Корабельников Г.Я и др. Техническая диагностика. Диагностирование непрерывных объектов по косвенным параметрам: Метод, указания (первая редакция). Горький: Горьковский филиал ВНИИНМАШ Госстандарта СССР, 1983. - 54 с.

93. Фалькович М.А., Логвинов Ю.Н., Корабельников Г.Я и др. Техническая диагностика. Диагностирование динамических объектов. (Первая редакция). Горький: Горьковский филиал ВНЖНМАШ Госстандарта СССР, 1984. - 48 с.

94. Фалькович М.А., Корабельников Г.Я., Люлинская Л.З. Об одном методе контроля блока МВС, реализующего быстрое преобразование Фурье. В кн.: Многопроцессорные вычислительные структуры. Таганрог: ТРТИ, 1984, вып. 6 (ХУ), с. 66-68.

95. Корабельников Г.Я. Контроль линейных преобразований.- Ростов-на-Дону, 1984. 23 с. - Рукопись представлена Рост, инж.—строит.ин—том. Деп. в ВИНИТИ 30 окт. 1984, 6986-84.

96. Sinha U.K., Rozsa p. Caconical forms for linear multi-variable systems. Proc. IEEE Inter. Circuit Theory Symp. (Newton, Mass). April 1975, p.250-253.

97. El-Sherief H., Sinha U.K. Identification and modelling for linear multivariable discrete-time systems; A survey. Journal of Cybernetics, 1979, v.9, H°1, p.43-71.

98. Aplevich. J.D. Gradient methods for optimal linear system reduction. Int. J. Contr., 1973, v.18, №4, p.767-772.

99. Aplevich J.D. Approximation of discrete linear system. -Int. J. Contr., 1973, v.17, №3, p.563-575.

100. TsoiA.C. Minimal realization of linear systems. -Int. J. Contr., 1976, v.23, №4, p.575-585.

101. Denham M.J. Recent result in realization theory of systems with discrete-time bilinear and multilinear response maps.- IEE Proc.1981, V.D128, H°5, p.181-184.

102. Staar J .A.study of MBH-type realization algorithms. -Automatica, 1981, v.17, №3, p.523-533.

103. Bokor J., Peto J. Minimal realization procedure from partial fraction representation of a rational transfer matrix.- Problems of Control and Information Theory. 1981, v.10, H°6, p.403-415.

104. El-Sherief H., Sinha Ж.К. Identification of multivari-able systems in the transfer-function matrix form. Journal of Cybernetics, 1979, v.9, №2, p.113-125.

105. Hirzinger G., Kreisselmeier G. On optimal approximation of higt-o'rder linear systems by low-order models. Int. J. Control, 1975, v.22, №5, p.399-408.

106. El-Sherief H., Sinha U.K. A non-parametric normalized stochastic approximation algorithm for on-line identification of multivariable systems. Int. J. Syst. Sci., 1979, v.10, №3,p.333-338.

107. Theilheimer Б1. A Matrix Version of the Past Fourier Transform. IEE Transaction on Audio and Eletroacoustics, 1969, v.AU-17, №2, p.158-161.

108. Cooley J.W., Tukey J.W. An Algorithm for the Machine Calculation of Complex Fourier Series. Mathematics of Computation, 1965, 19, №90, p.297-301.

109. Singleton R.C. An algorithm for Computing the Mixed Radix Fast Fourier Transform. M Trans, on Audio and Electro-acoustics, 1969, v.AU-17, №2.

110. Eilenberg S. Automata, languages and machines.- N.-Y.: Acad. Press, 1974, v.A- 547 p.

111. Малежик А.И. Исследование и разработка методов оперативного контроля состояния автоматизированных систем управления полетом путем экспресс-обработки полетной информации: Автореф. дис. .канд. техн.наук. Киев, 1983. - 16 с.

112. Автоматическая бортовая система управления АБСУ-134А. Техническое описание, КнД. 6В1.623.043-01Т0-ЛУ; инв.$ II5I03.-1978. - 272 с.

113. Вунш Г. Теория систем. М.: Советское радио, 1978.- 228 с.

114. Цыпкин Я.З. Теория линейных импульсных систем. М.: Физматгиз, 1963. - 968 с.

115. Портер У. Современные основания общей теории систем.- М.: Наука, 1971. 555 с.

116. Хьюлсман Л.П. Активные фильтры. М.: Мир, 1972. -516 с.