Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: binarny diagram decyzyjny

Sortuj według:

Ogranicz wyniki do:

A decision diagram based reliability evaluation method for multiple phased-mission systems

Zhang S., Sun S., Si S., Wang P.

Eksploatacja i Niezawodność

2017

Vol. 19, no. 3

485--492

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.

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.