ГОСТ Р МЭК 61508-6-2012
1
;=1
; li=
1=2k
ci)= I ^ - I £
=
P
l
( W +
j =2
I Z
=l
f (C;nc,„ck)--
С увеличением количества отдельных компонент число минимальных сечений
растет экспоненциально. В этом случае формула Пуанкаре приводит к комбинаторному
взрыву числа вычисляемых элементов, что вручную выполнить невозможно. К счастью,
эта проблема анализировалась в течение последних сорока лет и были созданы
многочисленные алгоритмы для выполнения подобных расчетов. На сегодня наиболее
эффективные разработки основаны на так называемой бинарной диаграмме решений
(Binary Decision Diagrams. BDD), которая получена из развитого Шенноном разложения
логической функции.
Множество коммерческих программных пакетов, основанных на моделях дерева
отказов, используются инженерами по надежности в повседневной практике в различных
отраслях промышленности (атомная, нефтяная, аэронавтика, автомобилестроение и
т.д.). Они могут быть использованы для расчета PFDavg, но аналитик должен быть очень
осторожным, потому что некоторые из них реализуют вычисление PFDavg некорректно.
Основной ошибкой является неправильное вычисление сочетания PFDavgj отдельных
X(i
компонентов (как правило, получаемых просто как ~Г) для получения предполагаемого
результата для PFDavg всей системы. Как было показано выше, результат оказывается
неверным и неконсервативным.
Во всяком случае, программные пакеты, основанные на методе дерева отказов,
могут быть использованы для вычисления мгновенной неготовности системы USt{t)
исходя из мгновенной неготовности компонентов U,(t). После этого может быть
вычислено среднее значение USf(t) за определенный период времени для нахождения
PFDavg. В зависимости от используемого программного обеспечения это может быть
сделано самим программным пакетом или используя дополнительные вычисления.
0т+02т+0t
Рисунок В.19 -МгновеннаянеготовностьU(t) отдельногопериодически
проверяемого элемента.
Ранее описанный идеальный случай показан слева на рисунке В.19:
68