Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs

We present a sequent calculus for the modal Grzegorczyk logic Grz allowing non-well-founded proofs and obtain the cut-elimination theorem for it by constructing a continuous cut-elimination mapping acting on these proofs.Comment: WOLLIC'17, 12 pages, 1 appendi

CFD and Experimental Study in the Optimization of an Energy Converter for Low Heads

This paper deals with new design of low head turbines, as feasible solutions to solve the lack of energy in rural and remote areas, or to provide energy from urban water pipe systems. Propeller turbines are then the subject of this research because they are suitable for small heads, discharges with little variability, easy to manufacture and with low costs associated. Hence, the aims are the design of quite simple tubular propeller turbines and the analysis of hydrodynamic behaviour for different number and configuration of blades, based on CFD analyses and experimental tests development. An advanced hydrodynamic code based on the finite volume method, as well as blades configuration and mesh specific models are used for the impeller and the turbine design. The blade geometry is optimized using mathematical formulations and experimental results, concerning the possible range of operation under best efficiency conditions. Performance curves are obtained for typical characteristic parameters allowing comparisons between CFD and experimental results. Based on the similarity theory applied to turbomachines it is possible to evaluate the hydrodynamic behaviour through a tubular propeller for different sizes, in a scale model application

dynamics of large wood during a flash flood in two mountain catchments

Abstract. Understanding and modelling the dynamics of large wood (LW) in rivers during flood events has spurred a great deal of research in recent years. However, few studies have documented the effect of high-magnitude flash floods on LW recruitment, transport and deposition. On 25 October 2011, the Magra river basin (north-western Italy) was hit by an intense rainstorm, with hourly rainfall rates up to 130 mm h−1 and event rain accumulations up to 540 mm in 8 h. Such large rainfall intensities originated flash floods in the main river channels and in several tributaries, causing severe damages and loss of lives. Numerous bridges were partly or fully clogged by LW jams. A post-flood survey was carried out along the channels of two catchments that were severely and similarly affected by this event, the Gravegnola (34.3 km2) and Pogliaschina (25.1 km2). The analysis highlighted a very relevant channel widening in many channel reaches, which was more marked in the Gravegnola basin due to highly erodible material forming the slopes adjacent to the fluvial corridor. Large wood recruitment rates were very high, up to 1270 m3 km−1, and most of it (70–80 %) was eroded from the floodplains as a consequence of channel-widening processes, while the rest came from hillslopes processes. Overall, drainage area and channel slope are the most relevant controlling variables in explaining the reach-scale variability of LW recruitment, whereas LW deposition appears to be more complex, as correlation analysis did not evidence any statistically significant relationship with the tested controlling variables. Indeed, in-channel LW displacement during the flood has been mostly limited by the presence of bridges, given the relatively large width attained by channels after the event

Spatial moments of catchment rainfall: rainfall spatial organisation, basin morphology, and flood response

Abstract. This paper describes a set of spatial rainfall statistics (termed "spatial moments of catchment rainfall") quantifying the dependence existing between spatial rainfall organisation, basin morphology and runoff response. These statistics describe the spatial rainfall organisation in terms of concentration and dispersion statistics as a function of the distance measured along the flow routing coordinate. The introduction of these statistics permits derivation of a simple relationship for the quantification of catchment-scale storm velocity. The concept of the catchment-scale storm velocity takes into account the role of relative catchment orientation and morphology with respect to storm motion and kinematics. The paper illustrates the derivation of the statistics from an analytical framework recently proposed in literature and explains the conceptual meaning of the statistics by applying them to five extreme flash floods occurred in various European regions in the period 2002–2007. High resolution radar rainfall fields and a distributed hydrologic model are employed to examine how effective are these statistics in describing the degree of spatial rainfall organisation which is important for runoff modelling. This is obtained by quantifying the effects of neglecting the spatial rainfall variability on flood modelling, with a focus on runoff timing. The size of the study catchments ranges between 36 to 982 km2. The analysis reported here shows that the spatial moments of catchment rainfall can be effectively employed to isolate and describe the features of rainfall spatial organization which have significant impact on runoff simulation. These statistics provide useful information on what space-time scales rainfall has to be monitored, given certain catchment and flood characteristics, and what are the effects of space-time aggregation on flood response modeling

The influence of soil moisture on threshold runoff generation processes in an alpine headwater catchment

