Wyniki wyszukiwania - Biblioteka Nauki

1

The body as a value in the axiology of disabled persons

100%

Pezdek K.

Human Movement

|

2011

|

tom 12

|

nr 3

284-290

EN

The body adopts the specific contents, functions, and places of the axiological system in persons with a disability. It can adopt the contents of ultimate, instrumental, vital, utilitarian, cultural, moral, religious, and other values. It can represent, for example, cognitive, judging, motivating, and expressive functions. Moreover, the body itself can take a central or peripheral place. It is the recognition of these various contents, functions and places of the body in the axiological system of disabled persons that allows us to identify their needs and goals, as well as to assess the methods of achieving them. Therefore, it is through this knowledge that we can understand an individual with a disability in the widest possible context, which takes into account the biological, psychological and social dimensions of their behavior.

2

Tolerant Key Assignment for Enforcing Complicated Access Control Policies in a Hierarchy

100%

Chang Y.-F. , Chang C.-C.

|

tom Vol. 76, nr 1-2

13-23

EN

In 1998, Yeh et al. proposed a flexible key assignment scheme for enforcing complicated access control policies in a user matrix model. Later, Hwang indicated that Yeh et al.' scheme is susceptible to some security flaws. Thus, Lin et al. proposed a key assignment scheme for enforcing complicated access control policies in a hierarchy. However, there exist drawbacks in Lin et al.'s scheme: lack of efficiency and a large variation of the keys. Hence, we propose an efficient key assignment scheme in a hierarchy for enforcing the complicated access control policies. What is more, the secret key of one class is allowed to be changed several times without influencing the derivation key in our proposed scheme.

3

Hierarchical correspondance of gray connected components in stereo images using epipolar geometry

88%

Wang Y. , Bhattacharya P.

|

tom Vol. 8, No. 1

19-54

EN

In this paper, we propose a new feature--based method for stereo matching. The matching primitives that we use are the boundaries of cerain parameter--dependet connected components of images. Under cerain assumptions, there is a one--to--one correspondence between subsets of the points on the boundaries of connected components of stereo pairs. This correspondance can be identified using the epipolar geometry. Using matched biundareies, we can identify the corresponding connected components determined by the boundaries. By changing the values of the parameters, we obtain a hierarchy of connected components in a gray image, which in turn provides us with a hierarchical stereo correspondance method.

4

Why European Subordinates Trust their Managers

88%

Andersen J. A. , Kovač J.

|

nr 6

300-309

EN

This article addresses the problem of why subordinates trust their managers based on the responses from 108 subordinates of seven Slovenian managers and from 138 subordinates of eight Swedish managers. The subordinates of these managers responded to a 20-item instrument tested for reliability and validity. In both samples the managers enjoyed different degrees of trust. The level of trust vested in Slovenian managers was higher than in Swedish ones. The kinds of managers’ actions that enhanced trust were similar amongst Swedish and Slovenian subordinates. Different socio-cultural contexts may theoretically explain why some other kinds of actions had contrasting effects between the samples. On the whole, the actions of managers explain trust in both countries. Subordinates’ trust in managers declines with the increasing hierarchical distance in both national samples. Managers need to show in action that they trust their subordinates, promote their interests, demonstrate appreciation of their subordinates, and solve problems.

5

Pushdown Automata Free of Explicit Nondeterminism and an Infinite Hierarchy of Context-free Languages

88%

Bedregal B. R. C.

|

tom Vol. 81, nr 4

367-377

EN

By explicit nondeterminism degree of a pushdown automata we mean the maximal number of choices in the transitions of the automata. In this paper we will prove that each pushdown automaton has an equivalent pushdown automaton with degree 1 of explicit nondeterminism, which implies that l-moves in pda are sufficient to simulate nondeterminism. Moreover, from this normal form (i.e. pda with degree 1 of explicit nondeterminism) we can measure the amount of (implicit) nondeterminism. This measure will be used to determine a countable infinite hierarchy of context-free language subclasses, whose bottom is the class of deterministic context-free languages and the top is the class of context-free languages.

6

Decomposition and the interaction decoupling mode in electrical systems analysis

75%

Płaczek S.

|

