
- •Санкт-Петербургский национальный исследовательский университет
- •Введение
- •Часть 1. Надежность технических систем
- •Вероятностная оценка надежности технической системы
- •Экспоненциальный закон надежности
- •Системы, резервированные по методу голосования
- •Резервированные системы с параллельным включением резервных элементов
- •Вопросы
- •Простейший поток событий и марковские модели функционирования технической системы
- •Потоки событий. Простейший поток и его свойства
- •Аппроксимация потока редких событий пуассоновским потоком
- •Марковские модели функционирования технической системы
- •Непрерывные цепи Маркова
- •Резервированные системы с восстановлением. Уравнения Колмогорова
- •Вопросы
- •Аппаратурная и информационная надежность навигационной системы
- •Часть 2. Техническая диагностика
- •Основные принципы проектирования средств диагностирования
- •Назначение и достоверность средств диагностирования
- •Математические модели объектов диагностирования
- •Модели безынерционных преобразователей
- •Динамические модели
- •Логико-динамические модели мультирежимных систем
- •Иерархический подход к проектированию и организации средств диагностирования
- •Организация диагностирования. Безусловные и условные диагностические эксперименты
- •Диагностические экспертные системы
- •Структура средств диагностирования навигационной системы
- •Вопросы
- •Методы тестового диагностирования
- •Тестовое диагностирование безынерционных преобразователей
- •Тестовое диагностирование динамических устройств
- •Тестовое диагностирование дискретных устройств. Общий подход
- •Тестовое диагностирование линейных дискретных устройств. Структурный подход
- •Тестовое диагностирование линейных дискретных устройств. Абстрактный подход
- •Тестовое диагностирование аналоговых линейных устройств
- •Тестовое диагностирование мультирежимных систем
- •Принципы тестового диагностирования мультирежимных систем
- •Тестовое диагностирование процессора
- •Тестовое диагностирование распределенных информационно-управляющих систем
- •Структура средств диагностирования
- •Построение проверяющего теста. Управляемость и наблюдаемость периодически нестационарной системы
- •Синтез модели системы обмена
- •Методы функционального диагностирования
- •Методы функционального диагностирования для обнаружения отказов
- •Функциональное диагностирование при поиске структурных нарушений
- •Функциональное диагностирование при поиске отказов в пространстве сигналов
- •Функциональное диагностирование при поиске отказов в пространстве параметров
- •Функциональное диагностирование информационных отказов в интегрированной навигационной системе
- •Вопросы
- •Приложение 1. Основные понятия теории вероятностей
- •Приложение 2. Модели представления знаний.
- •Приложение 3. Основы нечеткого анализа
- •Литература
Резервированные системы с восстановлением. Уравнения Колмогорова
Выше
предполагалось, что отказавшие элементы
системы восстановлению не подлежат.
Рассмотрим теперь случай, когда
производится восстановление отказавших
элементов. В этом случае система при
обнаружении сбоя переходит к восстановлению
осуществляемого ею процесса измерения
и обработки информации, а при возникновении
отказа к этим действиям добавляется
поиск места отказа и реконфигурация
системы. Все эти операции требуют
некоторого случайного времени
восстановления. Получим для этого случая
выражение для вероятности
безотказной работы системы как функции
времени. Эта вероятность удовлетворяет
дифференциальным уравнениям Колмогорова.
Для
пояснения методики составления уравнений
предварительно рассмотрим простой
пример безызбыточной системы, состоящей
из одного восстанавливаемого элемента.
При этом система может находиться в
одном из двух состояний:
– система работает,
– система восстанавливается, а ее
поведение описывается графом состояний
на рис. 2.1. Будем предполагать, что не
только время безотказной работы, но и
время восстановления элемента распределены
по экспоненциальному закону. При этом
интенсивность отказов элемента равна
,
а интенсивность его восстановлений
.
Получим
уравнение для вероятности
того, что в моментt
система будет находиться в состоянии
.
Придадимt
малое
приращение
и найдем вероятность
того, что в момент
система будет находиться в состоянии
.
Будем предполагать, что интервал
настолько мал, что на нем может произойти
лишь один переход. Тогда рассматриваемое
событие в данном примере может произойти
двумя способами:
в момент t система была в состоянии
и за
не вышла из него;
в момент t система была в состоянии
и за время
перешла из него в
.
Вероятность
первого варианта найдем как произведение
вероятности
того,
что в моментt
система была в состоянии
,
на условную вероятность того, что, будучи
в состоянии
,
система за время
не перейдет из него в состояние
.
Эта условная вероятность в соответствии
с (2.5) приближенно равна
.
Аналогично вероятность второго варианта
равна вероятности
того, что в моментt
система была в состоянии
,
умноженной на условную вероятность
перехода за время
в состояние
:
.
Применяя правило сложения вероятностей, получаем
.
Раскроем
скобки в правой части, перенесем
в
левую и разделим обе части равенства
на
.
Теперь
устремим
к нулю и перейдем к пределу. Тогда левая
часть есть не что иное, как производная
функции
.
Таким
образом, имеем дифференциальное
уравнение, которому должна удовлетворять
функция
.
Аналогично можно получить второе
уравнение
.
Такие
дифференциальные уравнения называются
уравнениями Колмогорова [6]. В данном
случае для описания системы достаточно
одного уравнения, так как.
Подставляя
в первое из уравнений, получаем
.
Если
решить это уравнение при начальных
условиях
,
то будем иметь
.
Выражение
для
определяетнестационарный
коэффициент готовности,
т.е. вероятность того, что в произвольный
момент t
система будет работоспособна. При
в этом выражении сохраняется только
постоянное слагаемое
,
которое определяетстационарный
коэффициент готовности системы.
Теперь
рассмотрим простейший случай
резервированной системы, состоящей из
двух одинаковых элементов – основного
и резервного. По-прежнему интенсивность
отказов элемента будем обозначать
,
а интенсивность его восстановлений –
.
Очевидно, что система может находиться
в одном из трех состояний:
–система
работает;
–в
системе работает один элемент, второй
элемент отказал
и восстанавливается;
–в
системе отказали оба элемента, которые
восстанавливаются.
Рассматриваемому
случаю с очевидностью соответствует
граф состояний системы на рис. 2.2.
Действуя
в соответствии с методикой, использованной
в предыдущем примере, получаем уравнения
для вероятностей
,
и
состояний
,
и
соответственно:
;
; (2.7)
.
Подставляя
во второе уравнение, получаем
. (2.8)
Выразив
из первого уравнения системы (2.7) и
вычислив на основе полученного выражения
,
подставим
и
в уравнение (2.8). В результате получаем
линейное неоднородное дифференциальное
уравнение второго порядка
.
Характеристический многочлен соответствующего однородного уравнения имеет вид
.
Отсюда
по известной формуле могут быть получены
два вещественных корня
и
,
и решение однородного уравнения может
быть записано как
.
Из этого решения методом вариации постоянных может быть получено частное решение неоднородного уравнения, а затем и общее
.
Подставляя
полученное выражение для
и вычисляемую по нему производную
в первое уравнение системы (2.7), получаем
выражение для
.
Произвольные
постоянные могут быть определены из
начальных условий
и
:
;
.
Выражение
для
определяется как разность единицы и
суммы выражений для
и
.
Сумма выражений для
и
определяет нестационарный коэффициент
готовности, а входящие в них постоянные
слагаемые – стационарный коэффициент
готовности системы.
Все приведенные выражения для оценки надежности резервированных систем являются приближенными, поскольку в них не учтено влияние качества СД. При их получении неявно предполагалось, что СД идеальны и не ошибаются при оценке исправности элемента, однако на практике они могут как пропустить отказ, так и сформировать ложный сигнал об отказе.
Выше рассматривались случаи, когда избыточная система состоит из одинаковых элементов, что является частным случаем. Примером системы, для которой это условие не выполняется, может служить любая современная НС, в состав которой входит несколько различных измерителей. Эти измерители различаются по принципу действия, однако среди вырабатываемых ими параметров есть и общие, что позволяет повышать как надежность НС, так и ее точность. При этом формирование выходной информации НС происходит посредством достаточно сложного алгоритма комплексной обработки.