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ę "diagram decyzyjny" wg kryterium: Temat


Wyświetlanie 1-5 z 5
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ł:
Reliability of interdependent networks with cascading failures
Niezawodność współzależnych sieci z uszkodzeniami kaskadowymi
Autorzy:
Peng, R.
Powiązania:
https://bibliotekanauki.pl/articles/300665.pdf
Data publikacji:
2018
Wydawca:
Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
Tematy:
reliability
networks
cascading failure
interdependency
multi-valued decision diagram
niezawodność
sieci
uszkodzenia kaskadowe
współzależność
wielowartościowy diagram decyzyjny
Opis:
The reliability of network systems of various structures has been studied by many researchers. However, most of the works just consider the reliability of a single network system. In practice, different networks may be interdependent such that the failure in one network may result in the failure in another network. The cascading failures have been shown to be catastrophic by some researchers. However, the quantitative evaluation for the reliability of interdependent networks has not been proposed. In this paper, a multi-valued decision diagram based approach is presented to evaluate the reliability of interdependent networks. Illustrative examples are proposed to demonstrate the application of the framework.
Niezawodność systemów sieciowych o różnych strukturach stanowi przedmiot licznych badań. Jednak większość prac dotyczy tylko niezawodności pojedynczych systemów sieciowych. W praktyce, różne sieci mogą działać współzależnie, tak iż awaria jednej może powodować awarię innej sieci. Niektóre badania pokazują, że uszkodzenia kaskadowe są uszkodzeniami katastroficznymi. Nie zaproponowano jednak dotąd ilościowej oceny niezawodności współzależnych sieci. W niniejszym artykule przedstawiono podejście oparte na koncepcji wielowartościowego diagramu decyzyjnego, które pozwala na ocenę niezawodności wzajemnie zależnych sieci. Przedstawiono przykłady ilustrujące zastosowanie proponowanego paradygmatu.
Źródło:
Eksploatacja i Niezawodność; 2018, 20, 2; 273-277
1507-2711
Pojawia się w:
Eksploatacja i Niezawodność
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelowanie organizacji akcji ratowniczej – stadium przypadku katastrofy śmigłowca
Modeling rescue organization – a case study of helicopter crash
Autorzy:
Dziemba, Ł.
Powiązania:
https://bibliotekanauki.pl/articles/112838.pdf
Data publikacji:
2014
Wydawca:
STE GROUP
Tematy:
służby ratunkowe
sytuacja kryzysowa
diagram decyzyjny
mapa procesów
emergency services
crisis situation
diagram decision-making
process map
Opis:
Dla skutecznego przeciwdziałania sytuacjom kryzysowym organizowane są centra nadzorujące poszczególne służby ratunkowe. Za pośrednictwem centrum informacja o zdarzeniu jest przekazywana do służb ratunkowych które zachowując autonomię podejmują akcje ratunkową. Służby ratunkowe działają w oparciu o informacje pozyskiwane w trakcie akcji ratunkowej. Aby przygotować służby ratunkowe do nieoczekiwanych zmian w sytuacji kryzysowej potrzebne są scenariusze uwzględniające skrajnie niebezpieczny rozwój sytuacji kryzysowej. W publikacji prezentowane jest taki alternatywny scenariusz utworzony na podstawie opisu zaistniałej sytuacji kryzysowej – wypadku śmigłowca MI-24.
For the prevention of crisis centers are organized supervising individual emergency services. Through the center of the information about the event is passed to the emergency services that maintain the autonomy take rescue actions. Emergency services are based on the information obtained during the rescue operation. To prepare for the emergency services to unexpected changes in a crisis situation are needed scenarios with extremely dangerous development crisis. In this publication is presented an alternative scenario created on the basis of the description given crisis situation – accident helicopter MI-24.
Źródło:
Systemy Wspomagania w Inżynierii Produkcji; 2014, 3 (9); 74-86
2391-9361
Pojawia się w:
Systemy Wspomagania w Inżynierii Produkcji
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Application of logical differential calculus and binary decision diagramin importance analysis
Zastosowanie logicznego rachunku różniczkowego oraz binarnego diagramu decyzyjnego w analizie ważności
Autorzy:
Zaitseva, E.
Levashenko, V.
Kostolny, J.
Powiązania:
https://bibliotekanauki.pl/articles/301280.pdf
Data publikacji:
2015
Wydawca:
Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
Tematy:
decision diagram
importance analysis
logical differential calculus
reliability engineering
diagram decyzyjny
analiza ważności
logiczny rachunek różniczkowy
inżynieria niezawodności
Opis:
System availability evaluation includes different aspects of system behaviour and one of them is the importance analysis. This analysis supposes the estimation of system component influence to system availability. There are different mathematical approaches to the development of this analysis. The structure function based approach is one of them. In this case system is presented in form of structure function that is defined the correlation of system availability and its components states. Structure function enables one to represent mathematically a system of any complexity. But computational complexity of structure function based methods is time consuming for large-scale system. Decision of this problem for the calculation of importance measures can be realized based on application of two mathematical approaches. One of them is Direct Partial Boolean Derivative. New equations for calculating the importance measures are obtained in terms of these derivatives. Other approach is Binary Decision Diagram (BDD), which supports efficient manipulation of Boolean algebra. In this paper new algorithms for calculating of importance measures by Direct Partial Boolean Derivative based on BDD are proposed. The experimental results of comparison these algorithms with other show the efficiency of new algorithms for calculating Direct Partial Boolean Derivative and importance measures.
Ocena gotowości systemu, analiza czułości, miary ważności oraz optymalna konstrukcja to istotne zagadnienia, które stały się obiektem badań z zakresu inżynierii niezawodności. Istnieją różne podejścia matematyczne do owych problemów. Jednym z nich jest podejście oparte na funkcji struktury. Funkcja struktury umożliwia analizę systemów o wszelkim stopniu złożoności. Jednakże, w przypadku sieci o dużej skali, złożoność obliczeniowa metod opartych na funkcji struktury sprawia, że metody te są czasochłonne. W przedstawionej pracy proponujemy wykorzystanie dwóch metod matematycznych analizy ważności. Pierwszą z nich jest bezpośrednia cząstkowa pochodna boole'owska, w kategoriach której opracowano nowe równania do obliczania miar ważności. Drugą jest binarny diagram decyzyjny, który wspiera efektywną manipulację na wyrażeniach algebry Boole'a. W artykule zaproponowano dwa algorytmy służące do obliczania bezpośredniej cząstkowej pochodnej boole'owskiej w oparciu o binarny diagram decyzyjny funkcji struktury. Wyniki eksperymentów wykazują skuteczność nowo opracowanych algorytmów w obliczaniu bezpośredniej cząstkowej pochodnej boole'owskiej oraz miar ważności.
Źródło:
Eksploatacja i Niezawodność; 2015, 17, 3; 379-388
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-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