tom Vol. 14

187--200

EN

Decomposition is the best method to analyze complicated systems. The whole system is divided into a set of smaller parts, i.e. subsystems. These items are connected to each other by input and output interfaces. Every subsystem could be analyzed using separate algorithms and procedures that are more suitable for solving the local task. In the article, a complicated electrical system is decomposed and the interaction decoupling mode is used to coordinate the local task solution. Each of the first–level subsystems, such as an optimization problem, is defined completely independently from the other problems. The subsystems are instructed to select the local input as well as the local interface output in an optimal fashion. The local task's solution depends not only on the internal subsystems’ parameters, but on the value of interfaces too. To achieve the global task solution, local tasks have to be coordinated using an appropriate coordination principle.

7

A Survey of Results on Stateless Multicounter Automata

75%

Ibarra O. H. , Egecioglu Ö.

|

2012

|

tom Vol. 116, nr 1-4

129-140

EN

A stateless multicountermachine hasm-counters operating on a one-way input delimited by left and right end markers. A move of the machine depends only on the symbol under the input head and the sign pattern of the counters. An input string is accepted if, when the input head is started on the left end marker with all counters zero, themachine eventually reaches the configurationwhere the input head is on the right end marker with all the counters again zero. We bring together a number of results on stateless multicounter automata of various different types: deterministic, nondeterministic, realtime (the input head moves right at every step), or non-realtime. We investigate realtime and non-realtime machines in both deterministic and nondeterministic cases with respect to the number of counters and reversals. In addition to hierarchy results, we also consider closure properties and the connections to stateless multihead automata.

8

The role of clan in the hybrid and alternative modes of supply chain governance

75%

Świerczek A.

|

tom Vol. 16, no. 1

47--60

EN

Background: Recent studies in the domain of supply chain management underline the significance of the contractual and relational aspects of governance, at the same time ignoring the relevance of classical hierarchy. To respond to this challenge, our study posits that the market and hierarchy are both embedded in the wider social context, and as such they can only apply to some degree of relational aspects, referred in this research to as clan. Concomitantly, clan rarely acts as a sole mode of supply chain governance; quite the contrary, it can be either a hybrid (anchored between market and hierarchy) or an alternative (neither market nor hierarchy) mode of governance. By returning to the classical roots of governance of market and hierarchy as two bipolar modes, the goal of the paper is to compare diverse modes of supply chain governance (with the emphasis on the hybrid and alternative modes) in terms of the strength of clan. Methods: The study involves two stages of multivariate statistical analysis. In the first step, the variables indicating certain modes of market and hierarchy of upstream and downstream dyads were narrowed down to the main underlying multi-item constructs through Principal Component Analysis (PCA) with Varimax Rotation. In the second step of the analysis, the factor scores obtained through the PCA for market and hierarchical governance were used in cluster analysis. Results: The study reveals that the hybrid modes of governance (especially relational governance) anchored between bipolar modes of market and hierarchy demonstrate a higher portion of clan in comparison to hierarchy as the sole mode of governance in triadic supply chains. At the same time, triadic supply chains run by both market and hybrid governance do not differ from each other, as they indicate similar and significantly higher mean ranks for clan. The study reveals that the alternative (neither market nor hierarchical) modes of governance do not indicate higher portion of clan as compared to market and hierarchy as two sole modes of governance in triadic supply chains. Conclusions: The study shows that as the mode of governance clan takes a leading role in the hybrid modes of governance as compared to the alternative mechanisms. This may suggest that either the hybrid modes are much stronger enhanced by social dimensions encapsulated in clan than the alternative modes or the essence of clan in the hybrid modes is not the same as the essence of clan in the alternative modes of governance. Consequently, we conclude that the silver bullet for solving this problem may reside within the nature of clan, which is significantly different in both modes of governance.

PL

