Overview of Federal wind energy program

The objectives and strategies of the Federal wind energy program are described. Changes in the program structure and some of the additions to the program are included. Upcoming organizational changes and some budget items are discussed, with particular emphasis on recent significant events regarding new approvals

Some Results on the Boundary Control of Systems of Conservation Laws

This note is concerned with the study of the initial boundary value problem for systems of conservation laws from the point of view of control theory, where the initial data is fixed and the boundary data are regarded as control functions. We first consider the problem of controllability at a fixed time for genuinely nonlinear Temple class systems, and present a description of the set of attainable configurations of the corresponding solutions in terms of suitable Oleinik-type estimates. We next present a result concerning the asymptotic stabilization near a constant state for general $n\times n$ systems. Finally we show with an example that in general one cannot achieve exact controllability to a constant state in finite time.Comment: 10 pages, 4 figures, conferenc

Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas

In recent work we have shown how it is possible to define very precise type systems for object-oriented languages by abstractly compiling a program into a Horn formula f. Then type inference amounts to resolving a certain goal w.r.t. the coinductive (that is, the greatest) Herbrand model of f. Type systems defined in this way are idealized, since in the most interesting instantiations both the terms of the coinductive Herbrand universe and goal derivations cannot be finitely represented. However, sound and quite expressive approximations can be implemented by considering only regular terms and derivations. In doing so, it is essential to introduce a proper subtyping relation formalizing the notion of approximation between types. In this paper we study a subtyping relation on coinductive terms built on union and object type constructors. We define an interpretation of types as set of values induced by a quite intuitive relation of membership of values to types, and prove that the definition of subtyping is sound w.r.t. subset inclusion between type interpretations. The proof of soundness has allowed us to simplify the notion of contractive derivation and to discover that the previously given definition of subtyping did not cover all possible representations of the empty type

Quantum and Classical Glass Transitions in LiHoxY1−xF4Li Ho_x Y_{1-x} F_4

When performed in the proper low field, low frequency limits, measurements of the dynamics and the nonlinear susceptibility in the model Ising magnet in transverse field, $\text{LiHo}_x\text{Y}_{1-x}\text{F}_4$, prove the existence of a spin glass transition for $x$ = 0.167 and 0.198. The classical behavior tracks for the two concentrations, but the behavior in the quantum regime at large transverse fields differs because of the competing effects of quantum entanglement and random fields.Comment: 5 pages, 5 figures. Updated figure 3 with corrected calibration information for thermometr

Corecursive featherweight Java revisited

We describe a Java-like calculus which supports cyclic data structures, and offers a mechanism of flexible regular corecursion for their manipulation. The calculus enhances an earlier proposal by a more sophisticated reduction semantics, which filters out, by an additional check, some spurious results which were obtained in the previous model

Study of the plastic behavior around the crack tip by means of thermal methods

AbstractIn this work, the behaviour of two cracked stainless steel AISI 410 and C3FM was studied by means of a new procedure based on thermographic methods. A temperature model in time domain was considered in order to obtain information about the first and the second order harmonic of the temperature signal. Interesting results were obtained in term of possibility to describe the plastic phenomena at the crack tip

A type preserving translation of F ickle into Java

n/

Quantum and classical relaxation in the proton glass

The hydrogen-bond network formed from a crystalline solution of ferroelectric RbH_2PO_4 and antiferroelectric NH_4H_2PO_4 demonstrates glassy behavior, with proton tunneling the dominant mechanism for relaxation at low temperature. We characterize the dielectric response over seven decades of frequency and quantitatively fit the long-time relaxation by directly measuring the local potential energy landscape via neutron Compton scattering. The collective motion of protons rearranges the hydrogen bonds in the network. By analogy with vortex tunneling in superconductors, we relate the logarithmic decay of the polarization to the quantum-mechanical action

Fluidized bed gasification of biomass from plant-assisted bioremediation: Fate of contaminants

Fluidized-bed gasification (FBG) of Phyto-assisted Bioremediation (PABR) biomass is analyzed focusing on the contaminants' dispersion. Poplar pruning coming from an area contaminated by polychlorinated biphenyls (PCBs) and heavy metals (HM) are considered. The biomass analysis showed relevant contents in HMs, especially Cd and Cr, and no significant PCB content. FBG process was analyzed to: a) track pollutants, b) detect contaminants in the FBG and c) investigate the HMs concentration in the produced streams. The results showed that most of the metals are concentrated in the ashes collected in the bottom of the reactor (Pb, Cd, Cu, Cr), or in the cyclone (B, Na, Mg, Al, K and Fe). Interestingly, metals are also released by the olivine bed (Mg, Fe, Ni and Al) and transported downstream. Consistent fractions of Zn and Fe (also Cu) were detected in the fugitive ashes. As for the Volatile Organic Compounds (VOC) concentration, we noted similarities between PABR and virgin biomass syngas streams. A reduced-scale process was carried out in TGA-DTA to investigate the potential of such technique in reproducing the main features of the FBG process. Comparable results were obtained, thus suggesting its possible application for small-scale preliminary assessment of FBG process