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