Wstęp: Ostatnie publikacje dotyczące zarządzania łańcuchem dostaw podkreślają znaczenie kontraktowej i relacyjnej koordynacji działań, jednocześnie ignorując istotność koordynacji hierarchicznej. W celu sprostania temu wyzwaniu artykuł zakłada, że zarówno koordynacja rynkowa, jak i hierarchiczna są osadzone w kontekście społecznym, i jako takie, w pewnym stopniu stosują aspekty relacyjne, określane w tym artykule mianem klanu. Jednocześnie, klan rzadko występuje jako samodzielny mechanizm koordynacji działań, przeciwnie może przyjmować postać formę hybrydy (osadzonej między rynkiem i hierarchią) lub może być mechanizmem alternatywnym (nie rynkowym i zarazem nie hierarchicznym). Poprzez nawiązanie do klasycznej koordynacji rynkowej i hierarchicznej, celem artykułu jest porównanie różnych mechanizmów koordynacji działań w łańcuchu dostaw (w tym przede wszystkim mechanizmu hybrydowego i alternatywnego) ze względu na siłę aspektów relacyjnych, zakotwiczonych w klanie. Metody: W artykule przeprowadzono dwa etapy wielowymiarowej analizy statystycznej. W pierwszym etapie zmienne odzwierciedlające mechanizm rynkowy i hierarchiczny oddzielnie dla obu diad, zostały zredukowane za pomocą analizy czynnikowej z rotacją varimax w celu identyfikacji podstawowych konstruktów. W drugim etapie badania, otrzymane oceny czynnikowe zostały wykorzystane w grupowaniu obiektów. Wyniki: Przeprowadzone badanie pokazuje, że hybrydowa koordynacja działań (w szczególności mechanizm relacyjny), osadzona między dwoma biegunowymi mechanizmami rynku i hierarchii wykazuje wyższy stopień wykorzystania aspektów relacyjnych, typowych dla klanu, aniżeli hierarchia, stosowana jako jedyny mechanizm w triadycznych łańcuchach dostaw. Jednocześnie, triadyczne łańcuchy dostaw koordynowane za pomocą mechanizmu rynkowego i hybrydowego nie różnią się istotnie, pokazując podobne wartości średnie rang dla klanu. Badanie pokazuje również, że alternatywne (nie rynkowe i zarazem nie hierarchiczne) mechanizmy koordynacji działań nie wskazują wyższych wartości średnich rang dla klanu w porównaniu do mechanizmu rynkowego i hybrydowego. Wnioski: Badanie pokazuje, że klan pełni przewodnią rolę w koordynacji hybrydowej w porównaniu do alternatywnych mechanizmów koordynacji. Może to sugerować, że albo koordynacja hybrydowa jest wzbogacona aspektami relacyjnymi, typowymi dla klanu, w porównaniu do alternatywnych mechanizmów koordynacji, albo istota klanu w koordynacji hybrydowej nie jest tożsama z istotą klanu w alternatywnych mechanizmach koordynacyjnych. W świetle powyższego, rozwiązanie tego problemu może wynikać z natury klanu, który istotnie różni się w obu mechanizmach koordynacji działań w łańcuchach dostaw.

9

“P” coordinator scheme and interaction prediction principle in hierarchical structure of ANN

75%

Płaczek S.

|

2015

|

tom Vol. 13

319--329

EN

When implementing the hierarchical structure [4][5] of the learning algorithm of an Artificial Neural Network (ANN), two very important questions have to be solved. The first one is connected with the selection of the broad coordination principle. In [1], three different principles are described. They vary with regard to the degree of freedom for the first-level tasks. The second problem is connected with the coordinator structure or, in other words, the coordination algorithm. In the regulation theory, the process of finding the coordinator structure is known as the feedback principle. The simplest regulator structure (scheme) is known as the proportional regulator – “P” regulator. In the article, the regulator structure and its parameters are analysed as well as their impact on the learning process quality.

10

Na straży ordo. Hierarchiczne uporządkowanie życia społecznego w myśli wieków średnich

75%

Łuszczyńska M.

|

tom 66

|

nr 1

EN

Order and hierarchy are the basic elements of Medieval thought. The guarantor of social order is an individual at the right place and fulfilling their duties diligently. Ordo is rooted in hierarchy and it means that individuals are put in a particular order of a social ladder expressed in grades (gradus). Everyone should stay at the right place – paraphrasing Saint Augustin – it is a Medieval conditio sine qua non of safety and social order. According to the author, the problem of ordo is formed on two tracks: a status gradation conditioned by the division of labour and as ordo universalis, which means order directly leading to an individual hierarchy created by God.

