Noise and vibration from building-mounted micro wind turbines Part 2: Results of measurements and analysis

Description To research the quantification of vibration from a micro turbine, and to develop a method of prediction of vibration and structure borne noise in a wide variety of installations in the UK. Objective The objectives of the study are as follows: 1) Develop a methodology to quantify the amount of source vibration from a building mounted micro wind turbine installation, and to predict the level of vibration and structure-borne noise impact within such buildings in the UK. 2) Test and validate the hypothesis on a statically robust sample size 3) Report the developed methodology in a form suitable for widespread adoption by industry and regulators, and report back on the suitability of the method on which to base policy decisions for a future inclusion for building mounted turbines in the GPDO

From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL

Variational systems (system families) allow effective building of many custom system variants for various configurations. Lifted (family-based) verification is capable of verifying all variants of the family simultaneously, in a single run, by exploiting the similarities between the variants. These algorithms scale much better than the simple enumerative “brute-force” way. Still, the design of family-based verification algorithms greatly depends on the existence of compact variability models (state representations). Moreover, developing the corresponding family-based tools for each particular analysis is often tedious and labor intensive.In this work, we make two contributions. First, we survey the history of development of variability models of computation that compactly represent behavior of variational systems. Second, we introduce variability abstractions that simplify variability away to achieve efficient lifted (family-based) model checking for real-time variability models. This reduces the cost of maintaining specialized family-based real-time model checkers. Real-time variability models can be model checked using the standard UPPAAL. We have implemented abstractions as syntactic source-to-source transformations on UPPAAL input files, and we illustrate the practicality of this method on a real-time case study.Both authors are supported by The Danish Council for Independent Research under a Sapere Aude project, VARIETE

Towards an Ontological Modelling of Preference Relations

Preference relations are intensively studied in Economics, but they are also approached in AI, Knowledge Representation, and Conceptual Modelling, as they provide a key concept in a variety of domains of application. In this paper, we propose an ontological foundation of preference relations to formalise their essential aspects across domains. Firstly, we shall discuss what is the ontological status of the relata of a preference relation. Secondly, we investigate the place of preference relations within a rich taxonomy of relations (e.g. we ask whether they are internal or external, essential or contingent, descriptive or nondescriptive relations). Finally, we provide an ontological modelling of preference relation as a module of a foundational (or upper) ontology (viz. OntoUML). The aim of this paper is to provide a sharable foundational theory of preference relation that foster interoperability across the heterogeneous domains of application of preference relations

Variability-Specific Abstraction Refinement for Family-Based Model Checking

Variational systems are ubiquitous in many application areas today. They use features to control presence and absence of system functionality. One challenge in the development of variational systems is their formal analysis and verification. Researchers have addressed this problem by designing aggregate so-called family-based verification algorithms. Family-based model checking allows simultaneous verification of all variants of a system family (variational system) in a single run by exploiting the commonalities between the variants. Yet, the computational cost of family-based model checking still greatly depends on the number of variants. In order to make it computationally cheaper, we can use variability abstractions for deriving abstract family-based model checking, where the variational model of a system family is replaced with an abstract (smaller) version of it which preserves the satisfaction of LTL properties. The variability abstractions can be combined with different partitionings of the set of variants to infer various verification scenarios for the variational model. However, manually finding an optimal verification scenario is hard since it requires a good knowledge of the family and property, while the number of possible scenarios is very large.In this work, we present an automatic iterative abstraction refinement procedure for family-based model checking. We use Craig interpolation to refine abstract variational models based on the obtained spurious counterexamples (traces). The refinement procedure works until a genuine counterexample is found or the property satisfaction is shown for all variants in the family. We illustrate the practicality of this approach for several variational benchmark models

Temperature effect on the build-up of exponentially growing polyelectrolyte multilayers. An exponential-to-linear transition point

In this study, the effect of temperature on the build-up of exponentially growing polyelectrolyte multilayer films was investigated. It aims at understanding the multilayer growth mechanism as crucially important for the fabrication of tailor-made multilayer films. Model poly(L-lysine)/hyaluronic acid (PLL/HA) multilayers were assembled in the temperature range of 25–85 1C by layer-by-layer deposition using a dipping method. The film growth switches from the exponential to the linear regime at the transition point as a result of limited polymer diffusion into the film. With the increase of the build-up temperature the film growth rate is enhanced in both regimes; the position of the transition point shifts to a higher number of deposition steps confirming the diffusion-mediated growth mechanism. Not only the faster polymer diffusion into the film but also more porous/permeable film structure are responsible for faster film growth at higher preparation temperature. The latter mechanism is assumed from analysis of the film growth rate upon switching of the preparation temperature during the film growth. Interestingly, the as-prepared films are equilibrated and remain intact (no swelling or shrinking) during temperature variation in the range of 25–45 1C. The average activation energy for complexation between PLL and HA in the multilayers calculated from the Arrhenius plot has been found to be about 0.3 kJ mol 1 for monomers of PLL. Finally, the following processes known to be dependent on temperature are discussed with respect to the multilayer growth: (i) polymer diffusion, (ii) polymer conformational changes, and (iii) inter-polymer interactions

