A comparison of the thermal conditions in the centre and suburbs of Lublin

In this paper the difference between the thermal conditions in the centre of Lublin and its suburbs is analysed. The mean values of the differences in minimal, maximal and mean daily temperature are calculated and their statistical significance is investigated. Also analysed is the influence of air mass types. Finally, connections between temperature differences and atmospheric circulation are studied.W pracy dokonano analizy porównawczej warunków termicznych w centrum Lublina i na peryferiach. Obliczono średnie wartości różnic temperatury minimalnej, maksymalnej i średniej dobowej oraz zbadano ich istotność statystyczną. Analizowano również wpływy typów mas powietrza. Zbadano związki pomiędzy różnicami temperatury i cyrkulacją atmosferyczną

Espoon viher- ja ulkoiluverkosto

International audienceWe generalise Galois connections from complete lattices to flow algebras. Flow algebras are algebraic structures that are less restrictive than idempotent semirings in that they replace distributivity with monotonicity and dispense with the annihilation property; therefore they are closer to the approach taken by Monotone Frameworks and other classical analyses. We present a generic framework for static analysis based on flow algebras and program graphs. Program graphs are often used in Model Checking to model concurrent and distributed systems. The framework allows to induce new flow algebras using Galois connections such that correctness of the analyses is preserved. The approach is illustrated for a mutual exclusion algorithm