- •Санкт-Петербургский национальный исследовательский университет
- •Введение
- •Часть 1. Надежность технических систем
- •Вероятностная оценка надежности технической системы
- •Экспоненциальный закон надежности
- •Системы, резервированные по методу голосования
- •Потоки событий. Простейший поток и его свойства
- •Резервированные системы с параллельным включением резервных элементов
- •Вопросы
- •Простейший поток событий и марковские модели функционирования технической системы
- •Аппроксимация потока редких событий пуассоновским потоком
- •Марковские модели функционирования технической системы
- •Непрерывные цепи Маркова
- •Резервированные системы с восстановлением. Уравнения Колмогорова
- •Вопросы
- •Аппаратурная и информационная надежность навигационной системы
- •Часть 2. Техническая диагностика
- •Основные принципы проектирования средств диагностирования
- •Назначение и достоверность средств диагностирования
- •Математические модели объектов диагностирования
- •Модели безынерционных преобразователей
- •Динамические модели
- •Логико-динамические модели мультирежимных систем
- •Иерархический подход к проектированию и организации средств диагностирования
- •Организация диагностирования. Безусловные и условные диагностические эксперименты
- •Диагностические экспертные системы
- •Структура средств диагностирования навигационной системы
- •Вопросы
- •Методы тестового диагностирования
- •Тестовое диагностирование безынерционных преобразователей
- •Тестовое диагностирование динамических устройств
- •Тестовое диагностирование дискретных устройств. Общий подход
- •Тестовое диагностирование линейных дискретных устройств. Структурный подход
- •Тестовое диагностирование линейных дискретных устройств. Абстрактный подход
- •Тестовое диагностирование аналоговых линейных устройств
- •Тестовое диагностирование мультирежимных систем
- •Принципы тестового диагностирования мультирежимных систем
- •Тестовое диагностирование процессора
- •Тестовое диагностирование распределенных информационно-управляющих систем
- •Структура средств диагностирования
- •Построение проверяющего теста. Управляемость и наблюдаемость периодически нестационарной системы
- •Синтез модели системы обмена
- •Методы функционального диагностирования
- •Методы функционального диагностирования для обнаружения отказов
- •Функциональное диагностирование при поиске структурных нарушений
- •Функциональное диагностирование при поиске отказов в пространстве сигналов
- •Функциональное диагностирование при поиске отказов в пространстве параметров
- •Функциональное диагностирование информационных отказов в интегрированной навигационной системе
- •Вопросы
- •Приложение 1. Основные понятия теории вероятностей
- •Приложение 2. Модели представления знаний.
- •Приложение 3. Основы нечеткого анализа
- •Литература
Построение проверяющего теста. Управляемость и наблюдаемость периодически нестационарной системы
Примем
за основу нашего рассмотрения абстрактный
подход, описанный выше для линейной
дискретной стационарной системы. Сразу
заметим, что в стационарном случае
диагностический эксперимент был
направлен на проверку трех матриц F,
G
и H.
В данном случае проверяемых матриц в N
раз больше, а, значит, можно предположить,
что и искомый тест о
кажется
вN
раз длиннее. Тест должен включать
установочные и транслирующие
последовательности. При их определении
использовались свойства управляемости
и наблюдаемости диагностируемой системы.
В настоящем параграфе мы пойдем тем же
путем. При этом мы сможем убедиться,
что критерии управляемости и наблюдаемости
для стационарных и периодически
нестационарных систем весьма похожи,
но, тем не менее, не совпадают. Дело в
том, что появляется зависимость этих
свойств от временного интервала, на
котором они оцениваются. Обратимся к
рис. 5.9, где представлена диаграмма
матриц периодически нестационарной
системы. Здесь отмечены различные
временные интервалы и соответствующие
им различные периодические последовательности
матриц. С каждой последовательностью
матриц связана своя последовательность
индексов. Обозначим множество этих
последовательностей через
.
Их начальные отрезки на интервале
длительностью в период получаются в
результате циклического сдвига
последовательности индексов 1, 2, …,N.
При N
= 3 имеем три последовательности индексов:
Γ={1, 2, 3; 2, 3, 1; 3, 1, 2}.
Определим
для периодически нестационарной системы
установочную последовательность. Для
этого запишем выражения для состояния
системы на протяжении nN
тактов (n
– размерность вектора состояния x),
работающей при последовательности
индексов (матриц)
,
обозначая через
–i-й
член последовательности
:
(5.20)

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

Отсюда получаем выражение для установочной последовательности
.
Таким
образом, для вычисления установочной
последовательности (для управляемости
системы на последовательности
)
достаточна (можно показать, что и
необходима) неособенность матрицы
.
Однако, если начальное состояниеx(0)
будет соответствовать началу другой
последовательности
,
то потребуется неособенность другой
матрицы
и
т.д. В результате критерием полной
управляемости (на любой
)
является
для всех
.
При
анализе трансляции надо также действовать
по плану рассмотрения стационарного
случая. Аналогичные выражения могут
быть получены добавлением к (5.20) равенства
и умножения второго равенства на
,
третьего на
и т.д. Действуя далее по плану стационарного
случая, увидим, что матрица наблюдаемости
имеет
вид:

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

