Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Binary decision diagram" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-5 z 5
    Tytuł:
    An effective hybrid method for analysis the large-scale reliability block diagram model
    Autorzy:
    Ping, Yashi
    Ren, Yi
    Li, Zhifeng
    Yang, Dezhen
    Yang, Chao
    Powiązania:
    https://bibliotekanauki.pl/articles/27312772.pdf
    Data publikacji:
    2023
    Wydawca:
    Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
    Tematy:
    reliability block diagram
    structure identification
    plus structure
    binary decision diagram
    Opis:
    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.
    Źródło:
    Eksploatacja i Niezawodność; 2023, 25, 3; art. no. 169408
    1507-2711
    Pojawia się w:
    Eksploatacja i Niezawodność
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A decision diagram based reliability evaluation method for multiple phased-mission systems
    Metoda oceny niezawodności systemów wielofazowych w oparciu o diagramy decyzyjne
    Autorzy:
    Zhang, S.
    Sun, S.
    Si, S.
    Wang, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/301521.pdf
    Data publikacji:
    2017
    Wydawca:
    Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
    Tematy:
    systemy wielofazowe
    binarny diagram decyzyjny
    wielostanowy wielowartościowy diagram decyzyjny
    ocena niezawodności
    multiple phased-mission systems
    Binary decision diagram
    multi-state multi-valued decision diagram
    reliability evaluation
    Opis:
    The multiple phased-mission system (MPMS) exists widely in practical engineering, such as aviation, spaceflight and navigation fields. Its distinct characteristic is that the system usually performs multiple missions and each mission consists of different phases. In this paper, we mainly focus on the reliability analysis for MPMS when the components have to accomplish different missions successively. A new modeling method is proposed for MPMS analysis based on the binary decision diagram (BDD) and multi-state multi-valued decision diagram (MMDD). Through this method, different phases of missions are combined with in the whole system by certain merging rules according to the operating time of a common component. Then, the system reliability can be calculated by the common calculation methods of decision diagrams by generating the through. Finally, two case studies are implemented to demonstrate the generation of BDD/MMDD models and the evaluation of system reliability. The experiment results verified the efficiency and accuracy of the proposed modeling methods.
    Systemy wielofazowe (Multiple Phased-Mission Systems, MPMS), t.j. systemy o wielu zadaniach okresowych są powszechnie stosowane w praktyce inżynieryjnej, np. w lotnictwie, lotach kosmicznych czy nawigacji. Cechą wyróżniającą tego typu systemy jest to, że zazwyczaj wykonują one wiele zadań, z których każde składa się z różnych faz. Głównym tematem poniższej pracy jest analiza niezawodności MPMS dla przypadków, kiedy elementy składowe muszą wykonywać różne misje jedna po drugiej. W artykule zaproponowano nową metodę modelowania dla celów analizy MPMS opartą na koncepcji binarnego diagramu decyzyjnego (binary decision diagram, BDD) oraz wielostanowego wielowartościowego diagramu decyzyjnego (multi-state multi-valued decision diagram, MMDD). Metoda ta polega na łączeniu różnych faz misji w obrębie systemu za pomocą pewnych reguł łączenia wedle czasu pracy wspólnego elementu składowego. Pozwala to na obliczanie niezawodności systemu za pomocą powszechnie stosowanych metod diagramów decyzyjnych poprzez generowanie drzew błędów. W pracy zaprezentowano dwa studia przypadku, które pokazują, w jaki sposób generuje się modele BDD/MMDD oraz ocenia niezawodność systemu. Wyniki eksperymentów wykazały wydajność oraz trafność proponowanych metod modelowania.
    Źródło:
    Eksploatacja i Niezawodność; 2017, 19, 3; 485-492
    1507-2711
    Pojawia się w:
    Eksploatacja i Niezawodność
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    FSM encoding for BDD representations
    Autorzy:
    Gosti, W.
    Villa, T.
    Saldanha, A.
    Sangiovanni-Vincentelli, A. L.
    Powiązania:
    https://bibliotekanauki.pl/articles/911255.pdf
    Data publikacji:
    2007
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    binarny diagram decyzyjny
    kodowanie
    automat skończony
    synteza logiczna
    weryfikacja formalna
    binary decision diagram
    encoding
    finite state machine
    logic synthesis
    formal verification
    logic representation
    Opis:
    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.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2007, 17, 1; 113-128
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Two-terminal reliability analysis for multi-phase communication networks
    Analiza niezawodności par terminali w wielofazowych sieciach komunikacyjnych
    Autorzy:
    Lu, J.-M.
    Innal, F.
    Wu, X.-Y.
    Liu, Y.
    Lundteigen, M. A.
    Powiązania:
    https://bibliotekanauki.pl/articles/301295.pdf
    Data publikacji:
    2016
    Wydawca:
    Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
    Tematy:
    binary decision diagram
    component-behavior model
    multi-phase network systems
    system reliability
    binarny schemat decyzji
    model zachowania komponentów
    systemów sieciowych wielofazowe
    niezawodność systemu
    Opis:
    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ść.
    Źródło:
    Eksploatacja i Niezawodność; 2016, 18, 3; 418-427
    1507-2711
    Pojawia się w:
    Eksploatacja i Niezawodność
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Reprezentacja przestrzeni stanów sterownika logicznego z wykorzystaniem kodowanych diagramów decyzyjnych
    Reconfigurable Logic Controller state space representation using encoded Binary Decision Diagrams
    Autorzy:
    Bubacz, P.
    Adamski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/152669.pdf
    Data publikacji:
    2007
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    1st order nonstationary measurement system
    rekonfigurowane sterowniki logiczne
    kodowanie stanów
    synteza logiczna
    weryfikacja formalna
    Ordered Binary Decision Diagram
    Reconfugurable Logic Controller
    state encoding
    logic synthesis
    formal verification
    Opis:
    W pracy porównano znane z literatury metody zwartej reprezentacji przestrzeni stanów dla rekonfigurowanego sterownika logicznego. Przedstawiono zalety heurystycznego sposobu kodowania miejsc sieci Petriego, dzięki któremu uzyskuje się diagramy OBDD o znacznie mniejszej złożoności przydatne zarówno podczas analizy, jak i syntezy układowej algorytmu sterowania binarnego.
    In the paper some known methods for an effective representation of the state space in reconfigurable logic controller are compared. The advantages of heuristic method of Petri net place encoding, which is adapted for a compact encoding technique of Binary Decision Diagrams, are given.
    Źródło:
    Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 24-26
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-5 z 5

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies