Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: incorporation

Sortuj według:

Ogranicz wyniki do:

The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic

Bruse Florian, Lange Martin, Lozes Etienne

Fundamenta Informaticae

2021

Vol. 178, nr 1/2

1--30

Higher-Order Fixpoint Logic (HFL) is a modal specification language whose expressive power reaches far beyond that of Monadic Second-Order Logic, achieved through an incorporation of a typed λ -calculus into the modal μ -calculus. Its model checking problem on finite transition systems is decidable, albeit of high complexity, namely k -EXPTIME-complete for formulas that use functions of type order at most k > 0. In this paper we present a fragment with a presumably easier model checking problem. We show that so-called tail-recursive formulas of type order k can be model checked in (k − 1)-EXPSPACE, and also give matching lower bounds. This yields generic results for the complexity of bisimulation-invariant non-regular properties, as these can typically be defined in HFL.

Wybrane zagadnienia wbudowywania wyrobów budowlanych z rozbiórki w inne obiekty budowlane

Kruszka Leopold, Więcław-Bator Lidia, Elżbieta

Materiały Budowlane

2019

nr 5

60--63

W artykule przedstawiono wybrane problemy techniczno-prawne związane z wbudowywaniem wyrobów budowlanych pochodzących z rozbiórki w elementy konstrukcyjne i niekonstrukcyjne nowo wznoszonych obiektów budowlanych. Uwzględniono wymagania ustaw z 7 lipca 1994 r. – Prawo budowlane (Dz.U. 2018 poz. 1202) i z 16 kwietnia 2004 r. o wyrobach budowlanych (Dz.U. 2016 poz. 1570) oraz orzecznictwo sądów w tym zakresie. Zagadnienia te są istotne w praktyce budowlanej, a przede wszystkim w przypadku obiektów budowlanych posiadających krótki cykl życia obejmującego projektowanie, wykonawstwo, eksploatację i rozbiórkę, np. narodowe pawilony wystawiennicze na cyklicznych wystawach światowych typu EXPO.

The paper presents selected technical and legal issues related to incorporation of building materials from demolition into structural and non-structural components of new building objects. The requirements of the Acts: of July 7, 1994 – Construction Law (Journal of Laws of 2018, item 1202) and of April 16, 2004 on construction products (Journal of Laws of 2016, item 1570), as well as judicial decisions in this area are included here. These issues are important for the construction practices, in particular for building objects with a short life cycle including design, construction, maintenance and demolition, for example national exhibition pavilions at cyclical world exhibitions such as EXPO.