PL

Porządek i hierarchia są podstawowymi elementami myśli średniowiecznej. Pozostawanie jednostki na właściwym dla niej miejscu i sumienne wywiązywanie się z przyjętych na siebie obowiązków jest zatem gwarantem porządku społecznego. Ordo zakorzenione jest w hierarchii, zasadza się bowiem na uporządkowaniu bytów w kolejności określonej stopniami (gradus) drabiny społecznej. Pozostawanie każdego na wyznaczonym mu miejscu – parafrazując słowa św. Augustyna – stanowi mediewistyczne conditio sine qua non ładu, bezpieczeństwa i spokoju społecznego. Zdaniem autorki problematyka ordo kształtuje się dwutorowo: jako gradacja stanowa uwarunkowana głównie podziałem pracy oraz jako ordo universalis, czyli porządkiem jako takim, uporządkowaniem prowadzącym wprost do hierarchii bytów stworzonych przez Boga.

11

Philosophical Foundations of Leadership: Maimonides, Spinoza, and Greenleaf through the Popperian Lens

75%

Hoch L.

|

nr 3

45-70

EN

This study investigates three distinct leadership paradigms—Maimonides's flexible leadership (MFL), Spinoza's affective leadership (SAL), and Greenleaf's servant lead- ership (SL)—within the philosophical framework of Karl Popper. Through an interdis- ciplinary approach, it uncovers the intricate interplay between these styles and founda- tional philosophical principles, particularly those of Socratic and Platonic origins. Em- phasizing the socio-cultural contexts that shape each style, the analysis discerns how MFL leans towards Platonic hierarchy, while SAL and SL resonate more with Socratic ideals of dialogue and trust. Beyond theoretical exploration, the article offers practical insights tailored for management organizations, empowering them to enhance leader- ship effectiveness, navigate ethical dilemmas, and align with core values. Ultimately, this research aims to equip organizations with the tools needed to thrive in diverse con- texts and navigate the evolving landscape of leadership dynamics.

12

Systemic analysis of models of dynamic systems of shaft machining in elastic-deformable condition

75%

Taranenko G. , Taranenko V. , Szabelski J. , Świć A.

|

2007

|

tom Vol. 3, no 2

115--138

EN

The paper presents methodology of developing models of dynamic systems of machining shafts in the elastic-deformable condition. The specifics of dynamic system (DS) identification concerning straight turning and straight and plunge grinding of low-rigidity shafts is presented. The specifics of the process of lowrigidity elements machining is taken into account through the introduction of suitable equations of constraint reflecting additional elastic strain in one of the equations describing the control force effect. Systemic analysis of the developed models is performed, and their hierarchical structure is given.

13

Wartość „zdrowie” i jej miejsce w hierarchiach wartości młodzieży i osób dorosłych

63%

Horbowska J.

|

nr 2

147-158

PL

Kształtowanie właściwej, trwałej hierarchii wartości to jeden z najistotniejszych celów kształcenia ludzi młodych. Zdrowie jest szczególnie istotną wartością jako wartość podstawowa, witalna, a jednocześnie uniwersalna. W niniejszym artykule ukazano różne wykładnie pojęć wartości jako takich i wartości zdrowia, a także zaprezentowano podziały wartości na kategorie. Następnie przedstawiono wyniki wybranych badań empirycznych dotyczących hierarchii wartości młodzieży i dorosłych. Te badania pokazały, że wartość „zdrowie” była lokowana w pobliżu szczytu hierarchii wartości łącznie z rodziną i miłością. Istnieje potrzeba dalszych badań dotyczących określania miejsca wartości „zdrowie” w hierarchii wartości i postrzegania jej roli przez młodzież.

EN

Forming the appropriate and lasting hierarchy of values is one of essential youth learning objectives. Among values, health is especially significant as a basal, vital value and at the same time as an universal one. In the article, theoretical studies of values containing differences in definition and in the process of creating a partition of values were presented. Subsequently, a part concerning results of selected empirical research on hierarchy of values among youths and adults was included. Quoted studies showed, that a value „health” was placed near the top of hierarchy in declarations of teenagers, including family and love. There is a need for further research to determine it's place and it's role in perception of youth.

