PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 5

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available Safety and reliability models of time-dependent systems
Babczyński T., Kowalski M., Łukowicz M., Magott J., Skrobanek P.
Journal of Polish Safety and Reliability Association
|
2011
|
Vol. 2, No. 1
11--22
EN
The paper concerns models with time dependencies that can be used in modelling dynamic reliability and complex maintenance processes. Emphasis is put on models that have been elaborated with authors participation. The following models are presented: fault trees with time dependencies, probabilistic fault trees with time dependencies, reliability enhanced activity diagrams. The above models are illustrated by examples. Both types of fault trees are used in modelling the time coordination of distance protections in high voltage transmission line. Then reliability enhanced activity diagrams that express the maintenance process of computer system with redundant components. Components are submitted to failures and repairs.
2
Content available remote Selection of Zone 3 time delay for backup distance protection using probabilistic fault trees with time dependencies
Babczyński T., Łukowicz M., Magott J.
Przegląd Elektrotechniczny
|
2010
|
R. 86, nr 9
208-215
EN
Distance protection schema of power system is analyzed in the paper. Hazard is the event: remote (backup) circuit breaker tripping provided the local (primary) circuit breaker can be opened. Incorrect values of set time delays can cause the hazard. In the paper, the emphasis is put on selection of Zone 3 time delay of backup distance protection. Hazard probabilities as functions of this time values have been obtained using Probabilistic Fault Trees with Time Dependencies by simulation, and Erlang distribution based approximation.
PL
W pracy analizowany jest system zabezpieczeń odległościowych linii elektroenergetycznej. Badane jest zdarzenie: odległy (rezerwowy) wyłącznik zostaje wyłączony, mimo że może być wyłączony wyłącznik lokalny (podstawowy). Prawdopodobieństwa wystąpienia tego zdarzenia w funkcji czasu opóźnienia Strefy 3 zabezpieczenia rezerwowego wyznaczane są za pomocą probabilistycznych drzew niezdatności z zależnościami czasowymi.
3
Content available remote Performance evaluation of multiagent information retrieval systems
Babczyński T., Kruczkiewicz Z., Magott J.
Foundations of Computing and Decision Sciences
|
2004
|
Vol. 29, No. 1-2
7-23
EN
In Multiagent Systems, the time of response to a client's request is one of the fundamental problems. This time is combined from agent activity times and inter-agent communication times. Many Multiagent Systems design methods are based on UML or its modifications. Performance evaluation is mainly based on system dynamics. In the UML, the most extensive models of dynamics are statecharts. The Performance statecharts are extensions of statecharts that contain probability distribution for activity duration times and probability distributions in order to solve non-determinism. A performance analysis of the information retrieval system with three types of agents using the performance statecharts is presented.
4
Performance Modelling and Evaluation of Continuous Media Transport Protocol using Statecharts
Babczyński T., Huzar Z., Magott J.
Archiwum Informatyki Teoretycznej i Stosowanej
|
2001
|
T. 13, z. 4
329-341
EN
Statecharts are used by many object-oriented methodologies to specify and model dynamics of systems. They can not be used directly to estimate performance characteristics of the modeled system. There are several time extensions of the statecharts, which can be used for worst-case timing analysis but they do not deliver probabilistic characteristics. Performance statecharts, which enable probabilistic analysis, are defined in the paper. They base on UML statecharts. A continuous media transport service (CMTS) is an example of a systems, which performance characteristics should be known before putting into operation. The CMTS introduced by Moran and Wolfinger is briefly described and modeled by the performance statechart. Statechart stimulator SIMCHART is used to carry out simulation experiment on the statechart model. The aim of the experiments is examination of CMTS quality as a function of chosen parameters of transmission network for a given kind of continuous media.
PL
Wykresy stanu są używane w wielu obiektowo zorientowanych technikach specyfikacji i modelowania systemów dynamicznych. Nie mogą być one wprost użyte do szacowania charakterystyk wydajności modelowanego systemu; istnieje kilka ich rozszerzeń, które mogą być użyte do analizy czasowej najgorszego przypadku, ale nie dostarczają charakterystyk probabilistycznych. W artykule zdefiniowano wydajnościowo wykresy stanu, które pozwalają na analizę prawdopodobieństwa. Są one oparte na wykresach stanu UML. Usługa transportu danych strumieniowych (CMTS) jest przykładem systemu, którego charakterystyka wydajności może być znana przed uruchomieniem. Opisano krótko oraz przedstawiono model wykorzystujący wykresy stanu dla usługi CMTS wprowadzonej przez Morana i Wolfingera. Do przeprowadzenia symulacji użyto symulatora stanu SIMCHART. Celem badań jest sprawdzenie jakości CMTS w funkcji wybranych parametrów sieci transmisyjnej, dla danego rodzaju danych strumieniowych.
5
Derivation of Markov processes from the UML statecharts
Babczyński T., Huzar Z., Magot J.
Archiwum Informatyki Teoretycznej i Stosowanej
|
2000
|
T. 12, z. 3
143-171
EN
Statecharts are widely used in system modelling and specification. They might also be used for performance analysis at early stages of system developing. In order to find performance metrices analytically, it is often assumed that models possess Markovian properties. The paper introduces a notion of Markovian statecharts that enables analytical evaluation of system performance. Our Markovian statecharts are driven by UML statecharts. The Markovian statecharts can model delays caused by: activities, which may be performed within system's states, activities initiated during passing between states. We define semantics of Markovian statecharts following an algebraic approach based on the Statecharts Process Algebra. Next, we present how Markovian processes ca be derived from Markovian statecharts.
PL
Mapy stanów stosuje się powszechnie w specyfikacji i modelowaniu systemów informatycznych. Można je wykorzystywać we wczesnych fazach tworzenia systemów do analizy ich wydajności. Często, w celu analitycznego wyliczania metryk wydajnościowych, zakłada się, że badany model posiada markowowskie własności. Artykuł wprowadza pojęcie markowowskich map stanów wzorowanych na mapach stanów z języka UML (United Modelling Language). Wprowadzone Markowowskie mapy stanów modelują dwa mechanizmy map stanów UML: opóźnienia powodowane przez aktywności wykonywane w czasie przebywania w stanie oraz opóźnienia powodowane przez aktywności inicjowane podczas przechodzenia pomiędzy stanami. W pierwszej części, w oparciu o algebrę procesów, artykuł przedstawia formalną operacyjną semantykę markowowskich map stanów. W drugiej części artykuł przedstawia transformację markowowskich map stanów procesy Markova.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.