Wyniki wyszukiwania - BazTech

1

Methods for Efficient Unfolding of Colored Petri Nets

Bilgram Alexander, Jensen Peter G., Pedersen Thomas, Srba Jiří, Taankvist Peter H.

Fundamenta Informaticae

|

2022

|

Vol. 189, nr 3-4

297--320

EN

Colored Petri nets offer a compact and user friendly representation of the traditional Place/Transition (P/T) nets and colored nets with finite color ranges can be unfolded into the underlying P/T nets, however, at the expense of an exponential explosion in size. We present two novel techniques based on static analysis in order to reduce the size of unfolded colored nets. The first method identifies colors that behave equivalently and groups them into equivalence classes, potentially reducing the number of used colors. The second method overapproximates the sets of colors that can appear in places and excludes colors that can never be present in a given place. Both methods are complementary and the combined approach allows us to significantly reduce the size of multiple colored Petri nets from the Model Checking Contest benchmark. We compare the performance of our unfolder with state-of-the-art techniques implemented in the tools MCC, Spike and ITS-Tools, and while our approach is competitive w.r.t. unfolding time, it also outperforms the existing approaches both in the size of unfolded nets as well as in the number of answered model checking queries from the 2021 Model Checking Contest.

2

Wpływ szkolenia doskonalącego załogi statku powietrznego na kształtowanie świadomości sytuacyjnej

Kozubal J., Compa T.

Logistyka

|

2012

|

nr 3

PL

Zasadniczym celem niniejszej publikacji jest przybliżenie pojęcia świadomości sytuacyjnej oraz czynników mających wpływ na jej stan. Posługując się wynikami badań w obszarze świadomości sytuacyjnej autorzy wykazali, że takie elementy jak jakość selekcji kandydatów, odpowiedni trening lotniczy i doświadczenie lotnicze ma zasadniczy wpływ na stan świadomości sytuacyjnej załóg lotniczych. W ostatnim podrozdziale przedstawiono koncepcję doskonalenia personelu latającego jednostek SZ RP w zakresie szkoleń HF, MCC i CRM.

EN

The main objective of his paper is to introduce the notion of situational awareness (SA) and key factors influencing the state of SA. Taking in to the consideration results of research in the area of SA it was demonstrate by authors that such elements as the quality of candidates selection, proper aviation training and air crew experience have fundamental influence on the state of SA. The conception of the development of the Polish Army air personnel in the areas of HF, MCC and CRM was introduced in the last part of the paper.

3

Zachowanie gruntów prekonsolidowanych obciążonych budowlą : modelowanie numeryczne

Fedorowicz L., Fedorowicz J.

Geoinżynieria : drogi, mosty, tunele

|

2010

|

nr 2

22-26

4

Sustainability - a whole system perspective

Richley B.

Organizacja i Zarządzanie : kwartalnik naukowy

|

2009

|

nr 4

117-130

EN

This study highlights an organization widely recognized as the most successful cooperative in history, Mondragón Corporación Cooperativa (MCC) located in Basque Country. Using MCC as the primary case this research focuses on three central concerns: 1) MCC as representative of an innovative model of work organization hallmarked by democracy both in principle and practice and one that also simultaneously enjoins business and social good, specifically what I have named a socio-business innovation (SBI); 2) seven characteristics that define a SBI and 3) understanding how organizing at the intersection of business and society is actualized to create a new way of work and to developing communities; one with high adaptive potential. This research offers the concept of an SBI as a way to challenge existing frameworks for how we think about and enact business and social good through an alternative paradigm for work organization co-constructed and embedded in community.

PL

Niniejszy artykuł dotyczy organizacji powszechnie uważanej za najbardziej skuteczną w kwestii współpracy w historii, Mondragón Corporación Cooperativa (MCC) położonej w Kraju Basków. Wykorzystując MCC jako pierwszorzędny przypadek, autorka skupia się na trzech głównych kwestiach: 1) MCC jako przykładzie innowacyjnego modelu organizacji pracy charakteryzującego się demokracją zarówno w teorii, jak i w praktyce oraz łączącego jednocześnie biznes i społeczne dobro, co nazwano w niniejszym opracowaniu innowacją społeczno-biznesową (SBI); 2) siedmiu cechach charakterystycznych, które określają SBI oraz 3) rozumieniu tego, w jaki sposób organizowanie na styku biznesu i społeczeństwa jest aktualizowane, by kreować nowe sposoby pracy i rozwoju społeczności wykorzystując potencjał adaptacyjny. Zaprezentowane badania proponują SBI jako drogę, mogącą stanowić wyzwanie dla istniejących ram dzisiejszego rozumienia biznesu i społecznego dobra przez alternatywny paradygmat dla organizacji pracy współtworzonej i zakorzenionej w społeczności.