Пусть РЭО характеризуется рядом взаимосвязанных параметров:
·
– вероятность нахождения параметра
в пределах допуска
·
– стоимость контроля всех параметров для определения значения
.
·
– время для диагностирования.
Каждому из состояний
соответствует вероятность
:

– вероятность пребывания РЭО в состоянии S (в данном случае работоспособное состояние) при условии, что проверка
имеет положительный результат.
– вероятностьпребывания априорно в работоспособном состоянии.
– вероятность того, что проверка
даёт положительный результат при нахождении РЭО в работоспособном состоянии.
– априорная вероятность нахождения системы в состоянии отказа.
– вероятность того, что проверка
даёт положительный результат при нахождении РЭО в неработоспособном состоянии.

Предположим, что ошибки в определении технического состояния не будет, тогда 

Поскольку реализуется алгоритм проверки работоспособного состояния, то
, тогда:

Каждая проверка
несёт определенную меру информации о работоспособном состоянии РЭО в объеме:

Следовательно, максимум
соответствует 






