Wyniki wyszukiwania - BazTech

1

The Complexity of Synthesis of b-Bounded Petri Nets

Tredup Ronny

Fundamenta Informaticae

|

2021

|

Vol. 183, nr 1-2

125--167

EN

For a fixed type of Petri nets τ, τ-SYNTHESIS is the task of finding for a given transition system A a Petri net N of type τ(τ-net, for short) whose reachability graph is isomorphic to A if there is one. The decision version of this search problem is called τ-SOLVABILITY. If an input A allows a positive decision, then it is called τ-solvable and a sought net N τ-solves A. As a well known fact, A is τ-solvable if and only if it has the so-called τ-event state separation property (τ-ESSP, for short) and the τ-state separation property (τ-SSP, for short). The question whether A has the τ-ESSP or the τ-SSP defines also decision problems. In this paper, for all b ∈ ℕ, we completely characterize the computational complexity of τ-SOLVABILITY, τ-ESSP and τ-SSP for the types of pure b-bounded Place/Transition-nets, the b-bounded Place/Transitionnets and their corresponding ℤb+1-extensions.

2

Czynne systemy ochrony przeciwpożarowej w obiektach budowlanych

Szmytke Ewelina, Kraus-Namroży Natalia

Rynek Instalacyjny

|

2020

|

Nr 11

48--51

PL

Artykuł zawiera informacje na temat możliwości zastosowania czynnych systemów ochrony przeciwpożarowej w obiektach budowlanych. Podstawą opracowania są przepisy prawne oraz inne opracowania zawierające wytyczne dotyczące możliwości stosowania takich instalacji.

EN

The article provides information on the possibility of using active fire protection systems in buildings. The study is based on legal regulations and other studies containing guidelines on the possibility of using such installations.

3

Smarowanie strefy szlifowania za pomocą metody MQL wspomagane sprężonym schłodzonym powietrzem jako alternatywa dla metody zalewowej

Świerczyński J.

Mechanik

|

2016

|

R. 89, nr 10

1360-1361

PL

W niniejszym artykule przedstawiona została nowa metoda chłodząco-smarująca strefę szlifowania jako alternatywa dla tradycyjnie używanej metody zalewowej. Przedstawiono porównanie topografii powierzchni uzyskanej po obróbce z hybrydową metodą smarowania strefy szlifowania (MQL + SSP) z topografią powierzchni uzyskanej po smarowaniu tradycyjną metodą zalewową.

EN

In this article presented is a new method of cooling and lubricating the grinding zone as an alternative to the traditionally used flood method. It presents a comparison of surface topography obtained after treatment with the hybrid method of lubrication grinding zone (MQL + SSP) to the surface topography obtained after lubrication by traditional flood method.

4

Analiza, statystyki i przyczyny wypadkowości na przejazdach z zabudowanymi urządzeniami SSP

Chrzan M., Jackowski S., Olczykowski Z., Resiak R.

Logistyka

|

2011

|

nr 3

PL

W artykule przedstawiono rolę i funkcje Systemów Sygnalizacji Przejazdowej w zapewnieniu bezpieczeństwa na skrzyżowaniach dróg kołowych i kolejowych.

EN

The article presents the role and function of level crossing systems to ensure safety at intersections of roads and railways.

5

Poprawa bezpieczeństwa przejazdów kolejowych w oparciu o nowe technologie informacyjne

Lewiński A., Bester L.

Logistyka

|

2009

|

nr 3

CD-CD

PL

W pracy przedstawiono wpływ technologii informacyjnych - bezprzewodowych systemów transmisji danych na poprawę bezpieczeństwa na przejazdach kolejowych. Zaproponowano publiczne standardy WSN, Wi-Fi i WiMax do przekazywania informacji dla użytkowników samochodów o stanie przejazdu oraz informacje dla centrum sterowania o niesprawności systemów sygnalizacji na przejazdach kolejowych.

EN

The paper deals with influence of new information technologies to safety of cross level protection systems. The proposed new public standards (WSN, Wi-Fi, WiMax) to transfer the information about train in cross level area. The applied simulation method confirms the assumption of Markov models used to safety estimation.