Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 2015

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: logical differential calculus

Sortuj według:

Ogranicz wyniki do:

Application of logical differential calculus and binary decision diagramin importance analysis

Zaitseva E., Levashenko V., Kostolny J.

Eksploatacja i Niezawodność

2015

Vol. 17, no. 3

379--388

System availability evaluation includes different aspects of system behaviour and one of them is the importance analysis. This analysis supposes the estimation of system component influence to system availability. There are different mathematical approaches to the development of this analysis. The structure function based approach is one of them. In this case system is presented in form of structure function that is defined the correlation of system availability and its components states. Structure function enables one to represent mathematically a system of any complexity. But computational complexity of structure function based methods is time consuming for large-scale system. Decision of this problem for the calculation of importance measures can be realized based on application of two mathematical approaches. One of them is Direct Partial Boolean Derivative. New equations for calculating the importance measures are obtained in terms of these derivatives. Other approach is Binary Decision Diagram (BDD), which supports efficient manipulation of Boolean algebra. In this paper new algorithms for calculating of importance measures by Direct Partial Boolean Derivative based on BDD are proposed. The experimental results of comparison these algorithms with other show the efficiency of new algorithms for calculating Direct Partial Boolean Derivative and importance measures.

Ocena gotowości systemu, analiza czułości, miary ważności oraz optymalna konstrukcja to istotne zagadnienia, które stały się obiektem badań z zakresu inżynierii niezawodności. Istnieją różne podejścia matematyczne do owych problemów. Jednym z nich jest podejście oparte na funkcji struktury. Funkcja struktury umożliwia analizę systemów o wszelkim stopniu złożoności. Jednakże, w przypadku sieci o dużej skali, złożoność obliczeniowa metod opartych na funkcji struktury sprawia, że metody te są czasochłonne. W przedstawionej pracy proponujemy wykorzystanie dwóch metod matematycznych analizy ważności. Pierwszą z nich jest bezpośrednia cząstkowa pochodna boole'owska, w kategoriach której opracowano nowe równania do obliczania miar ważności. Drugą jest binarny diagram decyzyjny, który wspiera efektywną manipulację na wyrażeniach algebry Boole'a. W artykule zaproponowano dwa algorytmy służące do obliczania bezpośredniej cząstkowej pochodnej boole'owskiej w oparciu o binarny diagram decyzyjny funkcji struktury. Wyniki eksperymentów wykazują skuteczność nowo opracowanych algorytmów w obliczaniu bezpośredniej cząstkowej pochodnej boole'owskiej oraz miar ważności.