Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: binary decision diagram

Sortuj według:

Ogranicz wyniki do:

An effective hybrid method for analysis the large-scale reliability block diagram model

Ping Yashi, Ren Yi, Li Zhifeng, Yang Dezhen, Yang Chao

Eksploatacja i Niezawodność

2023

Vol. 25, no. 3

art. no. 169408

The reliability block diagram (RBD) is a graphical tool used for reliability modeling and analysis in various industries, including shipbuilding, aviation, and aerospace. Typically, RBDs are transformed into Bayesian networks for quantitative analysis of systems. Bayesian networks are probabilistic graphical models that can capture the uncertainties and causal relationships in complex systems. They can provide various reliability metrics such as failure probability, mean time to failure, availability, etc. However, these techniques have several drawbacks, especially for large-scale models, such as being extremely time and memory-consuming. To address these issues, we propose a hybrid method for quantitative analysis of large-scale RBDs based on the structure identification approach and binary decision diagrams. Theoretical analysis and case verification demonstrate that the proposed method is significantly more efficient than the current one.

Two-terminal reliability analysis for multi-phase communication networks

Lu J.-M., Innal F., Wu X.-Y., Liu Y., Lundteigen M. A.

Eksploatacja i Niezawodność

2016

Vol. 18, no. 3

418--427

Most researches of network reliability generally assume that the system structures do not change with time. This paper presents the concept of multi-phase network systems (MPNS) to consider dynamic characteristics of networks, and analyze the reliability of MPNS. MPNS reliability is evaluated through a cross-phase binary decision diagram (BDD). The BDD-based algorithm can act as a platform to consider various components behaviors such as repair and growing pressure. Case study shows that the proposed MPNS concept is an effective description of some practical communication networks, and the cross-phase BDD model is efficient in analyzing MPNS reliability.

Większość badań niezawodności sieci ogólnie przyjąć, że struktury systemu nie zmieniają się w czasie. W artykule przedstawiono koncepcję systemów sieciowych wielofazowych (MPNS) rozpatrywanie dynamicznych właściwości sieci i analizy niezawodności MPNS. MPNS niezawodność jest oceniany przez cross-fazowego schematu decyzyjnego binarny (BDD). Algorytm z siedzibą w BDD może działać jako platforma do rozważenia różnych komponentów zachowań, takich jak naprawy i rosnącej presji. Studium przypadku pokazuje, że proponowana koncepcja MPNS jest skutecznym opis niektórych praktycznych sieci komunikacyjnych, a cross-fazowego modelu BDD jest skuteczny w analizie MPNS niezawodność.

FSM encoding for BDD representations

Gosti W., Villa T., Saldanha A., Sangiovanni-Vincentelli A. L.

International Journal of Applied Mathematics and Computer Science

2007

Vol. 17, no 1

113-128

We address the problem of encoding the state variables of a finite state machine such that the BDD representing the next state function and the output function has the minimum number of nodes. We present an exact algorithm to solve this problem when only the present state variables are encoded. We provide results on MCNC benchmark circuits.