Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014

SPARK 2014 is a modern programming language and a new state-of-the-art tool set for development and verification of high-integrity software. In this paper, we explore the capabilities and limitations of its latest version in the context of building a flight stack for a high-altitude unmanned glider. Towards that, we deliberately applied static analysis early and continuously during implementation, to give verification the possibility to steer the software design. In this process we have identified several limitations and pitfalls of software design and verification in SPARK, for which we give workarounds and protective actions to avoid them. Finally, we give design recommendations that have proven effective for verification, and summarize our experiences with this new language

Flap noise and aerodynamic results for model QCSEE over-the-wing configurations

Noise spectra in three dimensions and aerodynamic data were measured for a model of the NASA quiet clean short-haul experimental engine (QCSEE) over-the-wing configuration. The effects of flap length, nozzle exhaust velocity, and nozzle geometry were determined using a single nozzle and wing-flap segment. The scaled-up model data is representative of full scale flap noise with the QCSEE engine

Analysis of noise produced by jet impingement near the trailing edge of a flat and a curved plate

The sound fields produced by the interaction of a subsonic cold gas jet with the trailing edge of a large flat plate and a curved plate were analyzed. The analyses were performed to obtain a better understanding of the dominant noise source and the mechanism governing the peak sound-pressure-level frequencies of the broadband spectra. An analytical expression incorporating an available theory and experimental data predicts sound field data over an arc of approximately 105 deg measured from the upstream jet axis for the two independent sets of data. The dominant noise as detected on the impingement side of either plate results from the jet impact (eighth power of the velocity dependence) rather than a trailing-edge disturbance (fifth or sixth power of the velocity dependence). Also, the frequency of the peak SPL may be governed by a phenomenon which produces periodic formation and shedding of ring vortices from the nozzle lip

Externally blown flap trailing edge noise reduction by slot blowing: A preliminary study

Short takeoff and landing (STOL) aircraft using externally blown flaps (EBF) for lift augmentation develop considerable jet-flap interaction noise. A proposed method to reduce the EBF trailing edge noise is to locate a slot near the trailing edge of a flap through which low velocity secondary air is blown. Limited OASPL noise data were obtained from the interaction of the jet exhaust from a 5.08 cm diameter convergent nozzle with the trailing edge of a plate, and are presented for five slot configurations located near or at the trailing edge of the plate. Also presented are some significant jet trailing edge interaction data using a mixer nozzle with one of the slot configurations

Cogeneration Technology Alternatives Study (CTAS). Volume 1: Summary

Various advanced energy conversion systems that can use coal or coal-derived fuels for industrial cogeneration applications were compared to provide information needed by DOE to establish research and development funding priorities for advanced-technology systems that could significantly advance the use of coal or coal-derived fuels in industrial cogeneration. Steam turbines, diesel engines, open-cycle gas turbines, combined cycles, closed-cycle gas turbines, Stirling engines, phosphoric acid fuel cells, molten carbonate fuel cells, and thermionics were studied with technology advancements appropriate for the 1985-2000 time period. The various advanced systems were compared and evaluated for wide diversity of representative industrial plants on the basis of fuel energy savings, annual energy cost savings, emissions savings, and rate of return on investment as compared with purchasing electricity from a utility and providing process heat with an on-site boiler. Also included in the comparisons and evaluations are results extrapolated to the national level

Finite momentum condensation in a pumped microcavity

We calculate the absorption spectra of a semiconductor microcavity into which a non-equilibrium exciton population has been pumped. We predict strong peaks in the spectrum corresponding to collective modes analogous to the Cooper modes in superconductors and fermionic atomic gases. These modes can become unstable, leading to the formation of off-equilibrium quantum condensates. We calculate a phase diagram for condensation, and show that the dominant instabilities can be at a finite momentum. Thus we predict the formation of inhomogeneous condensates, similar to Fulde-Ferrel-Larkin-Ovchinnikov states.Comment: 7 pages, 4 figures, updated to accepted versio