14

Percepcja i postrzeganie formy jako wytyczne dla kształtowania panoramy miasta

63%

Sobczyńska K.

|

2021

|

tom T. 17, nr 3

63--69

PL

Panorama miasta, podobnie jak każda przestrzeń, stanowi kompozycję, która jest złożona z wielu form. Per-cepcja panoramy miasta będzie więc postrzeganiem formy, kształtów, rytmów poszczególnych elementów i ich hierarchii. Przestrzeń architektoniczna wywołuje w obserwatorze wiele doznań. Jest ona dla człowieka zrozumiała i postrzegana jako czytelna, jeśli jest uformowana dobitnie i jednoznacznie. Dlatego zasady percepcji i postrzegania formy powinny być jedną z wytycznych kształtowania przestrzeni urbanistycznej miasta, a także jego widoków panoramicznych. Kształt sylwety miasta w widokach panoramicznych jest często elementem jego indywidualności stąd istotna jest dbałość o zachowanie zasad ist-niejącej kompozycji i hierarchii

EN

The panorama of the city, like any other space, is a composition composed of many forms. The perception of the city's panorama will therefore be the perception of the form, shapes, rhythms of elements and their hierarchy. Architectural space evokes many sensations in the observer. It is understandable for man and perceived as legible if it is clearly and unambiguously formed. Therefore, the principles of perception should be one of the guidelines for creating the city space, as well as its panoramic views. The shape of the city silhouette in panoramic views is often an element of its individuality, hence the importance of maintaining the principles of the existing composition and hierarchy.

15

Waloryzacja złóż surowców skalnych województwa łódzkiego

63%

Kaźmierczak U. , Górniak-Zimroz J.

Górnictwo Odkrywkowe

|

2013

|

tom R. 54, nr 2

146--154

PL

W publikacji przeprowadzono waloryzację udokumentowanych i niezagospodarowanych złóż surowców skalnych województwa łódzkiego przy wykorzystaniu metody waloryzacji i hierarchizacji Niecia i Radwanek-Bąk, opierającej się na czterech obszarach waloryzacji: kryteriach geologiczno-surowcowych, atrakcyjności górniczej, ograniczeń środowiskowych i ograniczeń planistycznych. Pierwszy etap waloryzacji surowcowo-zasobowej wykazał, że spośród 508 udokumentowanych i nieeksploatowanych złóż 13 złóż należy do klasy ochrony N (najwyższej) i 17 do klasy W (wysokiej). Pozostałe waloryzowane złoża zakwalifikowano do klasy Z, tj. o znaczeniu lokalnym. Dalszej waloryzacji zostały poddane złoża o walorach ponadlokalnych. W przypadku kryteriów górniczych dogodne warunki posiada 11 złóż a utrudnione 12 złóż. Kolejny etap waloryzacji wykazał, że wymagania środowiskowe nie stanowią ograniczeń jedynie dla 2 złóż piaskowca i wapieni przemysłu wapienniczego. Natomiast dla 11 złóż czynniki środowiskowe są czynnikami ograniczającymi dostępność eksploatacji. Z kolei uwarunkowania planistyczne nie stanowią bariery dla wykorzystania 20 badanych złóż, w przypadku 7 częściowo tą możliwość ograniczają a dla 3 złóż obecnie wręcz wykluczają. Reasumując najbardziej atrakcyjnymi złożami z uwagi na walory surowcowe, dostępność górniczą i środowiskową są złoża: wapieni przemysłu cementowego – Mariampol-Stok (NWWN) piaskowców – Chełmska Góra II i Góry Borowskie (WNWN), Chełmska Góra II (WWWN) oraz Sielec II (WWNN), piasków i żwirów – Góry Borowskie, Kalenice (WNWN), surowców ilastych ceramiki budowlanej: Ruda (Goryń) (WWWN) i Złote (WWWW).

EN

