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

Znaleziono wyników: 20

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

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available Szacowanie kategorii emisyjności na bazie wymagań dotyczących składu i właściwości betonu w aspekcie zastosowanego rodzaju cementu
Górak Piotr
Budownictwo, Technologie, Architektura
|
2024
|
nr 2
70--74
PL
Wprowadzenie do budownictwa etykiet emisyjnych dla stosowanych materiałów pozwala promować rozwiązania ekologiczne i przyjazne dla środowiska. Tego typu informacje są obecnie niezbędne w podejściu do projektowania i realizacji obiektów budowlanych w duchu zrównoważonego zarządzania wbudowanym śladem węglowym. Niniejszy artykuł jest próbą ustalenia kategorii emisyjności betonu oraz opracowania wstępnego etykiet emisyjnych w oparciu o dane dotyczące emisyjności krajowych grup cementów zawartych w deklaracjach środowiskowych typu III, opracowanych na zlecenie Stowarzyszenia Producentów Cementu oraz wymagań normowych zalecanych wartości granicznych składu oraz właściwości betonu opisanych w tablicy F.1 krajowego uzupełnienia do normy PN-EN 206.
EN
The introduction of emission labels for the materials used in construction allows the promotion of ecological and environmentally friendly solutions. This type of information is currently necessary in the approach to the design and implementation of construction facilities in the spirit of sustainable management of the built-in carbon footprint. This article is an attempt to determine the emissivity category of concrete and to develop preliminary emission labels based on data on the emissivity of national groups of cements contained in type III environmental declarations prepared on behalf of the Association of Cement Producers and standard requirements, recommended limit values for the composition and properties of concrete described in Table F.1 of the national supplement to the PN-EN 206 standard.
2
Unsupervised category learning in perceived video quality
Vejar Andres, Konaszyński Tomasz, Juszka Dawid, Leszczuk Mikołaj
Przegląd Telekomunikacyjny + Wiadomości Telekomunikacyjne
|
2023
|
nr 4
329--332
EN
In video quality evaluation, the perceived quality is ranked by the participants using a categorical scale of five levels. To study the category learning dependency, the participants were divided into learners and no-learners, with respect to their classification accuracy. An analysis of the performance of the human unsupervised learning from machine learning models is presented in order to study the effects of category learning in the video assessment.
3
Content available remote Reaktywność kruszywa w betonie
Glinicki Michał A., Jóźwiak-Niedźwiedzka Daria
Materiały Budowlane
|
2021
|
nr 3
51--54
4
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.
5
Content available Beton architektoniczny polerowany – kategorie i wymagania
Kuniczuk Krzysztof
Budownictwo, Technologie, Architektura
|
2020
|
nr 4
54--58
6
Content available Problem reaktywności kruszywa – cz. 2 kategoryzacja i przeciwdziałanie
Glinicki Michał A.
Budownictwo, Technologie, Architektura
|
2019
|
nr 3
62--65
7
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.
8
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.
9
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.
10
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.
11
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.
12
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.
13
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.
14
Właściwości techniczno-użytkowe przeszklonych ścian działowych
Czajka Z.
Świat Szkła
|
2009
|
nr 9 [133]
71-72
15
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.
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 An axiomatic characterization of algebras of processes of Petri Nets
Winkowski J.
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
|
2005
|
Nr 987
1-19
PL
Praca dotyczy algebr, które można otrzymać przez wyposażenie zbiorów procesów sieci Petriego w składanie sekwencyjne i równoległe. Rozważane algebry są kategoriami z dodatkową strukturą i z dodatkowymi własnościami. Dowodzi się, że wszystkie struktury algebraiczne o takich własnościach dają się przedstawiać jako algebry procesów sieci Petriego.
18
Content available remote 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.
19
Content available remote 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.
20
Definicje legalne ustawy o zamówieniach publicznych po nowelizacji
Niewiadomska E., Gnatowska E.
Budownictwo i Prawo
|
2001
|
R. 5, nr 6
8--10
first rewind previous Strona / 1 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ć.