Micrometeorological processes driving snow ablation in an Alpine catchment

Mountain snow covers typically become patchy over the course of a melting season. The snow pattern during melt is mainly governed by the end of winter snow depth distribution and the local energy balance. The objective of this study is to investigate micrometeorological processes driving snow ablation in an Alpine catchment. For this purpose we combine a meteorological model (ARPS) with a fully distributed energy balance model (Alpine3D). Turbulent fluxes above melting snow are further investigated by using data from eddy-correlation systems. We compare modelled snow ablation to measured ablation rates as obtained from a series of Terrestrial Laser Scanning campaigns covering a complete ablation season. The measured ablation rates indicate that the advection of sensible heat causes locally increased ablation rates at the upwind edges of the snow patches. The effect, however, appears to be active over rather short distances except for very strong wind conditions. Neglecting this effect, the model is able to capture the mean ablation rates for early ablation periods but strongly overestimates snow ablation once the fraction of snow coverage is below a critical value. While radiation dominates snow ablation early in the season, the turbulent flux contribution becomes important late in the season. Simulation results indicate that the air temperatures appear to overestimate the local air temperature above snow patches once the snow coverage is below a critical value. Measured turbulent fluxes support these findings by suggesting a stable internal boundary layer close to the snow surface causing a strong decrease of the sensible heat flux towards the snow cover. Thus, the existence of a stable internal boundary layer above a patchy snow cover exerts a dominant control on the timing and magnitude of snow ablation for patchy snow covers.<br/

Bed-load effects on hydrodynamics of rough-bed open-channel flows

Peer reviewedPublisher PD

On coalgebras with internal moves

In the first part of the paper we recall the coalgebraic approach to handling the so-called invisible transitions that appear in different state-based systems semantics. We claim that these transitions are always part of the unit of a certain monad. Hence, coalgebras with internal moves are exactly coalgebras over a monadic type. The rest of the paper is devoted to supporting our claim by studying two important behavioural equivalences for state-based systems with internal moves, namely: weak bisimulation and trace semantics. We continue our research on weak bisimulations for coalgebras over order enriched monads. The key notions used in this paper and proposed by us in our previous work are the notions of an order saturation monad and a saturator. A saturator operator can be intuitively understood as a reflexive, transitive closure operator. There are two approaches towards defining saturators for coalgebras with internal moves. Here, we give necessary conditions for them to yield the same notion of weak bisimulation. Finally, we propose a definition of trace semantics for coalgebras with silent moves via a uniform fixed point operator. We compare strong and weak bisimilation together with trace semantics for coalgebras with internal steps.Comment: Article: 23 pages, Appendix: 3 page

Layer by layer - Combining Monads

We develop a method to incrementally construct programming languages. Our approach is categorical: each layer of the language is described as a monad. Our method either (i) concretely builds a distributive law between two monads, i.e. layers of the language, which then provides a monad structure to the composition of layers, or (ii) identifies precisely the algebraic obstacles to the existence of a distributive law and gives a best approximant language. The running example will involve three layers: a basic imperative language enriched first by adding non-determinism and then probabilistic choice. The first extension works seamlessly, but the second encounters an obstacle, which results in a best approximant language structurally very similar to the probabilistic network specification language ProbNetKAT

An assessment of the strength of knots and splices used as eye terminations in a sailing environment

Research into knots, splices and other methods of forming an eye termination has been limited, despite the fact that they are essential and strongly affect the performance of a rope. The aim of this study was to carry out a comprehensive initial assessment of the breaking strength of eye terminations commonly used in a sailing environment, thereby providing direction for further work in the field. Supports for use in a regular tensile testing machine were specially developed to allow individual testing of each sample and a realistic spread of statistical data to be obtained. Over 180 break tests were carried out on four knots (the bowline, double bowline, figure-of-eight loop and perfection loop) and two splices (three-strand eye splice and braid-on-braid splice). The factors affecting their strength were investigated. A statistical approach to the analysis of the results was adopted. The type of knot was found to have a significant effect on the strength. This same effect was seen in both types of rope construction (three-strand and braid-on-braid). Conclusions were also drawn as to the effect of splice length, eye size, manufacturer and rope diameter on the breaking strength of splices. Areas of development and further investigation were identified

Rule reactivation and capture errors in goal directed behaviour

In everyday life people may act automatically, following "unwanted" lines of action which are triggered by contextual cues and may interfere with current goals. Such occurrences are known as "capture errors" in reference to errors that occur when a more salient behaviour takes place when a similar, but less salient, action was intended. Clinical neuropsychological studies suggest that reactivation of previous rules may play an important role in behavioural interference, but such reactivation has been little studied in normal subjects and simple experimental tasks. In the present study we develop this theme, presenting data on 4 subjects who spontaneously showed capture errors in verbal fluency tasks, and developing a new experimental paradigm specifically designed to elicit such interference in normal subjects. In the new paradigm, 101 normal subjects performed a simple series of working memory tasks, including occasional stimuli whose answer matched both the current and the previous rule. We found that normal controls indeed tend to commit more mistakes after the presentation of a stimulus whose answer is consistent with a current and preceding rule. In this case, however, the errors produced are not necessarily associated with a shift back to the old rule, suggesting that rule reactivation leads to a more general interference effect. We discuss the importance of our data from both theoretical and clinical perspectives

Dimensional crossover in topological matter: Evolution of the multiple Dirac point in the layered system to the flat band on the surface

We consider the dimensional crossover in the topological matter, which involves the transformation of different types of topologically protected zeroes in the fermionic spectrum. In the considered case, the multiple Dirac (Fermi) point in quasi 2-dimensional system evolves into the flat band on the surface of the 3-dimensional system when the number of atomic layers increases. This is accompanied by formation of the spiral nodal lines in the bulk. We also discuss the topological quantum phase transition at which the surface flat band shrinks and changes its chirality, while the nodal spiral changes its helicity.Comment: 13 pages, 7 figure

Nambu-Goldstone Fields, Anomalies and WZ Terms

We construct the Wess-Zumino terms from anomalies in case of quasigroups for the following situations. One is effective gauge field theories of Nambu-Goldstone fields associated with spontaneously broken global symmetries and the other is anomalous gauge theories. The formalism that we will develop can be seen as a generalization of the non-linear realization method of Lie groups. As an example we consider 2d gravity with a Weyl invariant regularizationComment: 19 pages, Late

Fibers and global geometry of functions

Since the seminal work of Ambrosetti and Prodi, the study of global folds was enriched by geometric concepts and extensions accomodating new examples. We present the advantages of considering fibers, a construction dating to Berger and Podolak's view of the original theorem. A description of folds in terms of properties of fibers gives new perspective to the usual hypotheses in the subject. The text is intended as a guide, outlining arguments and stating results which will be detailed elsewhere