Wyniki wyszukiwania - BazTech

1

Uwarunkowania bezpieczeństwa rozwoju społeczności

Załoga W.

Studia Bezpieczeństwa Narodowego

|

2016

|

R. 6, Nr 10

341--358

PL

Treść artykułu odnosi się do zagadnień z obszaru szeroko pojętego bezpieczeństwa oraz bezpieczeństwa społecznego w ujęciu regionalnym i globalnym z uwzględnieniem rozwoju społeczności. W artykule zaprezentowano również główne uwarunkowania w aspekcie bezpieczeństwa mające wpływ na rozwój społeczności. Wynikają one z natury świata i życia społecznego, miejsca narodu na ziemi, historii, tradycji, charakteru współczesnych zagrożeń oraz stanu organizacji bezpieczeństwa międzynarodowego. Wybór tak szerokiego spektrum czynników wpływających na bezpieczeństwo wynika m.in. z potrzeby uniknięcia jego błędnego rozpatrywania, dokonywanego pod wpływem aktualnie modnego i powszechnie uznanego typu zagrożenia, które zwykle czasowo dominuje w ocenach i organizacji bezpieczeństwa. Treść artykułu odnosząca się do uwarunkowań bezpieczeństwa opiera się na zmienności, nieprzewidywalności środowiska w ujęciu regionalnym i globalnym i sprowadza się do trzech podstawowych tez: konieczności traktowania bezpieczeństwa narodowego jako procesu podlegającego nieustannym zmianom, w którym spoczywanie na laurach w jakimś okresie stanu bezpieczeństwa prowadzi nieuchronnie do tragedii; konieczności traktowania wszelkich hipotez, przepowiedni i proroctw, oznajmujących status quo lub odnoszących się do przyszłości, nie tylko jako nieprawidłowych, nieodpowiedzialnych, ale i groźnych dla bezpieczeństwa narodu; wpływająca na zmienność, nieprzewidywalność i zaskoczenie w odniesieniu do bezpieczeństwa narodowego, to konieczność jego kreacji, tworzenia, a nie tylko reagowania na zaistniałe zagrożenia. W niniejszej publikacji Bezpieczeństwo przedstawione w ogólnym znaczeniu odnosi się głównie do zagadnień obejmujących zaspokojenie takich potrzeb, jak: istnienie, przetrwanie, ciągłość, tożsamość, niezależność, spokój, posiadanie i pewność rozwoju. Bezpieczeństwo w ogólnym tego słowa znaczeniu, ma charakter podmiotowy, a będąc naczelną potrzebą człowieka i grup społecznych, jest zarazem podstawową potrzebą państwa i systemów międzynarodowych. Zaakcentowane zostały zagadnienia dotyczące zagrożeń społecznych wynikających z rosnącego bezrobocia globalnego i lokalnego, ubóstwa, wojny, braku perspektyw poprawy warunków życia, oraz zagrożeń spowodowanych masową, nielegalną migracją ludności, grożącą trwałą destabilizacją społeczeństwa tych krajów. Artykuł poświęcony jest również zagadnieniom dotyczącym organizacji bezpieczeństwa w ramach współpracy Unii Europejskiej. Państwa członkowskie Unii Europejskiej prowadząc wspólną politykę zagraniczną w ramach zagwarantowania bezpieczeństwa, znacząco zwiększają rolę międzynarodową integrującej się Europy. Zaakcentowano rolę państw członkowskich Unii Europejskiej w systemie bezpieczeństwa. Bezpieczeństwo to szerokie pojęcie, a zapotrzebowanie na nie przychodzi wraz z narodzinami człowieka oraz nieodłącznie towarzyszy ludziom przez całe życie, niezależnie od stanu i stopnia czy kierunku aktywności. Ze względu na swoją istotę i społeczne znaczenie, wraz z postępem ludzkości, staje się coraz bardziej złożonym zagadnieniem. Przez swoją istotę bezpieczeństwo jest problemem zarówno z punktu widzenia indywidualnych osób, jak też całych społeczności.