A result of valorization of industrial rock deposits is presented in the paper. Special class of deposits was considered, namely explored (i.e. recognized from geological point of view) but not exploited till now. A methodology proposed by Niec and Radwanek- -Bak was used to valorize deposits. This approach is based on four aspects: geological criteria, mining conditions, environmental and planning constraints. The first stage (preliminary classification according to geological criteria) of raw material and resource valorization showed that only 13 deposit belongs to the highest class (N) and 17 can be referred as class high (W) for 508 of investigated, documented and unexploited deposits . Rest of deposits have been associated to class Z (“with local importance”). Second step of deposits valorization takes into account mining conditions. However, deposits belong to the highest and high class were used for analysis. This stage of analysis provided two group of deposits: 11 deposits are attractive (from mining perspective) and 12 deposits are difficult to mine. Environmental constraints can be neglected for 2 deposits (sandstone and limestone deposits of lime industry). However, environmental factors can be considered as constraints for 11 deposits. Planning aspects are not critical for 20 considered deposits, for 7 deposits these factors make exploitation difficult and the last group of 3 deposits cannot be mined due to planning constraints. So finally, one may conclude that, taking into account mentioned above four criteria, the most attractive deposits are: limestone for cement industry - Mariampol-Stok (NWWN), sandstone - Chełmska Góra II and Góry Borowskie (WNWN), Chełmska Góra II (WWWN) and Sielec II (WWNN ), sand and gravel - Góry Borowskie, Kalenice (WNWN) ceramic clay building materials: Ruda (Goryń) (WWWN) and Złote (WWWW).

16

Dochodzenie wstępne w prawodawstwie katolickich Kościołów wschodnich w przypadku duchownych podejrzanych o popełnienie przestępstwa contra sextum z małoletnimi i osobami prawnie objętymi ochroną

63%

Klimkiewicz D.

|

tom 19

|

nr 21 (1)

171-188

EN

The purpose of this article is to discuss the procedure of the canonical preliminary investigation in the case of clerics suspected of committing an offence against the Sixth Commandment of the Decalogue with a minor and a person legally equal to him pursuant to Article 1 § 1a of VELM/2023. The Author discusses the various stages of this preliminary investigation, which is of great importance for the possible initiation of a criminal trial. In other words, the thoroughness of this investigation provides a just basis for the competent ecclesiastical superior (hierarch) to take the appropriate legal action. The above topics are discussed on the basis of an analysis of the universal and particularistic legal regulations relating to the Eastern Catholic Churches, with particular reference to the Byzantine-Ukrainian Catholic Church in Poland.

PL

Celem artykułu jest omówienie procedury kanonicznego dochodzenia wstępnego w przypadku duchownych podejrzanych o popełnienie przestępstwa przeciwko szóstemu przykazaniu dekalogu z osobą małoletnią i osobą prawnie z nią zrównaną zgodnie z art. 1 § 1a VELM/2023. Autor omawia poszczególne etapy niniejszego postępowania przygotowawczego, mającego ogromne znaczenie dla ewentualnego wszczęcia procesu karnego. Innymi słowy, rzetelność tego dochodzenia daje sprawiedliwe podstawy kompetentnemu przełożonemu kościelnemu (hierarsze) do podjęcia odpowiednich czynności prawnych. Powyższa tematyka jest omawiana na podstawie analizy powszechnych i partykularnych regulacji prawnych odnoszących się do katolickich Kościołów wschodnich, ze szczególnym uwzględnieniem katolickiego Kościoła bizantyjsko-ukraińskiego w Polsce.

17

Researching Capitalism In Poland: Economic Interests As A Cultural Construction

63%

Morawski W.

Central European Management Journal

|

2019

|

tom 27(1)

84-107

EN

Purpose: The three goals of the article are: first, to show some arguments surrounding the notion of capitalism in theoretical perspective, and also somewhat bashful connotations since it was intro-duced in Poland after the fall of communism; second, to present some historical facts about the rise of capitalism in Poland in comparative perspective, mostly European; third, to look for cultural categories necessary for analysing the peculiarities of Polish socio-economic development as the part of so-called „the second Europe”. Methodology: I go back to the history of European patterns of capitalist formation: Anglo-Saxon, French, German, Russian in order to show the Polish trajectory as strikingly different. Before enter-ing the Polish case, I present Mary Douglas and Aaron Widavsky’s proposal – how to analyze four cultures: individualist, egalitarian, hierarchical and fatalistic (authoritarian). Implications: The main finding is that economic interests are always socio-cultural constructions, hence all definitions of the real life decisions (on public vs private, risk, externalities etc.) that the people make, must frame them within working life of given culture as the combination of universa-lism and particularism (of above-mentioned four cultures).

