Temat: Binary decision diagram

Skocz do pozycji: 1.

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
Data publikacji:: 2023
Wydawca:: Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
Tematy:: reliability block diagram
structure identification
plus structure
binary decision diagram; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

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
Data publikacji:: 2023
Słowa kluczowe:: reliability block diagram
structure identification
plus structure
binary decision diagram; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: A decision diagram based reliability evaluation method for multiple phased-mission systems
Autorzy:: Zhang, S.
Sun, S.
Si, S.
Wang, P.
Data publikacji:: 2017
Słowa kluczowe:: 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; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

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.
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; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: FSM encoding for BDD representations
Autorzy:: Gosti, W.
Villa, T.
Saldanha, A.
Sangiovanni-Vincentelli, A. L.
Data publikacji:: 2007
Słowa kluczowe:: binarny diagram decyzyjny
kodowanie
automat skończony
synteza logiczna
weryfikacja formalna
binary decision diagram
encoding
finite state machine
logic synthesis
formal verification
logic representation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: FSM encoding for BDD representations
Autorzy:: Gosti, W.
Villa, T.
Saldanha, A.
Sangiovanni-Vincentelli, A. L.
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; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

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.
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; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Two-terminal reliability analysis for multi-phase communication networks
Autorzy:: Lu, J.-M.
Innal, F.
Wu, X.-Y.
Liu, Y.
Lundteigen, M. A.
Data publikacji:: 2016
Słowa kluczowe:: 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; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Reprezentacja przestrzeni stanów sterownika logicznego z wykorzystaniem kodowanych diagramów decyzyjnych
Autorzy:: Bubacz, P.
Adamski, M.
Data publikacji:: 2007
Słowa kluczowe:: binarne diagramy decyzyjne
OBDD
rekonfigurowane sterowniki logiczne
kodowanie stanów
synteza logiczna
weryfikacja formalna
Ordered Binary Decision Diagram
Reconfugurable Logic Controller
state encoding
logic synthesis
formal verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

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.
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; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Informacja

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