EN

Contents of the article refer to the broad area of issues determining the social security at the regional and global levels, taking into account the community development. The key considerations are made in terms of analyzing security problems in the area of vital importance for State security, at the holistic level. In face of particular observations and analyses, author defines factors corresponding to the secure social development. The determinates are the result of the world conditions that the State is submerged in, and particular factors of social life tradition, nation’s significance for common culture, history, tradition, and also what predestines the evolvement of a character of contemporary threats to the State and international security organizations. Author choses the widest spectrum of factors affecting security and creating potential threats. This is done understanding that some very particular notions of security, as they may be fashionable by universal recognition, may not always be the corretconsideration when discussing different dimensions of security and State’s social development and security organizations of significance. In this sense author, understand that the referring topic of the article on conditioning of general and particular security interactions of different fields is based on a changeability, and unpredictability of the security environment in the regional and global areas. Hence, what should be considered rests in three specific points of interest: the need to treat national security as the process being subjected to ceaseless changes, in which there are some periods of relative security, but in long run may lead to unavoidable tragedy, if we forget about various threats; the need to treat all ad hoc hypotheses, the “prophecies” of forecast and predictions, indicative of the status quo or referring to the future, not only as irresponsible, but also potentially dangerous to the State security; the need of influencing the changeability factor rationally, the unpredictable and potential threats have to be considered in reference to national security, However, the secure environment is rests on creation, what also implies that existing threats cannot be ignored. Author argues that importance of the State security and its overall significance rests mainly on fundament that includes meeting specific needs, such as: that of being, of surviving, of continuity, of identity, of independence, of peace, of possession and the certainty of development. As it is also noticed, the security in its generic term refers to subjective character of human being interaction within a community or social group, however it also is reflected in a similar fashion within the international system. The problems of threats may grow out of social threats, or be the result of a global economic system, unemployment, war, lack of prospects for development, poverty, mass or other type of illegal immigration, and other threats that may destabilize society of different countries. Keeping the above in mind, the author also considers the issues pertaining to the organizational security and co-operational frameworks within the European Union. Of course, the membership in this large organization is partially a guarantee of security, considerably as important as the common foreign policy in view of international system and the integrating role of Europe. In this sense also a particular role of the member states of the European Union, as an addition to common security system is considered. The broad spectrum of security demand very carefull allocation of ways and means protecting different needs, including the social needs, of a State. Yet, on the account of complex nature of State’s existence, with security as the most significant element of social progress and the progress of humankind, this is an intricate issue. The essential characteristics of issue described can be observed, however, the point of view of an individual person, as well as that of an entire community.

2

Edukacja jako narzędzie budowania niezależności starszych osób w aspekcie ruchu drogowego (1)

Jankowska-Karpa D., Leśnikowska-Matusiak I., Wnuk A.

Transport Samochodowy

|

2015

|

z. 4

47--58

PL

Negatywne skutki globalnych przemian społeczno-ekonomicznych, politycznych i kulturowych tworzących współczesną rzeczywistość dotykają przede wszystkim osoby starsze. Dotyczą one wielu obszarów życia społecznego, w tym ruchu drogowego. W artykule przedstawiono prognozy demograficzne dla świata i Polski oraz wskazano - w kontekście starzejących się społeczeństw - warunki bezpiecznego, wygodnego i samodzielnego poruszania się osób starszych.

EN

The negative effects of the global socio-economic, political and cultural changes making up the contemporary reality affect primarily the elderly people. They concern many areas of social life, including road traffic. The article presents demographic forecasts for the world and Poland, and indicated - in the context of aging populations - the conditions for a safe, comfortable and independent movement of the elderly.

3

On generating sets of finite algebras

Krempa J., Stocka A.

Demonstratio Mathematica

|

2015

|

Vol. 48, nr 4

554--561

EN

We consider here some notions and results about sets of generators of finite algebras motivated by the case of finite groups. We illustrate these notions by simple examples closed to lattices and semigroups. Next, we examine these notions in the case of groups with operators.

