Informacja

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

Wyszukujesz frazę "decision diagram" wg kryterium: Wszystkie pola


Wyświetlanie 1-2 z 2
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ł
    Wyświetlanie 1-2 z 2

    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