Wyniki wyszukiwania - Biblioteka Nauki

1

Wstęp do bezpieczeństwa funkcjonalnego. Blokady. Systemy zabezpieczające wg IEC 61508 i IEC 61511

100%

Jeziorowski M.

|

2004

|

tom R. 7, nr 3

39-41

2

System LOTO. Sposób na poprawę bezpieczeństwa pracy

88%

Gorgol M.

Utrzymanie Ruchu

|

2015

|

tom Nr 2

56--57

PL

Kłódki bezpieczeństwa, blokady zaworów, wyłączniki elektryczne czy rozłączniki elektryczne to tylko niektóre elementy systemu kryjące się pod tajemniczą nazwą LOTO.

3

Between order and extremes: about balance, rationality and a broader approach to reality

63%

Cynarski W. J.

Ido Movement for Culture. Journal of Martial Arts Anthropology

|

2023

|

tom 23

|

nr 4

1-7

EN

Problem. Let us try to answer two questions: 1) What should be the paradigm of martial arts research today?; 2) How does this translate into the content published in Ido Movement for Culture? Method. The first question requires reflection from the areas of epistemology/philosophy of science and sociology of science. The analysis emphasizes the contextual and humanistic dimensions. In the second question, the discussion pertains to the content of volume 23. Results. The reflection mainly concerns schematism and barriers present in scientific institutions or those working for science. Reference is made to the history and cultural heritage of Poland. This is a context, especially axiological, that involves noble patterns. The further content focuses on interdisciplinarity and multidisciplinarity, as well as the contents of volume 23 in the context of the 23 years of functioning of this scientific periodical Conclusions. Through logical deduction, it has been shown that it is justified to conduct interdisciplinary and multidisciplinary research on fighting arts, and this is also the case with the study popularizing the research results published in Ido Movement for Culture

PL

Problem. Spróbujmy odpowiedzieć na dwa pytania: 1) jaki ma być dzisiaj paradygmat badań sztuk walki?; 2) jak się to przekłada na treści publikowane w „Ido Movement for Culture”? Metoda. Na pytanie pierwsze odpowiedź wymaga refleksji z obszarów epistemologii / filozofii nauki oraz socjologii nauki. Tu w analizie akcent bada na wymiary kontekstualny i humanistyczny. W drugim pytaniu omówienie dotyczy treści tomu 23. Wyniki. Refleksja dotyczy głównie schematyzmu i blokad występujących w instytucjach naukowych lub działających na rzecz nauki. Nawiązano do historii i dziedzictwa kulturowej Polski. Jest to kontekst, zwłaszcza aksjologiczny – szlachetne wzorce. W dalszej części treść dotyczy inter- i multidyscyplinarności, oraz zawartości tomu 23 w kontekście 23 lat funkcjonowania tego periodyku naukowego. Wnioski. W drodze logicznej dedukcji wykazano, że słuszne jest inter- i multidyscyplinarne badanie fighting arts, i tak właśnie jest też realizowane popularyzowanie wyników badań na łamach „Ido Movement for Culture”.

4

Algorytm równoległy wyznaczania blokad i pułapek w sieciach Petriego

63%

Węgrzyn A.

Pomiary Automatyka Kontrola

|

2006

|

tom R. 52, nr 6 bis

23-25

PL

W artykule została przedstawiona metoda równoległa wyznaczania blokad i pułapek w sieciach Petriego. Metoda ta bazuje na sekwencyjnym algorytmie obliczania zbiorów blokad i pułapek opisanym w [15]. Sekwencyjna metoda ma złożoność obliczeniową wykładniczą, dlatego istotna jest modyfikacja algorytmu w ten sposób, aby czas obliczania zdecydowanie zredukować. Rozpatrywana metoda wykorzystuje algorytm Thelena [13] - wyznaczania implikantów prostych na podstawie generowania i przeszukiwania drzewa.

EN

In the paper the method of computation all deadlocks and traps in the Petri net is presented. This method is based on Thelen method [13] and it was proposed in [15]. Methods of calculation of all deadlocks and traps in Petri nets are very time consuming. Therefore it is very important to optimize of a computation. The parallel computation method for the time reduction is proposed. Experimental results of presented method are discussed, as well.

