Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Powiadomienia systemowe

Sesja wygasła!
Sesja wygasła!
Sesja wygasła!

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: S5

Sortuj według:

Ogranicz wyniki do:

Trasa S5 – nowe wyzwania dla Generalnej Dyrekcji Dróg Krajowych i Autostrad

Gołębiewski J.

Przegląd Budowlany

2018

R. 89, nr 4

18--22

Budowa drogi ekspresowej S5 to największa inwestycja drogowa realizowana na terenie województwa kujawsko-pomorskiego o znaczeniu europejskim. Teren budowy został poddany badaniom archeologicznym, podczas których odkryto m.in. cmentarzysko birytualne (występują dwa różne obrządki pogrzebowe – szkieletowy i ciałopalny) pochodzące z okresu wpływów rzymskich epoki żelaza (200 lat p.n.e. – 375 r. n.e.) identyfikowane z przedstawicielami ludności kultury wielbarskiej, a także pozostałości po wojnie obronnej 1939 roku. Podczas realizacji drogi ekspresowej S5 zastosowane zostaną innowacyjne rozwiązania dotychczas nie występujące w naszym województwie, m.in. górne przejścia dla zwierząt wykonywane w technologii prefabrykowanej konstrukcji stalowej współpracującej z gruntem, pierwsza w regionie nawierzchnia jezdni głównych w technologii betonu cementowego oraz innowacyjne obiekty inżynierskie.

Construction of the S5 major road constitutes the greatest road investment of European significance carried out on the territory of the kujawsko-pomorskie voivodeship. The construction area underwent archaeological tests, which revealed, among other things, a biritual burial ground (two different funeral rites – skeleton and cremation ritual), which date back to the period of Roman influence from the iron age (200 BC – 375 AC and have been identified as rites of the Wielbark culture, as well as remains from the defensive war in 1939. Construction of the S5 major road will entail use of innovative solutions which have never before been used in our voivodeship, such as, among other things, upper passageways for animals, carried out using the technology of prefabricated steel constructions cooperating with the soil, first main road surface in the region constructed using the cement concrete technology as well as innovative engineering facilities.

On Modal μ-Calculus in S5 and Applications

D'Agostino G., Lenzi G.

Fundamenta Informaticae

2013

Vol. 124, nr 4

465--482

We consider the μ-calculus over graphs where the accessibility relation is an equivalence (S5-graphs). We show that the vectorial μ-calculus model checking problem over arbitrary graphs reduces to the vectorial, existential μ-calculus model checking problem over S5 graphs. Moreover, we give a proof that satisfiability of μ-calculus in S5 is NP-complete, and by using S5 graphs we give a new proof that the satisfiability problem of the existential μ-calculus is also NP-complete. Finally we prove that on multimodal S5, in contrast with the monomodal case, the fixpoint hierarchy of the μ-calculus is infinite and the finite model property fails.