4

An algebraic framework for concurrent systems

Winkowski J.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

|

2012

|

Nr 1023

1-134

EN

The paper contributes with a concept of process viewed as a model of a run of a system (discrete, continuous, or of a mixed type), with operations allowing to define complex processes in terms of their components, and with the idea of using the formal tools thus obtained to define the behavionrs of concurrent systems.A process may have an initial state (a source), a final state (a target), or both. Processes of which one is a continuation of the other can be composed sequentially. Independent processes, ie. processes which do not disturb each other, can be composed in parallel. Processes may be prefixes, i.e. independent components of initial segments of other processes. Processes and operations on processes are represented by partially ordered multisets of a certain type and operations on such multisets.Processes in a universe of objects and the sequential composition of processes form a partial category, called a partial category of processes. Processes in a universe of objects and the operations of composing processes seąnentially and in parallel form a partial algebra, called an algebra of processes. Partial categories and algebras of processes belong to axiomatically defined classes of partial algebras, called behaviour-oriented partial categories and behaviour-oriented algebras. Some of behaviour-oriented partial categories and behaviour-oriented algebras can be represented as partial categories of proces es and algebras of processes. Partial categories and algebras of processes can be used to define behaviours of concurrent systems. Namely, the behaviour of a system can be defined as the set of possible processes of this system with a structure on this set. The stucture reflexes the prefix order and makes the set of possible processes a directed complete poset. Partial categories and algebras of processes can also be used to define behaviours with states and processes provided with specific structures, to define operations on behaviours similar to those in the existing calculi of behaviours, and to define random behaviours.

PL

W pracy sformułowano pojęcie procesu rozumianego jako model przebiegu pewnego systemu (dyskretnego, ciągłego, lub mieszanego typu), wprowadzono operacje pozwalające wyrażać procesy złożone przez ich składowe, oraz przedstawiono ideę użycia tych środków do definiowania zachowań systemów współbieżnych. Proces może mieć stan początkowy, stan końcowy, lub oba te stany. Procesy z których jeden jest kontynuacją innego mogą być złożone szeregowo. Procesy niezależne, tzn. takie, które sobie nie przeszkadzają, mogą być złożone równolegle. Procesy mogą być prefiksami, tzn. niezależnymi składowymi segmentów początkowych innych procesów. Procesy w pewnym uniwersum obiektów i szeregowe składanie procesów tworzą kategorię częściową zwaną częściową kategorią procesów. Procesy w pewnym uniwersum obiektów i operacje szeregowego i równoległego składania procesów tworzą algebrę częściową, zwaną algebrą procesów. Częściowe kategorie i algebry procesów należą do aksjomatycznie definiowalnych klas algebr częściowych zwanych zachowaniowo-zorientowanymi kategoriami częściowymi i zachowaniowo-zorientowanymi algebrami. Pewne zachowaniowo-zorientowane kategorie częściowe i zachowaniowo-zorientowane algebry mogą być reprezetowane jako kategorie częściowe procesów i algebry procesów. Kategorie częściowe i algebry procesów mogą służyć do definiowania zachowań systemów współbieżnych. Mianowicie, zachowanie systemu można definiować jako zbiór możliwych procesów tego systemu z pewną strukturą. Struktura ta odzwierciedla porządek prefiksowy procesów i czyni zbiór możliwych procesów zbiorem prefiksowo-zamkniętym i zawierającym kresy górne podzbiorów skierowanych. Kategorie częściowe procesów i algebry procesów mogą służyć m.in. do definiowania zachowań o stanach i procesach ze specyficznymi strukturami wewnętrznymi, do defniowania operacji na zachowaniach, podobnych do operacji w znanych rachunkach zachowań, oraz do definiowania zachowań losowych.

5

Multiplicative Transition Systems

Winkowski J.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

|

2010

|

Nr 1018

1-29

EN