18

Weryfikacja modelowa hierarchicznej specyfikacji sterownika logicznego

63%

Grobelna I. , Grobelny M.

|

2013

|

tom R. 59, nr 8

796--798

PL

Specyfikacja zachowania projektowanego urządzenia powinna uwzględniać wszystkie elementy behawioralne. Z uwagi na złożoność projektowanych systemów szczególnie istotną rolę odgrywa możliwość dekompozycji. Z wykorzystaniem hierarchii można podzielić specyfikację na logiczne elementy połączone ze sobą na diagramach wyższego poziomu. W artykule przedstawiono zagadnienia związane z formalną weryfikacją hierarchicznych specyfikacji sterownika logicznego wyrażonych za pomocą interpretowanych sieci Petriego oraz diagramów aktywności języka UML.

EN

Specification of a designed logic controller should include all behavioral aspects. By complex systems design decomposition is especially valuable. Specification can be divided into parts using hierarchy. Logical elements are joined together at higher-level diagrams. The paper focuses on formal verification [1] of logic controller hierarchical specification by means of UML activity diagrams and interpreted Petri nets. Although hierarchy itself is presented in the considered specification techniques in different ways (complex activities by UML activity diagrams and macro-places/ macrotransitions by Petri nets), it is possible to use both techniques together in one project and to transform anytime one diagram into the another [5, 9, 10] (example in Figs. 1 and 2). In the transformation process, UML activity diagram actions correspond to Petri net transitions [7, 8]. Model checking [2, 3] of hierarchical specification can be performed step by step, e.g. by means of the NuSMV tool [11]. Rule-based specification (based on a Petri net) can be checked against behavioral properties [12, 13] expressed by temporal logic formulas [4]. Macroplaces can be verified separately (Fig. 3 considering local properties) and/or concurrently (Fig. 4, Fig. 5 considering mutual correlation and global properties). Next, the whole Petri net with macroplaces can be checked (Fig. 6). Sometimes it is convenient to verify a complete net (not hierarchical), like in [14]. Formal verification of specification can significantly increase its quality, and the support for hierarchy simplifies complex systems verification.

19

A hierarchical decomposition of decision process Petri nets for modeling complex systems

63%

Clempner J.

|

nr 2

349-366

EN

We provide a framework for hierarchical specification called Hierarchical Decision Process Petri Nets (HDPPNs). It is an extension of Decision Process Petri Nets (DPPNs) including a hierarchical decomposition process that generates less complex nets with equivalent behavior. As a result, the complexity of the analysis for a sophisticated system is drastically reduced. In the HDPPN, we represent the mark-dynamic and trajectory-dynamic properties of a DPPN. Within the framework of the mark-dynamic properties, we show that the HDPPN theoretic notions of (local and global) equilibrium and stability are those of the DPPN. As a result in the trajectory-dynamic properties framework, we obtain equivalent characterizations of that of the DPPN for final decision points and stability. We show that the HDPPN mark-dynamic and trajectory-dynamic properties of equilibrium, stability and final decision points coincide under some restrictions. We propose an algorithm for optimum hierarchical trajectory planning. The hierarchical decomposition process is presented under a formal treatment and is illustrated with application examples.

20

Miejsce i rola Listów w korpusie pism Pseudo-Dionizego

63%

Kosmulska B.

|

nr 67

139-153

PL

Artykuł ma celu przedstawić kilka kwestii dotyczących tak samego tajemniczego autora Corpus Dionysiacum, jak i jego odczytywania w większej mierze w świetle Dionizjańskich Listów oraz ich wczesnej recepcji (VI–VII w.).

EN

The article aims to present some questions concerning the mysterious author of Corpus Dionysiacum as well as of its lecture more in the light of Dionysian Letters and their early reception (6th – 7th c.).