This study investigates the role of soil moisture on the threshold runoff response in a small headwater catchment in the Italian Alps that is characterised by steep hillslopes and a distinct riparian zone. This study focuses on: (i) the threshold soil moisture-runoff relationship and the influence of catchment topography on this relation; (ii) the temporal dynamics of soil moisture, streamflow and groundwater that characterize the catchment's response to rainfall during dry and wet periods; and (iii) the combined effect of antecedent wetness conditions and rainfall amount on hillslope and riparian runoff. Our results highlight the strong control exerted by soil moisture on runoff in this catchment: a sharp threshold exists in the relationship between soil water content and runoff coefficient, streamflow, and hillslope-averaged depth to water table. Low runoff ratios were likely related to the response of the riparian zone, which was almost always close to saturation. High runoff ratios occurred during wet antecedent conditions, when the soil moisture threshold was exceeded. In these cases, subsurface flow was activated on hillslopes, which became a major contributor to runoff. Antecedent wetness conditions also controlled the catchment's response time: during dry periods, streamflow reacted and peaked prior to hillslope soil moisture whereas during wet conditions the opposite occurred. This difference resulted in a hysteretic behaviour in the soil moisture-streamflow relationship. Finally, the influence of antecedent moisture conditions on runoff was also evident in the relation between cumulative rainfall and total stormflow. Small storms during dry conditions produced low stormflow amounts, likely mainly from overland flow from the near saturated riparian zone. Conversely, for rainfall events during wet conditions, higher stormflow values were observed and hillslopes must have contributed to streamflow

Corrigendum to "Spatial moments of catchment rainfall: rainfall spatial organisation, basin morphology, and flood response" published in Hydrol. Earth Syst. Sci., 15, 3767–3783, 2011

No abstract available

A bottom-up methodology for buildings energy demand calculation to support grid based energy systems in urban areas

The aim of the project IDEE is the development of a standard and shared procedure to support the evaluation of the better network energy system – based on centralized renewable energy plants or on heat recovered from energy loss – to be adopted at urban scale. The choice of the best solutions is affected by three main aspects: energy demand (amount of energy to be delivered to the buildings); energy supply (amount of energy that is possible to be recovered from industrial areas or centralized renewable energy power plants); district heating network configuration (distance from supply point to buildings, shape of network, …). In this paper, the focus is on the definition of a methodology and relative protocols for the calculation of energy demand of all buildings of a given urban environment

Ethical issues associated with in-hospital emergency from the medical emergency team's perspective: a national survey

Medical Emergency Teams (METs) are frequently involved in ethical issues associated to in-hospital emergencies, like decisions about end-of-life care and intensive care unit (ICU) admission. MET involvement offers both advantages and disadvantages, especially when an immediate decision must be made. We performed a survey among Italian intensivists/anesthesiologists evaluating MET's perspective on the most relevant ethical aspects faced in daily practice

Evaluation of predictive models for post-fire debris flow occurrence in the western United States

Abstract. Rainfall-induced debris flows in recently burned mountainous areas cause significant economic losses and human casualties. Currently, prediction of post-fire debris flows is widely based on the use of power-law thresholds and logistic regression models. While these procedures have served with certain success in existing operational warning systems, in this study we investigate the potential to improve the efficiency of current predictive models with machine-learning approaches. Specifically, the performance of a predictive model based on the random forest algorithm is compared with current techniques for the prediction of post-fire debris flow occurrence in the western United States. The analysis is based on a database of post-fire debris flows recently published by the United States Geological Survey. Results show that predictive models based on random forest exhibit systematic and considerably improved performance with respect to the other models examined. In addition, the random-forest-based models demonstrated improvement in performance with increasing training sample size, indicating a clear advantage regarding their ability to successfully assimilate new information. Complexity, in terms of variables required for developing the predictive models, is deemed important but the choice of model used is shown to have a greater impact on the overall performance

The Role of Frequency and Duty Cycle on the Gate Reliability of p-GaN HEMTs

In this letter, we present an extensive analysis on the role of both switching frequency (ranging from 100 kHz to 1 MHz) and duty cycle (from 10% to 90%) on the time-dependent gate breakdown of high electron mobility transistors (HEMTs) with Schottky metal to p-GaN gate. More specifically, results show how the gate lifetime of GaN HEMTs increases by reducing the frequency and the duty cycle of the stressing gate signal (VG). Such behavior is ascribed to the OFF-time, which is responsible to alter the electrostatic potential in the p-GaN layer during the rising phases of VG (from OFF- to ON-state). Findings of this analysis are useful both for further technology improvement and for GaN-based power circuit designers