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ę "SAT system" wg kryterium: Temat


Wyświetlanie 1-2 z 2
Tytuł:
Analiza niezawodności systemu łączności alarmowo-rozgłoszeniowej na przykładzie systemu SAT
The reliability analysis of an alarm and communication system based on the SAT system
Autorzy:
Miśkiewicz, K.
Wojaczek, A.
Wojtas, P.
Powiązania:
https://bibliotekanauki.pl/articles/186346.pdf
Data publikacji:
2010
Wydawca:
Sieć Badawcza Łukasiewicz - Instytut Technik Innowacyjnych EMAG
Tematy:
bezpieczeństwo
system łączności alarmowo-rozgłoszeniowej
system SAT
alarm and communication system
safety
SAT system
Opis:
System łączności alarmowo-rozłoszeniowej jest ważny z punktu widzenia bezpiecznego funkcjonowania podziemnych zakładów górniczych i z tego względu istotna jest znajomość jego niezawodności. Referat jest próbą oceny niezawodności systemu łączności alarmowo-rozgłoszeniowej na podstawie rejestracji zdarzeń w komputerach będących składnikiem takiego systemu. W referacie przedstawiono strukturę niezawodnościową systemu SAT oraz wybrane parametry niezawodnościowe takie jak intensywność uszkodzeń [lambda], intensywność odnowy [mi], współczynnik gotowości poszczególnych elementów systemu SAT, obliczone w dwóch różnych kopalniach i w różnych okresach eksploatacji systemu.
An alarm and communication system is important for the safety of underground mines and that is why it is necessary to get familiar with its reliability. The article is an attempt to assess the reliability of an alarm and communication system based on the registration of events in the computers which are part of such a system. The article features the reliability structure of the SAT system along with selected reliability parameters, such as the intensity of damages [lambda], intensity of recovery [mi], readiness coefficient of particular elements of the SAT system - calculated in two separate mines and in two different periods of the system exploitation.
Źródło:
Mechanizacja i Automatyzacja Górnictwa; 2010, R. 48, nr 11, 11; 25-30
0208-7448
Pojawia się w:
Mechanizacja i Automatyzacja Górnictwa
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Generation of synchronizing state machines from a transition system: A region-based approach
Autorzy:
Teren, Viktor
Cortadella, Jordi
Villa, Tiziano
Powiązania:
https://bibliotekanauki.pl/articles/2201022.pdf
Data publikacji:
2023
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
transition system
Petri net
state machine
theory of regions
SAT
pseudo Boolean optimization
układ przejściowy
sieć Petriego
maszyna stanów
teoria regionów
Opis:
Transition systems (TSs) and Petri nets (PNs) are important models of computation ubiquitous in formal methods for modeling systems. A crucial problem is how to extract, from a given TS, a PN whose reachability graph is equivalent (with a suitable notion of equivalence) to the original TS. This paper addresses the decomposition of transition systems into synchronizing state machines (SMs), which are a class of Petri nets where each transition has one incoming and one outgoing arc. Furthermore, all reachable markings (non-negative vectors representing the number of tokens for each place) of an SM have only one marked place with only one token. This is a significant case of the general problem of extracting a PN from a TS. The decomposition is based on the theory of regions, and it is shown that a property of regions called excitation-closure is a sufficient condition to guarantee the equivalence between the original TS and a decomposition into SMs. An efficient algorithm is provided which solves the problem by reducing its critical steps to the maximal independent set problem (to compute a minimal set of irredundant SMs) or to satisfiability (to merge the SMs). We report experimental results that show a good trade-off between quality of results vs. computation time.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2023, 33, 1; 133--149
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