Thesis involves designing and analysis of horizontally curved bridge contruction with chamber-shaped profile and oblique side walls. The object is a part of fly-over crossig at VMO Brno. Calculations are according to actually valid standards ( Eurocodes ). Thesis gives a basic look at the problematics of horizontaly curved bridge construction, including solution of prestressing cables´ 3D-tracking with usage of common software.

This work deals with statics and dynamics analysis of stayed cable bridge and design of supporting structure according to limit states. The work contains of static calculation, drawing documentation and visualization.

The aim of the thesis is to create a landscape that supports water retention and helps the river Dyje to create a branched, meandering watercourse. The design also deals with the permeability of the territory and the design of wooden objects that respond in function and shape to the created landscape.

The subject of this thesis is the design of a prestressed box girder construction with several spans. Two variants are designed and for detailed solving was chosen the variant of the box girder. The length of loadbearing structure is 212 m, the longest span has 60 m. The calculation of load effects is done by software Scia Engineer 19.1. Drawing part is done by software Allplan Engineering 2021. The thesis includes drawings, representation of the construction proces, visualization and a structural design. Designing and assessments were made according to currently valid European standarts.

Given a formal model of the behavior of a system, an objective and some notion of control the goal of controller synthesis is to construct a (finite-state) controller that ensures that the system always satisfies the objective. Often, the controller can base its decisions only on limited observations of the system. This notion of limited observability induces a partial-information game between the controller and the uncontrollable part of the system. A successful controller then realizes an observation-based strategy that enforces the objective. In this thesis we consider the controller synthesis problem in the linear-time setting where the behavior of the system is given as a nondeterministic, labeled transitions system A, where the controller can only partially observe and control the behavior of A. The goal of the thesis is to develop a compositional approach for constructing controllers, suitable to treat conjunctive cascades of linear-time objectives P_1, P_2, ..., P_k in an online manner. We iteratively construct a controller C_1 for system A enforcing P_1, then a controller C_2 enforcing P_2 for the parallel composition of the first controller with the system, and so on. It is crucial for this approach that each controller C_i enforces P_i in a most general manner, being as permissive as possible. Otherwise, behavior that is needed to enforce subsequent objectives could be prematurely removed. Standard notions of strategies and controllers only allow the most general treatment for the limited class of safety objectives. We introduce a novel concept of most general strategies and controllers suited for the compositional treatment of objectives beyond safety. We demonstrate the existence of most general controllers for all enforceable, observation-based omega-regular objectives and provide algorithms for the construction of such most general controllers, with specialized variants for the subclass of safety and co-safety objectives. We furthermore adapt and apply our general framework for the compositional synthesis of most general controllers to the setting of exogenous coordination in the context of the channel-based coordination language Reo and the constraint automata framework and report on our implementation in the verification toolset Vereofy. The construction of most general controllers in Vereofy for omega-regular objectives relies on our tool ltl2dstar for generating deterministic omega-automata from Linear Temporal Logic (LTL) formulas. We introduce a generic improvement for exploiting insensitiveness to stuttering during the determinization construction and evaluate its effectiveness in practice. We further investigate the performance of recently proposed variants of Safra\'s determinization construction in practice.

The atmospheric boundary layer in the Arctic is essential for the understanding of climate change and improving regional weather prediction. The aim of this study is to investigate to which degree wind speed profiles retrieved in the Arctic agree with well known wind profile concepts and understand which local impact factors influence the wind speed profile. As part of the Nansen Legacy project, scientists from the University Centre in Svalbard and the University of Bergen installed two wind lidars onboard the research vessel “Kronprins Haakon” during the “Winter Process Cruise” in February 2021. Wind speed profiles were collected over a period of two weeks. They were manually classified into three categories based on their shape. The ideally shaped profiles were fitted against the wind profile power law to identify the exponent, α, for use in the Arctic marine boundary layer. α was found to be 4-5 times smaller than the conventionally applied α = 1/7 for profiles retrieved over open water, which was associated with unstable atmospheric conditions. Additionally, α was found to be considerably larger than 1/7 when sea ice was present, which was associated with stable conditions. A dependency on wind speed was also found. These results underline the importance of adjusting the exponent in order to ac- curately model the wind speed in the Arctic marine boundary layer. The results might be important for optimizing potential wind energy production, which is of great interest with the increasing human activ- ity in the Arctic. Reversed profiles (wind speed maxima closest to the surface) were mainly measured over open ocean and during low wind speeds and were speculated to be related to swell conditions. Pro- files containing a maxima in low levels were primarily measured during stable atmospheric conditions when sea ice was present. Future research in Arctic conditions would benefit from extending wind speed measurements to even lower levels and including stability measurements for an even deeper analysis.

No description available.

Pseudomonas syringae is a common foliar plant pathogenic bacterium that causes diseases on many crop plants. We hypothesized that today's highly virulent P. syringae crop pathogens with narrow host range might have evolved after the advent of agriculture from ancestral P. syringae strains with wide host range that were adapted to mixed plant communities. The model tomato and Arabidopsis pathogen P. syringae pv. tomato (Pto) DC3000 and its close relatives isolated from crop plants were thus selected to unravel basic principles of host range evolution by applying molecular evolutionary analysis and comparative genomics approaches. Phylogenetic analysis was combined with host range tests to reconstruct the host range of the most recent common ancestor of all analyzed strains isolated from crop plants. Even though reconstruction of host range of the most recent common ancestor of all analyzed strains was not conclusive, support for this hypothesis was found in some sub-groups of strains. The focus of my studies then turned to Pto T1, which was found to represent the most common P. syringae lineage causing bacterial speck disease on tomato world-wide. Five genomes were sequenced and compared to each other. Identical genotypes were found in North America and Europe suggesting frequent pathogen movement between these continents. Moreover, the type III-secreted effector gene hopM1 was found to be under strong selection for loss of function and non-synonymous mutations in the fliC gene allowed to identify a region that triggers plant immunity. Finally, Pto T1 was compared to closely related bacteria isolated from snow pack and surface water in the French Alps. Recombination between alpine strains and crop strains was inferred and virulence gene repertoires of alpine strains and crop strains were found to overlap. Alpine strains cause disease on tomato and have relatively wider host ranges than Pto T1. The conclusion from these studies is that Pto T1 and other crop pathogens may have evolved from ancestors similar to the characterized environmental strains isolated in the French Alps by adapting their effector repertoire to individual crops becoming more virulent on these crops but losing virulence on other plants. / Ph. D.

The topic of this thesis is detailed design of the supporting structure of a bridge. Three variants are designed. The structure is designed as a single beam bridge of 6 spans. The calculation of load efects make in software MidasCivil 2019 and Scia Engineer 18.1. The subject of the expertise of the structure is service limit state and ultimate limit state. For evaluation of cross sections is used MS Excel. Both design and relevant drawing documentation of the bridge deck and substructure. The design and assessment are according to the europien standards.

This thesis deals with bridging of a lowland valley and the creek Dolanský in the section Jánovce – Jablonov on the Slovak motorway D1. Four variants of the bridge have been developed. Subsequently prestressed single box gilder with large overhangs that are supported by precast struts was selected as the most suitable variant. The construction of the bridge will take place in a formwork suspended on overhead launching scaffolding. The static assessment according to the Europan standard has been drawn up for this variant. The load of the bridge is projected according to the ČSN EN 1991-2 - Traffic loads on bridges and the dimensoin of concrete structures according to the ČSN EN 1992-2 - Concrete bridges - Design and detailing rules. The calculation of load is done using computer software SCIA Engineer 10.1 and Midas Civil.