Designing cost-sharing methods for Bayesian games

We study the design of cost-sharing protocols for two fundamental resource allocation problems, the Set Cover and the Steiner Tree Problem, under environments of incomplete information (Bayesian model). Our objective is to design protocols where the worst-case Bayesian Nash equilibria, have low cost, i.e. the Bayesian Price of Anarchy (PoA) is minimized. Although budget balance is a very natural requirement, it puts considerable restrictions on the design space, resulting in high PoA. We propose an alternative, relaxed requirement called budget balance in the equilibrium (BBiE).We show an interesting connection between algorithms for Oblivious Stochastic optimization problems and cost-sharing design with low PoA. We exploit this connection for both problems and we enforce approximate solutions of the stochastic problem, as Bayesian Nash equilibria, with the same guarantees on the PoA. More interestingly, we show how to obtain the same bounds on the PoA, by using anonymous posted prices which are desirable because they are easy to implement and, as we show, induce dominant strategies for the players

Spin chirality on a two-dimensional frustrated lattice

The collective behavior of interacting magnetic moments can be strongly influenced by the topology of the underlying lattice. In geometrically frustrated spin systems, interesting chiral correlations may develop that are related to the spin arrangement on triangular plaquettes. We report a study of the spin chirality on a two-dimensional geometrically frustrated lattice. Our new chemical synthesis methods allow us to produce large single crystal samples of KFe3(OH)6(SO4)2, an ideal Kagome lattice antiferromagnet. Combined thermodynamic and neutron scattering measurements reveal that the phase transition to the ordered ground-state is unusual. At low temperatures, application of a magnetic field induces a transition between states with different non-trivial spin-textures.Comment: 7 pages, 4 figure

Impact of Renal Impairment on Beta-Blocker Efficacy in Patients With Heart Failure.

BACKGROUND: Moderate and moderately severe renal impairment are common in patients with heart failure and reduced ejection fraction, but whether beta-blockers are effective is unclear, leading to underuse of life-saving therapy. OBJECTIVES: This study sought to investigate patient prognosis and the efficacy of beta-blockers according to renal function using estimated glomerular filtration rate (eGFR). METHODS: Analysis of 16,740 individual patients with left ventricular ejection fraction <50% from 10 double-blind, placebo-controlled trials was performed. The authors report all-cause mortality on an intention-to-treat basis, adjusted for baseline covariates and stratified by heart rhythm. RESULTS: Median eGFR at baseline was 63 (interquartile range: 50 to 77) ml/min/1.73 m2; 4,584 patients (27.4%) had eGFR 45 to 59 ml/min/1.73 m2, and 2,286 (13.7%) 30 to 44 ml/min/1.73 m2. Over a median follow-up of 1.3 years, eGFR was independently associated with mortality, with a 12% higher risk of death for every 10 ml/min/1.73 m2 lower eGFR (95% confidence interval [CI]: 10% to 15%; p < 0.001). In 13,861 patients in sinus rhythm, beta-blockers reduced mortality versus placebo; adjusted hazard ratio (HR): 0.73 for eGFR 45 to 59 ml/min/1.73 m2 (95% CI: 0.62 to 0.86; p < 0.001) and 0.71 for eGFR 30 to 44 ml/min/1.73 m2 (95% CI: 0.58 to 0.87; p = 0.001). The authors observed no deterioration in renal function over time in patients with moderate or moderately severe renal impairment, no difference in adverse events comparing beta-blockers with placebo, and higher mortality in patients with worsening renal function on follow-up. Due to exclusion criteria, there were insufficient patients with severe renal dysfunction (eGFR <30 ml/min/1.73 m2) to draw conclusions. In 2,879 patients with atrial fibrillation, there was no reduction in mortality with beta-blockers at any level of eGFR. CONCLUSIONS: Patients with heart failure, left ventricular ejection fraction <50% and sinus rhythm should receive beta-blocker therapy even with moderate or moderately severe renal dysfunction