PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 26

Liczba wyników na stronie
first rewind previous Strona / 2 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  category
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 2 next fast forward last
1
Content available remote Reaktywność kruszywa w betonie
Glinicki Michał A., Jóźwiak-Niedźwiedzka Daria
Materiały Budowlane
|
2021
|
nr 3
51--54
2
Content available Analizy bezpieczeństwa konstrukcji budowlanych ulegających degradacji na podłożach górniczych. Część 1. Klasyczne postępowanie inżynierskie
Fedorowicz Jan
Builder
|
2021
|
R.25, nr 8
10--15
PL
Oprócz analiz szczegółowych w praktyce inżynierskiej zachodzi często potrzeba ustalenia w krótkim czasie odporności zabudowy całych zespołów wiejskich lub miejskich (dzielnic i osiedli) na wpływy eksploatacji - bieżącej, planowanej lub deformacji pogórniczych. W tym celu najczęściej wykorzystuje się metodę najszybszą - tak zwaną metodę punktową. Ograniczenia tej metody wykluczają jednak budowle nietypowe np. halowe, w złym stanie technicznym itp. Dla przypadków takich, wymagających szczegółowej i indywidualnej analizy, opracowano przedstawioną analityczną metodę parametryczną [1]. W artykule opisano przypadek analizy rzeczywistego, nietypowego obiektu inżynierskiego, którego bezpieczne użytkowanie zagrożone zostało przez nadmierną deformację podłoża gruntowego, pokazując drogę postępowania inżynierskiego przy ocenie bezpieczeństwa tego obiektu.
EN
In addition to detailed analyzes in engineering practice, there is often a need to determine, in a short time, the resistance of the development of entire rural or urban complexes (districts and housing estates) to the impact of exploitation - current, planned or post-mining deformations. For this purpose, the fastest method is most often used - the so-called point method. However, the limitations of this method exclude atypical structures, e.g. hall buildings, buildings in poor technical condition, etc. For such cases, requiring a detailed and individual analysis, the analytical parametric method presented below was developed [1]. The article describes a case of an analysis of a real, atypical engineering structure, the safe use of which was endangered by excessive deformation of the subsoil; showing the way of engineering proceedings when assessing the safety of this facility.
3
Content available Beton architektoniczny polerowany – kategorie i wymagania
Kuniczuk Krzysztof
Budownictwo, Technologie, Architektura
|
2020
|
nr 4
54--58
4
Content available Coalgebras for modelling observable behaviour of programs
Steingartner W., Novitzka V.
Journal of Applied Mathematics and Computational Mechanics
|
2017
|
Vol. 16, nr 2
145--157
EN
A useful tool for modelling behaviour in theoretical computer science is the concept of coalgebras. Coalgebras enable one to model execution of programs step by step using categorical structures and polynomial endofunctors. In our paper, we start with a short introduction of basic notions and we use this method for modelling structural operational semantics of a simple imperative language.
5
Content available Koncepcja metody określania kategoryzacji komend powiatowych (miejskich) Państwowej Straży Pożarnej na przykładzie województwa mazowieckiego
Zarzycki J.
Zeszyty Naukowe SGSP / Szkoła Główna Służby Pożarniczej
|
2016
|
Nr 58 (tom 1) (2)
37--57
PL
W artykule podjęto próbę spojrzenia na kategorie komend powiatowych (miejskich) Państwowej Straży Pożarnej w Polsce, na przykładzie województwa mazowieckiego. Uwzględniono ich obciążenia podyktowane wybraną działalnością operacyjną i ratowniczą oraz czynnikami zagrożenia, a nie jak do tej pory biorąc pod uwagę tylko jeden czynnik, jakim jest liczba stałych mieszkańców rozpatrywanego obszaru.
EN
The article attempts to look at categories of the districts Headquarters of State Fire Service in Poland, on the example of the Mazowsze province. Their operational activities, rescue tasks and risk factors have been taken into consideration. So far only one factor, that is the number of permanent residents of the area, has been considered.
6
Ocena pracy transformatorów 110/SN podczas zwarć w sieci rozdzielczej
Woliński K. W.
Wiadomości Elektrotechniczne
|
2015
|
R. 83, nr 3
38--41
PL
Przedstawiono ocenę działania zabezpieczeń transformatorów kategorii II eksploatowanych w Oddziale Białystok w latach 2003–2013.
EN
The paper presents an assessment of operation of protections of category II transformers operated in Białystok division in 2003–2013.
7
Content available remote Multi-sorted logic and logical geometry : some problems
Plotkin B., Plotkin E.
Demonstratio Mathematica
|
2015
|
Vol. 48, nr 4
578--619
EN
The paper has a form of a survey on basics of logical geometry and consists of three parts. It is focused on the relationship between many-sorted theory, which leads to logical geometry and one-sorted theory, which is based on important model-theoretic concepts. Our aim is to show that both approaches go in parallel and there are bridges which allow to transfer results, notions and problems back and forth. Thus, an additional freedom in choosing an approach appears. A list of problems which naturally arise in this field is another objective of the paper.
8
Content available remote Weak homomorphisms of coalgebras beyond Set
Kianpi M.
Demonstratio Mathematica
|
2014
|
Vol. 47, nr 3
555--580
EN
We study the notion of weak homomorphisms between coalgebras of different types generalizing thereby that of homomorphisms for similarly typed coalgebras. This helps extend some results known so far in the theory of Universal coalgebra over Set. We find conditions under which coalgebras of a set of types and weak homomorphisms between them form a category. Moreover, we establish an Isomorphism Theorem that extends the so-called First Isomorphism Theorem, showing thereby that this category admits a canonical factorization structure for morphisms.
9
Content available Estymacje kosztów otworów poszukiwawczych i wydobywczych dla złóż ropy i gazu w basenach geologicznych w Polsce
Kaliski M., Krupa M., Rychlicki S., Siemek J., Sikora A. P.
Gospodarka Surowcami Mineralnymi
|
2013
|
T. 29, z. 3
167--178
PL
Artykuł poświęcony jest przeglądowi metod i sposobów estymacji kosztów otworów wiertniczych stosowanych na rynkach międzynarodowych (głównie na rynku północnoamerykańskim) oraz zawiera próbę aplikacji wybranej metody lub metod dla dostępnych danych odnośnie tego typu kosztów w basenach geologicznych w Polsce. Autorzy zajmują się wstępnym oszacowaniem przydatności tego typu estymacji dla modelowania i benchmarkingu efektywności prac poszukiwawczych i wydobywczych w Polsce. Na poziomie poszczególnych przedsiębiorstw poszukiwawczo-wydobywczych benchmarking i planowanie kosztowe są z reguły oparte na wypracowanych na różnorodnych złożach doświadczeniach i próbach optymalizacji technicznej i kosztowej całości procesu. W artykule zaproponowano i opisano wstępny algorytm do wyliczeń tych kosztów. Autorzy zwracają uwagę, że przydatność utworzonego na bazie równania (4) modelu do estymacji kosztów wierceń na podstawie głębokości docelowych formacji w Polsce jest mniejsza niż w na rynku amerykańskim, ale nadal bardzo wysoka. W przypadku analiz wykonywanych poza przedsiębiorstwami prowadzącymi prace poszukiwawczo-wydobywcze może to być jedyne dostępne narzędzie do szacunkowych obliczeń kosztów otworów wiertniczych dla poszczególnych basenów geologicznych i docelowych głębokości.
EN
This article describes methods of estimating oil and gas well costs on international markets (mainly in the US and Canada), and presents the application of the selected methods within the context of available data concerning drilling costs in Polish geological basins. The article reviews and evaluates the applicability of these methods for modeling and benchmarking efficiency of upstream activities in Poland. At the level of specific oil and gas firms, benchmarking and cost planning is usually based on a company’s knowhow coming from experiences related to technical and economical optimization processes. This article proposes and describes algorithms for such calculations. The analysis suggests that the usefulness of the drilling cost model based on equation (4) in relation to the deposit depth is lower in Poland compared to the USA, but still quite significant. For external analysis (outside upstream companies) it could be the only tool for evaluating the oil and gas well costs based on the depth of target formations.
10
Content available remote 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.
11
Content available remote Multiplicative Transition Systems
Winkowski J.
Fundamenta Informaticae
|
2011
|
Vol. 109, nr 2
201-222
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 infinitely divisible elements, and thus also for systems with elements which can represent continuous and partially continuous runs.
12
Content available remote 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.
13
Content available remote 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.
14
Content available remote An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic Presentation
Winkowski J.
Fundamenta Informaticae
|
2009
|
Vol. 97, nr 4
439-470
EN
The paper is the second part of two-part paper that contributeswith a concept of a process, with operations allowing to define complex processes in terms of their components, with the respective algebras, and with the idea of using the formal tools thus obtained to describe the behaviours of concurrent systems. In the first part a universal model of a process have been introduced and operations on processes have been defined. A process is viewed as a model of a run of a system (discrete, continuous, or of a mixed type). A process may have an initial state (a source), a final state (a target), or both. A process can be represented by a partially ordered multiset. Processes of which one is a continuation of the other can be composed sequentially. Independent processes, can be composed in parallel. Processes may be prefixes, i.e. independent components of initial segments of other processes. It has been shown that processes in a universe of objects and operations on such processes form a partial algebra, called algebra of processes, that is a specific partial category with respect to the sequential composition, and a specific partial monoid with respect to the parallel composition. In the second part the properties of algebras of processes described in the first part are regarded as axioms defining a class of abstract partial algebras, called behaviour-oriented algebras, and properties of such algebras are investigated. In particular, it is shown how some of the behaviour-oriented algebras can be represented as algebras of processes, and how to use them to describe phenomena with states and processes provided with specific structures.
15
Content available remote An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation
Winkowski J.
Fundamenta Informaticae
|
2009
|
Vol. 97, nr 1/2
235-273
EN
The paper is the first part of a two-part paper that contributes with a concept of a 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, with the respective algebras, and with the idea of using the formal tools thus obtained to describe the behaviours of concurrent systems. A process may have an initial state (a source), a final state (a target), or both. A process can be represented by a partially ordered multiset. Processes of which one can be 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 are partial categories with respect to the sequential composition, and partial monoids with respect to the parallel composition. Algebras of processes can be used to define behaviours of concurrent systems. 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 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, to define operations on behaviours similar to those in the existing calculi of behaviours, and to define random behaviours. The first part of the whole paper investigates algebras of processes and their applications to describing behaviours of systems. In the second part the properties of algebras of processes described in the first part are regarded as axioms defining a class of abstract partial algebras, called behaviouroriented algebras, and they initiate a theory of such algebras.
16
Content available remote Towards a Framework for Modelling Behaviours of Hybrid Systems
Winkowski J.
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
|
2007
|
Nr 1002
1-31
EN
The paper is devoted to characterizing hybrid systems by specifying their possible runs, called processes, where each process is represented by a pomset in an intrinsic, global time independent way and can possibly be obtained by composing seąuentially and in parallel other processes.
PL
Praca dotyczy opisywania systemów hybrydowych poprzez definiowanie przebiegów ich działania zwanych procesami, gdzie procesy są reprezentowane strukturami częściowo uporządkowanymi i mog^ być definiowane przez szeregowe i równoległe składanie wcześniej zdefiniowanych procesów.
17
Content available remote Towards a Framework for Modelling Behaviours of Hybrid Systems
Winkowski J.
Fundamenta Informaticae
|
2007
|
Vol. 80, nr 1-3
311-332
EN
The paper is devoted to characterizing hybrid systems by specifying their possible runs, called processes, where each process is represented by a pomset in an intrinsic, global time independent way and can possibly be obtained by composing sequentially and in parallel other processes.
18
Content available remote Behaviour Algebras
Winkowski J.
Fundamenta Informaticae
|
2007
|
Vol. 75, nr 1-4
537-560
EN
The paper is concerned with algebras whose elements can be used to represent runs of a system, called processes. These algebras, called behaviour algebras, are categories with respect to a partial binary operation called sequential composition, and they are partial monoids with respect to a partial binary operation called parallel composition. They are characterized by axioms such that their elements and operations can be represented by labelled posets and operations on such posets. The respective representation is obtained without assuming a discrete nature of represented elements. In particular, it remains true for behaviour algebras with infinitely divisible elements, and thus also with elements which can represent continuous and partially continuous processes. An important consequence of the representation of elements of behaviour algebras by labelled posets is that elements of some subalgebras of behaviour algebras can be endowed in a consistent way with structures such as a graph structure etc.
19
Content available remote Behaviour algebras
Winkowski J.
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
|
2006
|
Nr 992
1-36
EN
The paper is concerned with algebras whose elements can be used to represent runs of a system, called processes. These algebras, called behaviour algebras, are categories with respect to a partial binary operation called seąuential composition, and they arę partial monoids with respect to a partial binary operation called parallel composition. They are characterized by axioms such that their elements and operations can be represented as specific pomsets and specific operations on such pomsets. The respective representation theorem is universal in the sense that it is obtained without assuming a discrete nature of represented elements. In particular, it remains true for behaviour algebras with infinitely divisible elements, and thus also with elements which can represent continuous processes. An important consequence of the representation theorem is that elements of some subalgebras of behaviour algebras can be endowed in a consistent way with structures such as a graph structure etc.
PL
Praca dotyczy algebr częściowych, których elementy mogą służyć do reprezentowania procesów, tzn. przebiegów zachowania się systemów. Algebry te, zwane algebrami zachowań, są kategoriami ze względu na częściową operację binarną składania szeregowego, oraz są monoidami częściowymi ze względu na częściową operację binarną składania równoległego. Zostały one scharakteryzowane aksjomatycznie tak, że ich elementy i operacje można reprezentować klasami izomorficznych poetykietowanych zbiorów częściowo uporządkowanych i operacjami na takich klasach. Orzekające o tym twierdzenie o reprezentacji jest uniwersalne w tym sensie, że zostało uzyskane bez zakładania dyskretnej natury reprezentowanych elementów. W szczególności pozostaje prawdziwe dla algebr zachowań z nieskończenie podzielnymi elementami, które mogą reprezentować procesy ciągłe. Ważną konsekwencją tego twierdzenia jest też to, że elementy pewnych podalgebr algebr zachowań można wyposażać sensownie w struktury takie jak struktury grafowe itp.
20
Content available remote An Axiomatic Characterization of Algebras of Processes of Petri Nets
Winkowski J.
Fundamenta Informaticae
|
2006
|
Vol. 72, nr 1-3
407-420
EN
The paper is concerned with algebras which can be obtained by endowing sets of processes of Petri nets with a sequential and a parallel composition. The considered algebras are categories with additional structures and special properties. It is shown that all structures which enjoy such properties can be represented as algebras of processes of Petri nets.
first rewind previous Strona / 2 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.