Multi-valued decision diagram in importance analysis
Аннотации
New algorithms for calculation of the importance measures based on the methods of Logical Differential Calculus and Binary (Multi-Valued) Diagram are proposed taking into account features of MSSs. Benchmarking algorithms have been driven to the number of variables; number of driven nodes is foreseen to find all possible states. According to tests the two proposed algorithms are similar in point of view of computation complexity. Запропоновано нові алгоритми розрахунку мір важливості на основі методів логічного диференціального числення та бінарної (багатозначної) діаграми з урахуванням особливостей MSSs. Алгоритми порівняльного аналізу були зведені до кількості змінних; кількість керованих вузлів передбачається для пошуку всіх можливих станів. Згідно з тестами, два запропоновані алгоритми схожі з точки зору складності обчислень. Предложены новые алгоритмы расчета мер важности, основанные на методах логико-дифференциального исчисления и бинарной (многозначной) диаграммы с учетом особенностей MSSs. Алгоритмы бенчмаркинга сводились к количеству переменных; предусмотрено количество управляемых узлов, чтобы найти все возможные состояния. Согласно тестам, два предложенных алгоритма схожи с точки зрения вычислительной сложности.