Инженерия / Инженерные измерения
Надёжность системы «k из n»: порог исправных каналов
Система «k из n» выполняет функцию, если исправны хотя бы k из n каналов. При одинаковой безотказности и независимости суммируют биномиальные вероятности всех допустимых чисел исправных каналов.
Формула
Вероятности числа исправных: 0,001;0,027;0,243;0,729. Зелёные столбцы дают 0,972.
Обозначения
- $n$
- общее число каналов, 1
- $k$
- минимум исправных каналов, 1≤k≤n, 1
- $j$
- число исправных каналов в конкретном состоянии, 1
- $r$
- одинаковая надёжность каждого канала за миссию, 1
- $Rₖ/ₙ$
- надёжность пороговой системы, 1
Условия применения
Каналы независимы и имеют одну вероятность r за одно время. Любое подмножество из k исправных каналов обеспечивает функцию. Средство объединения результатов считается безотказным; если это не так, его нужно включить отдельным обязательным блоком.
Ограничения
При разных вероятностях нужна сумма по конкретным состояниям или рекурсия распределения числа успехов. Общие причины нарушают биномиальную модель. Отказ и неверный выходной сигнал различаются; формула безотказности не описывает автоматически достоверность голосования.
Подробное объяснение
Ровно j исправных каналов можно выбрать C(n,j) способами. Вероятность одного такого состояния равна rʲ(1−r)ⁿ⁻ʲ, поскольку j каналов должны работать, а остальные отказать. При одинаковых независимых каналах все варианты с тем же j имеют одну вероятность.
События с разными числами исправных каналов несовместны, поэтому их вероятности складывают. Нижний предел суммы равен k: считать только ровно k неверно, ведь состояния с большим числом исправных тоже обеспечивают функцию. Для проверки можно сложить вероятность успеха и вероятность j<k — получится единица.
При k=n остаётся rⁿ, последовательная система. При k=1 получается 1−(1−r)ⁿ, активная параллельная структура. Эти предельные случаи проверяют границы суммы и показывают, что пороговая модель объединяет две базовые логики.
Для схемы «2 из 3» R=3r²(1−r)+r³=3r²−2r³. Разность R−r равна r(1−r)(2r−1). Такая структура превосходит одиночный канал по вероятности выполнения порогового условия лишь при r>1/2. Однако ресурсы, питание и безотказность объединителя в это алгебраическое сравнение не включены.
Как пользоваться формулой
- Опишите успех через минимальное число исправных каналов и проверьте, что любое подмножество такого размера подходит.
- Проверьте одинаковость входных вероятностей и независимость, включая общие условия эксплуатации всех каналов.
- Рассчитайте биномиальную вероятность для каждого числа исправных от порога до общего числа и сложите результаты.
- Проверьте дополнение по меньшим числам исправных; для крайних порогов сравните с последовательной и параллельной моделями.
Историческая справка
Пороговая структура продолжает блок-схемы надёжности: вместо требования всех элементов или одного из них задаётся минимальное число работающих. В системном анализе XX века это стало естественным способом описывать функции с частично допустимыми отказами и избыточными каналами.
В справочнике NIST модель названа r out of n, где буква r обозначает порог, а не индивидуальную надёжность. При переводе в другую систему обозначений особенно легко перепутать эти роли. Современное биномиальное выражение следует из перечисления независимых состояний и охватывает последовательный и параллельный случаи. Его смысл определяется условием «хотя бы», которое должно сохраняться и в программной реализации суммы.
Историческая линия формулы
Модель «k из n» соединяет инженерный порог выполнения функции с биномиальным распределением числа исправных каналов. Она не требует отдельной персональной атрибуции. Различные обозначения порога в справочниках не меняют вероятностного содержания суммы.
Пример
Для системы «2 из 3» каждый независимый канал имеет r=0,9. Ровно два исправны с вероятностью C(3,2)·0,9²·0,1=3·0,81·0,1=0,243. Все три исправны с вероятностью 0,9³=0,729. Итог R=0,243+0,729=0,972, или 97,2%. Проверка отказом: ни одного исправного — 0,1³=0,001; ровно один — 3·0,9·0,1²=0,027. Сумма отказов 0,028, её дополнение 0,972. Числа относятся к одной миссии и безразмерны. Если общий объединитель имеет надёжность 0,99 и независим от каналов, итог всей функции станет 0,972·0,99=0,96228. Это отдельный обязательный блок.
Частая ошибка
Не ограничивайте сумму ровно k исправными: состояния k+1,…,n тоже успешны. Не подставляйте среднее разных rᵢ в биномиальную формулу. Не путайте порог работоспособности с моделью ошибок большинства. Общий объединитель нельзя считать частью независимого резервирования без отдельной проверки.
Практика
Задачи с решением
Хотя бы два из четырёх
Условие. n=4, k=2, r=0,8. Найдите R.
Решение. Отказ при 0 или 1 исправном: 0,2⁴+4·0,8·0,2³=0,0016+0,0256=0,0272.
Ответ. R=0,9728.
Сравнение с одиночным
Условие. Для 2 из 3 возьмите r=0,4.
Решение. R=3·0,4²−2·0,4³=0,48−0,128=0,352<0,4.
Ответ. Пороговая система имеет R=0,352.
Калькулятор
Расчёт: Безотказность k из n
Независимые одинаковые каналы; достаточно любых k из n, объединитель считается безотказным.
- Независимые одинаковые каналы; достаточно любых k из n, объединитель считается безотказным.
Дополнительные источники
- https://www.itl.nist.gov/div898/handbook/apr/section1/apr184.htm
- https://www.itl.nist.gov/div898/handbook/apr/section1/apr183.htm
Связанные формулы
Инженерия
Надёжность последовательной системы: обязательные узлы
Последовательная по надёжности система работает, пока исправны все обязательные узлы. При независимых отказах вероятность её безотказной работы за заданное время равна произведению вероятностей отдельных узлов.
Инженерия
Активное резервирование: надёжность параллельных узлов
При активном параллельном резервировании система сохраняет функцию, пока работает хотя бы один узел. Для независимых отказов удобнее сначала найти вероятность отказа всех узлов, а затем вычесть её из единицы.
Математика
Вероятность в биномиальном распределении
Формула «Вероятность в биномиальном распределении» задает численную характеристику вероятностной модели. Она переводит исходы, вероятности или наблюдения в показатель, который удобно считать, сравнивать и проверять.