The paper is concerned with algebras whose elements can be used to represent runs of a system from a state to a state. These algebras, called multiplicative transition systems, are categories with respect to a partial binary operation called composition. They can be characterized by axioms such that their elements and operations can be represented by partially ordered multisets of a certain type and operations on such multisets. The representation can be obtained without assuming a discrete nature of represented elements. In particular, it remains valid for systems with innitely divisible elements, and thus also for systems with elements which can represent continuous and partially continuous runs.

PL

Praca dotyczy algebr, których elementy mogą być użyte do reprezentowania przebiegów dowolnego systemu od stanu do stanu. Te algebry, zwane multyplikatywnymi systemami tranzycyjnymi, są kategoriami ze względu na częściową operację binarną zwaną składaniem. Można je scharakteryzować aksjomatami tak, że ich elementy i operację składania można reprezentować częściowo uporządkowanymi wielozbiorami pewnego typu i operacją składania takich wielozbiorów. Taką reprezentację można otrzymać bez zakładania dyskretności reprezentowanych elementów. W szczególności jest ona możliwa dla systemów o nieskończenie podzielnych elementach, a więc i dla systemów których elementy mogą reprezentować przebiegi ciągłe i częściowo ciągłe.

6

An Algebraic Framework for Defining Behaviours of Concurrent System

Winkowski J.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

|

2009

|

Nr 1014

1-125

EN

The paper contributes with a concept of process viewed as a model of a run of a phenomenon (discrete, continuous, or of a mixed type), with operations allowing to define complex processes in terms of their components, and with the idea of using the formal tools thus obtained to define the behaviours of concurrent systems. A process may have an initial state (a source), a final state (a target), or both. Processes of which one is a continuation of the other can be composed sequentially. Independent processes, i.e. processes which do not disturb each other, can be composed in parallel. Processes may be prefixes, i.e. independent components of initial segments of other processes. Processes in a universe of objects and operations on such processes form a partial algebra, called algebra of processes. Algebras of processes belong to an axiomatically defined class of partial algebras, called behaviour-oriented algebras. Formally, members of this class are partial categories with respect to the sequential composition, and partial monoids with respect to the parallel composition. Moreover, members of a subclass of this class can be represented as algebras of processes. Algebras of processes and behaviour-oriented algebras can be used to define behaviours of concurrent systems. Namely, the behaviour of a system can be defined as the set of possible processes of this system with a structure on this set. Such a set is prefix-closed. The structure on this set reflects how processes compose, the prefix order, and possibly specific features of the behaviour like observability, the relation to flow of real time, etc. Algebras of processes can also be used to define behaviours with states and processes provided with specific structures, to define operations on behaviours similar to those in the existing calculi of behaviours, and to define random behaviours.

PL

W pracy sformułowano pojęcie procesu rozumianego jako model przebiegu pewnego zjawiska (dyskretnego, ciągłego, lub mieszanego typu), wprowadzono operacje pozwalające wyrażać procesy złożone przez ich składowe, oraz przedstawiono ideę użycia tych środków do definiowania zachowań systemów współbieżnych. Proces może mieć stan początkowy, stan końcowy, lub oba te stany. Procesy z których jeden jest kontynuacją innego mogą być złożone szeregowo. Procesy niezależne, tzn. takie, które sobie nie przeszkadzają, mogą być złożone równolegle. Procesy mogą być prefiksami, tzn. niezależnymi składowymi segmentów początkowych innych procesów. Procesy w pewnym uniwersum obiektów i operacje na takich procesach tworzą algebrę częściową, zwaną algebrą procesów. Algebry procesów należą do aksjomatycznie definiowalnej klasy algebr częściowych zwanych algebrami zachowaniowo-zorientowanymi. Formalnie są to kategorie częściowe ze względu na składanie szeregowe i monoidy częściowe ze względu na składanie równoległe. Ponad to, algebry pewnej podklasy tej klasy mogą być reprezentowane jako podalgebry algebr procesów. Algebry procesów i algebry zachowaniowo-zorientowane mogą służyć do definiowania zachowań systemów współbieżnych. Mianowicie, zachowanie systemu można definiować jako zbiór możliwych procesów tego systemu. Taki zbiór jest prefiksowo-zamknięty. Jego struktura opisuje jak procesy się składają, ich porządek prefiksowy, oraz ewentualnie specyficzne cechy zachowania takie jak obserwowalność, upływ czasu itp. Algebry procesów i algebry zachowaniowo-zorientowane mogą służyć m.in. do definiowania zachowań o stanach i procesach ze specyficznymi strukturami wewnętrznymi, do definiowania operacji na zachowaniach, podobnych do operacji w znanych rachunkach zachowań, oraz do definiowania zachowań losowych.

