Wyniki wyszukiwania - BazTech

1

Termin usunięcie drzew lub krzewów a termin obowiązywania zezwoleń.

Gruszecki Krzysztof

Zieleń Miejska

|

2020

|

Nr 7-8

76--78

PL

Zgodnie z postanowieniami art. 83 1 ustawy z 16 kwietnia 2004 r. o ochronie przyrody (DzU z 2020 r., poz. 55) zasadą jest usuwanie drzew po uzyskaniu zezwolenia. Z reguły jednak podmiotom zainteresowanym usunięciem drzew lub krzewów zależy, aby miało miejske to jak najszybciej, co niekoniecznie musi leżeć w szeroko pojętym interesie ochrony środowiska.

2

Koronawirus – prawa i obowiązki przedsiębiorcy budowlanego

Wawryniuk-Barańska Joanna

Materiały Budowlane

|

2020

|

nr 4

68--69

3

Notions of context-driven meta-modeling (CDMM)

Zabawa P.

Technical Transactions

|

2017

|

Vol. 5(114)

75--82

EN

The paper focuses on the meta-model notions and introduces new terminology to the meta-modeling discipline. This terminology refers to the new concept of Context-Driven Meta-Modeling (CDMM), which is more general then other approaches to defining modeling languages. In the result it extends the metamodeling domain vocabulary. All notions in the paper were introduced on the basis of the decomposition of responsibilities identified in meta-models. Till now modeling languages were assumed to be compact and monolithic structures, in contrast to good design practices, not being a subject of any decomposition. The system of notions introduced in the paper is general enough to be sufficient when Context-Driven MetaModeling Paradigm (CDMM-P) is combined with the traditional class-object paradigm.

PL

Artykuł ten skoncentrowany jest na pojęciach metamodelu i wprowadza nową terminologię do dyscypliny metamodelowania. Terminologia ta odnosi się do nowej koncepcji Contex-Driven Meta-Modeling (CDMM), bardziej ogólnej niż inne podejścia do definiowania języków modelowania. W efekcie rozszerza ona słownictwo dziedziny metamodelowania. Wszystkie pojęcia zostały wprowadzone na podstawie dekompozycji odpowiedzialności zidentyfikowanych w metamodelach. Dotąd języki modelowania były traktowane wbrew dobrym praktykom projektowym jako zwarte monolityczne struktury niepoddawane żadnej dekompozycji. System pojęć wprowadzonych w artykule jest wystarczająco ogólny do zastosowania w łączeniu paradygmatu Context-Driven Meta-Modeling Paradigm (CDMM-P) z tradycyjnym paradygmatem klasowo-obiektowym.

4

Propozycje niezbędnych zmian określeń w normie PN-EN 1996-1-1

Jarmontowicz R., Sieczkowski J.

Przegląd Budowlany

|

2016

|

R. 87, nr 1

49--51

PL

Większość polskich norm (PN-EN), w tym norm dotyczących projektowania konstrukcji budowlanych, zawiera wykaz (rozdział) stosowanych definicji i terminów. Podawane w nich terminy i definicje powinny być zgodne z dotychczas znaną i stosowaną terminologią budowlaną, a w przypadku terminów nowych powinny uwzględniać tą terminologię. Zastępowanie terminów dotychczas stosowanych terminami nowymi może mieć miejsce tylko w uzasadnionych przypadkach. W niniejszym artykule omówione zostały terminy podane w PN-EN 1996-1-1, które, naszym zdaniem, zawierają pewne nieścisłości i wymagają korekty.

EN

Most of the Polish norms (PN-EN), including the norms covering the area of building design, contain a list (chapter) of the definitions and terms used throughout the content of the document. The terms and definitions supplied shall be compliant with the construction and civil engineering terminology applied so far. In case of the new terms, the old ones shall also be taken into account. Replacement of the terms that have been used so far, with the new ones, may only take place in the justified cases. The present article discusses the PN-EN 1996-1-1 norm and the contained terms which – in our opinion – contain lack of coherence, and require to be amended and corrected.

5

Wybrane terminy i definicje związane z analizą i projektowaniem konstrukcji budowlanych, zwłaszcza metalowych

Czechowski A.

Inżynieria i Budownictwo

|

2016

|

R. 72, nr 10

563--568

6

On the completeness theorem of many-sorted equational logic and the equivalence between Hall algebras and Binabou theories

Vidal J., Tur J.

Reports on Mathematical Logic

|

2006

|

Nr 40

127-158

EN

The completeness theorem of equational logic of Birkhoff asserts the coincidence of the model-theoretic and proof- theoretic consequence relations. Goguen and Meseguer, giving a sound and adequate system of inference rules for many-sorted deduction, founded ultimately on the congruences on Hall algebras, generalized the completeness theorem of Birkhoff to the completeness theorem of many-sorted equational logic. In this paper, after simplifying the specification of Hall algebras as given by Goguen-Meseguer, we obtain another many-sorted equational calculus from which we prove that the inference rules of abstraction and concretion due to Goguen-Meseguer are derived rules. Finally, after defining the Bienabou algebras for a set of sorts S we prove that the category of Bienabou algebras for S is equivalent to the category of Hall algebras for S and isomorphic to the category of Bienabou theories for S, i.e., the many-sorted counterpart of the category of Lawvere theories, hence that Hall algebras and Bienabou theories are equivalent.

7

Stan i rozwój kadry naukowej w ośrodkach inżynierii rolniczej w Polsce w latach 2000-2005

Kowalski J.

Inżynieria Rolnicza

|

2006

|

R. 10, nr 11(86)

57-68

PL

Artykuł zawiera dane liczbowe charakteryzujące stan kadry naukowo-badawczej i dydaktycznej krajowych ośrodków Inżynierii Rolniczej. W pracy porównano stan ilościowy doktorów, doktorów habilitowanych oraz profesorów tytularnych w zakresie nauk rolniczych oraz nauk technicznych w AR Kraków, AR Lublin, AR Poznań, AR Szczecin, AR Wrocław, SGGW Warszawa, UWM w Olsztynie oraz IBMER Warszawa.

EN

The article includes figures characterizing the status of research and didactic staff in agricultural engineering centers of Poland. The paper compares the quantitative status of post-graduates, assistant professors and titular professors of agricultural and technical sciences at the AR of Krakow, AR of Dublin, AR of Poznań, AR of Szczecin, AR of Wrocław, SGGW Warsaw, UWM of Olsztyn and IBMER of Warsaw.