A hierarchy of models for superconducting thin films

A hierarchy of models for type-II superconducting thin films is presented. Through appropriate asymptotic limits this hierarchy passes from the mesoscopic Ginzburg--Landau model to the London model with isolated vortices as $\delta$-function singularities to vortex-density models and finally to macroscopic critical-state models. At each stage it is found that a key nondimensional parameter is $\Lambda = \lambda^2/d L$, where $\lambda$ is the penetration depth of the magnetic field, a material parameter, and d and L are a typical thickness and lateral dimension of the film,respectively. The models simplify greatly if this parameter is large or small

The use of a formal sensitivity analysis on epidemic models with immune protection from maternally acquired antibodies

This paper considers the outcome of a formal sensitivity analysis on a series of epidemic model structures developed to study the population level effects of maternal antibodies. The analysis is used to compare the potential influence of maternally acquired immunity on various age and time domain observations of infection and serology, with and without seasonality. The results of the analysis indicate that time series observations are largely insensitive to variations in the average duration of this protection, and that age related empirical data are likely to be most appropriate for estimating these characteristics

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

Future of Ultraviolet Astronomy Based on Six Years of IUE Research

Physical insights into the various astronomical objects which were studied using the International Ultraviolet Explorer (IUE) satellite. Topics covered included galaxies, cool stars, hot stars, close binaries, variable stars, the interstellar medium, the solar system, and IUE follow-on missions

S-band antenna phased array communications system

The development of an S-band antenna phased array for spacecraft to spacecraft communication is discussed. The system requirements, antenna array subsystem design, and hardware implementation are examined. It is stated that the phased array approach offers the greatest simplicity and lowest cost. The objectives of the development contract are defined as: (1) design of a medium gain active phased array S-band communications antenna, (2) development and test of a model of a seven element planar array of radiating elements mounted in the appropriate cavity matrix, and (3) development and test of a breadboard transmit/receive microelectronics module

High temperature glass coatings for superalloys and refractory metals

New glasses are used as protective coatings on metals and alloys susceptible to oxidation at high temperatures in oxidizing atmospheres. Glasses are stable and solid at temperatures up to 1000 deg C, adhere well to metal surfaces, and are usable for metals with broad range of expansion coefficients