Temat: safeness - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Balustrady wewnątrz budynku. Typy rozwiązań
Autorzy:: Styka, K.
Powiązania:: https://bibliotekanauki.pl/articles/128904.pdf
Data publikacji:: 2015
Wydawca:: PWB MEDIA Zdziebłowski
Tematy:: balustrada
wnętrze
projekt
bezpieczeństwo
balustrade
interior
design
safeness
Opis:: 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.
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.
Źródło:: Builder; 2015, 19, 9; 32-35
1896-0642
Pojawia się w:: Builder
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Znaczenie gazu łupkowego
The importance of shale gas
Autorzy:: Niedziółka, D.
Powiązania:: https://bibliotekanauki.pl/articles/394519.pdf
Data publikacji:: 2010
Wydawca:: Polska Akademia Nauk. Instytut Gospodarki Surowcami Mineralnymi i Energią PAN
Tematy:: gaz łupkowy
bezpieczeństwo energetyczne
gaz ziemny
wydobycie
shale gas
energy safeness
natural gas
exploitation
Opis:: Gaz łupkowy (shale gas) zaliczany jest do złóż niekonwencjonalnych, zalegających w trudno dostępnych (na głębokości od 0,5 do 4 km) basenach sedymentacyjnych w zamkniętych skałach. Dostęp do nich przez dziesięciolecia był utrudniony z uwagi na ograniczenia techniczne i wysokie koszty eksploatacji. Obecnie w obliczu wzrostu cen gazu konwencjonalnego i wzrostu popytu na gaz rośnie zainteresowanie państw i koncernów paliwowych eksploracją tych złóż. W Polsce - według szacunków firm konsultingowych - może występować nawet od 1,5 do 3 bln m3 gazu łupkowego. Gdyby te informacje się potwierdziły Polska ma szansę stać się jednym z największych producentów i eksporterów gazu ziemnego, zmieniając swoją dotychczasową pozycję na rynku i strukturę wykorzystania surowców energetycznych.
The shale gas known also as unconventional one covers gas resources hidden in difficult to excess (even 4 kilometres deep below earth surface, in sedimentation basin) closed rocks. The access to the shale gas has been impeded for many years due to the technical limitations and high costs of exploitation. Currently in view of increase of prices of conventional gas as well as growth of demand on gas one can observe an increasing interest of states and oil companies to exploit the shale gas fields. In Poland according to different estimations there are fields of shale gas cover from 1.500 trillion up to 3.000 trillion m3. If the above mentioned data are confirmed Poland will have the chance to become one of the biggest producers and exporters of gas. changing its up to date market position as well as structure of usage of energy fuel.
Źródło:: Zeszyty Naukowe Instytutu Gospodarki Surowcami Mineralnymi i Energią PAN; 2010, 78; 175-185
2080-0819
Pojawia się w:: Zeszyty Naukowe Instytutu Gospodarki Surowcami Mineralnymi i Energią PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems
Autorzy:: Wojnakowski, Marcin
Wiśniewski, Remigiusz
Bazydło, Grzegorz
Popławski, Mateusz
Powiązania:: https://bibliotekanauki.pl/articles/2055147.pdf
Data publikacji:: 2021
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: safeness
control part
cyber physical system
Petri net
state machine cover
place invariant
bezpieczeństwo baz danych
część kontrolna
system cyberfizyczny
sieć Petriego
maszyna stanów
niezmiennik miejsca
Opis:: 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.
Źródło:: International Journal of Applied Mathematics and Computer Science; 2021, 31, 4; 647--657
1641-876X
2083-8492
Pojawia się w:: International Journal of Applied Mathematics and Computer Science
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "safeness" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język