Design, Manufacturing and Characterization of Aero-Elastically Scaled Wind Turbine Blades for Testing Active and Passive Load Alleviation Techniques within a ABL Wind Tunnel

In the research described in this paper, a scaled wind turbine model featuring individual pitch control (IPC) capabilities, and equipped with aero-elastically scaled blades featuring passive load reduction capabilities (bend-twist coupling, BTC), was constructed to investigate, by means of wind tunnel testing, the load alleviation potential of BTC and its synergy with active load reduction techniques. The paper mainly focus on the design of the aero-elastic blades and their dynamic and static structural characterization. The experimental results highlight that manufactured blades show desired bend-twist coupling behavior and are a first milestone toward their testing in the wind tunnel

Age influenced cattle serum antigen detected by autoantibodies

International audienc

Orchestrating Tuple-based Languages

The World Wide Web can be thought of as a global computing architecture supporting the deployment of distributed networked applications. Currently, such applications can be programmed by resorting mainly to two distinct paradigms: one devised for orchestrating distributed services, and the other designed for coordinating distributed (possibly mobile) agents. In this paper, the issue of designing a pro- gramming language aiming at reconciling orchestration and coordination is investigated. Taking as starting point the orchestration calculus Orc and the tuple-based coordination language Klaim, a new formalism is introduced combining concepts and primitives of the original calculi. To demonstrate feasibility and effectiveness of the proposed approach, a prototype implementation of the new formalism is described and it is then used to tackle a case study dealing with a simplified but realistic electronic marketplace, where a number of on-line stores allow client applications to access information about their goods and to place orders

Timed Multiparty Session Types

We propose a typing theory, based on multiparty session types, for modular verification of real-time choreographic interactions. To model real-time implementations, we introduce a simple calculus with delays and a decidable static proof system. The proof system ensures type safety and time-error freedom, namely processes respect the prescribed timing and causalities between interactions. A decidable condition on timed global types guarantees time-progress for validated processes with delays, and gives a sound and complete characterisation of a new class of CTAs with general topologies that enjoys progress and liveness

Accurate magnetic sensor system integrated design

Inductive measurement of magnetic fields is a diagnostic technique widely used in several scientific fields, such as magnetically confined fusion, plasma thrusters and particle accelerators, where real time control and detailed characterization of physics phenomena are required. The accuracy of the measured data strongly influences the machine controllability and the scientific results. In the framework of the assembly modifications of the RFX-mod experiment, a complete renew and improvement of the magnetic diagnostic system, from the probes moved inside the vacuum vessel to the integrator modules, has been carried out. In this paper, the whole system making up the magnetic diagnostics is described, following the acquisition chain from the probe to the streamed data and illustrating the requirements and conflicting limitations which affect the different components, in order to provide a comprehensive overview useful for an integrated design of any new systems. The characterization of a prototypical implementation of the whole acquisition chain is presented, focusing on the flexible ADC architecture adopted for providing a purely numerical signal integration, highlighting the advantages that this technology offers in terms of flexibility, compactness and cost effectiveness, along with the limitations found in existing implementation in terms of ADC noise characteristics and their possible solutions