Функциональное диагностирование конечномерных динамических систем

• Автор: Подкопаев, Борис Павлович
• Шифр специальности: 05.12.14
• Научная степень: Докторская
• Год защиты: 2010
• Место защиты: Санкт-Петербург
• Количество страниц: 298 с. : ил.

СОДЕРЖАНИЕ

ПЕРЕЧЕНЬ УСЛОВНЫХ ОБОЗНАЧЕНИЙ
ВВЕДЕНИЕ
1. ДИНАМИЧЕСКИЕ СИСТЕМЫ КАК ОБЪЕКТ ФУНКЦИОНАЛЬНОГО ДИАГНОСТИРОВАНИЯ
1.1. Понятие конечномерной динамической системы
1.2. Ошибки динамических систем
1.3. Постановка задачи функционального диагностирования
1.4. Выводы по первой главе
2. РЕШЁТКИ, РЕШЁТОЧНЫЕ ОПЕРАЦИИ, РЕШЁТОЧНЫЕ НЕРАВЕНСТВА
2.1. Абстрактные решётки и решётки с ассоциированной эквивалентностью
2.2. Решётки разбиений на множествах элементов конечномерных континуальных метрических пространств
2.3. Решётки разбиений на элементах конечных метрических пространств
2.4. Решение решёточных неравенств
2.5. Выводы по второй главе
3. АЛГЕБРЫ ПАР
3.1. Абстрактные алгебры пар
3.2. Связанные по отображению решётки и алгебры пар
3.3. Мультипликативные операторы в алгебрах пар на решётках разбиений в конечномерных метрических пространствах
3.4. Аддитивные операторы в алгебрах пар на решётках
разбиений в конечных метрических пространствах

3.5 Алгебры пар со свойством подстановки на решётках
разбиений в конечномерных метрических пространствах
3.6. Выводы по третьей главе
4. АЛГЕБРАИЧЕСКАЯ МОДЕЛЬ ФУНКЦИОНАЛЬНОГО ДИАГНОСТИРОВАНИЯ
4.1. Абстрактное решение задачи функционального диагностирования
4.2. Системные алгебры пар. Условия существования диагностического отображения К
4.3. Каноническая форма 5^. Алгебраическая модель ФД .:
4.4. Модификации алгебраической модели ФД динамических
систем
4.5. Выводы по четвёртой главе
5. РЕАЛИЗАЦИЯ АЛГЕБРАИЧЕСКОЙ МОДЕЛИ ФУНКЦИОНАЛЬНОГО ДИАГНОСТИРОВАНИЯ
5.1. Реализация алгебраической модели ФД контрольной
системой в форме функциональной задержки
5.2. Реализация алгебраической модели ФД с помощью гомоморфной контрольной системы
5.3. Промежуточные формы реализации алгебраической модели

5.4. Выводы по пятой главе
6. РЕАЛИЗАЦИЯ МОДЕЛИ ФД В ЗАДАЧЕ ДИАГНОСТИРОВАНИЯ РАДИОТЕХНИЧЕСКОЙ СИСТЕМЫ БЛИЖНЕЙ НАВИГАЦИИ
6.1. Устройство формирования и обработки сигналов
для широкополосной РСБН
6.2. Устройство кодирования

6.3. Устройство обработки дальномерного сигнала
6.4. Устройство декодирования информационного сообщения
6.5. Выводы по шестой главе
ЗАКЛЮЧЕНИЕ
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ

ется функция r(y, jv) = '*Le лк(х, qK)] = e=AD(xD, qD), откуда AD всегда зависит от у, но Х-ХхУ и xD=(x, у), поэтому Лп зависит от второго компонента xD, даже если Лк не зависит от его первого компонента, т. е. диагностическая система SD есть динамическая система Мили.
Второму способу использования результатов сравнения Y с эталоном соответствует диагностическая система SD с тупиковым состоянием qQe &Qd, и такой функцией выходов Л0, что VxDeXD, AD(xD, qD)~8=1 тогда и только тогда, когда qD=q0, т. е. VxDeXD, AD(xD, qQ) = 1, и AD(xD, qD*qo) = 0, откуда Ad от xd не зависит, и SD — динамическая система Мура.
Очевидно, что SD первого типа легко преобразуется в SD второго типа путем введения тупикового состояния qa, переход в которое происходит по единичному значению выхода первой системы. Обратное преобразование обычно невозможно без существенного изменения SD [112].
Диагностирующие системы типа Мили и Мура имеют различные свойства. В первой время обнаружения ошибки определяется лишь быстродействием дискриминатора D и может быть весьма малым. Во второй переход в qa и появление сигнала Б = 1 с необходимостью требует срабатывания инерционного блока М (рис. 1.1.2), что приводит к увеличению указанного времени. Особенно велика задержка обнаружения ошибки, если SD — конечный автомат с низкой тактовой частотой [70].
Другой недостаток SD типа Мура заключается в прекращении обнаружения ошибок при невозможности перехода системы в qQ за счёт собственных дефектов, вероятностью которых пренебрегать нельзя [64, 111]. В SD типа Мили подобное явление имеет место лишь при отказе выходной части дискриминатора D, что маловероятно ввиду её малого объёма.
Можно отметить также несколько меньшее число состояний SD типа Мили (нет qa), более того, если в исходной системе УП¥о=0, такая SD вы-