5

Metoda zapobiegania blokadom systemu transportowego w modelu symulacyjnym

63%

Małopolski W.

Logistyka

|

2011

|

tom nr 3

PL

W artykule przedstawiono łatwą do zaimplementowania w modelu symulacyjnym metodę zapobiegania blokadom systemu autonomicznych robotów mobilnych - wózków. W metodzie tej wykorzystano podejście oparte na kolejkach. W pierwszej części artykułu przedstawiono sposób budowania modelu symulacyjnego systemu transportowego w programie Arena. Druga część opisuje metodę zapobiegania blokadom. Poprawność tej metody została potwierdzona przez eksperyment symulacyjny.

EN

In this paper easy to implementation into simulation model deadlock prevention method for an automated guided vehicle (AGV) system is presented. This method uses a queue approach. The first part of this paper presents a way of building simulation model of AGV system in Arena software. In the second part deadlock prevention method is presented. The validity of this method was confirmed by simulation experiment.

6

Zjawiska dławień intensywności zadań do serwerów - eksperymenty symulacyjne

63%

Oniszczuk W.

Symulacja w Badaniach i Rozwoju

|

2014

|

tom Vol. 5, nr 3

181--189

PL

W pracy przedstawiono wyniki eksperymentów symulacyjnych ukierunkowanych na badania zjawisk dławień intensywności strumieni zadań napływających do bloku serwerów. Badana była konfiguracja sieci z blokadami i dynamiczną manipulacją progami w buforach. Te ograniczające mechanizmy zrealizowano poprzez specjalny moduł kontroli napływu nowych zadań (dwóch priorytetowych klas) do wspólnych węzłów obsługi. Taki moduł kontroli zawiera w sobie adaptacyjne algorytmy manipulowania progami w buforach, reagujących na bieżące zmiany ruchu teleinformatycznego w sieci. Wyniki eksperymentów pokazują, jak ważnym czynnikiem są mechanizmy blokad i dynamicznych progów w sieciach z ograniczonymi buforami.

EN

This paper presents the series of experiments with simulation of stifling job intensities in some computer systems/networks with flexible buffer management and blocking. These constrains are treated as some control schemes for two priority job classes models in congested computer systems. The proposed scheme incorporates adaptive thresholds, which dynamically adjust according to computer system traffic behavior changes. The results of experiments confirm importance of a special treatment for the models with blocking, and threshold policy, in finite capacity buffers, which justifies this research.

7

Zabezpieczenia systemowe oraz sprzętowe dostępne dla użytkowników na urządzeniach pracujących pod kontrolą systemu Android

63%

Borysiewicz T.

|

tom Vol. 8

220--225

PL

Producent systemu Android już od pierwszej wersji platformy stara się oferować użytkownikom sposoby na ochronę przechowywanych na urządzeniach danych cyfrowych. Rozwój możliwości systemu oraz nowe rozwiązania technologiczne pozwalają na wprowadzanie coraz bardziej innowacyjnych zabezpieczeń, które cechują się nie tylko większym poziomem bezpieczeństwa ale również większym komfortem w codziennym użytkowaniu. Artykuł przedstawia porównanie dostępnych rozwiązań, zarówno względem zapewnienia najlepszej ochrony, jak i pod względem wygody użytkowania. Zagadnienie komfortu wymagało przeprowadzenia badań, w celu zebrania informacji o najbardziej popularnych konfiguracjach wśród użytkowników. Analiza bezpieczeństwa blokad oraz otrzymane wyniki badań, pozwoliły zweryfikować, czy właściciele urządzeń pracujących pod kontrolą systemu Android odpowiednio zabezpieczają dane przechowywane w pamięci wewnętrznej swoich urządzeń.

EN

Producer of Android operating system have been trying to offer ways to protect digital data on devices since 1st version of this platform. Development of possibilities of operating system and new technological solutions allows to launch more innovate protections, which are not only more secure, but also very comfortable in everyday usage. This article presents comparison of available solutions, both in terms of the best protection and convenience of usage. The topic of convenience of usage required research to collect information about the most popular configurations among users. The analysis of security level of available locks and obtained results allowed to verify whether owners of devices running Android operating system are properly securing digital data stored in internal memory of their devices.