7

Towards a framework for modelling systems with rich internal structures of states and processes

Winkowski J.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

|

2004

|

Nr 973

1-36

EN

The paper is concerned with modelling object-oriented distributed computational systems. Systems are modeled by specifying their states and processes. Processes of a system are defined as activities in a universe of objects, each object with a set of possible states, each activity changing states of some objects and establishing or destroying relations among objects. Partial operations on processes of a system are defined, including an operation that allows one to compose processes whenever one process is a continuation of another. It is shown that the set of processes of a system from together with these operations a category with an additional structure and special properties. In particular, independence of processes can be characterized in a natural, purely algebraic way.

PL

Praca dotyczy modelowania obiektowo zorientowanych rozproszonych systemów komputerowych. Systemy są modelowane przez specyfikowanie ich stanów i procesów. Procesy systemu są definiowane jako działania w pewnym uniwersum obiektów, gdzie każdy obiekt ma zbiór możliwych stanów a każda działalność zmienia stany niektórych obiektów i tworzy lub likwiduje relacje między obiektami. Zdefiniowano operacje na procesach systemu, w tym operację pozwalającą składać procesy z których jeden jest kontynuacją drugiego. Pokazano, że zbiór procesów systemu wyposażony w te operacje jest kategorią z dodatkową strukturą i specyficznymi własnościami. W szczególności, niezależność procesów daje się scharakteryzować algebraicznie.

8

An algebraic Characterization of Independence of Petri Net Processes

Winkowski J.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

|

2003

|

Nr 953

1-12

EN

The paper is concerned with processes of Petri nets. A partial operation on such processes is defined that allows one to concatenate processes whenever one process is a continuation of another. It is shown that the sets of processes of Petri nets form together with this operation categories in which independence of processes can be characterized in a natural, purely algebraic way.

PL

Praca dotyczy procesów definiowanych przez sieci Petriego. Zawiera definicję częściowej operacji pozwalającej konkatenować procesy jeśli jeden proces jest kontynuacją innego. Pokazano,że zbiory procesów sieci Petriego wyposażone w te operację tworzą kategorie, w których niezależność procesów można scharakteryzować naturalnymi, czysto algebraicznymi środkami.

9

Crowded and selective ultrafilters under the covering property axiom

Ciesielski K., Pawlikowski J.

Journal of Applied Analysis

|

2003

|

Vol. 9, nr 1

19-55

EN

In the paper we formulate an axiom CPAgame prism, which is the most prominent version of the Covering Property Axiom CPA, and discuss several of its implications. In particular, we show that it implies that the following cardinal characteristics of continuum are equal to ω 1 , while c = ω 2 : the independence number i, the reaping number r, the almost disjoint number a, and the ultrafilter base number u. We will also show that CPAgame prism, implies the existence of crowded and selective ultrafilters as well as nonselective P-points. In addition we prove that under CPAgame prism every selective ultrafilter is ω 1-generated. The paper finishes with the proof that CPAgame prism holds in the iterated perfect set model.

10

Pojęcia niezależności w ujęciu algebraicznym - ogólny schemat Marczewskiego

Głazek K.

Roczniki Polskiego Towarzystwa Matematycznego. Seria 2: Wiadomości Matematyczne

|

1998

|

[Z] 34

31-48