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

Znaleziono wyników: 7

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

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems
Wojnakowski Marcin, Wiśniewski Remigiusz, Bazydło Grzegorz, Popławski Mateusz
International Journal of Applied Mathematics and Computer Science
|
2021
|
Vol. 31, no. 4
647--657
EN
The paper proposes an algorithm for safeness verification of a Petri net-based specification of the control part of cyber-physical systems. The method involves a linear algebra technique and is based on the computation of the state machine cover of a Petri net. Contrary to the well-known methods, the presented idea does not require obtaining all sequential components, nor the computation of all reachable states in the system. The efficiency and effectiveness of the proposed method have been verified experimentally with a set of 243 test modules (Petri net-based systems). The results of experiments show high efficiency of the proposed method since a solution has been found even for such nets where popular techniques are not able to analyze the safeness of the system. Finally, the presented algorithm is explained in detail using a real-life case-study example of the control part of a cyber-physical system.
2
Content available remote Ewakuacja i jej aspekty w ujęciu teoretycznym
Głogowska P., Zdrojewska P., Wagner H.
Zeszyty Naukowe Ruchu Studenckiego
|
2016
|
Nr 1
65--76
PL
Występujące na świecie zagrożenia mają negatywny wpływ na codzienne życie oraz poczucie bezpieczeństwa przez obywateli, a także mogą stanowić również niebezpieczeństwo dla państw, uniemożliwiając im normalne funkcjonowanie. Mając na uwadze powyższe, umiejętność przeprowadzenia prawidłowej ewakuacji staje się ważną sprawnością dla obywatela. Jest ona również jednym z zadań służb bezpieczeństwa, których priorytetem jest ratowanie życia i zdrowia własnego oraz innych ludzi.
EN
Occurring worldwide threats can have negative influence on everyday life and sense of safety of the people, they can also be dangerous for safety of a whole country precluding its normal functioning. It is also one of the tasks of security forces which priority is to save life and health of people in case of any kind of threat. Due to all the above, it is highly significant that every citizen should have the competence to execute evacuation well.
3
Content available remote An Upper Bound for the Reachability Problem of Safe, Elementary Hornets
Köhler-Bußmeier M., Heitmann F.
Fundamenta Informaticae
|
2016
|
Vol. 143, nr 1/2
89--100
EN
In this paper we study the complexity of the reachability problem HORNETS, an algebraic extension of object nets. Here we consider the restricted class of safe, elementary HORNETS. In previouswork we established the lower bound, i.e. reachability requires at least exponential space. In another work we have shown we can simulate elementary HORNETS with elementary object nets EOS, where reachability is known to be PSpace-complete. Since this simulation leads to a double exponential increase in the size of the simulating EOS, we obtain that for HORNETS the reachability problem is solvable in double exponential space. In this contributionwe show that this kind of simulation is rather bad, since we show that exponential space is sufficient. Together with the known lower bound this shows that the upper is tight.
4
Content available Balustrady wewnątrz budynku. Typy rozwiązań
Styka K.
Builder
|
2015
|
R.19, nr 9
32--35
PL
Funkcjonalność balustrady wynika z jej wymiarów, sztywności, trwałości mocowania. Te aspekty wpływają zaś na rozwiązanie architektoniczne tego istotnego we wnętrzach detalu, który powinien zapewnić użytkownikom nie tylko bezpieczeństwo, ale też pozytywne odczucia estetyczne.
EN
The functionality of balustrade results from its dimensions, stiffness, durability of fixing. These aspects impact on architectural design of this important element of interior, which should provide users not only safeness, but also positive aesthetic feelings.
5
Content available remote On the Complexity of the Reachability Problem for Safe : Elementary Hornets
Köhler-Bußmeier M.
Fundamenta Informaticae
|
2014
|
Vol. 129, nr 1/2
101--115
EN
In this paper we study the complexity of HORNETS, an algebraic extension of object nets. We define a restricted class: safe, elementary HORNETS, to guarantee finite state spaces. It will turn out, that the reachability problem for this class requires exponential space, which is a major increase when compared to safe, elementary object nets, which require polynomial space.
6
Bearings for pumps and compressors
Panda A., Jurko J.
Zeszyty Naukowe Politechniki Świętokrzyskiej. Nauki Techniczne
|
2008
|
Z. 10, Vol. 2
271-275
EN
Contribution presents near specification of bearings, that are suitable for placing shafting pumps and compressors, how by using standard bearings. This specification respect how on technical requirements, like this too on ekological safeness of equipment and his optimally life. In contribution are put on the stage test results, that were carried out before opening delivery of bearings in pumps for Bosch company.
7
Properties and analysis of [alfa]-nets
Karatkevich A
Informatyka Teoretyczna i Stosowana
|
2005
|
R. 5, nr 8
53-64
EN
A restricted class of Petri nets equivalent to [alfa]-nets - the extended free choice nets with single-token initial marking - is considered, which corresponds to structnre of paralleI aotomata and parallel logical control algorithms. For nets of this class the dependence between such behavioural properties as liveness, safeness and reversibility is studied. It is shown that a net belonging to that class is live and sale if and only if it is reversible and the net graph is strongly connected. Sofie other results are proven on relation among reversibility and other net properties. Based on the obtained results, applying one of the reduced state space generation methods known as the stubborn set method to [alfa]-nets is considered. It is shown, that redoced reachability graph obtained by the method for such net allows to check whether the net is well-formed (live and sale); soch graph may be much smaller than the complete reachability graph of the net. Experimental results are presented.
PL
Dla podklasy sieci Petriego, ekwiwalentnej [alfa]-sieciom - rozszerzonym sieciom swobodnego wyboru z jednym znacznikiem w znakowaniu początkowym - bada się zależność między niektórymi istotnymi własnościami behawioralnymi. Pokazane, że sieć, należąca do tej klasy, jest żywą i bezpieczną wtedy i tylko wtedy, gdy jest ona powtarzalna i silnie spójna. Przedstawione są niektóre inne rezultaty, związane z zależnościami między powtarzalnością i innymi własnościami sieci. Na podstawie otrzymanych rezultatów rozważa się zastosowanie metody upartych zbiorów (stubborn set method) do [alfa]-sieci; pokazane, że zbudowany za pomocą tej metody częściowy graf osiągalności dla takiej sieci zawiera informacje, pozwalającą sprawdzić, czy sieć jest "dobrze zbudowana" (żywa i bezpieczna).
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ć.